Concept-Based Generic Programming -- Bjarne Stroustrup
isocpp.org·14h
🗂️Type Indexing
Flag this post
"I don't test, should I?": A reprise. (Aka should LLM agents write my tests for me if my code works?)
🧪Parser Testing
Flag this post
The Easiest Way to Build a Type Checker
✅Type Checking
Flag this post
No Deus ex Machina
📚Forth Compilers
Flag this post
October 2024 Progress in Guaranteed Safe AI
lesswrong.com·2d
📈Monotonic Logic
Flag this post
All About C & C++ Strings: A Comprehensive Guide (motivated by building a search engine)
📝String Interning
Flag this post
Dealing with domain modelling mismatches on external services
blog.shalvah.me·8h
🛡️Error Ergonomics
Flag this post
10000
jro.sg·23h
📦Executable Size
Flag this post
Pinning is a kind of static borrow
🔒Rust Borrowing
Flag this post
Build a Lua Interpreter in Rust
🦀Rust Macros
Flag this post
Loading...Loading more...