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Β·9h
πHash Algorithms
Flag this post
EP190: Cloudflare vs. AWS vs. Azure
blog.bytebytego.comΒ·16h
π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Β·12h
ποΈ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
Parallel Threads in Racket v9.0
πCoroutines
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Β·10h
πBackus-Naur Form
Flag this post
Loading...Loading more...