Intuitionistic Mathematics, Computable Reals, Bishop Mathematics, Proof Relevance
A very short book note
logicmatters.net·1d
Coping with Complexity
slott56.github.io·23h
The Analyst’s Gambit
noncommutativeanalysis.wordpress.com·1d
A Compendium of Subset Search Problems and Reductions relating to the Parsimonious Property
arxiv.org·5d
New Othello experiment supports the world model hypothesis for large language models
the-decoder.com·1h
Helen de Cruz (1978-2025), RIP
crookedtimber.org·20h
Book Notes: Full Frontal Calculus by Seth Braver — Chapter 1 Review
ruslanspivak.com·1d
Useful LLM Agent Tools
tersesystems.com·8h
Loading...Loading more...