NATO is defenceless against China's real West-killing weapons
telegraph.co.uk·5h·
Discuss: Hacker News
📡Network Protocol Design
Real-world epilepsy monitoring with subcutaneous electroencephalography
onlinelibrary.wiley.com·2d·
Discuss: Hacker News
📊Runtime Verification
FreeBSD Tips and Tricks: Native Read-Only Root File System – IT Notes
it-notes.dragas.net·4h·
Discuss: Hacker News
🖥Self-Hosting
The Mighty Simplex
galileo-unbound.blog·2d·
Discuss: Hacker News
🏹Effect Systems
C and C++: The Hidden Power Behind Modern Programming
github.com·8h·
Discuss: r/programming
🔤DSLs
I used AI to make this song. The results, and its implications, startled me
sfchronicle.com·13h·
Discuss: Hacker News
📚Automata Learning
Trillion Dollar Elephants
dbushell.com·4h·
Discuss: Hacker News
🔬Unikernels
I Replaced Redis Locks with Database Atomicity and You Should Too
wcff.bearblog.dev·4d·
Discuss: r/programming
⚡Process Calculi
Show HN: I Made an ESP32 On-Call Beeper
techsquidtv.com·6d·
Discuss: Hacker News
💾Retro Computing
Building Technical Vision(2022)
yusufaytas.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
Red Hat back-office team to be Big and Blue whether they like it or not
theregister.com·55m·
Discuss: Hacker News
⎈Kubernetes
Powering a Submarine with Rubber Bands
hackaday.com·3d
🧗Climbing Tech
Frigate vs Synology Surveillance Station
reddit.com·1h·
Discuss: r/homelab
🖥Self-Hosting
Building a Rotary Evaporator for the Home Lab
hackaday.com·5h
💾Retro Computing
Gray-Box Computed Torque Control for Differential-Drive Mobile Robot Tracking
arxiv.org·5d
🧠Automated Reasoning
IL-SLAM: Intelligent Line-assisted SLAM Based on Feature Awareness for Dynamic Environments
arxiv.org·4d
🧩Separation Logic
Writing Code Is Easy. Reading It Isn't
idiallo.com·1h·
Discuss: Hacker News
🔬Static Analysis
If AI agents take the jobs, who buys the stuff?
news.ycombinator.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
GPUs Never Signed Up for This AI Security Job
thenewstack.io·2d
🔧Unikernel Development
My 3D Printed Modular Rack for Dell Micro PCs
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab