AI Combined With Agile Lets Developers Focus on Craft
thenewstack.io·1h
🤖Program Synthesis
Show HN: Concrete Calculator – Fast, accurate estimates
concrete-calculator.pro·5h·
Discuss: Hacker News
🔬Static Analysis
Show HN: ZenStack V3 – Modern, AI-Friendly Data Layer for TypeScript App
zenstack.dev·3h·
Discuss: Hacker News
🔠Type-Level Programming
DeepQuali: Determining Software Quality with AI
blog.qaware.de·1d·
Discuss: Hacker News
🔄Reproducible Builds
The use of Claude Code in SciML repos
discourse.julialang.org·3d·
Discuss: Hacker News
💎Refinement Types
Benchmarking LLM Codegen for SQL
beekeeperstudio.io·6h·
Discuss: Hacker News
🔄Reproducible Builds
Apertus: a fully open, transparent, multilingual language model
ethz.ch·7h·
Discuss: Hacker News, r/LocalLLaMA
🔬Unikernels
Automated Clinical Problem Detection from SOAP Notes using a Collaborative Multi-Agent LLM Architecture
arxiv.org·1d
✓Automated Theorem Proving
Racist Maths
fluxus.io·1d·
Discuss: Hacker News
🩹Self-Healing Systems
My AI Predictions for 2027
lesswrong.com·1d
📚Automata Learning
AI Chatbot vs Workflow vs Agent
medium.com·23h·
Discuss: r/programming
📚Automata Learning
How to Test
matklad.github.io·1d·
Discuss: Hacker News, Hacker News
🧪Property-Based Testing
Isolated(any)
nshipster.com·1d·
Discuss: Hacker News
🧮Lambda Calculus
Tripping Around REPL
vlaaad.github.io·1d·
Discuss: Hacker News
🛡️seL4
AI Agent Security – Why You Should Pay Attention
medium.com·8h·
Discuss: Hacker News
🩹Self-Healing Systems
Debugging Rustler on Illumos
system-illumination.org·7h·
Discuss: Lobsters, Hacker News
🔬Static Analysis
Show HN: Prototyper - AI design platform
getaprototype.com·3h·
Discuss: Hacker News
🐫Embedded OCaml
Understanding Automatic Differentiation
swagatmitrab.vercel.app·4d·
Discuss: Hacker News
🏹Effect Systems
Using LLMs for Intel Processor Code Trace Analysis
alansguigna.com·3d·
Discuss: Hacker News
👁️System Observability
Inverting the Xorshift128 random number generator
littlemaninmyhead.wordpress.com·1d·
Discuss: Hacker News, r/programming
🐫Embedded OCaml