Looking for feedback: heads-up poker training app
app.pokerheads.de·9h·
Discuss: r/programming
🎮Verification Games
The Holy Grail of QA: 100% Test Coverage - A Developer's Mythical Quest
divinedevops.com·1d·
Discuss: r/programming
🔄Reproducible Builds
Babies and LLMs
blog.karliner.net·4h·
Discuss: Hacker News
➡️Category Theory
What Happened to Google's A2A?
blog.fka.dev·1d·
Discuss: Hacker News
🐳Containerization
Interactive LLM Chat
bkdev.xyz·1h·
Discuss: Hacker News
🧩Parser Combinators
How to keep package.json under control
blog.val.town·1d·
Discuss: Hacker News
🔄Reproducible Builds
Adding OR logic forced us to confront why users preferred raw SQL
signoz.io·2d·
Discuss: Hacker News
👁️System Observability
We're training a text-to-image model from scratch and open-sourcing it
photoroom.com·7h·
Discuss: Hacker News
💾Retro Computing
Co-developed a comprehensive UUID API - 17+ features, completely free
reddit.com·8h·
Discuss: r/programming
🔄Reproducible Builds
The Engineer in the AI Age: The Orchestrator and Architect
thenewstack.io·6h
🤖Program Synthesis
Prototype Design Pattern in Go – Faster Object Creation 🚀
reddit.com·17h·
Discuss: r/programming
🤖Program Synthesis
A layered architecture for log analysis in complex IT systems
arxiv.org·1d
👁️System Observability
VariSAC: V2X Assured Connectivity in RIS-Aided ISAC via GNN-Augmented Reinforcement Learning
arxiv.org·3d
🩹Self-Healing Systems
You Can Just Do Things
elite-ai-assisted-coding.dev·2d·
Discuss: Hacker News
Automated Theorem Proving
Debian Upgrade Marathon: 3.1 Sarge
wrongthink.link·10h·
💾Retro Computing
Cutting-Edge AI vs. Solid Architecture: Which Will Transform Your Business?
blog.mangoteque.com·1d·
Discuss: Hacker News
👁️System Observability
Real-time CBCT reconstructions using Krylov solvers in repeated scanning procedures
arxiv.org·1d
Process Calculi
Speculative cascades — A hybrid approach for smarter, faster LLM inference
research.google·23h·
Discuss: Hacker News
🧩Separation Logic
Demo papers: they're fine I guess
lesswrong.com·18h
🔬Static Analysis