An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🧮Z3 Solver
AI Fixed Coding, but Not the Bottleneck: Why Lisp, FP Still Matters
github.com·3d·
Discuss: Hacker News, r/neovim
🔗Lisp
Python 3.14 Unleashed: Revolutionary Features That Will Transform Your Code (Part 1)
dev.to·2d·
Discuss: DEV
💧Liquid Types
2025-10-10 # LLMs Are Transpilers
alloc.dev·1d·
Discuss: Hacker News
🔄Language Evolution
Defeating Return Type Polymorphism
philipphagenlocher.de·2d·
Discuss: Hacker News
🧬Functional Programming
Toy Binary Decision Diagrams
philipzucker.com·5d
🧮Algebraic Datatypes
WebAssembly WASI compilers in the Web browser with exaequOS
exaequos.com·3d·
Discuss: Hacker News, r/programming
🌐WASI
Protobuf: Rust Generated Code Guide
protobuf.dev·3d
🦀Rust Macros
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·1d·
Discuss: Hacker News, r/programming
🌳Incremental Parsing
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·1d·
Discuss: Hacker News, r/programming
✅Format Verification
Love C, Hate C: Web Framework Memory Problems
alew.is·22h·
Discuss: Hacker News
🔩Systems Programming
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·12h·
Discuss: Hacker News
🌐Protocol Synthesis
We found a bug in Go's ARM64 compiler
blog.cloudflare.com·2d·
Discuss: Lobsters, Hacker News, r/golang, r/programming
📜Proof Carrying Code
Combobulate: Structured Editing and Navigation in Emacs with Tree-sitter
github.com·18h·
Discuss: Hacker News
✨Effect Handlers
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·22h
🧮Theorem Proving
Making performant Python bindings to compiled code
kylebarron.dev·3d·
Discuss: Hacker News
🦀Rust Macros
Three Solutions to Nondeterminism in AI
blog.hellas.ai·2d·
Discuss: Hacker News
🎯Performance Proofs
Handy Python REPL Modifications
treyhunner.com·1d
🪟Awesome windows command-line
Ship Broken Things
matmul.net·1d·
Discuss: Hacker News
🔗Topological Sorting
Three gripes about Go modules
jotaen.net·9h·
Discuss: Hacker News
🔓Reverse engineering