The Meritocracy Trap
journals.plos.org·7h·
Discuss: Hacker News
💻CS
Automatically Discover, Record, and Document APIs With WireMock AI
wiremock.io·23h·
Discuss: r/programming
👁️System Observability
C++: Maps on Chains
bannalia.blogspot.com·9h·
Discuss: Hacker News
🏹Effect Systems
sipgate discovers null-pointer-dereference in Mediatek VoLTE stack firmware
sipgate.de·10h·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
SFrame-based stack unwinding for the kernel
lwn.net·3h·
Discuss: Hacker News
👁️System Observability
Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space·18h·
Discuss: r/programming
🔬Static Analysis
Graph Diffusion-Based AeBS Deployment and Resource Allocation for RSMA-Enabled URLLC Low-Altitude Economy Networks
arxiv.org·3d
🔬Unikernels
Digital Wargames to Enhance Military Medical Evacuation Decision-Making
arxiv.org·1d
🎮Verification Games
(Quite) a few words about async
yoric.github.io·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔬Static Analysis
RFID Reader for Raspberry Pi: Reads RDIF cards and sends a request to the configured webhook
github.com·23h·
Discuss: r/programming
🌐NetworkProtocols
Probability-Raising Causality for Uncertain Parametric Markov Decision Processes with PAC Guarantees
arxiv.org·13h
✓Automated Theorem Proving
Breakthrough in Semiconductor Technology Paves the Way for Faster 6G Networks
techbriefs.com·3d·
Discuss: Hacker News
🐫Embedded OCaml
Building a Proxmox server around EPYC 4545P - need board suggestions. Question
reddit.com·1h·
Discuss: r/homelab
🏠HomeLab
I Chose Software Engineering… Now I'm Completely Lost. Need Help
reddit.com·1d·
Discuss: r/programming
💻CS
Quantum Internet Is (Slowly) Becoming a Reality
cacm.acm.org·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Wallets as Universal Access Devices
arxiv.org·1d
🔬Unikernels
From Cloud Native to AI Native: Why Your AI Architecture Needs a Reality Check
brianchristner.io·19h·
Discuss: Hacker News
🔄Reproducible Builds
Data-Star.dev – v1 and Beyond
data-star.dev·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Automated Reasoning for Vulnerability Management by Design
arxiv.org·2d
✓Automated Theorem Proving
TocToc - A Simple Port Knocking CLI
github.com·1d·
Discuss: Hacker News, r/golang
🌐NetworkProtocols