Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·4d
🧮Programming Language Theory
Flag this post
Connectivity Structure and Dynamics of Nonlinear Recurrent Neural Networks
journals.aps.org·7h
🧫Cellular Automata
Flag this post
The Cantor Experiment: Forcing a GPT-5-Class AI to Forget a Century of Math
🔢Mathematical Logic
Flag this post
What Is a Manifold?
🧮Programming Language Theory
Flag this post
News for October 2025
ptreview.sublinear.info·8h
📈Complexity Theory
Flag this post
Writing an LLM from scratch, part 27 – what's left, and what's next?
🔗Parser Combinators
Flag this post
Wave-Particle (Continuous-Discrete) Dualistic Visual Tokenization for Unified Understanding and Generation
arxiv.org·2h
🧫Cellular Automata
Flag this post
Fast Answering Pattern-Constrained Reachability Queries with Two-Dimensional Reachability Index
arxiv.org·2h
🕸️Graph Theory
Flag this post
Scala vs. F#
⚙Functional Programming
Flag this post
A Short Introduction to Categorical Logic
youtube.com·5d
🔢Mathematical Logic
Flag this post
C++ move semantics from scratch (2022)
🧠Memory Management
Flag this post
A fun application of Green’s functions and geometric algebra: Residue calculus
peeterjoot.com·1d
🧫Cellular Automata
Flag this post
The Best Steve Yegge Posts (2015)
sam-koblenski.blogspot.com·1d
🧮Programming Language Theory
Flag this post
Braves name Walt Weiss manager; former player elevated from bench coach
nytimes.com·8h
🧫Cellular Automata
Flag this post
learn-data-structures-js
🔗Parser Combinators
Flag this post
Advice For a Complete Novice.
📝Lisp
Flag this post
Loading...Loading more...