Looking for feedback: heads-up poker training app
app.pokerheads.de·3h·
Discuss: r/programming
🎮Verification Games
Introducing Quote Posts
blog.joinmastodon.org·20h·
Discuss: Hacker News, Hacker News
⚙Operational Semantics
Scaling asyncio on Free-Threaded Python
labs.quansight.org·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
👁️System Observability
Making a cross-platform game in Go with WebRTC Datachannels and Ebitengine
pion.ly·2d·
Discuss: Hacker News, r/golang
🌐NetworkProtocols
Beyond Vibe Coded AI Slop: Agentic Workflows For Professionals
medium.com·2d·
Discuss: r/programming
🤖Program Synthesis
Maybe Everything is OSS Now (but Not F)
jeffwofford.com·6h·
Discuss: Hacker News
📦Unikernel Systems
Procedural Island Generation
brashandplucky.com·1d·
Discuss: Hacker News
💎Refinement Types
High Dimensional Optimization Remains Hard
win-vector.com·3d·
Discuss: Hacker News
🏹Effect Systems
Possibilities for Low-Fidelity Mind Uploading
zaira.blog·1d·
Discuss: Hacker News
📚Automata Learning
Why accessibility might be AI’s biggest breakthrough
arstechnica.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Self-Assembly Gets Automated in Reverse of ‘Game of Life’
quantamagazine.org·2d·
Discuss: Hacker News
🩹Self-Healing Systems
What Happened to Google's A2A?
blog.fka.dev·1d·
Discuss: Hacker News
🐳Containerization
Ask HN: Feedback on a new framework aiming at the classic RPC headaches
news.ycombinator.com·3d·
Discuss: Hacker News
🌐NetworkProtocols
Finally reached a stopping point with my new rack
reddit.com·46m·
Discuss: r/homelab
🏠HomeLab
AI Ate Its Own Tail, and I Learned Something About Writing
nibzard.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
Neural ARFIMA model for forecasting BRIC exchange rates with long memory under oil shocks and policy uncertainties
arxiv.org·3d
📚Automata Learning
DuoCLR: Dual-Surrogate Contrastive Learning for Skeleton-based Human Action Segmentation
arxiv.org·3d
📚Automata Learning
Rust compiler performance survey 2025 results
blog.rust-lang.org·2d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
❄️Nixified Development
Gram: Open-Source platform to create, curate and host MCP servers
github.com·3d·
Discuss: Hacker News
🖥Self-Hosting
Spoken in Jest, Detected in Earnest: A Systematic Review of Sarcasm Recognition -- Multimodal Fusion, Challenges, and Future Prospects
arxiv.org·4d
🔬Static Analysis