04 – eBPF Uprobes: Tracing gRPC Headers by Unpacking Go Function Internals
dev.to·2d·
Discuss: DEV
🔧Binary Parsers
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·1d
⚗️Algebraic Coding
A New Concurrent ML in Guile Scheme
wingolog.org·2h·
Discuss: Hacker News
🔄Lens Laws
Relative Completeness of Incorrectness Separation Logic
arxiv.org·7h
🧠Separation Logic
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·4h
✅Archive Validation
Abhinav Sarkar: A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·3d
🔗Functional Compilers
How we made JSON.stringify more than twice as fast
v8.dev·1d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming, r/webdev
🌊Streaming Compression
Uncovering memory corruption in NVIDIA Triton (as a new hire)
blog.trailofbits.com·13m
🧪Binary Fuzzing
I Built a Custom MCP Server in Golang To Make Claude Smarter—Here's How
hackernoon.com·1d
⚡gRPC
The Generativity Pattern in Rust
arhan.sh·17h·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
SIEVE — a better algorithm than LRU?
blog.apnic.net·6h
💨Cache Analysis
ECMA-262, 16th edition, June 2025
262.ecma-international.org·1d·
Discuss: Hacker News
🎯Gradual Typing
Let's hax0r a GC… (eventually)
h4x0r.org·20h·
Discuss: Lobsters, Hacker News, r/programming
🧠Memory Allocators
Come Try Out Piglet
arnebrasseur.net·21h·
Discuss: Hacker News
🐚Bash Monads
Making of SARE: Master Seeds in Hybrid Post-Quantum Encryption
zola.ink·17m·
Discuss: Hacker News
🌳Archive Merkle Trees
Cloned GoFiber for Learning and Achieved ~45% of its Performance
github.com·22h
⚡gRPC
original ↗
dotat.at·1d·
Discuss: Lobsters, Hacker News, r/programming
🌳Trie Structures
Understanding The LEGO Interface B Serial Communication
hackster.io·1d
📟Vintage Protocols
In Support Of Shitty Types
lucumr.pocoo.org·16h·
Discuss: Lobsters, Hacker News
🎯Gradual Typing
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types