How Coding Agents Actually Work: Inside Opencode
cefboud.com·17h·
Discuss: r/programming
🤖Program Synthesis
Why Do We Still Hide Our Socks?
d1gesto.blogspot.com·1h·
Discuss: Hacker News
🧩Separation Logic
Iron Vector: 50% Cost Reduction for Apache Flink Workloads
irontools.dev·22h·
Discuss: Hacker News
🔧Unikernel Development
A Cross-Team Risk Map of In-House CIAM for B2B and B2C Apps
securityboulevard.com·1h·
Discuss: Hacker News
🔄Reproducible Builds
Infinite Mac: Resource Fork Roundtripping
blog.persistent.info·14h·
🍏Darwin
Cuprum 2929: a fun educational game for kids and adults
vaslabs.io·2d·
Discuss: Hacker News
🎮Verification Games
Show HN: AI Code Detector – detect AI-generated code with 95% accuracy
code-detector.ai·16m·
Discuss: Hacker News
📚Automata Learning
FatNums: An Alternate Representation for School Arithmetic (2020)
parentheticallyspeaking.org·4d·
🏹Effect Systems
AI hardware reimagined for lower energy use
news.cornell.edu·7h·
Discuss: Hacker News
🩹Self-Healing Systems
Generating Consistent Illustrations with Gemini Image Generation
tinystruggles.com·2d·
Discuss: Hacker News
🎮Verification Games
OpenAI Model Spec
model-spec.openai.com·1d·
Discuss: Hacker News
🔍Formal Verification
Dolphin Progress Report: Release 2509
dolphin-emu.org·15h·
🔧Unikernel Development
Disaggregated Inference at Scale with PyTorch and VLLM
pytorch.org·2d·
Discuss: Hacker News
🐫Embedded OCaml
The Curse of the Hybrid Engineer-Designer
opuslabs.substack.com·4h·
Discuss: Substack
💎Refinement Types
On physiological limits of sense making
lesswrong.com·23h
🩹Self-Healing Systems
Necessary tool? Async LoRA for distributed systems
news.ycombinator.com·13h·
Discuss: Hacker News
👁️System Observability