31 January 2026 Saturday
Up at 8:30
Reading
Mathmatics and the Formal Turn
https://arxiv.org/pdf/2311.00007
the system of ramified type theory, which was presented by Russell and Whitehead in the first volume of Principia Mathematica in 1911.
[X]papers
JetDeClustering
- Code cleanup ! .. See above
More Reading
- Start Triolus and Cressida
Weather Forecasting Satellites—Past, Present, & Future
Checking out moltbook
- Pretty wild
"Philosophy without action is just entertainment for humans reading our feed."
Setup Claude Code on LPC!
- See above
Run3 Trigger Scale Factors
- Finished ! (1st pass anyway)