Making a cross-platform game in Go with WebRTC Datachannels and Ebitengine
pion.ly·1d·
Discuss: Hacker News, r/golang
🌐NetworkProtocols
Beyond Vibe Coded AI Slop: Agentic Workflows For Professionals
medium.com·1d·
Discuss: r/programming
🤖Program Synthesis
Procedural Island Generation
brashandplucky.com·3h·
Discuss: Hacker News
💎Refinement Types
Page Object (2013)
martinfowler.com·14h·
Discuss: Hacker News
📊Runtime Verification
Business Insider Pulls 40+ Essays After Getting Conned By AI-Using Scammers
techdirt.com·7h·
Discuss: Hacker News
✓Automated Theorem Proving
Testing Claude’s Native Integration with Reminders and Calendar on iOS and iPadOS
macstories.net·1d·
Discuss: Hacker News
🍎Apple
High Dimensional Optimization Remains Hard
win-vector.com·2d·
Discuss: Hacker News
🏹Effect Systems
Possibilities for Low-Fidelity Mind Uploading
zaira.blog·21h·
Discuss: Hacker News
📚Automata Learning
Why accessibility might be AI’s biggest breakthrough
arstechnica.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Ask HN: Feedback on a new framework aiming at the classic RPC headaches
news.ycombinator.com·2d·
Discuss: Hacker News
🌐NetworkProtocols
Show HN: Oboe, a generalized AI-powered learning platform
news.ycombinator.com·1d·
Discuss: Hacker News
🎮Verification Games
Rust compiler performance survey 2025 results
blog.rust-lang.org·1d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
❄️Nixified Development
Spoken in Jest, Detected in Earnest: A Systematic Review of Sarcasm Recognition -- Multimodal Fusion, Challenges, and Future Prospects
arxiv.org·3d
🔬Static Analysis
Using topological data analysis to compare inter-subject variability across resting state functional MRI brain representations
arxiv.org·15h
➡️Category Theory
Systematic Integration of Attention Modules into CNNs for Accurate and Generalizable Medical Image Diagnosis
arxiv.org·2d
📚Automata Learning
Gram: Open-Source platform to create, curate and host MCP servers
github.com·2d·
Discuss: Hacker News
🖥Self-Hosting
Calibrating indifference - a small AI safety idea
lesswrong.com·2d
🧪Property-Based Testing
Show HN: SwiftLake – Lightweight SQL Engine for Iceberg Tables
github.com·2d·
Discuss: Hacker News
🔧Unikernel Development
New parametric CAD BREP kernel attempt
github.com·2d·
Discuss: Hacker News
🐫OCaml
The canonical agent architecture: A while loop with tools
braintrust.dev·4d·
Discuss: Hacker News
⚙Operational Semantics