Back to Blog

Related posts

Read more »

Compiler Engineering in Practice

Article URL: https://chisophugis.github.io/2025/12/08/compiler-engineering-in-practice-part-1-what-is-a-compiler.html Comments URL: https://news.ycombinator.com...

Lean theorem prover mathlib

Article URL: https://github.com/leanprover-community/mathlib4 Comments URL: https://news.ycombinator.com/item?id=46260128 Points: 34 Comments: 0...

Lean Theorem Prover Mathlib

Article URL: https://github.com/leanprover-community/mathlib4 Comments URL: https://news.ycombinator.com/item?id=46260128 Points: 8 Comments: 0...

Love for Go and Rust rant!

> Warning: rant! Introduction I'm so tired of this shit. Every few weeks, some Rustacean slithers in here with their smug “but have you tried fearless concurren...