↓ Skip to main content

·26 words

Software can only be proven right within a set of assumptions. Something as simple as leftpad can be broken in any number of interesting ways.

https://lukeplant.me.uk/blog/posts/breaking-provably-correct-leftpad

Alper Cugun
Author
Alper Cugun

Related

·23 words
Visual explanations of mathematical concepts are nice if they work. Here’s one such explanation of functional optics which is almost kinda accessible.

·40 words
It’s always been my feeling that TLS has unacceptable collateral damage in how it breaks the web for normal people. That’s considered a bit of a crank opinion, but I’m definitely not the only person who feels that way.

·32 words
The Bitter Lesson is an interesting concept. Stuffing the prompt runs into diminishing returns pretty quickly but on the other hand, getting your AI to play well with tools is challenging.