Introducing Meridial and Echo Labs Launching Two New FROs in the UK

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

Testing + Validation Partners 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...

🚀 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

Signal Shot: One Giant Lean for Protocol Security — Beneficial AI Foundation 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...

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...

Unfolding PTI's Origin Story with Nikolai Slavov and Harrison Specht YouTube video by Parallel Squared Technology Institute

With years of research at its foundation, Nikolai and Harrison highlight the inspiration supporting PTI's own moonshot to make single cell proteomics scalable and accessible for researchers worldwide. Thanks @cowboybearninja.bsky.social for the video!

youtu.be/9NNvkJYa43c

🚀 Lean 4.29.0 is out! Faster startup, simpler 𝚗𝚘𝚗𝚌𝚘𝚖𝚙𝚞𝚝𝚊𝚋𝚕𝚎 semantics, higher-order Miller pattern support in 𝚐𝚛𝚒𝚗𝚍, and a significant overhaul to reducibility and instance handling. 453 changes!

🔗 lean-lang.org/doc/reference/latest/releases/v4.29.0/

#LeanLang #LeanProver

Regional Modeling as a Tool to Support Community Dialogue — [C]Worthy [C]Worthy scientists partnered with American University to host a workshop series in the Salish Sea Basin, bringing coastal community members into conversation about marine carbon dioxide removal usin...

Our team co-designed a workshop series in the Salish Sea with Dr. Sara Nawaz and colleagues from American University to explore how coastal communities think about ocean-based CDR in their local waters, supported by regional ocean models.

Read our early reflections: www.cworthy.org/blog/regiona...

Universal Fabricators

Full proposals are now open for our Universal Fabricators programme. Backed by £50m, the programme will leverage breakthroughs in protein engineering + build a community that can harness proteins to produce a functionally universal range of materials at scale. Apply by 5 May: https://bit.ly/4uUMHDE

This July 14 - 15, the 9th Single-Cell Proteomics Conference (single-cell.net) brings together a community that is redefining what’s possible: Robust methods enable scalable proteoform measurements from single cells without sacrificing depth or quantitative accuracy.

1/3

Become an ARIA Programme Director Applications for our third cohort of Programmed Directors (PDs) will open in August 2026 for a May 2027 start date. Register your interest so you can be the first to hear updates on the application pr...

The search for ARIA’s next cohort of Programme Directors has begun 🚀

As a PD you will design and manage a ~£50M programme to unlock scientific and technological breakthroughs that benefit everyone.

Applications open August 2026 for a May 2027 start - register your interest: https://bit.ly/418ltvy

MOTHRA Building the Next Generation of Telescopes to Reveal the Invisible Universe Uncovering the hidden gas that fuels galaxies, testing the foundations of cosmic structure, and probing the nature of dark…

Dragonfly FRO, a Focused Research Organization (FRO), today announced the construction of MOTHRA, a next-generation telescope designed to reveal the cosmic web — the vast network of gas and dark matter that connects galaxies across the universe.

www.mothratelescope.org

The first-ever Lean in Munich meetup happened this week! 🎥 Watch Sebastian Ullrich's full talk on Lean's foundations, software verification, and AI: youtube.com/watch?v=2Dr2149l_9Y

#leanlang #leanprover #formalverification #mathematics

We're busy here at EvE Bio generating drug-target interaction data for GPCR, NR, and kinase targets. Meanwhile, we're expanding our compounds and we want your input! Our current library has 1,300 approved small molecule and peptide drugs. The next will include 6 categories: 🧵

Today, we are launching a £50m programme – Massively Scalable Neurotechnologies – to decouple advanced brain therapies from complex surgery.

CSLib just launched — an open-source effort to formalize computer science in Lean, inspired by Mathlib. CS researchers, practitioners & enthusiasts are invited to get involved!

Learn more at:
🌐 cslib.io
🤝 Contribute: github.com/leanprover/c...

#LeanLang #LeanProver #CSLib #FormalVerification

Our Responses to the NSF Tech Labs RFI Metascience, AI, biotech, and more

If you're curious about our submission (alongside many fantastic partners!) to the NSF Tech Labs RFI, we've just posted our responses to our blog, Essential Technology: www.essentialtechnology.blog/p/our-respon...

Lean 4.28.0 is out! New symbolic simulation framework for 𝚐𝚛𝚒𝚗𝚍, user-defined 𝚐𝚛𝚒𝚗𝚍 attributes for custom tactics, a new 𝚜𝚘𝚕𝚟𝚎𝚛𝙼𝚘𝚍𝚎 in 𝚋𝚟_𝚍𝚎𝚌𝚒𝚍𝚎 for proof vs. counterexample search, and lean4checker available out of the box.

lean-lang.org/doc/referenc...

#LeanLang #LeanProver #ProofAssistant

The evolution of CHI-FRO Three principles from an engineering-heavy partnership to build out tools for probabilistic programming

We've just added a new FRO to our website!

In this Essential Technology piece, we share three three principles from CHI-FRO, an engineering-heavy partnership to build out tools for probabilistic programming:

www.essentialtechnology.blog/p/the-evolut...

Terence Tao on how math is changing, #formalverification as the enabler of scaled human-AI collaboration:

"The reason why scaling and AI and broad participation actually is a net win is because we have formal verification."

📺 www.youtube.com/watch?v=SuTx...

#leanlang #leanprover

A special opportunity for lovers of mass spectrometry proteomics to join a like-minded team at PTI.

Join a collaborative initiative to enable direct protein analysis at unprecedented scale, in partnership with leading instrument developers, academics, and industry leaders.

1/2

So you sequenced a billion+ bases. That don’t impress me much.

JERBOA is a toolkit to figure out what genes do at scale. We've used it to unlock 43 non-model microbes across 12 different phyla.

We’re testing conceptual hypotheses, dissecting disease progression, proteostasis, protein degradation, PTMs, and aggregation, all with focus on creative, rigorous data interpretation.

If you want to do science that changes how we think, this is it. 👇

jobs.lever.co/convergentre...

🔥 We’re hiring! A rare opportunity to rethink neurodegeneration:
🟦 Develop creative, rigorous approaches to data interpretation toward mechanistic insights.

Join our team at PTI to study neurodegenerative disease using direct protein analysis at single-cell resolution.

1/2

From quantum computing to mRNA therapeutics: seven technologies to watch in 2026 Nature’s round-up of innovations that are poised to make a splash in the year ahead.

Light-microscopy brain mapping was picked as one of 7 technologies to watch in 2026 by Nature!

Hear from E11's CEO @andrewcpayne.bsky.social: www.nature.com/articles/d41...

Announcing Merge Labs A neurotech FRO takes root

Today, Merge Labs announced its launch as a new research lab pursuing long-horizon R&D in ultrasound-based neural technology, with $252 million in funding from OpenAI, Bain Capital, Gabe Newell, and others.

www.essentialtechnology.blog/p/announcing...

Convergent Research: A mission control for frontier technology YouTube video by Convergent Research

The focussed research organizations enabled by @convergentresearch.bsky.social are driving forward an ambitious agenda !

youtu.be/L5W-lV1K_xQ?...

As metascience advances, we could see unprecedented collaboration between disciplines, accelerating innovation. Imagine a world where scientific breakthroughs happen at lightning speed! #futurism

Happy holidays - from our team to you and yours.

❄️🎄⛄

We hope it is a useful artifact for understanding our work, and a helpful preview for what's to come. This year has been a big one, and next year will be even more so. We're so excited about what's to come, and grateful for everyone who's joined us along the way.

Convergent Research: A mission control for frontier technology YouTube video by Convergent Research

And while we were all in one place, we took a few hours to pull some members of the team aside, to ask them some questions about what we're working on, and why. Here’s the video we made about Convergent.

www.youtube.com/watch?v=L5W-...