Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics
The Singularity Trap
kevquirk.com·19h
#354
weeknotes.barrucadu.co.uk·1d
Code Cookbook: Ideal Time
doscher.com·1d
Passionate enthusiast builds a fully functional processor out of old memory chips — hand-solders every wire, writes 1800 lines of assembler code, and makes it p...
tomshardware.com·41m
original ↗
zwischenzugs.com·2d
I don’t understand this paper claiming election fraud in 2024 in Pennsylvania.
statmodeling.stat.columbia.edu·21h
SpatialViz-Bench: Automatically Generated Spatial Visualization Reasoning Tasks for MLLMs
arxiv.org·3d
Measuring how changes in code readability attributes affect code quality evaluation by Large Language Models
arxiv.org·5d
Loading...Loading more...