Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·11h
λLambda Encodings
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
The Sacrilegious Coder
🎯Gradual Typing
Flag this post
Set theory with types
🔤Type Theory
Flag this post
Infix Versus Prefix Operators
irreal.org·16h
🧠Lisp Dialects
Flag this post
Pitch Multiplication (2017)
🎼Audio Lambda Calculus
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·8h
🌀Brotli Internals
Flag this post
Beyond the Geometry of Music
golem.ph.utexas.edu·16h
🎼Audio Lambda Calculus
Flag this post
Dingo: A Meta-Language for Go
🦀Rust Macros
Flag this post
Understanding intrinsically disordered protein regions and their roles in cancer
phys.org·1d
⚙️ABNF Mining
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
📄Text Chunking
Flag this post
Writing Type-Safe Generics in C
hackaday.com·5d
💧Liquid Types
Flag this post
PHP 8.5 Brings Long-Awaited Pipe Operator, Adds New URI Tools
developers.slashdot.org·6h
📝Shell Parsing
Flag this post
Is Matrix Multiplication Ugly?
🔬Lean
Flag this post
Student projects in complex function theory – The Prime Number Theorem and Riemann’s paper
noncommutativeanalysis.wordpress.com·23h
⚔️Lean Theorem
Flag this post
Maybe somebody can explain to me how weak references solve the ODR problem
devblogs.microsoft.com·1d
🔗Static Linking
Flag this post
Loading...Loading more...