two-dimensional category
ncatlab.org·1d
🔀Category Theory
Flag this post
My Favorite Math Problem
bytesauna.com·3h·
Discuss: Hacker News
🔲Proof Irrelevance
Flag this post
From Proof to Program: Characterizing Tool-Induced Reasoning Hallucinations in Large Language Models
arxiv.org·10h
👑Isabelle
Flag this post
Graphs defined on algebras
cameroncounts.wordpress.com·3h
📈Spectral Graph Theory
Flag this post
Counting past infinity
youtube.com·1d
📼Tape Algebra
Flag this post
Oblique Strategies: Prompts for Programmers
kevinlawler.com·21h·
Discuss: Lobsters
⚔️Lean Tactics
Flag this post
Distilling the Deep: A 3-Line AI Reasoning Challenge with 6 Hard Problems
medium.com·55m·
Discuss: Hacker News
🧮Kolmogorov Complexity
Flag this post
Linkage
11011110.github.io·1d
📐Mathematical Art
Flag this post
The curious case of broken theorems
davidbessis.substack.com·2d·
Discuss: Substack
🏗️Constructive Analysis
Flag this post
Conquering Complexity: Parallel Proof Search for Superhuman AI by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🎯Performance Proofs
Flag this post
Christoph Breitkopf: Interval Tables in Common Lisp
bokesan.blogspot.com·3d
🔗Lisp
Flag this post
The elementary theory of surreal arithmetic is bi-interpretable with set theory, Notre Dame Logic Seminar, November 2025
jdh.hamkins.org·4d
🧬Functional Programming
Flag this post
Z3 API in Python: From Sudoku to N-Queens in Under 20 Lines
ericpony.github.io·20h·
Discuss: Hacker News
🧮Z3 Solver
Flag this post
Updated paper: Moduli spaces of semiorthogonal decompositions in families
pbelmans.ncag.info·15h
🧮Algebraic Archives
Flag this post
Lang’s theorem — Pt. I: the classical result
ayoucis.wordpress.com·1d
🔀Category Theory
Flag this post
ELI5 explanation of the CAP Theorem
medium.com·1d·
Discuss: r/programming
⚛️Information Physics
Flag this post
Looking for a good course to learn proof assistant Lean 4
news.ycombinator.com·3d·
Discuss: Hacker News
🔬Lean
Flag this post
A treap week
blog.mitrichev.ch·2d·
Discuss: blog.mitrichev.ch
🎨Graph Coloring
Flag this post
SoK: Blockchain Oracles Between Theory and Practice
eprint.iacr.org·8h·
Discuss: Hacker News
🤝Consensus Algorithms
Flag this post
7 Steps to Build a Simple RAG System from Scratch
kdnuggets.com·19m
📝Concrete Syntax
Flag this post