Intuitionistic Mathematics, Computable Reals, Bishop Mathematics, Proof Relevance
Value in Formal Theory Land
4gravitons.com·20h
Open problems in topos theory
ncatlab.org·2d
Benchmarking Amazon Nova: A comprehensive analysis through MT-Bench and Arena-Hard-Auto
aws.amazon.com·1d
Extensions and Shadows (7)
sites.psu.edu·4d
Implementing Merkle Trees in Go
vaktibabat.github.io·1d
The Illusion of Thinking
mjtsai.com·20h
Developer Walk-Through of Aider, an Open Source Agentic CLI
thenewstack.io·34m
Hardest Question From China’s University Entrance Exam
mindyourdecisions.com·3d
Loading...Loading more...