AI Combined With Agile Lets Developers Focus on Craft
thenewstack.io·8h
🤖Program Synthesis
R-4B: Incentivizing General-Purpose Auto-Thinking Capability in MLLMs via Bi-Mode Annealing and Reinforce Learning
arxiv.org·1d
📚Automata Learning
Demangling the Details: Symbol Resolution in Rusty Trap
system.joekain.com·12h·
Discuss: Hacker News
🐫Embedded OCaml
2025-09-01: Let's write a peephole optimizer for QBE's arm64 backend
briancallahan.net·1d·
Discuss: Hacker News
🐫Embedded OCaml
Tau² Benchmark in Action: Early Results and Key Takeaways
quesma.com·1d·
Discuss: Hacker News
👁️System Observability
The pitfalls of labs, skunkworks, and other special dev teams
chaoticgood.management·49m·
Discuss: Hacker News
🔄Reproducible Builds
How to Test
matklad.github.io·1d·
Discuss: Hacker News, Hacker News
🧪Property-Based Testing
Measuring cryptographic strength in liters of boiling water
johndcook.com·1h·
Discuss: Hacker News
🛡️seL4
Simple but Powerful Pratt Parsing
matklad.github.io·4d·
Discuss: r/programming
🧩Parser Combinators
Sharing Is Scaring: Linking Cloud File-Sharing to Programming Language Semantics
cs.brown.edu·3d·
Discuss: Hacker News
🌐NetworkProtocols
Output Schema for CodeAct AI Agents: From Trial-and-Error to Predictive Planning
huggingface.co·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Preachers are using AI to write sermons. Is God angry?
chiefwordofficer.substack.com·10h·
Discuss: Substack
🧩Parser Combinators
Inverting the Xorshift128 random number generator
littlemaninmyhead.wordpress.com·2d·
Discuss: Hacker News, r/programming
🐫Embedded OCaml
Kernel-hack-drill and a new approach to exploiting CVE-2024-50264 in the Linux kernel
a13xp0p0v.github.io·11h·
Discuss: Hacker News
🔧Unikernel Development
Proper Error Handling for Your Node.js Application
masteringbackend.com·1d·
Discuss: Hacker News
📊Runtime Verification
The KK computer: a 6502 + coprocessor system
laughtonelectronics.com·1d·
Discuss: Lobsters
🔧Unikernel Development
Civics Is Boring. So, Let's Encrypt Something
queue.acm.org·3h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The MCP Neuron
jontysinai.github.io·3h·
Discuss: Hacker News
📚Automata Learning
It's Not a Framework · Taro
taro.codes·6h·
Discuss: r/programming
🧱Immutable Infrastructure
Show HN: I Used RAG and Power Automate to Turn User Story to Tech Spec and Tasks
medium.com·8h·
Discuss: Hacker News
🤖Program Synthesis