Fighting the Flu (1941)
theatlantic.com·7h·
Discuss: Hacker News
🩹Self-Healing Systems
Capitalization of Initialisms (2009)
teamten.com·3d·
Discuss: Lobsters, Hacker News
✓Automated Theorem Proving
The Three Laws of Humanics
pinchito.es·17h·
Discuss: Hacker News
🩹Self-Healing Systems
Strong Eventual Consistency - The Big Idea behind CRDTs
lewiscampbell.tech·7h·
Discuss: Lobsters, Hacker News
📡Network Protocol Design
A Curated List of CLI Commands for Google's Gemini CLI Coding Agent
dotgemini.dev·4h·
Discuss: Hacker News
🔄Reproducible Builds
Relaunching Yakread: an algorithmic reading app
biffweb.com·2d·
Discuss: Hacker News
🧮Lambda Calculus
ActivityPub message rewrite facility (MRF) based on WASM
aumetra.xyz·3d·
Discuss: Hacker News
💎Refinement Types
Ask HN: Is the Rust community the vegans of programming?
news.ycombinator.com·19h·
Discuss: Hacker News
🔬Static Analysis
Solving Polynomial Systems with Gr\"obner Bases: An Introduction to F4 and FGLM
arxiv.org·4d
🐫OCaml
We built an Artificial Brain that sleeps, dreams, and forms memories
github.com·3h·
Discuss: Hacker News
🩹Self-Healing Systems
A polyglot's guide to multiple-dispatch
eli.thegreenplace.net·1d·
Discuss: Hacker News
🏹Effect Systems
Type Checking is a Symptom, Not a Solution
programmingsimplicity.substack.com·3d·
Discuss: Substack
🐫Embedded OCaml
Knowledge and memory
robinsloan.com·2d·
Discuss: Hacker News
📚Automata Learning
How Do Committees Invent? – Melvin E. Conway
melconway.com·2d·
Discuss: Hacker News
⚙️Operating System Design
ChatGPT is NOT a LLM – GPT is
vincirufus.com·1d·
Discuss: Hacker News
📚Automata Learning
Splitting a long string in lines efficiently
lemire.me·22h·
Discuss: Hacker News
🐫Embedded OCaml
Semiconductor Fabs II: The Operation
lesswrong.com·23h
💾Retro Computing
What I Learned Rebuilding Search Three Times
nsavage.substack.com·4d·
Discuss: Substack
🔠Type-Level Programming
Are We SOLID Yet? An Empirical Study on Prompting LLMs to Detect Design Principle Violations
arxiv.org·4d
🎮Verification Games
AI Is Currently Hitting the Wall of Code Structure
modgo.org·1d·
Discuss: Hacker News
🤖Program Synthesis