mkcd: The missing shell shortcut
dbohdan.com·19h·
Discuss: Hacker News
❄️Nix
Large Hadron Collider: When Quantum and AI Collide
perimeterinstitute.ca·15h·
Discuss: Hacker News
📦Unikernel Systems
📄 Notify your iPhone or Watch when Claude Code finishes
justin.searls.co·1d·
Discuss: r/programming
🍎Apple
Rethinking Object-Oriented Programming in Java Education
max.xz.ax·2d·
Discuss: Hacker News, r/programming
🔬Static Analysis
Binding Application in Idris
andrevidela.com·3d·
Discuss: Hacker News
🔠Type-Level Programming
Hill Space: Neural nets that do perfect arithmetic (to 10⁻¹⁶ precision)
hillspace.justindujardin.com·18h·
Discuss: Hacker News
💻CS
Running a static website in AWS for $0.55
cottongeeks.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Things I learned from 5 years at Vercel
leerob.com·2d·
Discuss: Hacker News
🛡️seL4
Building MCP servers the easy way with Apache OpenServerless
opensource.net·3d·
Discuss: Hacker News
🛡️seL4
Show HN: Vibe Kanban – Kanban board to manage your AI coding agents
github.com·2d·
Discuss: Hacker News
🤖Program Synthesis
Claude Code vs Gemini CLI: Which One’s the Real Dev Co-Pilot?
milvus.io·5d·
Discuss: Hacker News
🤖Program Synthesis
MatrixTransformer – A Unified Framework for Matrix Transformations
news.ycombinator.com·10h·
Discuss: Hacker News
🐫OCaml
Integrating Generative AI in BIM Education: Insights from Classroom Implementation
arxiv.org·4d
🧪Property-Based Testing
Why can't anything in open source work following the instructions.
reddit.com·2d·
Discuss: r/homelab
📦Unikernel Systems
Where Small Boats Still Outrun Giants
shayne.dev·2d·
Discuss: Hacker News
🔬Unikernels
Zero-Conversion Success: The power of frictionless access in Open Source
onboardjs.com·4d·
Discuss: Hacker News
❄️Nixified Development
Show HN: LlamaFarm – Working on binary AI Project deployment – (early preview)
github.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Bare Metal vs. KVM for workstation/shop server
reddit.com·5h·
Discuss: r/homelab
🏠HomeLab
ClickOps Is a Disgrace
thenewstack.io·3d
🧱Immutable Infrastructure
crates.io: development update
blog.rust-lang.org·3d·
Discuss: Hacker News
❄️Nixified Development