time is a social construct (pejorative)
02.11.2025 23:35 β π 6 π 0 π¬ 0 π 0@agdubs.bsky.social
a mess like this is easily 5 to 10 years ahead of its time
time is a social construct (pejorative)
02.11.2025 23:35 β π 6 π 0 π¬ 0 π 0to 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 π 0haunting!!
01.11.2025 20:53 β π 0 π 0 π¬ 1 π 0ok Lurker is obscenely good
01.11.2025 20:50 β π 0 π 0 π¬ 1 π 0always π
26.10.2025 21:09 β π 1 π 0 π¬ 0 π 0this youtube βmoment of zenβ is incompatible with my household
26.10.2025 20:05 β π 15 π 0 π¬ 1 π 0I 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...
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...
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 π 0feels 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 π 0in Copenhagen
14.09.2025 01:23 β π 7 π 0 π¬ 0 π 0oh whoops! fixed
07.09.2025 16:01 β π 0 π 0 π¬ 0 π 0came here to say this!
07.09.2025 00:22 β π 1 π 0 π¬ 1 π 0apropos of nothing, kpop demon hunters is a bop
06.09.2025 19:17 β π 9 π 0 π¬ 0 π 0weβre hiring
06.09.2025 17:28 β π 1 π 0 π¬ 1 π 0if 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 π 0here. i made a better one in three minutes
05.09.2025 14:06 β π 1614 π 109 π¬ 53 π 6texas sky
23.08.2025 01:16 β π 12 π 0 π¬ 0 π 0Thought 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 π 3truly magnificent
29.07.2025 03:08 β π 3 π 0 π¬ 0 π 0use 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
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
39th lap
05.05.2025 17:15 β π 50 π 0 π¬ 8 π 0the noise i made when i saw the supermarket had purple baby broccoli today
30.04.2025 22:18 β π 8 π 0 π¬ 0 π 0i am currently in a town where all the cafes except dunkin donuts are closed on wednesday
26.03.2025 12:23 β π 3 π 0 π¬ 0 π 0this ainβt texas
24.03.2025 19:53 β π 21 π 0 π¬ 1 π 0apropos of nothing, hereβs my fave coffee in ottawa
20.03.2025 12:35 β π 23 π 0 π¬ 2 π 0