iiinova — where your digital self keeps evolving

FPTalks @fptalks.bsky.social · 29/08/2026

📢 FPTalks Seminar next week! Thu Sep 3, 9am PT: Adam Brohl (U. Rochester) on "A verified FP decision tree construction algorithm". github.com/pyxis-roc/fp... Catch NaNs and infinities with fewer runtime checks, proved in Lean! fptalks.org/subscribe fptalks.org

github.com

GitHub - pyxis-roc/fp-decision-tree-lean: FP Decision Tree algorithm in Lean4

FP Decision Tree algorithm in Lean4. Contribute to pyxis-roc/fp-decision-tree-lean development by creating an account on GitHub.

000

FPTalks @fptalks.bsky.social · 06/08/2026

FPTalks starting now! Zoom filling up, but you can watch the YouTube livestream here: www.youtube.com/watch?v=7_A8...

youtube.com

FPTalks 2026

YouTube video by FPTalks

001

FPTalks @fptalks.bsky.social · 04/08/2026

FPTalks 2026 is Thursday, our biggest yet! 12 talks on the leading edge of floating point and numerics: grading the BLAS, verified math libraries, IEEE P3109, NVFP4 pretraining + more. 8am to noon PT, free on Zoom, ~ 200 registered: fptalks.org/talks/fptalk...

fptalks.org

FPTalks 2026 — Thu Aug 6, free, online

Twelve ten-minute talks on the leading edge of floating-point research: Demmel, Zimmermann, Carson, and more. 8am–noon Pacific, free on Zoom, all talks recorded.

000

FPTalks @fptalks.bsky.social · 19/07/2026

Talk titles are landing for FPTalks 2026! Thu Aug 6, free on Zoom 🗓️ - Demmel: "Grading the BLAS" - Zimmermann: proving CORE-MATH binary64 funcs - Sharp: range analysis of neural surfaces - Carson: mixed precision … and more! fptalks.org/talks/fptalk...

fptalks.org

FPTalks 2026 — Thu Aug 6, free, online

Twelve ten-minute talks on the leading edge of floating-point research: Demmel, Zimmermann, Carson, and more. 8am–noon Pacific, free on Zoom, all talks recorded.

000

FPTalks @fptalks.bsky.social · 09/07/2026

📢 FPTalks 2026 Workshop — August 6, free and online! 12 talks on FP formats, ML numerics, math libraries, mixed-precision HPC, and more. Speakers from NVIDIA, INRIA, UC Berkeley, Graphcore, Cornell, Imperial, and others. Register: fptalks.org/talks/fptalks26.html

fptalks.org

FPTalks 2026

012

FPTalks @fptalks.bsky.social · 30/06/2026

📢 FPTalks Seminar this Thursday, July 2 at 9am PT! Tung-Che Chang (Rutgers) on formalizing IEEE P3109 in Lean — verifying the new ML floating-point standard with machine-checked proofs. arxiv.org/abs/2602.15965 fptalks.org/subscribe Aug 6 workshop accepting proposals! ==> fptalks.org

arxiv.org

FLoPS: Semantics, Operations, and Properties of P3109 Floating-Point Representations in Lean

The upcoming IEEE-P3109 standard for low-precision floating-point arithmetic can become the foundation of future machine learning hardware and software. Unlike IEEE-754, P3109 introduces a parametric ...

000

FPTalks @fptalks.bsky.social · 28/05/2026

📢 FPTalks Seminar, June 4 at 9am PT! Jeffrey Sarnoff (IEEE): "Fast floats for AI: the IEEE P3109 family"; the new standard for 3-bit to 16-bit FP formats designed for ML training and inference. fptalks.org/subscribe github.com/P3109/Public Also, Aug 6 workshop reg now open: fptalks.org/talks

fptalks.org

Redirecting...

001

FPTalks @fptalks.bsky.social · 30/04/2026

📢 FPTalk Seminar May 7 at 9am PT! Mantas Mikaitis (Leeds) on NVIDIA tensor cores: each GPU generation rounds differently, none follow IEEE 754. Mantas reverse-engineered bit-accurate models for V100 through B200. 📄 arxiv.org/abs/2512.07004 🎤 fptalks.org/nominate fptalks.org/subscribe fptalks.org

fptalks.org

Redirecting...

001

FPTalks @fptalks.bsky.social · 26/03/2026

Next FPTalks community meeting: Apr 3, 9am PT! Anastasia Isychev (TU Wien) on "Cost of Soundness in Mixed-Precision Tuning" — challenging the assumption that dynamic optimizers always win. Sound tools + regime inference can match or beat them, with formal guarantees. fpbench.org