The 16th Ebola Virus Disease Outbreak in Democratic Republic of the Congo
virological.org·16h·
Discuss: Hacker News
🐫OCaml
How the Infamous APT 1 Report Exposing China’s PLA Hackers Came to Be
zetter-zeroday.com·12h·
Discuss: Hacker News
🛡️seL4
Making a cross-platform game in Go with WebRTC Datachannels and Ebitengine
pion.ly·1d·
🌐NetworkProtocols
Procedural Island Generation
brashandplucky.com·10h·
Discuss: Hacker News
💎Refinement Types
A Case to Increase Variance
rishigurjar.com·6h·
Discuss: Hacker News
🩹Self-Healing Systems
On LLMs and Quicksort
criptae.substack.com·4d·
Discuss: Substack
📚Automata Learning
High Dimensional Optimization Remains Hard
win-vector.com·2d·
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·2d·
Discuss: Hacker News
Automated Theorem Proving
What Happened to Google's A2A?
blog.fka.dev·18h·
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
Aligning those who align AI, one satirical website at a time
theverge.com·5h·
Discuss: Hacker News
Automated Theorem Proving
Rust compiler performance survey 2025 results
blog.rust-lang.org·2d·
❄️Nixified Development
Gram: Open-Source platform to create, curate and host MCP servers
github.com·2d·
Discuss: Hacker News
🖥Self-Hosting
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