type theorists will be saying thinks like “the classic subject reduction issue” like this is a common thing we all know about
straight up paretting it, and by it, let me just say i mean my, a, my frontier
Why did you unblock me, exactly?
`Error: Vault is sealed` damn i didn’t realize i was working in a heist movie
god, `./x.py` being nebulously broken is really trying to tell me to stick to what i told myself about working on rustc 😢
@jamesmunns.com what's the latest on postcard vs postcard2 (the library, not the wire-format)? i'm dusting off github.com/rust-lang/ru...
rustdoc-json: Postcard output by aDotInTheVoid · Pull Request #142642 · rust-lang/rust
r? @ghost What rustdoc --output-format=postcard is like rustdoc-json, but using https://postcard.rs/ / https://docs.rs/postcard/1.1.1/ instead of JSON. Why JSON Size and speed isn't great. Peop...
github.com
cold(?) take: saying “lcd display”/“pin number”/“atm machine” is totally fine, and anyone correcting this is an ass.
does the haskell account have a keyword search set up, or do they just follow everyone? inquiring minds demand answers…
It’s very concerning that I appear to like being in a book truck much more than I like reading books
you just gotta know all the ai labs are furiously burning tokens on Riemann hypothesis and P=NP in the hopes that they strike gold, and you’ll never hear if they miss.
i forgot i was sleeping with earplugs and not airpods, so accidentally blasted the tent with youtube shorts 🥲
also, my emf phone might not work, dead battery, signal/whatsapp if important
got asked if that is a WinRAW bag (it is!) and then asked if i’m going to EMF (i am!) at the motorway services #emfcamp
usually i can’t wake up when my alarm goes off for love or money, except when traveling to EMF apparently, for which i woke up an hour before somehow
i was warned about the mad rush to get EMF tickets, but not the mad rust to sign up for volunteering to avoid the mad rust to get EMF tickets
saw this on the For You feed 🤔🤔🤔🤔
Friends don't let friends use the Discover feed.
"There are no role models for men" ever heard of Dr. Worm