Skip to main content
"Many of the design flaws were discovered using formal verification. Academics attempted to prove certain security properties of TLS, but instead found counter-examples that were turned into real vulnerabilities." I can't remember if I've mentioned the Siege of Leningrad here before but this story of scientists starving to death guarding the food vault is one of the more dramatic true stories, right up there with Petrov and Arkhipov (not to mention Borlaug ).
In today's episode, Tesla learns that NDAs expire .
Another day, another new human organ discovery .
Build rust, run {Objective C , python }.
I was reading about the oft-delayed but finally-happening GPS III satellite and now I have Things to tell you:
Ever wonder why fire drills have a bored, barely-intelligable "fire safety director" reading a script? Because otherwise people burn to death .
Former SpaceX engineers building rockets for bigass planes (shouldn't you have a rocket to launch before 3d-printed everything . SpaceX is not the only game in town for vertical-landing suicide burns, there's this guy .
The thrilling saga of overwhelming a modern computer by typing an email has a riveting conclusion .
"Bugs are never so obvious as when you're the one responsible for them." Human interests have no end .
Yet Another Clever Filesystem: TxFS: Leveraging File-System Crash Consistency to Provide ACID Transactions .
"Here stands the bastion of the Turbofish." "Your mother was a Neanderthal and your father was a Denisovan!" Yes, yes they were .
If you drag me against the floor over and over I just produce whining and bar tabs. Not like this showoff that says 'is that all you got'?
From the naming-matters department, 3D-printing with ground up plants and insects: "fungus-like adhesive material" .