I wish Python had higher-kinded type variables because it would make the type system even more unsound

RUST REFLECTION MVP HAS LANDED github.com/rust-lang/ru... THIS IS NOT A DRILL

To every language designer whom it may concern: `a | null` is not a suitable substitute for `Maybe a` because there's no way to distinguish between Just Nothing :: Maybe (Maybe a) …and: Nothing :: Maybe (Maybe a) This is not me being pedantic; this is a real issue in practice

Your honor, I would like to plead genuinely uncertain

stonch

TEETH TEETH TEETH

*girl who has never successfully intentionally locked in* I just need to lock in

my chemical situationship

Alright this has been said before including probably by me but I'd watch a new Knives Out every Christmas forever

i'm kind of like if a thrill-seeker was pathologically risk-averse

this tree looks like ganbreeder output

CHARLES DICKENS: Marley was dead, to begin with TWITCH CHAT:

[breathing a sigh of relief as I carefully remove the poison, hammer, Geiger counter, and radioactive source before helping Tiny Tim out of the box]

i wish to use nix, but not write any of it nor manage it nor know anything about it

When the snowman brings the snow:

. o O ( how to give claude write access to location )

getting to work 4 microseconds late and blaming it on the NIST Boulder atomic clock outage

the burden of proof is on santa deniers

There's nothing to explain! You're trying to kidnap what I've rightfully stolen!

mfw disclaim marinade

chess programming is fun because you can go to the chess programming wiki to be like "ok what values should i use for a material evaluation" and then 3 minutes later be looking at the orbital period of mercury

𝐒𝐓𝐀𝐓𝐔𝐒: 𝐂𝐑𝐈𝐓𝐈𝐂𝐀𝐋 𝐒𝐘𝐒𝐓𝐄𝐌 𝐅𝐀𝐈𝐋𝐔𝐑𝐄 𝐃𝐄𝐓𝐄𝐂𝐓𝐄𝐃 𝐋𝐎𝐂𝐀𝐓𝐈𝐎𝐍: 𝐔𝐍𝐊𝐍𝐎𝐖𝐍 𝐏𝐋𝐀𝐍𝐄𝐓𝐀𝐑𝐘 𝐒𝐔𝐑𝐅𝐀𝐂𝐄 /////////// 𝐖𝐀𝐑𝐍𝐈𝐍𝐆 /////////// 𝐒𝐔𝐑𝐅𝐀𝐂𝐄 𝐓𝐄𝐌𝐏𝐄𝐑𝐀𝐓𝐔𝐑𝐄 𝐂𝐑𝐈𝐓𝐈𝐂𝐀𝐋𝐋𝐘 𝐋𝐎𝐖 𝐖𝐄𝐀𝐑 𝐏𝐑𝐎𝐓𝐄𝐂𝐓𝐈𝐕𝐄 𝐂𝐋𝐎𝐓𝐇𝐈𝐍𝐆 𝐃𝐔𝐑𝐈𝐍𝐆 𝐀.𝐕.𝐀. ✨ SIGNALIS is 30% off in the Steam Winter Sale ✨ store.steampowered.com/app/1262350/...

It's 17:00:00 UTC somewhere

so you're saying statistically the next token *is* developing a chess engine then

SKULL OF THOMAS AQUINAS: TAKE A LEFT NOW PRIEST: No, the GPS says we have to keep going— SKULL: I KNOW A SHORTCUT PRIEST: Do you remember the last ti— SKULL: FOR THOSE WITH FAITH, NO EVIDENCE IS NECESSARY; FOR THOSE WITHOUT IT, NO EVIDENCE WILL SUFFICE

a 100% accurate digitized map of the entire world, call that BorGIS

this kind of reckless geoengineering will do more harm than good

The Algol/Haskell/Rust dialectic: - thesis: assignment - antithesis: but you don’t need assignment if… - synthesis: but you can just have assignment if…

Belated bday to our girl #Signalis

the crazy thing is that utilitarianism has a perfectly reasonable way to handle longtermism: you just presume that far-future hypotheticals are derived from your best guess and apply an uncertainty term which downscales far-future utils to match things you might actually be predicting correctly

15/n This horrible one is for @eikopf.com mazzo.li/posts/value-...

#signalis 海！(２)

Happy 10 year anniversary to this tweet! Has memory safety in C++ been solved yet? x.com/CppCon/statu...

"The Tree Borrows paper is finally published" #rustlang www.ralfj.de/blog/2025/07...

this kind of dense, walkable control flow graph is illegal to build in most american compilers

Like #Rustlang? #Chess? What about #AI? Then how about "Exploring a State-of-the-art Chess AI built with Rust"? Please come along to hear from our second speaker, @affinelytyped.bsky.social , at the July Edition of Rust Edinburgh: www.meetup.com/rust-and-fri...

stare into the deep-space within optimally-ordered correlations