Using eBPF to attribute packet drops to netfilter rules
developers.redhat.com·2d
🔍eBPF
Flag this post
Thoughts on "Static Retrival Revisited"
curiouscoding.nl·1d
#️⃣Hash Tables
Flag this post
Minimalistic CLAUDE.md for new projects: Follow SOLID, DRY, YAGNI, KISS
🔨Incremental Compilation
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·1d
💎Refinement Types
Flag this post
Build your own GPG in Rust
🦀Rust
Flag this post
Protest: An ergonomic, powerful, and feature-rich property testing library with minimal boilerplate.
Show HN: Suites – modern unit tests framework for TypeScript back ends
✅Property Testing
Flag this post
Disassembling Terabytes of Random Data with Zig and Capstone to Prove a Point
🔓Binary Exploitation
Flag this post
My C++ lockless-ish task scheduler project ive been working on (first real project, also first time using threads) tell me what you think (BSD license) currentl...
🦀Rust
Flag this post
Don't nuke your test ENVs
✅Property Testing
Flag this post
The Rust Foundation Maintainers Fund
🦀Rust
Flag this post
Loading...Loading more...