https://registerspill.thorstenball.com/p/the-most-powerful-law-in-software

Counterexamples in Type Systems - Counterexamples in Type Systems

https://counterexamples.org/

My Kind of REPL

https://ianthehenry.com/posts/my-kind-of-repl/ · I want to tell you about an idea that has had a huge influence on the way that I write software. And I mean that in the literal sense: it’s changed the way that I write software; it’s re-shaped my development workflow. The idea is this: you can write programs that modify themselves. And I don’t mean macros or metaprogramming or anything fancy like that. I mean that you can write programs that edit their own source code.

What is the type of Type?

https://avestura.dev/blog/what-is-the-type-of-type · Should type of `Type` be also `Type`? Or is there an alternative?

Names should be as short as possible while still being clear

https://benhoyt.com/writings/short-names/ · Short, meaningful names that take context into account are better than long, verbose names that don't.

https://wiki.c2.com/?SoftwareAsLiability

Programming Language Checklist | Colin McMillen

https://www.mcmillen.dev/language_checklist.html

Tree-Structured Concurrency

https://blog.yoshuawuyts.com/tree-structured-concurrency/ · Yoshua Wuyts's blog

Screenshots

https://sebastiandedeyne.com/screenshots/ · I like to browsing through past work when I'm in need of inspiration, trying to reflect on the present, or in a nostalgic mood. Not just finished work, the things that didn't make it can be even more inspiring to look back at. With modern software, artifacts of work in progress…

Blowing up my compile times for dubious benefits

https://claytonwramsey.github.io/2023/06/20/fiddler-const-magic.html · The tree of useless optimization yields questionable fruit.