Looking for feedback: heads-up poker training app
app.pokerheads.de·12h·
Discuss: r/programming
🎮Verification Games
Science is not Complex, just consider it as chain-of-thoughts
lightcapai.medium.com·2d·
Discuss: Hacker News
➡️Category Theory
Babies and LLMs
blog.karliner.net·8h·
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
Adding OR logic forced us to confront why users preferred raw SQL
signoz.io·2d·
Discuss: Hacker News
👁️System Observability
Richard Feynman – There's Plenty of Room at the Bottom
muonray.blogspot.com·1d·
Discuss: Hacker News
🔧Unikernel Development
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·14h·
Discuss: Lobsters, Hacker News
💾Retro Computing
Using AI to Optimize Patient Transfer and Resource Utilization During Mass-Casualty Incidents: A Simulation Platform
arxiv.org·1d
🩹Self-Healing Systems
Cutting-Edge AI vs. Solid Architecture: Which Will Transform Your Business?
blog.mangoteque.com·1d·
Discuss: Hacker News
👁️System Observability
Show HN: VibeDbg – Cconversational, LLM-Powered AI Assistant for WinDbg
github.com·2h·
Discuss: Hacker News
🔧Unikernel Development
Real-time CBCT reconstructions using Krylov solvers in repeated scanning procedures
arxiv.org·1d
⚡Process Calculi
Demo papers: they're fine I guess
lesswrong.com·21h
🔬Static Analysis
TailGuard: A way to connect your home WireGuard router into Tailscale via Docker
github.com·3d·
Discuss: Hacker News, Hacker News
🐳Containerization
Speculative cascades — A hybrid approach for smarter, faster LLM inference
research.google·1d·
Discuss: Hacker News
🧩Separation Logic
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·17h·
Discuss: r/homelab
🏠HomeLab
Bi-Level Game-Theoretic Planning of Cyber Deception for Cognitive Arbitrage
arxiv.org·3d
🎮Verification Games
Strategies for Improving Communication Efficiency in Distributed and Federated Learning: Compression, Local Training, and Personalization
arxiv.org·1d
🧩Parser Combinators