Why AI Alone Fails at Large-Scale Code Modernization
thenewstack.io·2d
🤖Program Synthesis
11 Apache Iceberg Optimization Tools You Should Know
overcast.blog·8h·
Discuss: r/programming
🐳Containerization
Game Theory at Work: When to Talk and When to Shut Up
swaits.com·5d·
Discuss: Hacker News
✓Automated Theorem Proving
Four chatbot widget patterns for websites and apps: from bubble to super app
hoverbot.ai·13h·
Discuss: Hacker News
🔤DSLs
The Grammar According to West
dwest.web.illinois.edu·5d·
Discuss: Hacker News
📝Term Rewriting
Ditching Claude Code for Aider Local
hexeditreality.com·2d·
Discuss: Hacker News
🧩Parser Combinators
D as a Better C (2017)
dlang.org·1d·
Discuss: Hacker News
⚙️PL Implementation
Polynomial Chaos Expansion for Operator Learning
arxiv.org·3d
🐫OCaml
The Cause Of, and the Solution To, All Your Team's Problems
worksonmymachine.ai·4d·
Discuss: Hacker News
🧪Property-Based Testing
The Question Is the Answer: Why Deviation Is How Everything Learns
zakelfassi.com·2d·
Discuss: Hacker News
🔬Unikernels
Engineers turned managers/client-facing: What actually helped with the communication learning curve?
reddit.com·1d·
Discuss: r/programming
🩹Self-Healing Systems
C3 Language at 0.7.5: Language tweaks and conveniences
reddit.com·2h·
Discuss: r/programming
🐫Embedded OCaml
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·6d
✅Model Checking
Change Tracker: Monitor+revert file edits from Claude/AI agents(in-memory VCS)
news.ycombinator.com·2h·
Discuss: Hacker News
👁️System Observability
Sandboxing AI-generated code: why we moved from WASM to AWS Lambda
quesma.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
AI Models Need a Virtual Machine
blog.sigplan.org·3d·
Discuss: Hacker News, Hacker News
⚙️Operating System Design
Finding Bugs in a Coding Agent with Lightweight DST
wickstrom.tech·4d·
Discuss: Lobsters, Hacker News, Hacker News
💎Refinement Types
Explaining the Need for Strongly Happens Before in C++
nekrozqliphort.github.io·4d·
Discuss: Hacker News, r/cpp
⚡Process Calculi
Pushing Blocks without Fixed Blocks via Checkable Gizmos: Push-1 is PSPACE-Complete
arxiv.org·4d
✓Automated Theorem Proving
Programmers: you have to watch your weight, too
theregister.com·2d·
Discuss: Hacker News
💾Retro Computing