Reflection for Aggregates (2020)
akrzemi1.wordpress.com·2d·
Discuss: Lobsters, Hacker News
🔢Algebraic Data Types
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·3d
🧮Z3 Solver
Flag this post
Becoming a Core Developer
stefaniemolin.com·4h
🔬Static Analysis
Flag this post
My Wishlist for PHP in 2026
stitcher.io·3d·
Discuss: Hacker News
❓Existential Types
Flag this post
The Evolution of GPUs: How Floating-Point Changed Computing
dell.com·7h·
Discuss: Hacker News
💾Retro Computing
Flag this post
Writing FreeDOS Programs in C
freedos.org·7h·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
Unlocking LLMs: The Self-Steering Revolution
dev.to·6h·
Discuss: DEV
🔄Finite State Machines
Flag this post
Improving Emacs' iCalendar Support
recursewithless.net·1h·
Discuss: Hacker News
🐫Embedded OCaml
Flag this post
Show HN: Using GitHub Pages as zero-cost APT repository with global CDN
vejeta.com·1d·
Discuss: Hacker News
📦Opam
Flag this post
DDD and the Simplicity Gospel
oluatte.com·22h·
Discuss: Hacker News, r/programming
🔤DSLs
Flag this post
Why Programming Languages Are Not 'Just Tools'
bloominlabs.substack.com·4d·
Discuss: Substack
⚙️Compiler Design
Flag this post
Our newest model: Chandra (OCR)
datalab.to·12h·
Discuss: Hacker News
📐Linear Algebra
Flag this post
🚀 Exploring Go’s Core Features in Depth
dev.to·7h·
Discuss: DEV
λFunctional Programming
Flag this post
Linux/WASM
joelseverin.github.io·1d·
Discuss: Hacker News
🐳Containerization
Flag this post
Building a Message-to-SQL AI Agent with Mastra and Telex.im
dev.to·1h·
Discuss: DEV
✓Automated Theorem Proving
Flag this post
Nim 2.2.6
nim-lang.org·2d·
Discuss: Hacker News
📦Opam
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·2d
🔲Cellular Automata
Flag this post
De Bruijn Numerals
text.marvinborner.de·3d·
Discuss: Hacker News
🧮Lambda Calculus
Flag this post
Rdza – Rust Programming, in Polish
github.com·2d·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
How We Saved 70% of CPU and 60% of Memory in Refinery’s Go Code, No Rust Required.
honeycomb.io·2d·
Discuss: Hacker News, r/programming
🏃Escape Analysis
Flag this post