Presheaf automata
arxiv.org·1d
🎯Automata theory
How to model the world? Introduction to Laplace Neuron
abibulic.github.io·12h·
Discuss: Hacker News
🔲Cellular Automata
The continuation monad: a mathematical introduction
wildonblog.wordpress.com·2d
🔗Functional Compilers
Structural insight: Bypassing no-go theorems
fexpr.blogspot.com·1d
🔲Proof Irrelevance
Trap: Autoregressive Transformers in APL
github.com·1d·
Discuss: Lobsters
📊APL Heritage
Grammarly is giving students AI to help them learn – and maybe succeed
techradar.com·58m
🤖Automated Parsing
Object-Oriented Programming in Python: Complete Crash Course
dev.to·12h·
Discuss: DEV
🔗Concatenative Programming
Modelling Exactly-Once Delivery Using TLA+
medium.com·2d·
Discuss: Hacker News
⚙️TLA+
The theorem on formal functions
math.columbia.edu·4d
⚔️Lean Theorem
Friday 10 October 2025 - 11am
informatics.ed.ac.uk·1d
🧠Machine Learning
Duality
xythobuz.de·14h
📼Retro Games
X Design Notes: Unifying OCaml Modules and Values
blog.polybdenum.com·1d·
Discuss: r/programming
🔤Type Theory
Characterizing NC1 with Typed Monoids
arxiv.org·1d
⚙️Syntactic Monoids
Unification
eli.thegreenplace.net·1d·
Discuss: Hacker News
🤝Unification Algorithms
Functional Programming HOWTO
docs.python.org·2d·
Discuss: Lobsters
🔗Lisp
AI Agentic Programming: A Survey of Techniques, Challenges, and Opportunities
blog.raymond.burkholder.net·1d
⚡Incremental Computation
A primer on code generation in Cranelift by Benjamin Bouvier
bouvier.cc·16h
🦀Rust Macros
Modular Arithmetic in Data Science
towardsdatascience.com·1d
📐Interval Arithmetic
Active inference for action-unaware agents
arxiv.org·22h
🔲Cellular Automata
Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
arxiv.org·1d
🔮Proof Search