The ‘godfather of AI’ reveals the only way humanity can survive superintelligent AI
cnn.com·22h·
Discuss: Hacker News
🤖Program Synthesis
Powering Jonsbo N4
jonsbo.com·6d·
Discuss: r/homelab
🍎XNU Internals
Why Metadata Matters (2013)
eff.org·8h·
Discuss: Hacker News
🌐NetworkProtocols
Abusing Ubuntu 24.04 features for root privilege escalation
labs.snyk.io·6d·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
The Undersupply Theorem Meets the Extraction Equilibrium
gojiberries.io·1d·
Discuss: Hacker News
✓Automated Theorem Proving
DARPA announces $4M winner of AI code review competition at DEF CON
therecord.media·2d·
Discuss: Hacker News
👁️System Observability
I Think with AI
rolando.is·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Mistral Integration Improved in Llama.cpp
github.com·2d·
Discuss: Hacker News
🐫OCaml
Dries Depoorter (WHY2025)
cdn.media.ccc.de·1d
➡️Category Theory
Ctrl+Alt+Delete Anxiety; a guide to mental wellness (WHY2025)
cdn.media.ccc.de·2d
🍎Apple
Urban-STA4CLC: Urban Theory-Informed Spatio-Temporal Attention Model for Predicting Post-Disaster Commercial Land Use Change
arxiv.org·1d
➡️Category Theory
Doctor Sun: A Bilingual Multimodal Large Language Model for Biomedical AI
arxiv.org·1d
🐫OCaml
How OpenAI used a new data type to cut inference costs by 75%
theregister.com·4d·
Discuss: Hacker News
🐫Embedded OCaml
Block encoding the 3D heterogeneous Poisson equation with application to fracture flow
arxiv.org·2d
🐫OCaml
Accessibility Literacy: Increasing accessibility awareness among young content creators
arxiv.org·2d
🎮Verification Games
Clustering low power mini pcs
reddit.com·6d·
Discuss: r/homelab
🏠HomeLab
Low-cost MacBook production starting soon, possible $599 or $699 pricing
9to5mac.com·2d
🍎Apple
3D-Printing A Full-Sized Kayak In Under A Day
hackaday.com·1d
⎈Kubernetes
Towards MR-Based Trochleoplasty Planning
arxiv.org·3d
🤖Program Synthesis
FOBNN: Fast Oblivious Inference via Binarized Neural Networks
arxiv.org·2d
🐫OCaml