Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·4h
📱Bytecode Design
Binary: The Language That Runs the World (and Your Wi-Fi)
dev.to·1d·
Discuss: DEV
🔢Binary Formats
Why did the über-protocols fail? A history of OOP RPC
medium.com·14h·
Discuss: Hacker News
📡Network Serialization
smartgo: I wish for a Go-like language with Rust-like pointers
iio.ie·5h
🔒Rust Borrowing
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·15h·
Discuss: r/programming
🧠Memory Models
Fitting It All in Your Head
systemsapproach.org·1h
🌍Minimal HTTP
ECS Implementation
reddit.com·23h·
Discuss: r/cpp
🤖Embedded Go
The Ultimate Guide to Building Real-Time Apps with SignalR
dev.to·1d·
Discuss: DEV
🔗Concurrency Primitives
Factory method design pattern
github.com·1d·
Discuss: DEV
🔀Control Structures
Valuable News – 2025/10/06
vermaden.wordpress.com·5h
🌱Forth Kernels
Google Chrome RCE (No Sandbox) via CanonicalEquality:EqualValueType()
ssd-disclosure.com·13h·
Discuss: Hacker News
🛡️Stack Safety
The Making of Digital Identity – The Birth of Digital Authentication
syntheticauth.ai·17h·
Discuss: Hacker News
🛡️Capability Security
🛠️ RTCP - The RTP Caretaker
rfc-editor.org·1d·
Discuss: DEV
📡Protocol Parsers
Nix pills
nixos.org·23h
🏗️Build Systems
Higher-Level Design Patterns
qouteall.fun·2d·
Discuss: Hacker News
Algebraic Effects
Fun with HyperLogLog and SIMD
vaktibabat.github.io·1d·
🔢Bit Manipulation
Four years, Five failures, One compiler
daymare.net·23h·
🌱Minimal Languages
A Beginner’s Guide to the Authenticated Byzantine Gossip Protocol
hackernoon.com·4d
🔄Protocol State Machines
C2|Q>: A Robust Framework for Bridging Classical and Quantum Software Development
arxiv.org·4h
🔬Nanopasses