Lean Focused Research Organization

lean-lang.org

10 June 2026 14:10

The Proof in the Code, Kevin Hartnett's new book on the development of Lean and Mathlib, is out today. www.quantabooks.org/books/the-pr... To mark the launch, two online panels with the author on June 11 and 12, both 5pm UTC. Registration in the reply.

Advanced Research + Invention Agency (ARIA)

aria-research.bsky.social

09 June 2026 11:56

Meet our Engineering Ecosystem Resilience seed Creators 🌱 Backed by up to £500k, these projects span advanced ecosystem sensing, nature-based interventions, autonomous robots and molecular tools for conservation. Discover the teams: link.aria.org.uk/EER-seed-creators-BS

Nikolai Slavov

slavov-n.bsky.social

05 June 2026 15:33

The annual meeting of the American Society For Mass Spectrometry (@asms.org) has been very special for me as the Biemann Medal recognized our contributions to developing single-cell proteomic technologies and using them to open new perspectives.

Lean Focused Research Organization

lean-lang.org

03 June 2026 18:37

Two online panels for the launch of The Proof in the Code, @kevinhartnett.bsky.social's new book on Lean and Mathlib. The Mathematicians, June 11. The Builders, June 12. Both 5pm UTC. Learn more and register: The Mathematicians: forms.gle/w16jkmsMqB2g... The Builders: forms.gle/PsxPkq3x2pES...

Adam Marblestone

adammarblestone.bsky.social

20 May 2026 20:40

www.essentialtechnology.blog/p/nsf-just-d...