Opossum Attack: Application Layer Desynchronization Using Opportunistic TLS
opossum-attack.com·3d·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
Computer Scientists Figure Out How To Prove Lies
quantamagazine.org·2d·
Discuss: Lobsters, Hacker News, Hacker News, Hacker News
🎮Verification Games
Show HN: A fast 3D collision detection algorithm
cairno.substack.com·2d·
Discuss: Substack
🎮Verification Games
Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space·20h·
Discuss: r/programming
🔬Static Analysis
Breakthrough in Semiconductor Technology Paves the Way for Faster 6G Networks
techbriefs.com·3d·
Discuss: Hacker News
🐫Embedded OCaml
Quantum Internet Is (Slowly) Becoming a Reality
cacm.acm.org·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
From Cloud Native to AI Native: Why Your AI Architecture Needs a Reality Check
brianchristner.io·21h·
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
This Homebrew CPU Got Its Start in the 1990s
hackaday.com·8h
💾Retro Computing
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·7h·
Discuss: r/homelab
🏠HomeLab
Building MCP servers the easy way with Apache OpenServerless
opensource.net·1d·
Discuss: Hacker News
🛡️seL4
Building an AI app builder with an AI app builder built with an AI app builder
rhett.info·23h·
Discuss: Hacker News, r/webdev
🔄Reproducible Builds
A Mental Model for C++ Coroutine
uvdn7.github.io·1h·
Discuss: Hacker News
🏹Effect Systems
At my wits end..
i.redd.it·3h·
Discuss: r/homelab
💾Retro Computing
Plurality Philosophy in an Oversized Nutshell
vitalik.eth.limo·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Detection of Intelligent Tampering in Wireless Electrocardiogram Signals Using Hybrid Machine Learning
arxiv.org·1d
🌐NetworkProtocols
Foundation Model Self-Play: Open-Ended Strategy Innovation via Foundation Models
arxiv.org·1d
🛡️seL4