How Coding Agents Actually Work: Inside Opencode
cefboud.com·19h·
Discuss: r/programming
🤖Program Synthesis
Why Do We Still Hide Our Socks?
d1gesto.blogspot.com·3h·
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
Generating Consistent Illustrations with Gemini Image Generation
tinystruggles.com·2d·
Discuss: Hacker News
🎮Verification Games
Show HN: AI Code Detector – detect AI-generated code with 95% accuracy
code-detector.ai·2h·
Discuss: Hacker News
📚Automata Learning
OpenAI Model Spec
model-spec.openai.com·1d·
Discuss: Hacker News
🔍Formal Verification
Dolphin Progress Report: Release 2509
dolphin-emu.org·17h·
Discuss: Lobsters, Hacker News
🔧Unikernel Development
AI hardware reimagined for lower energy use
news.cornell.edu·9h·
Discuss: Hacker News
🩹Self-Healing Systems
Disaggregated Inference at Scale with PyTorch and VLLM
pytorch.org·2d·
Discuss: Hacker News
🐫Embedded OCaml
A Cross-Team Risk Map of In-House CIAM for B2B and B2C Apps
securityboulevard.com·3h·
Discuss: Hacker News
🔄Reproducible Builds
The Curse of the Hybrid Engineer-Designer
opuslabs.substack.com·6h·
Discuss: Substack
💎Refinement Types
Differentially Private Decentralized Dataset Synthesis Through Randomized Mixing with Correlated Noise
arxiv.org·1d
✓Automated Theorem Proving
Emulating Public Opinion: A Proof-of-Concept of AI-Generated Synthetic Survey Responses for the Chilean Case
arxiv.org·1d
📚Automata Learning
From $0 to $40M ARR: Inside the tech that powers Bolt.new
newsletter.posthog.com·3h·
Discuss: Hacker News
🔧Unikernel Development
ReactOS
en.wikipedia.org·2h·
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·9h·
Discuss: Hacker News
🤖Program Synthesis
Necessary tool? Async LoRA for distributed systems
news.ycombinator.com·16h·
Discuss: Hacker News
👁️System Observability
Which NPM package has the largest version number?
adamhl.dev·1d·
Discuss: Hacker News
❄️Nixified Development