More sizzle than steak? Using an LLM to produce verified bug fixes (new preprint)
bertrandmeyer.comยท2d
โšกProof Automation
First release: Popcorn โ€“ Bring Elixir to the browser
blog.swmansion.comยท4hยท
Discuss: Hacker News
๐Ÿ•ธ๏ธWASM Archives
A deterministic ฯ€-driven algorithm for the Partition Problem (NP-complete)
osf.ioยท1dยท
Discuss: Hacker News
๐ŸงฎSMT Solvers
Trying to understand homelab/NAS software solutions
reddit.comยท1dยท
Discuss: r/homelab
๐Ÿ HomeLab
Zeitwerk: The Autoloader That Rails Deserves, but Not the One It Needs
rubystacknews.comยท3dยท
Discuss: Hacker News
๐Ÿ”—Static Linking
How should I handle dependency injection working with loggers?
reddit.comยท1dยท
Discuss: r/golang
โšกgRPC
Invisible Programming Language
en.wikipedia.orgยท1dยท
Discuss: Hacker News, r/programming
๐Ÿ”—Concatenative Languages
New AI architecture delivers 100x faster reasoning than LLMs with just 1,000 training examples
venturebeat.comยท1dยท
Discuss: Hacker News, r/LocalLLaMA
๐Ÿ”ฒCellular Automata
Well-Founded Coalgebras Meet K\"onig's Lemma
arxiv.orgยท2d
๐ŸงฎAlgebraic Archives
Machine Learning Fundamentals: gradient descent
dev.toยท2dยท
Discuss: DEV
๐ŸŽตAudio ML
๐Ÿ”ฅ Claude Code pattern that saves 5-minute daily:
dev.toยท2hยท
Discuss: DEV
๐ŸŒณIncremental Parsing
DevLog 20250726: C# is the way, Python gets things done, JavaScript is convenient
dev.toยท15hยท
Discuss: DEV
๐Ÿš€Indie Hacking
[SHOW OSS]Claude Sub Agents โ€“ AI Development Team
github.comยท5hยท
Discuss: Hacker News, Hacker News
๐Ÿ‘‘Isabelle
A Full Code Agent in 200 Lines
cthiriet.comยท5dยท
Discuss: Hacker News
โšกProof Automation
Zup: The Self-Healing CLI That Automates Your Dev Environment
dev.toยท3dยท
Discuss: DEV
๐ŸšShell Automation
Started a "simple" K8s tool. Now I'm drowning in systems complexity. Complexity or skills gap? Maybe both
reddit.comยท1dยท
Discuss: r/kubernetes
๐ŸŒProtocol Synthesis
Ask HN: What's the ideal programming language in the age of LLMs?
news.ycombinator.comยท1dยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Why Java is Still a Top Backend Language in the AI Era
dev.toยท8hยท
Discuss: DEV
๐ŸŒŠStreaming Systems
Machine Learning Fundamentals: hyperparameter tuning
dev.toยท13hยท
Discuss: DEV
๐Ÿ“ŠFeed Optimization
Your AI Knowledge System is Garbage (And Here's How to Fix It)
dev.toยท22hยท
Discuss: DEV
๐ŸŒ€Brotli Internals