Looking for feedback: heads-up poker training app
app.pokerheads.de·15h·
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·10h·
Discuss: Hacker News
➡️Category Theory
What Happened to Google's A2A?
blog.fka.dev·1d·
Discuss: Hacker News
🐳Containerization
How to keep package.json under control
blog.val.town·2d·
Discuss: Hacker News
🔄Reproducible Builds
Show HN: Llmswap – Universal AI SDK and Code Generation CLI
sreenathmenon.com·2d·
Discuss: Hacker News
🐳Containerization
Richard Feynman – There's Plenty of Room at the Bottom
muonray.blogspot.com·1d·
Discuss: Hacker News
🔧Unikernel Development
Cutting-Edge AI vs. Solid Architecture: Which Will Transform Your Business?
blog.mangoteque.com·1d·
Discuss: Hacker News
👁️System Observability
Speculative cascades — A hybrid approach for smarter, faster LLM inference
research.google·1d·
Discuss: Hacker News
🧩Separation Logic
Show HN: VibeDbg – Cconversational, LLM-Powered AI Assistant for WinDbg
github.com·5h·
Discuss: Hacker News
🔧Unikernel Development
Real-time CBCT reconstructions using Krylov solvers in repeated scanning procedures
arxiv.org·2d
⚡Process Calculi
Demo papers: they're fine I guess
lesswrong.com·1d
🔬Static Analysis
TailGuard: A way to connect your home WireGuard router into Tailscale via Docker
github.com·3d·
Discuss: Hacker News, Hacker News
🐳Containerization
Looking for advice: how to properly separate my homelab from my home network?
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Help building a homeserver
reddit.com·20h·
Discuss: r/homelab
🏠HomeLab
Trusting builds with Bazel remote execution
blogsystem5.substack.com·12h·
Discuss: Substack
🧱Immutable Infrastructure
Bi-Level Game-Theoretic Planning of Cyber Deception for Cognitive Arbitrage
arxiv.org·4d
🎮Verification Games
Strategies for Improving Communication Efficiency in Distributed and Federated Learning: Compression, Local Training, and Personalization
arxiv.org·2d
🧩Parser Combinators
crates.io phishing campaign
blog.rust-lang.org·1d·
Discuss: Lobsters, Hacker News, r/rust
🌐NetworkProtocols
Exploratory Retrieval-Augmented Planning For Continual Embodied Instruction Following
arxiv.org·2d
📚Automata Learning