The 16th Ebola Virus Disease Outbreak in Democratic Republic of the Congo
virological.org·1d·
Discuss: Hacker News
🐫OCaml
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
How the Infamous APT 1 Report Exposing China’s PLA Hackers Came to Be
zetter-zeroday.com·23h·
Discuss: Hacker News
🛡️seL4
Procedural Island Generation
brashandplucky.com·21h·
Discuss: Hacker News
💎Refinement Types
Maybe Everything is OSS Now (but Not F)
jeffwofford.com·3h·
Discuss: Hacker News
📦Unikernel Systems
Business Insider Pulls 40+ Essays After Getting Conned By AI-Using Scammers
techdirt.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
A Case to Increase Variance
rishigurjar.com·17h·
Discuss: Hacker News
🩹Self-Healing Systems
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·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
Ask HN: Feedback on a new framework aiming at the classic RPC headaches
news.ycombinator.com·3d·
Discuss: Hacker News
🌐NetworkProtocols
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·2d·
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
Using topological data analysis to compare inter-subject variability across resting state functional MRI brain representations
arxiv.org·1d
➡️Category Theory
Systematic Integration of Attention Modules into CNNs for Accurate and Generalizable Medical Image Diagnosis
arxiv.org·3d
📚Automata Learning
New parametric CAD BREP kernel attempt
github.com·3d·
Discuss: Hacker News
🐫OCaml
The canonical agent architecture: A while loop with tools
braintrust.dev·4d·
Discuss: Hacker News
⚙Operational Semantics