How to Use Zorn's Lemma
⚔️Lean Tactics
Flag this post
Thinking Clearly
lemire.me·16h
🔬Lean
Flag this post
Habits of Highly Mathematical People
🔬Lean
Flag this post
A moonlit week
λLambda Encodings
Flag this post
Math Workmats
guidedmath.wordpress.com·9h
📚Proof Pedagogy
Flag this post
VENI, VINDy, VICI: a generative reduced-order modeling framework with uncertainty quantification
arxiv.org·3h
✨Effect Handlers
Flag this post
Problems from the Land down Under
📜Manuscript Calculus
Flag this post
A bestiary of single-file programming language implementations
🔗Concatenative Programming
Flag this post
Weekly Challenge: The one about arrays
📊APL Heritage
Flag this post
Lore Laundering Machines - by Ben Recht - arg min
argmin.net·1h
🎯Performance Proofs
Flag this post
The Power of Framework Dimensions: What Data Scientists Should Know
towardsdatascience.com·15h
📇Indexing Strategies
Flag this post
Card Dealing Math
blog.tanyakhovanova.com·16h
🎯Arithmetic Coding Theory
Flag this post
We Programmers Need "Results"
📜Proof Carrying Code
Flag this post
HigherOrderCO/Bend2
github.com·1d
🔗Functional Compilers
Flag this post
Loading...Loading more...