Why Reactive Reflection Isn't Enough I used to end my weeks with a list of commits and a vague sense of progress. When things went wrong, I couldn’t explain wh...
I formalized the Single Source of Truth SSOT principle in Lean 4 ~2.1k LOC, zero sorry and proved two core results: Structural SSOT is achievable only when a la...
The basic idea Normally, you access attributes like this: python p.name That works only if you know the attribute name at coding time. getattr lets you do the...
Logos What is logos? We translate from Greek weakly as “word” or “reason,” but as philosopher Christos Yannaras defines it, “logos is the mode by which everyth...
Introduction Welcome to the world of compile‑time metaprogramming in Scala 3! Macros may feel magical, but they are built on a powerful system of quoting and s...
Article URL: https://github.com/FranciscoThiesen/mirror_bridge Comments URL: https://news.ycombinator.com/item?id=46144331 Points: 3 Comments: 0...
Article URL: https://chico.dev/Mirror-Bridge/ Comments URL: https://news.ycombinator.com/item?id=46144199 Points: 3 Comments: 0...
