Combining model tracing and constraint-based modeling for multistep strategy diagnoses
arxiv.org·12h
🧮Constraint Solvers
Song recommendations with C# Reactive Extensions
blog.ploeh.dk·2h
🌊Streaming Systems
A reckless introduction to Hindley-Milner type inference
reasonableapproximation.net·9h
🔤Type Theory
Transformer Explainer: LLM Transformer Model Visually Explained
poloclub.github.io·3h·
Discuss: Lobsters
🤖Grammar Induction
How the ZX Spectrum Laid the Foundations of Modern Algorithms
zxonline.net·1h·
Discuss: Hacker News
🖥Retro Computing
Programming After AI: Why System Boundary Taste Matters
interjectedfuture.com·1h
🕹Emulation Theory
The unique, mathematical shortcuts language models use to predict dynamic scenarios
news.mit.edu·4h
🌲Parse Trees
Commentary: AI Reasoning on IMO(International Math Olympiad)
jonaskgomo.com·1h·
Discuss: Hacker News
🎯Performance Proofs
Deeper Theories of Program Design
typesanitizer.com·20h·
Discuss: Lobsters, Hacker News
🐚Shell Calculus
Python Fundamentals: class variables
dev.to·3h·
Discuss: DEV
🐛Fuzzing
Modular PIC C2 Agents
rastamouse.me·1d
🌐WASI
Free Things Are Complicated (Especially the Sphere Spectrum!)
grossack.site·1d
🧮Algebraic Archives
Cactus Language • Stylistics 6
inquiryintoinquiry.com·1d
🌳Context free grammars
DeepMind’s Quest for Self-Improving Table Tennis Agents
spectrum.ieee.org·1h
🔲Cellular Automata
LL and LR Parsing Demystified (2013)
blog.reverberate.org·12m·
Discuss: Lobsters, Hacker News
🔗Monadic Parsing
Stop Paying for Free Monads • Mark Hopkins • YOW! 2016
youtube.com·3h
🔀Category Theory
Project-connex Decompositions and Tractability of Aggregate Group-by Conjunctive Queries
arxiv.org·12h
🎯Performance Proofs
PSA: Collision Detection is an optimization problem and GJK is Frank-Wolfe
cairno.substack.com·2h·
Discuss: Substack
🎯Performance Proofs
AI Safety Course Intro Blog
windowsontheory.org·13h
🔲Cellular Automata
Learning Deformable Body Interactions With Adaptive Spatial Tokenization
arxiv.org·12h
🌀Differential Geometry