Presheaf automata
arxiv.org·12h
⚙Automata Theory
Modelling Exactly-Once Delivery Using TLA+
medium.com·13h·
Discuss: Hacker News
⚙️TLA+
The continuation monad: a mathematical introduction
wildonblog.wordpress.com·17h
🔗Functional Compilers
The Weirdest Syntax in Programming Languages (And Why It Exists)
dev.to·3h·
Discuss: DEV
💻Programming languages
Functional Programming HOWTO
docs.python.org·19h·
Discuss: Lobsters
🔗Lisp
The theorem on formal functions
math.columbia.edu·2d
⚔️Lean Theorem
Friday 10 October 2025 - 11am
informatics.ed.ac.uk·1h
🧠Machine Learning
AI Agentic Programming: A Survey of Techniques, Challenges, and Opportunities
blog.raymond.burkholder.net·11h
⚡Incremental Computation
A Lisp in 99LOC
github.com·1d·
Discuss: Hacker News
🔗Lisp
Characterizing NC1 with Typed Monoids
arxiv.org·12h
⚙️Syntactic Monoids
Unification
eli.thegreenplace.net·8h·
Discuss: Hacker News
🤝Unification Algorithms
Beyond AlphaFold: how AI is decoding the grammar of the genome
nature.com·6h
🧬Palindrome Codes
How long would it take a monkey to write ‘Hamlet’?
english.elpais.com·1d
🔲Cellular Automata
Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
arxiv.org·12h
🔮Proof Search
A brief consideration of input shapes (fuzzing)
addisoncrump.info·1d·
Discuss: Lobsters, Hacker News
🧪Binary Fuzzing
AI's hidden state in the execution stack
ayende.com·4h
🎯Gradual Typing
Binary Tree BFS: Zigzag Order
mmhaskell.com·7h
🔗Topological Sorting
Dyna – Logic Programming for Machine Learning
dyna.org·1d·
Discuss: Lobsters, Hacker News, r/compsci
🔗Constraint Handling
Code Smell 308 - The Key to Safer, Cleaner, More Polymorphic Code
hackernoon.com·11h
🎯Gradual Typing
Steering a middle ground between two extreme takes on the role of statistics in the development of language models
statmodeling.stat.columbia.edu·2h
💻Programming languages