ashley williams's Avatar

ashley williams

@agdubs.bsky.social

a mess like this is easily 5 to 10 years ahead of its time

2,827 Followers  |  94 Following  |  84 Posts  |  Joined: 13.04.2023  |  1.9763

Latest posts by agdubs.bsky.social on Bluesky

Post image

time is a social construct (pejorative)

02.11.2025 23:35 β€” πŸ‘ 6    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

to be clear its scary the way β€œa serious man” is scary- no ghosts, just humans. but i suspect this will stick with me for a while

01.11.2025 20:56 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

haunting!!

01.11.2025 20:53 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

ok Lurker is obscenely good

01.11.2025 20:50 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

always πŸ˜‚

26.10.2025 21:09 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Post image

this youtube β€œmoment of zen” is incompatible with my household

26.10.2025 20:05 β€” πŸ‘ 15    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Preview
Software Engineer - Monorepo Systems (Rust & Nix) ARE YOU READY? Join the fully-remote rocketship. Find your next quest to make commerce better for everyone. Unlimited growth. Crafters and hard workers only. Apply within.

I have been working on the nix & Rust codebase that builds Shopify’s monorepo, and there’s so much left to do that we need help.

If you are interested, apply here to join us! DM me if you have questions!

www.shopify.com/careers/soft...

16.10.2025 16:20 β€” πŸ‘ 17    πŸ” 3    πŸ’¬ 1    πŸ“Œ 0
Preview
Software Engineer - Monorepo Systems (Rust & Nix) ARE YOU READY? Join the fully-remote rocketship. Find your next quest to make commerce better for everyone. Unlimited growth. Crafters and hard workers only. Apply within.

do you like geology puns and have an unhealthy obsession with package management? πŸŒ‹πŸ“¦

we’re building a nix-based monorepo build system (in Rust!) at Shopify and we’re hiring.

global, remote, high-autonomy. DMs open.

www.shopify.com/careers/soft...

16.10.2025 14:56 β€” πŸ‘ 11    πŸ” 1    πŸ’¬ 1    πŸ“Œ 0
Abdul Rahman Sibahi | A Dumb Introduction to z3 Exploring the world of constraint solvers with very simple examples.

I really liked this guide to Z3 in Rust. Great tutorial for how to check constraints or logic programming in Rust. asibahi.github.io/thoughts/a-g...

17.09.2025 20:02 β€” πŸ‘ 17    πŸ” 2    πŸ’¬ 0    πŸ“Œ 0

feels like a mode that folks could opt-in/out of. i prefer the default you want, but either way, seems configurable

14.09.2025 12:51 β€” πŸ‘ 4    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Post image

in Copenhagen

14.09.2025 01:23 β€” πŸ‘ 7    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

oh whoops! fixed

07.09.2025 16:01 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

came here to say this!

07.09.2025 00:22 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

apropos of nothing, kpop demon hunters is a bop

06.09.2025 19:17 β€” πŸ‘ 9    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

we’re hiring

06.09.2025 17:28 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

if this type of thing makes you say β€œthis is cursed af, where do i sign up” DM me, we’re looking for some teammates

06.09.2025 15:37 β€” πŸ‘ 7    πŸ” 1    πŸ’¬ 2    πŸ“Œ 0

here. i made a better one in three minutes

05.09.2025 14:06 β€” πŸ‘ 1614    πŸ” 109    πŸ’¬ 53    πŸ“Œ 6
Post image

texas sky

23.08.2025 01:16 β€” πŸ‘ 12    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Thought experiment: Most programming languages were designed in an era where mostly one programmer coded in isolation. If you were designing a language for modern collaborative programming/commenting/etc., what would you change? How would you *modify* existing languages?

26.07.2025 12:46 β€” πŸ‘ 83    πŸ” 14    πŸ’¬ 27    πŸ“Œ 3

truly magnificent

29.07.2025 03:08 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Post image Post image Post image Post image 29.07.2025 02:35 β€” πŸ‘ 17    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Post image 21.05.2025 17:09 β€” πŸ‘ 487    πŸ” 89    πŸ’¬ 9    πŸ“Œ 2
use iddqd::{IdOrdMap, IdOrdItem, id_upcast};

#[derive(Debug)]
struct User {
    name: String,
    age: u8,
}

// Implement IdOrdItem so the map knows how to get the key from the value.
impl IdOrdItem for User {
    // The key type can borrow from the value.
    type Key<'a> = &'a str;

    fn key(&self) -> Self::Key<'_> {
        &self.name
    }

    id_upcast!();
}

let mut users = IdOrdMap::<User>::new();

// You must pick an insertion behavior. insert_unique returns an error if
// the key already exists.
users.insert_unique(User { name: "Alice".to_string(), age: 30 }).unwrap();
users.insert_unique(User { name: "Bob".to_string(), age: 35 }).unwrap();

// Lookup by name:
assert_eq!(users.get("Alice").unwrap().age, 30);
assert_eq!(users.get("Bob").unwrap().age, 35);

// Iterate over users:
for user in &users {
    println!("User {}: {}", user.name, user.age);
}

use iddqd::{IdOrdMap, IdOrdItem, id_upcast}; #[derive(Debug)] struct User { name: String, age: u8, } // Implement IdOrdItem so the map knows how to get the key from the value. impl IdOrdItem for User { // The key type can borrow from the value. type Key<'a> = &'a str; fn key(&self) -> Self::Key<'_> { &self.name } id_upcast!(); } let mut users = IdOrdMap::<User>::new(); // You must pick an insertion behavior. insert_unique returns an error if // the key already exists. users.insert_unique(User { name: "Alice".to_string(), age: 30 }).unwrap(); users.insert_unique(User { name: "Bob".to_string(), age: 35 }).unwrap(); // Lookup by name: assert_eq!(users.get("Alice").unwrap().age, 30); assert_eq!(users.get("Bob").unwrap().age, 35); // Iterate over users: for user in &users { println!("User {}: {}", user.name, user.age); }

new #rustlang crate drop: iddqd! ID-based maps where keys are borrowed from values. Four maps are included: IdOrdMap, IdHashMap, a bijective (1:1) BiHashMap and a trijective (1:1:1) TriHashMap.

At Oxide we've found this pattern to be very useful. iddqd is no-std compatible, too!

docs.rs/iddqd

21.05.2025 21:19 β€” πŸ‘ 165    πŸ” 36    πŸ’¬ 15    πŸ“Œ 2
Post image

10 years ago, @jennschiffer.com took this pic of me. another life.

05.05.2025 22:12 β€” πŸ‘ 14    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

❀️❀️❀️ thaaannnkks and yes i go every year. this year they had a yoga class and the downpour hit literally as it ended πŸ˜…

heck yeah on a membership!! we should go some time

05.05.2025 17:41 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Post image Post image Post image Post image

39th lap

05.05.2025 17:15 β€” πŸ‘ 50    πŸ” 0    πŸ’¬ 8    πŸ“Œ 0

the noise i made when i saw the supermarket had purple baby broccoli today

30.04.2025 22:18 β€” πŸ‘ 8    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

i am currently in a town where all the cafes except dunkin donuts are closed on wednesday

26.03.2025 12:23 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Post image

this ain’t texas

24.03.2025 19:53 β€” πŸ‘ 21    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Post image

apropos of nothing, here’s my fave coffee in ottawa

20.03.2025 12:35 β€” πŸ‘ 23    πŸ” 0    πŸ’¬ 2    πŸ“Œ 0

@agdubs is following 20 prominent accounts