Tour de force: Vivaldi and Renault team up for the best on-road experience
vivaldi.com·1d·
Discuss: Hacker News
📦Unikernel Systems
The Harvard-Educated Linguist Breaking Down 'Skibidi' and 'Rizz'
nytimes.com·2d·
Discuss: Hacker News, Hacker News
🎮Verification Games
ASUS Unveils ROG Astral GeForce RTX 5090 Real Gold Edition with 5 kg of Pure Gold
techpowerup.com·1d·
Discuss: Hacker News
🍎Apple
Fighting Brandolini's Law with Sampling
brady.fyi·4h·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: "Who is hiring?" organized in a spreadsheet by AI agent
docs.getgrist.com·1d·
Discuss: Hacker News
🍎Apple
Ejabberd 25.07 / ProcessOne – Erlang Jabber/XMPP/Matrix Server – Communication
process-one.net·2d·
Discuss: Hacker News
🌐NetworkProtocols
Jcorp Nomad: ESP32-S3 Offline Media Server in a Thumbdrive
hackaday.com·2d
🔬Unikernels
The AI That Broke the Internet's Back
medium.com·48m·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Research my next NAS
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Symptom-Driven Personalized Proton Pump Inhibitors Therapy Using Bayesian Neural Networks and Model Predictive Control
arxiv.org·21h
✓Automated Theorem Proving
Towards Spatial Audio Understanding via Question Answering
arxiv.org·21h
🐫Embedded OCaml
Seagate unveils 30TB HDDs for the masses — laser-powered HAMR drives are now widely available
tomshardware.com·9h·
Discuss: Hacker News, r/technews
⚙️Operating System Design
CompassJudger-2: Towards Generalist Judge Model via Verifiable Rewards
arxiv.org·21h
🎮Verification Games
REST: Stress Testing Large Reasoning Models by Asking Multiple Problems at Once
arxiv.org·21h
🧪Property-Based Testing
Overcoming catastrophic forgetting in neural networks
arxiv.org·21h
🎮Verification Games
Ramanujan-Computing: Distributed Computing with Idle Smart Devices: Open-Source
news.ycombinator.com·2d·
Discuss: Hacker News
📦Unikernel Systems
Detecting and Pruning Prominent but Detrimental Neurons in Large Language Models
arxiv.org·21h
➡️Category Theory
Representation learning with a transformer by contrastive learning for money laundering detection
arxiv.org·21h
➡️Category Theory
Driving Platform Adoption, Part 2: Yes, Create T-Shirts To Tout Your Brand
thenewstack.io·10h
🖥️Self-hosted Infrastructure
WordPress Turmoil and the FAIR Package Manager
thenewstack.io·12h·
Discuss: Hacker News
📦Unikernel Systems