Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
🦀Rust Macros
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
Is Matrix Multiplication Ugly?
🔬Lean
Flag this post
Infix Versus Prefix Operators
irreal.org·15h
🧠Lisp Dialects
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·6h
🌀Brotli Internals
Flag this post
FAQ: Playful Math Journaling
denisegaskins.com·3d
📐Mathematical Art
Flag this post
Evolution Strategies at the Hyperscale
🔲Cellular Automata
Flag this post
Things I learned in the last 2 years
🌱Personal Wikis
Flag this post
Show HN: Chemistry AI – A step-by-step chemistry solver for students
🧪Manuscript Chemistry
Flag this post
[D] Looking for resources on “problem framing + operational thinking” for ML ?
🎵Audio ML
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
📄Text Chunking
Flag this post
Set theory with types
🔤Type Theory
Flag this post
Where "Simulation" Came From
🔤Type Theory
Flag this post
Verification Is Not the Silver Bullet
🎯Performance Proofs
Flag this post
Incorporating Self-Rewriting into Large Language Model Reasoning Reinforcement
arxiv.org·2d
💻Programming languages
Flag this post
Loading...Loading more...