Profile avatar
tonofcrates.bsky.social
126 posts 778 followers 44 following
Regular Contributor
Active Commenter

insane that rust is getting this complicated. who's doing something about this??

the modern IDE feels so... spammy? not like eclipse-style infinite toolbars, but like it's so easy to accidentally open up some kind of popup: documentation, suggested actions, copilot, whatever

The Median Voter Learns Rust

*tobias funke voice* ontogeny hasn't recapitulated phylogeny in any other domain.... but maybe it will for ours

rice's theorem is just the CAP theorem but for PL. sound, complete, decidable: pick two

"i love programming with effects. but also i need a dataflow graph of my program. no i don't want to change the language. it should just be normal Python/Javascript." do your hear yourself right now?

in retrospect, DBQs were probably the most important part of my entire secondary education

is there a CS equivalent of the guy who invented both CFC refrigerants and leaded gasoline?

on top of everything else, it is hard to express how much i resent having to think about these people. i just want to read my little books and think my little thoughts and post my little posts.

enormous alpha in taking mid-90s HCI research and just replacing all the classic AI with modern AI. this book is from 1997

it's kinda crazy that react is the single most popular programming library in the world and no one in CS academia is working on it or anything similar