It solved Lindqvist's problem on sparse sumsets. It literally proved Halvorsen-Okabe rigidity. It solved the Marchetti gap in dimension 5. It literally settled the twisted Brandt conjecture. It can probably do Kowalczyk–Ruiz for odd primes. Dude, it proved the second Pruitt lemma. It closed a Vasquez–Nakamura–Vasquez problem. It proved strong Tessier. It has a proof of strong Tessier. You can go to arXiv and read the proof of strong Tessier. Log onto arXiv right now.
We have a zero dependencies rebuild of Tempo in Zig that outperforms our Rust code and tracks mainnet.
It’s inspired by Tigerbeetle and uses DST. 10x less LOC / 7x less build time.
Very alpha, but a glimpse of the future.
@laibe cooked.
a funny thing I've noticed recently in interactions with LLMs is my writing becoming more "oral" (in the Ong/@TheStalwart sense) while my spoken dictation becomes more "literate" since transcription models clean up all my mistakes.