How I Doubled My Lookup Performance with a Bitwise Trick
maltsev.space·9h
🔢Bitwise Algorithms
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Parsing Safetensors File Format in C
leetarxiv.substack.com·15h·
Discuss: Substack, r/programming
✅Format Verification
Janet Feature Demos
github.com·6m·
Discuss: Lobsters
🧠Lisp Dialects
RFC 7711 - PKIX over Secure HTTP (POSH)
datatracker.ietf.org·2d
🌐DNS Security
Reversing Google's New VM-Based Integrity Protection: PairIP
blog.byterialab.com·8h·
Discuss: Hacker News
🌐WASI
A http parser single-header library written in C89 which is 50 lines total.
github.com·3d·
Discuss: Hacker News, r/programming
🔧Binary Parsers
MT4DP: Data Poisoning Attack Detection for DL-based Code Search Models via Metamorphic Testing
arxiv.org·2h
🧮Z3 Solver
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·13h
🎯Gradual Typing
Bazel Knowledge: Beyond _deploy.jar for OCI images
fzakaria.com·2h
🔌Interface Evolution
Machine Code Isn't Scary
jimmyhmiller.github.io·1d
🔤Character Encoding
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·16h
🦀Rust Verification
The C3 Programming Language
c3-lang.org·6h·
Discuss: Hacker News
💧Liquid Types
Python Fundamentals: bson
dev.to·1d·
Discuss: DEV
🔐CBOR
FSM Library for Embedded C Projects
hackster.io·2d
🦀Embedded Rust
Adding lookbehinds to rust-lang/regex
systemf.epfl.ch·1d·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
Google Unicode SPUA-B Misinterpretation: Decoding Hidden Instructions as Plain Text
infosecwriteups.com·19h
🔓Hacking
Re-implementing the Nix protocol in Rust
tweag.io·1d·
Discuss: Hacker News
🔒Linear Types
Reflections on OpenAI
simonwillison.net·12h
🚀Indie Hacking
Checking data integrity
eclecticlight.co·13m
✅Checksum Validation