Join 📚 Josh Beckman's Highlights
A batch of the best highlights from what Josh's read, .
If a `swear` ever fails, **the function is deleted from the source code.** This guarantees that only functionally correct remains in the codebase.
> *But isn’t a language that deletes code crazy?*
>
> No, wanting to keep code that demonstrably has bugs according to its own specifications is crazy. What good could it possibly serve? It is corrupted and must be cleansed from your codebase.
Funny Programming Languages
Hillel Wayne
The issue is that when you compress something, you need to add metadata so that you can figure out what it looked like originally. Compression algorithms make assumptions about what patterns will occur in the original data in order to optimize the metadata. If the assumptions are right, the compressed data (including the metadata) is much smaller than the original data. But if the assumptions are wrong, the “compressed” data can even end up bigger than it was before!
Making CRDTs 98% More Efficient
Jake Lazaroff
The more unstable a situation is, the more rapidly it changes, the *less* valuable minute-by-minute reporting is. I don’t know what happened to the hospital in Gaza, but if I wait until the next issue of the *Economist* shows up I will be better informed about it than people who have been rage-refreshing their browser windows for the past several days, and I will have suffered considerably less emotional stress.
...catch up on these, and many more highlights
Readwise