AI Combined With Agile Lets Developers Focus on Craft
thenewstack.io·8h
🤖Program Synthesis
11 Apache Iceberg Optimization Tools You Should Know
overcast.blog·1d·
Discuss: r/programming
🐳Containerization
SCP-1313 – Equation for Bear
scp-wiki.wikidot.com·37m·
Discuss: Hacker News
⚡Process Calculi
Show HN: ZenStack V3 – Modern, AI-Friendly Data Layer for TypeScript App
zenstack.dev·9h·
Discuss: Hacker News
🔠Type-Level Programming
‘World Models,’ an Old Idea in AI, Mount a Comeback
quantamagazine.org·8h·
Discuss: Hacker News
🎮Verification Games
Benchmarking LLM Codegen for SQL
beekeeperstudio.io·12h·
Discuss: Hacker News
🔄Reproducible Builds
The use of Claude Code in SciML repos
discourse.julialang.org·3d·
Discuss: Hacker News
💎Refinement Types
I made a CLI to stop manually copy-pasting code into LLMs
github.com·10h·
Discuss: Hacker News
🤖Program Synthesis
Tripping Around REPL
vlaaad.github.io·1d·
Discuss: Hacker News
🛡️seL4
On beautiful code
keygen.sh·5h·
Discuss: r/programming
💎Refinement Types
Racist Maths
fluxus.io·1d·
Discuss: Hacker News
🩹Self-Healing Systems
AI Chatbot vs Workflow vs Agent
medium.com·1d·
Discuss: r/programming
📚Automata Learning
How to Test
matklad.github.io·1d·
Discuss: Hacker News, Hacker News
🧪Property-Based Testing
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·12h·
Discuss: Hacker News, r/LLM, r/LocalLLaMA
🔬Unikernels
AI Agent Security – Why You Should Pay Attention
medium.com·14h·
Discuss: Hacker News
🩹Self-Healing Systems
Gradient routing is better than pretraining filtering
lesswrong.com·12h
🩹Self-Healing Systems
Isolated(any)
nshipster.com·1d·
Discuss: Hacker News
🧮Lambda Calculus
Show HN: Prototyper - AI design platform
getaprototype.com·9h·
Discuss: Hacker News
🐫Embedded OCaml
Impossible rational triangles
johndcook.com·11h·
Discuss: Hacker News
🧮Lambda Calculus