Extreme fast charging of Lithium-ion batteries using flash graphene additive
sciencedirect.com·2h·
Discuss: Hacker News
🐫Embedded OCaml
Dreammeaning
dreammeaning.pro·9h·
Discuss: Hacker News
✓Automated Theorem Proving
Passkey support for ASP.NET Core identity: Exploring the .NET 10 preview - Part 6
andrewlock.net·2d·
Discuss: r/programming
🌐NetworkProtocols
Management of IP numbers by peg-DHCP (1998)
datatracker.ietf.org·4d·
Discuss: Hacker News
📡Network Protocol Design
Sincerity Beats Absurdity to Death
medium.com·5h·
Discuss: Hacker News
🔬Unikernels
524522 Zoozve
en.wikipedia.org·1h·
Discuss: Hacker News
📡Network Protocol Design
Generative AI isn't just a matter of life and death. It's far more important than that
theregister.com·6h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
A Robust Optimization Approach for Demand Response Participation of Fixed-Frequency Air Conditioners
arxiv.org·3d
🏹Effect Systems
Uncertainty-Aware Prediction of Parkinson's Disease Medication Needs: A Two-Stage Conformal Prediction Approach
arxiv.org·3d
🏹Effect Systems
Description and Comparative Analysis of QuRE: A New Industrial Requirements Quality Dataset
arxiv.org·5d
🔄Reproducible Builds
Linux is about to lose a feature – over a personality clash
theregister.com·2d·
Discuss: Hacker News
🔬Unikernels
NAS case for framework desktop mainboard
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Show HN: SSH Monitor – because I was tired of checking 20 servers manually
github.com·5d·
Discuss: Hacker News
🍎XNU Internals
Dynamic Synchronization and Resonance as a Universal Origin of 1/f Fluctuations -- Amplitude Modulation Across Music and Nature
arxiv.org·3d
🍎XNU Internals
Satellites are closer than you think: A near field MIMO approach for Ground stations
arxiv.org·4d
📡Network Protocol Design
A Second Chance for the Single Wheel Monorail?
hackaday.com·1d
🧗Climbing Tech
Harmonic balance-automatic differentiation method: an out-of-the-box and efficient solver for general nonlinear dynamics simulation
arxiv.org·6d
🔬Static Analysis
I've been building AI agents for a while now, and there's a fundamental problem nobody's talking about
reddit.com·4d·
Discuss: r/programming
🛡️seL4
Decentralising Freedom: Open Source for Sovereignty (froscon2025)
cdn.media.ccc.de·1d
📦Unikernel Systems
Reverse Physician-AI Relationship: Full-process Clinical Diagnosis Driven by a Large Language Model
arxiv.org·3d
✓Automated Theorem Proving