Static types, algebraic data types, making illegal states unrepresentable: the functional programming tradition has developed extraordinary tools for reasoning about programs....
November 2022Since I was about 9 I've been puzzled by the apparent contradiction
between being made of matter that behaves in a predictable way, and
the...
It's finally AUTUMN and you know what that means! Cozy sweaters. Hot chocolate. A husband who stops complaining about being overheated (I have a sneaking suspicion that guys were...
Pre-show: Snowpocalypse update
Follow-up:
atp.fm passkey update
Google Private AI Compute
Apple 🤝🏻 Google Cloud
Removing copy/paste crud (via rauli)
Screen on RAM
ASUS improves color accuracy for Mac users (via Oliver Thomas)
Modular headphones
AIAIAI (via Graham...
November 2022In the science fiction books I read as a kid, reading had often
been replaced by some more efficient way of acquiring knowledge.
Mysterious "tapes" would load it into one's...
Directly where the Rhine meets the Moselle, The Thumb rises with quiet confidence near the Ludwig Museum, transforming the tranquil sculpture garden into...