Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·3d
🧮Programming Language Theory
Flag this post
A Short Introduction to Categorical Logic
youtube.com·4d
🔢Mathematical Logic
Flag this post
Scala vs. F#
⚙Functional Programming
Flag this post
A fun application of Green’s functions and geometric algebra: Residue calculus
peeterjoot.com·6h
🧫Cellular Automata
Flag this post
The Best Steve Yegge Posts (2015)
sam-koblenski.blogspot.com·8h
🧮Programming Language Theory
Flag this post
Can-t stop till you get enough
⚙Functional Programming
Flag this post
Toward a Compressed Core of Human Knowledge: The High-Dimensional Vector Network for AI
📊Information Theory
Flag this post
Entropy in algorithm analysis
11011110.github.io·1d
📈Complexity Theory
Flag this post
Advice For a Complete Novice.
📝Lisp
Flag this post
LLM-Centric RAG with Multi-Granular Indexing and Confidence Constraints
arxiv.org·5h
🎲Probabilistic Programming
Flag this post
Depth-first Unary Degree Sequence - Information Camouflage
bruceediger.com·1d
🧮Programming Language Theory
Flag this post
Mastering the ‘O’ in SOLID: Applying the Open/Closed Principle in Real-World Code
👐Open Source Software
Flag this post
Viruses of the Mind
🧮Programming Language Theory
Flag this post
2025 Gold Glove Award winners: 3 players win for the fourth time
nytimes.com·6h
🧫Cellular Automata
Flag this post
Defining Types for a Simple HTTP Server
mmhaskell.com·58m
🤝Protocol Design
Flag this post
Loading...Loading more...