Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space·17h·
Discuss: r/programming
🔬Static Analysis
Quantum Internet Is (Slowly) Becoming a Reality
cacm.acm.org·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
C++: Maps on Chains
bannalia.blogspot.com·8h·
Discuss: Hacker News
🏹Effect Systems
Opossum Attack: Application Layer Desynchronization Using Opportunistic TLS
opossum-attack.com·2d·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
SFrame-based stack unwinding for the kernel
lwn.net·1h·
Discuss: Hacker News
👁️System Observability
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
Probability-Raising Causality for Uncertain Parametric Markov Decision Processes with PAC Guarantees
arxiv.org·11h
✓Automated Theorem Proving
Breakthrough in Semiconductor Technology Paves the Way for Faster 6G Networks
techbriefs.com·3d·
Discuss: Hacker News
🐫Embedded OCaml
I Chose Software Engineering… Now I'm Completely Lost. Need Help
reddit.com·1d·
Discuss: r/programming
💻CS
Wallets as Universal Access Devices
arxiv.org·1d
🔬Unikernels
Plurality Philosophy in an Oversized Nutshell
vitalik.eth.limo·1d·
Discuss: Hacker News
🖥️Self-hosted 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
From Cloud Native to AI Native: Why Your AI Architecture Needs a Reality Check
brianchristner.io·18h·
Discuss: Hacker News
🔄Reproducible Builds
Data-Star.dev – v1 and Beyond
data-star.dev·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Building an AI app builder with an AI app builder built with an AI app builder
rhett.info·19h·
Discuss: Hacker News, r/webdev
🔄Reproducible Builds
Systemd's Nuts and Bolts
medium.com·1d·
Discuss: r/programming
⚙️Operating System Design
About to start a weekend project, sense-check me please!
reddit.com·4h·
Discuss: r/homelab
🏠HomeLab
Building MCP servers the easy way with Apache OpenServerless
opensource.net·1d·
Discuss: Hacker News
🛡️seL4