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.
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...
The Beneficial AI Foundation asks: "Can we prove that Signal's cryptography is secure — not just on paper, but in actual code?" Signal Shot, launched today, aims to find out. Open to contributions.
🔗 beneficialaifoundation.org/blog/signal-shot
#leanlang #leanprover #softwareverification
Congrats to Carboniferous for the recent issuance of a US EPA research permit. This is a notable milestone for the mCDR sector—progress through responsible process. The field is increasingly moving beyond early-stage enthusiasm and into the harder work of implementation. www.epa.gov/marine-prote...
We have launched a public challenge, to show people that verifying key components of a major application like Signal is doable today with existing tools. This is a similar effort to the Liquid Tensor...
🚀 Partners wanted for our Enduring Atmospheric Platforms programme.
Seeking:
• Test sites & infrastructure
• Field testing support
• IV&V
Support teams to safely fly and pass the Final Exam: deliver 300W to a 20kg payload for a full week.
Apply by 22 May 2026: https://bit.ly/4vCGs7S
We’re very excited to announce the launch of two new Focused Research Organizations in the UK powered by @aria-research.bsky.social: @meridialneuro.bsky.social and @echolabs.bsky.social!
Learn more: essentialtechnology.blog/p/introducing-meridial-and-echo-labs
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.
We are excited to be included on the new Hugging Science site from @hf.co! Scientific datasets and models deserve a dedicated space. You can find our drug-target interaction dataset on Hugging Face here: huggingface.co/datasets/eve...
And so can you: how to reach out to Convergent about X-Labs
This programme is a 3.5-year effort focused on technical de-risking for low-cost, long-endurance aircraft that enable scalable high-altitude communications. To support the researchers and organisation...
