Building Tornago: A Go Library for Tor Integration Born from Fraud Prevention Needs
🌍Minimal HTTP
Flag this post
The Easiest Way to Build a Type Checker
✅Type Checking
Flag this post
October 2024 Progress in Guaranteed Safe AI
lesswrong.com·2d
📈Monotonic Logic
Flag this post
Cross-referencing code and specs for maintainability (2024-03-21)
📡Network Serialization
Flag this post
Making SLH-DSA 10x-100x Faster
conduition.io·8h
🔗Hash Algorithms
Flag this post
EP190: Cloudflare vs. AWS vs. Azure
blog.bytebytego.com·15h
🌍Minimal HTTP
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
🌱Minimal Interpreters
Flag this post
Concept-Based Generic Programming -- Bjarne Stroustrup
isocpp.org·10h
🗂️Type Indexing
Flag this post
Title: New Chapter Published: Minimization of Finite Automata — A deeper look into efficient automaton design
🎯Finite Automata
Flag this post
Building a High-Performance Live Network Sniffer in Rust (Without Kernel Drivers)
⚙️TOML Parsers
Flag this post
Verifying and testing timeliness constraints of Haskell programs
⚡Interpreter Optimization
Flag this post
A forthcoming problem with bitvm - Supertestnet interrogates Citrea's protocol
telegra.ph·1d
🔢Bit Manipulation
Flag this post
Mathematics of Consensus — Accidental Lecture
tigerbeetle.com·1d
🔶Lattice Theory
Flag this post
🎲 An Interface Design Test for Collaborative Agents
vasters.com·2d
📡Protocol Parsers
Flag this post
A Pattern Language for Pattern Languages
mcqn.net·9h
📋Backus-Naur Form
Flag this post
Loading...Loading more...