Functional Abstract Interpretation
simon.peytonjones.orgยท23hยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Dynamic ClassFile Generation To Save 15.5 Nanoseconds
github.comยท1dยท
Discuss: r/programming
โœ…Format Verification
Parsing Safetensors File Format in C
leetarxiv.substack.comยท8hยท
Discuss: Substack, r/programming
โœ…Format Verification
Reflections on OpenAI
simonwillison.netยท6h
๐Ÿš€Indie Hacking
Re-implementing the Nix protocol in Rust
tweag.ioยท1dยท
Discuss: Hacker News
๐Ÿ”’Linear Types
Machine Code Isn't Scary
jimmyhmiller.github.ioยท1d
๐Ÿ”คCharacter Encoding
Python Fundamentals: bson
dev.toยท1dยท
Discuss: DEV
๐Ÿ”CBOR
A Rust shaped hole
ente.ioยท2d
๐Ÿฆ€Rust Macros
Helix Editor Release 25.07 Highlights
helix-editor.comยท4hยท
Discuss: Lobsters, Hacker News, r/linux
๐ŸŒณIncremental Parsing
RFC 7711 - PKIX over Secure HTTP (POSH)
datatracker.ietf.orgยท2d
๐ŸŒDNS Security
Adding lookbehinds to rust-lang/regex
systemf.epfl.chยท1dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ”RegEx Engines
Google Wifi Pro: Glitching from Root to EL3: Part 1 - Characterization
raelize.comยท14mยท
Discuss: Lobsters, Hacker News
๐Ÿ›ก๏ธeBPF Security
FSM Library for Embedded C Projects
hackster.ioยท1d
๐Ÿฆ€Embedded Rust
The Best C++ Library
mcyoung.xyzยท1dยท
Discuss: Lobsters, Hacker News, r/cpp
๐Ÿฆ€Rust Borrowing
Cactus Language โ€ข Stylistics 4
inquiryintoinquiry.comยท8h
๐ŸŒณContext free grammars
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.comยท9h
๐Ÿฆ€Rust Verification
W1seGuy | TryHackMe Walkthrough โ€” XOR? BrUt3_F0rC3 iT
infosecwriteups.comยท1d
๐Ÿ”Cryptographic Archaeology
Song recommendations with pipes and filters
blog.ploeh.dkยท1d
ฮปLambda Formalization
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.itยท23hยท
Discuss: Hacker News
๐Ÿ”Type Inference
How I Doubled My Lookup Performance with a Bitwise Trick
maltsev.spaceยท3h
๐Ÿ”ขBitwise Algorithms