Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·11h
λLambda Encodings
Flag this post
FAWK: LLMs can write a language interpreter
🦀Rust Macros
Flag this post
AI Exponentializes Your Tech Debt
🚀Indie Hacking
Flag this post
Learning AI From Scratch: Streaming Output, the Secret Sauce Behind Real-Time LLMs
🌊Stream Processing
Flag this post
Arc Is a Vision Problem
🚀SIMD Text Processing
Flag this post
LLMs Are Getting Jailbroken by… Poetry. Yes, The rest is silence.
arxiv.org·1d
📝ABNF Extensions
Flag this post
Beyond the Hype: How to Use AI to Actually Increase Your Productivity as a Dev
docker.com·1d
⚡Proof Automation
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
The Sacrilegious Coder
🎯Gradual Typing
Flag this post
Loading...Loading more...