🚀 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 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
www.essentialtechnology.blog/p/nsf-just-d...
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...
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 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.
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.
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...
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...
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...
