About 6 results
https://leaflet.pub/p/did:plc:g5hiaok54wc2rpigewi75kdu/3mnmfvfaf5222 · 6 Jun 2026
Smooth Infinitesimal Analysis posits an infinitesimal such that the following statements are both true: This is a very promising idea, but the way they pose it leans on ignoring the law of excluded middle, which is a little unsettling. I propose a differen...
https://leaflet.pub/p/did:plc:g5hiaok54wc2rpigewi75kdu/3mmxzyqqei22i · 29 May 2026
CH is not proven independent, and the door for Woodin's Ultimate L program is open.
https://leaflet.pub/p/did:plc:g5hiaok54wc2rpigewi75kdu/3mmvvwczcl22r · 28 May 2026
This document does not prove the Ω Conjecture. It verifies it — showing that the conjecture holds in every syntactically reachable case, for any formal language, and precisely locating where a complete proof would require going beyond syntax entirely. T...
https://leaflet.pub/p/did:plc:g5hiaok54wc2rpigewi75kdu/3mmr4vlz42c2z · 26 May 2026
Set theoretic forcing is a type system.
https://luminary.blog/techs/deep-seek-ue8m0-fp8 · 26 Aug 2025
Training LLMs without H100 using UE8M0 FP8 number format.
https://luminary.blog/techs/numbers-in-machine-learning · 25 Aug 2025
Understanding INT4, INT8, FP16, BF16, and TF32 formats in machine learning - their precision, speed, and memory trade-offs for training and inference.