A formalized textbook project implements SICM Chapter 1 in TypeScript and Jax
srush_nlp · x · 2026-07-21
An experiment in formalized textbooks: this project implements Chapter 1 of SICM in TypeScript/Jax, with code-math alignment and a simulator.
The idea is to make a textbook executable and inspectable, so the formal structure, equations, and code stay synchronized rather than drifting apart.
Related event: Classical Mechanics Textbook Adapted into Executable Code(2 posts)→
More from Research
- OpenAI says long-horizon models need safety and alignment checks across full action sequences — rhiever · 2026-07-22
- A Reddit user proposes a consistency LoRA to keep anime and game scenes visually stable — ThirdWorldBoy21 · 2026-07-22
- Graph workload 854.graph500 enters SPEC CPU 2026 as a new CPU benchmark — Prof_DavidBader · 2026-07-22
- BlackboxNLP 2026 is recruiting extra reviewers after a high submission volume — hanjie_chen · 2026-07-22
- AWS shows self-distilled reasoning can preserve math and coding skills during SFT — AWS ML Blog · 2026-07-22
- UI2App shows screenshot fidelity still lags real interaction recovery — Grace Man Chen · 2026-07-22