Olmo 3 is a fully open LLM
simonwillison.netยท8h
๐ML Language
Flag this post
Dingo: A Meta-Language for Go
๐คEmbedded Go
Flag this post
Unlocking Speed: Certified Symmetry Breaking with Auxiliary Variables
๐งฎCombinator Calculus
Flag this post
From Swift to Machine Code
๐ฆSwift Interpreters
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
Langโs theorem โ Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.comยท11h
๐งฎCombinator Calculus
Flag this post
Pinning is a kind of static borrow
๐Rust Borrowing
Flag this post
Post-Conj update
๐ฎClojure
Flag this post
Trying Out C++26 Executors
๐ฎSpeculative Execution
Flag this post
A Pattern Language for Pattern Languages
mcqn.netยท9h
๐Backus-Naur Form
Flag this post
10 Essential Java Libraries - How Essential Are They Really?
hackernoon.comยท1d
๐งAPI Design
Flag this post
Taming the Beast: The Move To Declarative API Validation in Kubernetes - Yongrui Lin, Google
youtube.comยท1d
๐งNickel
Flag this post
How LLM Inference Works
arpitbhayani.meยท1d
๐Tokenizer Performance
Flag this post
Rust Smart Pointers: Safe Memory Management Without Garbage Collection
๐Rust Borrowing
Flag this post
Reduced order modeling with shallow recurrent decoder networks
nature.comยท2d
โกPartial Evaluation
Flag this post
Loading...Loading more...