Unlocking Speed: Certified Symmetry Breaking with Auxiliary Variables
🧮Combinator Calculus
Flag this post
Attention-based functional-group coarse-graining: a deep learning framework for molecular prediction and design
nature.com·1d
✨Effect Inference
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·6h
🔍ML Language
Flag this post
The Sacrilegious Coder
📚Self-Documenting Code
Flag this post
Set theory with types
🎯Type Theory
Flag this post
September 2024 Progress in Guaranteed Safe AI
lesswrong.com·2d
🗺️Region Inference
Flag this post
My code is 100% AI generated
jda.bearblog.dev·13h
📚Self-Documenting Code
Flag this post
Railway Oriented Programming
🚂Error Monads
Flag this post
FAWK: LLMs can write a language interpreter
🐪OCaml
Flag this post
Pinning is a kind of static borrow
🔒Rust Borrowing
Flag this post
Introducing Styleframe — a new way to write type-safe, composable, future-proof CSS in TypeScript
🌈Gradual Languages
Flag this post
Evolution Strategies at the Hyperscale
💬Interactive REPLs
Flag this post
Zig in 30 Minutes
🦀MIR Optimization
Flag this post
Infix Versus Prefix Operators
irreal.org·15h
🎭Delimited Continuations
Flag this post
Dingo: A Meta-Language for Go
🤖Embedded Go
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...