The Rise of Worse is Better. The ‘best’ design, or the best anything, isn’t always best. The ‘best’ can be worse for many reasons.

Three important steps in my maturation process. The first point is the most poignant to me. My belief systems have changed many times over the years, and I believe it is healthy for people to update their beliefs as they gain new understanding of the world. The third point refutes people who subscribe to being ‘hyper logical’. Emotions always play a part in your life, including the decisions you make. Choosing to be ‘hyper logical’ is also a emotion-based decision to be avoidant towards recognising your emotions.

Wittgenstein’s Contribution to Philosphy.

Mishima: The Last Debate. I’ve read some Mishima and have had what I thought was a decent understanding behind the decisions of the later part of his life, but this debate revealed the contradictions behind his ideals. I also very much enjoyed Masahiko Akuta’s arguments.

Per Martin Löf: How did ‘judgement’ come to be a term of logic?. Per Martin Löf used the term judgement without knowing its origins, so he dove into the rabbit hole.

Don’t be a meat proxy. I’m becoming less tolerant of AI written PR descriptions and comments. I don’t want to read Codex’s or Claude’s interpretation of something, i want your interpretation.

Enough with all the world-historic milestones. While many look outward at AI solving math and coding, it might be even more important to look inward over the next few years.

Fits on a Floppy. Shipping software that people use also means that you should be strict about what you put on people’s computers. It’s akin to being a guest in someone’s house; you want to be polite to your host(s). Keeping binary sizes small is one of the ways to be a good guest.

“Why not just use Lean?”. A post pushing back on using Lean as the default for formal verification everywhere. In some applications, having dependent types is overkill. Higher Order Logic (HOL) can do the job. Sequent’s article talks more in-depth on why HOL is good enough for deep verification.

A Font That is a Neural Network. Cool experiment on how you can replace the lookup that renders an OpenType font with a computation.

Godel’s Proof by Ernest Nagel & James Newman. Picked up this book in a bookstore in Prague. Explains Godel’s Incompleteness Theorem by building up the required background knowledge, and does it concisely.

Roger Penrose explains Godel’ s Incompleteness Theorem. A 3 minute watch.

Slow Software: The Case for High latency Systems Development. A bit corny with the slow food analogy but somewhat aligns with my belief. Generating code is no longer the bottleneck, reading and understanding is. Slower and more deliberate cycles allow for more resilient and secure systems.