Anukari has macros, and a preset API
anukari.com·2h·
Discuss: Hacker News
🍎XNU Internals
Lamport's Byzantine Generals Algorithm in Python
bytepawn.com·9h·
Discuss: Hacker News
✓Automated Theorem Proving
Meta
engineering.fb.com·17h·
Discuss: Hacker News
🔄Reproducible Builds
Someone on GitHub filed a bug report against reality, says P=NP cause causality
github.com·1h·
Discuss: Hacker News
✓Automated Theorem Proving
You're probably not learning with AI
aryas.dev·15h·
Discuss: Hacker News
🐫Embedded OCaml
Analytics Is Changing (Again)
docs.fused.io·1d·
Discuss: Hacker News
🔬Static Analysis
Learn System Design Fundamentals With Examples
javatechonline.com·5d·
Discuss: r/programming
📡Network Protocol Design
If the Goal Is Resiliency, Defensive Programming Is Your Enemy
jola.dev·3d·
Discuss: Hacker News
🛡️seL4
Wait, why are we paying more for VSCode forks again?
trunk.io·1d·
Discuss: Hacker News
🔄Reproducible Builds
Show HN: Accelerate AI agent development by grounding AI assistant in local docs
github.com·5h·
Discuss: Hacker News
🏠HomeLab
Looking for some opinions for my homelab ideas.
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
A simple deployment setup for self-hosting personal projects
bimals.net·9h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Less Glue, More Product: Why Elixir Shrinks Architectural Complexity
iamkonstantin.eu·11h·
Discuss: Lobsters, Hacker News
🧱Immutable Infrastructure
You, Your Tools, and Your Team of AI Agents – By Owen Zanzal
medium.com·2d·
Discuss: Hacker News
⎈Kubernetes
tcmalloc's Temeraire: A Hugepage-Aware Allocator
paulcavallaro.com·5d·
Discuss: Hacker News, r/compsci, r/programming
⚙️Operating System Design
Morty: Scaling Concurrency Control with Re-Execution
muratbuffalo.blogspot.com·3d·
Discuss: Hacker News
⚙️Operating System Design
Dora Research: Concerns beyond the accuracy of AI output
dora.dev·1d·
Discuss: Hacker News
🤖Program Synthesis
I couldn't submit a PR, so I got hired and fixed it myself
skeptrune.com·1d·
Discuss: Lobsters, Hacker News
🔄Reproducible Builds
From Frustration to Power: What We Learned at Nixcademy
niteo.co·2d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
Development with GenAI: Boardroom vs reality
pdole.ga·2d·
Discuss: r/programming
🔄Reproducible Builds