AI Combined With Agile Lets Developers Focus on Craft
thenewstack.io·13h
🤖Program Synthesis
Show HN: Concrete Calculator – Fast, accurate estimates
concrete-calculator.pro·16h·
Discuss: Hacker News
🔬Static Analysis
Show HN: ZenStack V3 – Modern, AI-Friendly Data Layer for TypeScript App
zenstack.dev·14h·
Discuss: Hacker News
🔠Type-Level Programming
Automated Clinical Problem Detection from SOAP Notes using a Collaborative Multi-Agent LLM Architecture
arxiv.org·1d
✓Automated Theorem Proving
Apertus: a fully open, transparent, multilingual language model
actu.epfl.ch·17h·
Discuss: Hacker News, r/LLM, r/LocalLLaMA
🔬Unikernels
AI Chatbot vs Workflow vs Agent
medium.com·1d·
Discuss: r/programming
📚Automata Learning
The case against Almost Always `auto` (AAA)
gist.github.com·23h·
Discuss: Hacker News, r/cpp
📚Automata Learning
AI Agent Security – Why You Should Pay Attention
medium.com·19h·
Discuss: Hacker News
🩹Self-Healing Systems
Isolated(any)
nshipster.com·1d·
Discuss: Hacker News
🧮Lambda Calculus
Show HN: Prototyper - AI design platform
getaprototype.com·14h·
Discuss: Hacker News
🐫Embedded OCaml
Impossible rational triangles
johndcook.com·16h·
Discuss: Hacker News
🧮Lambda Calculus
Everything About Bitflags
neg4n.dev·14h·
Discuss: Hacker News, r/javascript, r/node
🐫Embedded OCaml
Gradient routing is better than pretraining filtering
lesswrong.com·18h
🩹Self-Healing Systems
Using LLMs for Intel Processor Code Trace Analysis
alansguigna.com·4d·
Discuss: Hacker News
👁️System Observability
Demangling the Details: Symbol Resolution in Rusty Trap
system.joekain.com·17h·
Discuss: Hacker News
🐫Embedded OCaml
Show HN: I Built an AI Comic Maker That Adds Quizzes (MCQs) for Kids
github.com·18h·
Discuss: Hacker News
🎮Verification Games
Inverting the Xorshift128 random number generator
littlemaninmyhead.wordpress.com·2d·
Discuss: Hacker News, r/programming
🐫Embedded OCaml
Three main views on the future of AI
lesswrong.com·12h
🩹Self-Healing Systems
Simulating the *rest* of the political disagreement
lesswrong.com·5h
🎮Verification Games
JWTs and OAuth suck for AI agents. Meet Wafers
positiveblue.substack.com·11h·
Discuss: Substack
🌐NetworkProtocols