Indefiniteness makes lattice reduction easier
arxiv.orgΒ·2d
πCombinatory Logic
Flag this post
Langβs theorem β Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.comΒ·11h
Ξ»Lambda Encodings
Flag this post
Pitch Multiplication (2017)
πΌAudio Lambda Calculus
Flag this post
Beyond the Geometry of Music
golem.ph.utexas.eduΒ·16h
πΌAudio Lambda Calculus
Flag this post
Set theory with types
π€Type Theory
Flag this post
Closest consecutive reciprocal sum to an integer
johndcook.comΒ·3d
πError Bounds
Flag this post
Understanding LLMs as Pattern Machines, Not Thinking Partners
π»Programming languages
Flag this post
Notes for November 17-22
taoofmac.comΒ·10h
πBrotli Internals
Flag this post
Olmo 3 is a fully open LLM
simonwillison.netΒ·8h
πBrotli Internals
Flag this post
A New Bridge Links the Strange Math of Infinity to Computer Science
πMathematical Art
Flag this post
Happiness Is a Skill You Can Build
ποΈPhilosophy
Flag this post
[D] Looking for resources on βproblem framing + operational thinkingβ for ML ?
π΅Audio ML
Flag this post
Understanding intrinsically disordered protein regions and their roles in cancer
phys.orgΒ·1d
βοΈABNF Mining
Flag this post
Incorporating Self-Rewriting into Large Language Model Reasoning Reinforcement
arxiv.orgΒ·2d
π»Programming languages
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
πText Chunking
Flag this post
A Subsets.py Step-by-Step Visualization! (With Lyrics)
youtube.comΒ·1d
πLempel-Ziv
Flag this post
Google's Nested Learning aims to stop LLMs from catastrophic forgetting
the-decoder.comΒ·12h
π»Local LLMs
Flag this post
Loading...Loading more...