RFT Theorems
🔢Algebraic Datatypes
Flag this post
Evolution Strategies at the Hyperscale
💬Interactive REPLs
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
🌱Minimal Interpreters
Flag this post
Assorted Thoughts on "Pivoting" to AI
lesswrong.com·9h
🎭Program Synthesis
Flag this post
OpenMMReasoner: Pushing the Frontiers for Multimodal Reasoning with an Open and General Recipe
arxiv.org·2d
🏗️MLIR
Flag this post
How LLM Inference Works
arpitbhayani.me·1d
🚀Tokenizer Performance
Flag this post
Clojure for Java developers: What you need to know
infoworld.com·3d
🔮Clojure
Flag this post
No Deus ex Machina
📚Forth Compilers
Flag this post
A Subsets.py Step-by-Step Visualization! (With Lyrics)
youtube.com·1d
🔮Type Inference Visualization
Flag this post
Pinning is a kind of static borrow
🔒Rust Borrowing
Flag this post
Understanding PL/SQL Collections: Associative Arrays, Nested Tables, and VARRAYs
📋Row Typing
Flag this post
Minimizing Variable Scope in Go: New Blog Post and Static Analyzer Tool
blog.fillmore-labs.com·2d
🔗Lexical Scoping
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·6h
🔍ML Language
Flag this post
Teaming LLMs to Fight Hallucinations: A Deep Dive into a New Frontier of Model Reliability
pub.towardsai.net·1d
✨Effect Inference
Flag this post
Loading...Loading more...