Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·10h
λLambda Encodings
Flag this post
TOFA: Training-Free One-Shot Federated Adaptation for Vision-Language Models
arxiv.org·2d
🎙️Whisper
Flag this post
Google's Nested Learning aims to stop LLMs from catastrophic forgetting
the-decoder.com·11h
💻Local LLMs
Flag this post
Pitch Multiplication (2017)
🎼Audio Lambda Calculus
Flag this post
Understanding intrinsically disordered protein regions and their roles in cancer
phys.org·1d
⚙️ABNF Mining
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·6h
🌀Brotli Internals
Flag this post
Beyond the Geometry of Music
golem.ph.utexas.edu·14h
🎼Audio Lambda Calculus
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
WebAssembly Still Expanding Frontend Uses 10 Years Later
thenewstack.io·14h
🕸️WebAssembly
Flag this post
The Machine Learning Roadmap
🎵Audio ML
Flag this post
locally presentable (infinity,n)-category
ncatlab.org·5d
🔀Category Theory
Flag this post
Silent Signals: Hiding Red Team Operations in AI Noise by Arvind Sundararajan
🎯Threat Hunting
Flag this post
Safeguarded AI (Part 2)
johncarlosbaez.wordpress.com·3d
⚙️Proof Engineering
Flag this post
Incorporating Self-Rewriting into Large Language Model Reasoning Reinforcement
arxiv.org·2d
💻Programming languages
Flag this post
Set theory with types
🔤Type Theory
Flag this post
Loading...Loading more...