Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·10h
λLambda Encodings
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
Understanding intrinsically disordered protein regions and their roles in cancer
phys.org·1d
⚙️ABNF Mining
Flag this post
Pitch Multiplication (2017)
🎼Audio Lambda Calculus
Flag this post
Student projects in complex function theory – The Prime Number Theorem and Riemann’s paper
noncommutativeanalysis.wordpress.com·21h
⚔️Lean Theorem
Flag this post
Home - Lapwing for Beginners
lapwing.aerick.ca·20h
λLambda Formalization
Flag this post
Set theory with types
🔤Type Theory
Flag this post
Beyond the Geometry of Music
golem.ph.utexas.edu·14h
🎼Audio Lambda Calculus
Flag this post
pyaccdb: Python library for Microsoft Access .accdb files
yingtongli.me·18h
🔤EBCDIC Mining
Flag this post
Evolution Strategies at the Hyperscale
🔲Cellular Automata
Flag this post
[D] Looking for resources on “problem framing + operational thinking” for ML ?
🎵Audio ML
Flag this post
exploits.club Weekly(ish) Newsletter 92 - S23 N-Day PoCs, Printer Overflows, DNG OOB Writes, And More
blog.exploits.club·1d
💣ZIP Vulnerabilities
Flag this post
Zig in 30 Minutes
🔗Concatenative Programming
Flag this post
Overfitting vs. Underfitting: Making Sense of the Bias-Variance Trade-Off
towardsdatascience.com·17h
🧠Machine Learning
Flag this post
locally presentable (infinity,n)-category
ncatlab.org·5d
🔀Category Theory
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·6h
🌀Brotli Internals
Flag this post
Loading...Loading more...