Text Mathematics, Structural Logic, Format Algebra, Layout Geometry
Detecting Narrative Shifts through Persistent Structures: A Topological Analysis of Media Discourse
arxiv.orgยท1d
Linters, Formatters, and Type-Checkers
playfulprogramming.comยท1d
And the other Big Red Logic Books?
logicmatters.netยท14h
PhD position in algebraic geometry and representation theory
pbelmans.ncag.infoยท1d
Friday 20 June, 2025
memex.naughtons.orgยท7h
New in Apache Iceberg 3.0: Fresh Data Types, NULL Vals, Change Capture
thenewstack.ioยท16h
Lean Workbook: A large-scale Lean problem set formalized from natural language math problems
arxiv.orgยท1d
Loading...Loading more...