How Coding Agents Actually Work: Inside Opencode
cefboud.com·22h·
Discuss: r/programming
🤖Program Synthesis
Why Do We Still Hide Our Socks?
d1gesto.blogspot.com·6h·
Discuss: Hacker News
🧩Separation Logic
Cuprum 2929: a fun educational game for kids and adults
vaslabs.io·2d·
Discuss: Hacker News
🎮Verification Games
FatNums: An Alternate Representation for School Arithmetic (2020)
parentheticallyspeaking.org·4d·
Discuss: Lobsters, Hacker News
🏹Effect Systems
Show HN: AI Code Detector – detect AI-generated code with 95% accuracy
code-detector.ai·4h·
Discuss: Hacker News
📚Automata Learning
Generating Consistent Illustrations with Gemini Image Generation
tinystruggles.com·2d·
Discuss: Hacker News
🎮Verification Games
Dolphin Progress Report: Release 2509
dolphin-emu.org·19h·
Discuss: Lobsters, Hacker News
🔧Unikernel Development
The Curse of the Hybrid Engineer-Designer
opuslabs.substack.com·8h·
Discuss: Substack
💎Refinement Types
Disaggregated Inference at Scale with PyTorch and VLLM
pytorch.org·2d·
Discuss: Hacker News
🐫Embedded OCaml
Show HN: Clean Clode – Clean Messy Terminal Pastes from Claude Code and Codex
cleanclode.com·6h·
Discuss: Hacker News
📺Vintage Apple
Can You Really Live One Day at a Time?
newyorker.com·12h·
Discuss: Hacker News
🩹Self-Healing Systems
What Makes System Calls Expensive: A Linux Internals Deep Dive
blog.codingconfessions.com·4h·
Discuss: Hacker News
🔧Unikernel Development
Agent-Infused MongoDB Tackles Application Modernization
thenewstack.io·2h
🧱Immutable Infrastructure
AuthTuna – A modern, async security framework for FastAPI
news.ycombinator.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
ReactOS
en.wikipedia.org·4h·
Discuss: Hacker News
🔬Unikernels
On physiological limits of sense making
lesswrong.com·1d
🩹Self-Healing Systems
Show HN: Destinies of Pure Intelligence – A Manifesto
news.ycombinator.com·11h·
Discuss: Hacker News
🤖Program Synthesis
Which NPM package has the largest version number?
adamhl.dev·1d·
Discuss: Hacker News
❄️Nixified Development
Test state, not interactions
rednafi.com·2d·
Discuss: Hacker News
🧪Property-Based Testing
On Treaties, Nuclear Weapons, and AI
lesswrong.com·4d
🐫OCaml