Bookmarks
Search Results
Latest bookmarks
Showing the latest 200 of 955. Search and timeline include every bookmark.
2026-09-014
2026-08-3121
- Mechanical Watch
- internet in paradise
- The Computational Theory of Mind
- Connectionism
- Unexplanations: relational algebra is math
- Visuals That Work
- Cognition all the way down
- Every byte matters
- Parser generators vs. handwritten parsers: surveying major language implementations in 2021
- What is cuTile BASIC?
- From DeepSeek V3 to V3.2: Architecture, Sparse Attention, and RL Updates
- The Smol Training Playbook: The Secrets to Building World-Class LLMs
- Curve Circuits
- Optimizing a Layer Normalization Kernel with CUDA: a Worklog
- Typechecker Zoo
- Formalization of Polynomial Functors in Lean 4
- Efficient instance resolution for Agda
- The Spectrum From Logic to Probability
- Three Cultures of Math
- The category design pattern
- Incentivizing mathematics in an era of AI-accelerated proof abundance
2026-07-23
2026-07-1612
- Formal or not formal? That is the question in AI for theorem proving.
- Why We Think
- Things unlearned
- A defense of boring languages
- Rewriting type theory
- A bidirectional typechecking puzzle
- Dissecting a Shader Quine
- Using Perlin Noise to Generate 2D Terrain and Water
- A first look at programming in Poly
- Glaive-Research
- Sequents for sequence II: Balancing the strangeness budget
- Sequents for sequence
2026-07-08
2026-07-02
2026-06-19
2026-05-2811
- Les LLM vont-ils tuer les mathématiques ?
- Haskell is not category theory
- A Geometric Calculator Inside a Neural Network
- Topological constraints on self-organization in locally interacting systems | Philosophical Transactions of the Royal Society A | The Royal Society
- The Real Singularity is the Friends We Made Along the Way
- Topological Data Analysis as a Morphometric Method: Using Persistent Homology to Demarcate a Leaf Morphospace
- A New Consciousness of Mathematics
- MAST90068
- MAST30026
- Beginner's Guide to Linkers
- Dispatches from the possibly last days of human relevance
2026-05-0613
- Sam Altman May Control Our Future—Can He Be Trusted? | The New Yorker
- The Adjoint Functor Theorem in Everyday Life
- A quickie: Axiom J
- HoTTEST
- What makes dependent type theory more suitable than set theory for proof assistants?
- Abstracts
- nLab mathematics presented in homotopy type theory
- ,...]
- The Zen Of ∞-Categories
- Tag: Homotopy Type Theory
- The Mismanaged Geniuses Hypothesis
- Mathematics, AI, and Formalization: The State of Play
- The fall of the theorem economy
2026-04-29
2026-04-28
2026-04-183
2026-04-102
2026-04-052
2026-04-033
2026-03-237
- Modal Homotopy Type Theory: The New New Logic
- EmbryoMaker: a general modeling framework to simulate developing systems and perform experiments in silico.
- 15-411 Compiler Design
- The Proof in the Code
- Lenses: Applications And Generalizations
- 2212.11082
- Lectures on Homotopy Type Theory & Univalent Foundations [index]
2026-03-182
2026-03-172
2026-03-033
2026-02-272
2026-02-05
2026-02-04
2026-01-284
2026-01-26
2026-01-252
2026-01-24
2026-01-17
2026-01-163
2026-01-124
2026-01-11
2026-01-10
2026-01-095
2026-01-023
2025-12-292
2025-12-252
2025-12-224
2025-12-193
2025-12-1311
- Axiomatic Theories of Truth
- Does truth not exist in ZFC, or is it merely not definable?
- Formalizing the proof of PFR in Lean4 using Blueprint: a short tour
- Foundations Of Mathematics
- GitHub - JOSHCLUNE/LeanHammer
- BOLT Open Projects
- GitHub - SorryDB/sorrydb-data: SorryDB data
- Speculative Decoding: From Theory to Implementation
- Compiler Theory Links
- Understanding Memorization via Loss Curvature
- intro-embdedded-rust/intro-attiny at main · swallez/intro-embdedded-rust · GitHub
2025-12-10
2025-12-092
2025-12-083
2025-12-024
2025-11-24
2025-11-174
2025-11-09
2025-11-072
2025-11-064
2025-11-04
2025-10-30
2025-10-272
2025-10-262
2025-10-15
2025-10-13
2025-10-02
2025-09-29
2025-09-25
2025-09-17
2025-09-15
2025-09-082
2025-09-02
2025-09-013
2025-08-29
2025-08-262
2025-08-1913
- Gödel’s Incompleteness Theorems
- What Alan T. did for his PhD
- Lecture 3: Gödel, Turing, and Friends
- The Complete Idiot's Guide to the Independence of the Continuum Hypothesis: Part 1 of <=Aleph_0
- Solomonoff induction still works if the universe is uncomputable, and its usefulness doesn't require knowing Occam's razor
- A Semitechnical Introductory Dialogue on Solomonoff Induction
- Occam's Razor and the Universal Prior
- How to Think About GPUs
- PyTorch is dead. Long live JAX.
- Do LLMs Have Good Music Taste?
- Derivative Zoo
- Affine Dialect and OpenMP
- Program Synthesis: The λ in the Machine
Timeline
Loading timeline…