Adam Marblestone
10.1K posts

Adam Marblestone
@AdamMarblestone
Technologist, Scientist Co-founder and CEO @Convergent_FROs Tweets do not represent employers

Mathlib is the community-driven mathematical library for Lean, now over 2 million lines of formalized mathematics, with contributions from 300+ mathematicians worldwide. From undergraduate foundations to frontier research topics, it's one of the largest formal math libraries ever created. 🔗 lean-lang.org/use-cases/math… 🔗 mathlib-initiative.org #LeanLang #LeanProver #Mathlib #FormalMathematics


NSF announces $1.5B NSF X-Labs initiative to pursue generational breakthrough science efforts. NSF X-Labs will scale a new generation of transformative independent research organizations to advance breakthrough science outside of traditional institutions. nsf.gov/news/nsf-annou…






X-Labs lives! The initial topic areas are: 1. Scientific Instrumentation for Sensing and Imaging 2. Quantum Systems: Interconnects and Integrated Photonics I am really excited to see and someday use the new technologies that come out of the initiative! nsf.gov/news/nsf-annou…

Getting increasingly bullish on just vibe-coding the important things in Lean. eg. see: github.com/Verified-zkEVM… blog.zksecurity.xyz/posts/end-codi…




We’re putting the “reversible” in Reversible Cryopreservation 🧡 Our latest post breaks down how our rewarming process works and shares new human organ-scale rewarming data we’re excited to finally show. Check it out in the link below 👇

Excited to launch this RFP to accelerate our giving ⇒ stop engineered biological threats Initial application is <500 words – apply!













