Convergent Research
@convergentresearch.bsky.social
A mission control for frontier technology.
To learn more about FROs, visit convergentresearch.org.
To learn more about FROs, visit convergentresearch.org.
We’re so proud to be a part of @aria-research.bsky.social cohort of Activation Partners. ARIA’s new video offers a meaningful look back at the journey so far—and at the collaboration, conviction, and care it takes to move ambitious research from the lab into the world.
Ahead of announcing our new Activation Partners next week, we’re reflecting on what our founding cohort has made possible.
Nine partners. New tools, talent pathways, ventures, institutions and communities — all helping ambitious R&D move.
Watch the video and find out more: https://bit.ly/3UVw2m3
Nine partners. New tools, talent pathways, ventures, institutions and communities — all helping ambitious R&D move.
Watch the video and find out more: https://bit.ly/3UVw2m3
From hypothesis to headway: what our founding Activation Partners have made possible
Ahead of introducing our new cohort of Activation Partners next week, we’re looking at what our founding cohort has made possible — from new companies and research organisations to bespoke tools, tale...
bit.ly
September 16, 2026 at 1:35 PM
We’re so proud to be a part of @aria-research.bsky.social cohort of Activation Partners. ARIA’s new video offers a meaningful look back at the journey so far—and at the collaboration, conviction, and care it takes to move ambitious research from the lab into the world.
@slavov-n.bsky.social and @parallelsq.bsky.social team trace how single-cell proteomics went from nearly impossible to measuring thousands of proteins in individual cells, and what comes next: scaling throughput without sacrificing accuracy or biological insight www.parallelsq.org/blog/from-si...
From Single-cell Proteomics to the Next Milestones in Protein Quantification and Analysis
A recent Nature Technology Feature, Probing the proteome at cellular scale, traces the remarkable development of single-cell proteomics—from a technology that was once considered nearly impossible to ...
www.parallelsq.org
September 16, 2026 at 1:31 PM
@slavov-n.bsky.social and @parallelsq.bsky.social team trace how single-cell proteomics went from nearly impossible to measuring thousands of proteins in individual cells, and what comes next: scaling throughput without sacrificing accuracy or biological insight www.parallelsq.org/blog/from-si...
Excited to see what @slavov-n.bsky.social and @parallelsq.bsky.social have been working on in @nature.com's new article on single-cell proteomics.
Nature just published a tech feature on single-cell proteomics.
It highlights our journey from skepticism to robust technology and biological discoveries.
I love that the feature starts with a biological discovery enabled by the technology: www.cell.com/cell/fulltex...
1/
It highlights our journey from skepticism to robust technology and biological discoveries.
I love that the feature starts with a biological discovery enabled by the technology: www.cell.com/cell/fulltex...
1/
September 9, 2026 at 3:23 PM
Excited to see what @slavov-n.bsky.social and @parallelsq.bsky.social have been working on in @nature.com's new article on single-cell proteomics.
Dragonfly FRO built the MOTHRA telescope to see the universe's faintest structures, and helped uncover how a dying star's material is recycled. This is the kind of scientific bottleneck FROs are built to solve. Congrats the whole team! Today in Nature: www.nature.com/articles/s41...
Numerous bow shocks in the outer Helix Nebula - Nature
Shocks in the eastern outskirts of the Helix Nebula, detected in Hα emission with the MOTHRA telescope, provide evidence for the recycling of fragmented stellar ejecta into the surrounding gas.
www.nature.com
August 12, 2026 at 6:53 PM
Dragonfly FRO built the MOTHRA telescope to see the universe's faintest structures, and helped uncover how a dying star's material is recycled. This is the kind of scientific bottleneck FROs are built to solve. Congrats the whole team! Today in Nature: www.nature.com/articles/s41...
Reposted by Convergent Research
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.
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.
June 9, 2026 at 4:38 PM
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.
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.
Reposted by Convergent Research
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.
June 5, 2026 at 1:20 PM
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.
Reposted by Convergent Research
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 Mathematicians, June 11. The Builders, June 12. Both 5pm UTC.
Learn more and register:
The Mathematicians: forms.gle/w16jkmsMqB2g...
The Builders: forms.gle/PsxPkq3x2pES...
June 3, 2026 at 6:32 PM
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 Mathematicians, June 11. The Builders, June 12. Both 5pm UTC.
Learn more and register:
The Mathematicians: forms.gle/w16jkmsMqB2g...
The Builders: forms.gle/PsxPkq3x2pES...
Reposted by Convergent Research
Reposted by Convergent Research
Reposted by Convergent Research
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...
April 30, 2026 at 3:11 PM
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...
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
Learn more: essentialtechnology.blog/p/introducing-meridial-and-echo-labs
Introducing Meridial and Echo Labs
Launching Two New FROs in the UK
essentialtechnology.blog
April 21, 2026 at 1:11 PM
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
Learn more: essentialtechnology.blog/p/introducing-meridial-and-echo-labs
Reposted by Convergent Research
🚀 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
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
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...
bit.ly
April 20, 2026 at 3:10 PM
🚀 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
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
Reposted by Convergent Research
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
🔗 beneficialaifoundation.org/blog/signal-shot
#leanlang #leanprover #softwareverification
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...
beneficialaifoundation.org
April 20, 2026 at 4:13 PM
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
🔗 beneficialaifoundation.org/blog/signal-shot
#leanlang #leanprover #softwareverification
Reposted by Convergent Research
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...
April 2, 2026 at 7:06 PM
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...
Reposted by Convergent Research
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
youtu.be/9NNvkJYa43c
Unfolding PTI's Origin Story with Nikolai Slavov and Harrison Specht
YouTube video by Parallel Squared Technology Institute
youtu.be
April 3, 2026 at 2:30 PM
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
youtu.be/9NNvkJYa43c
Reposted by Convergent Research
🚀 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
🔗 lean-lang.org/doc/reference/latest/releases/v4.29.0/
#LeanLang #LeanProver
April 2, 2026 at 5:43 PM
🚀 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
🔗 lean-lang.org/doc/reference/latest/releases/v4.29.0/
#LeanLang #LeanProver
Reposted by Convergent Research
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...
Read our early reflections: www.cworthy.org/blog/regiona...
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...
www.cworthy.org
April 1, 2026 at 4:28 PM
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...
Read our early reflections: www.cworthy.org/blog/regiona...
Reposted by Convergent Research
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
Universal Fabricators
bit.ly
April 2, 2026 at 11:06 AM
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
Reposted by Convergent Research
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
1/3
March 31, 2026 at 1:08 PM
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
1/3
Reposted by Convergent Research
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
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
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...
bit.ly
March 16, 2026 at 11:10 AM
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
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
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
www.mothratelescope.org
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…
www.mothratelescope.org
March 11, 2026 at 10:14 AM
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
www.mothratelescope.org
Reposted by Convergent Research
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
#leanlang #leanprover #formalverification #mathematics
February 26, 2026 at 11:06 PM
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
#leanlang #leanprover #formalverification #mathematics
Reposted by Convergent Research
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: 🧵
February 25, 2026 at 1:52 PM
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: 🧵
Reposted by Convergent Research
Today, we are launching a £50m programme – Massively Scalable Neurotechnologies – to decouple advanced brain therapies from complex surgery.
link.aria.org.uk
February 24, 2026 at 1:03 PM
Today, we are launching a £50m programme – Massively Scalable Neurotechnologies – to decouple advanced brain therapies from complex surgery.
Reposted by Convergent Research
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
Learn more at:
🌐 cslib.io
🤝 Contribute: github.com/leanprover/c...
#LeanLang #LeanProver #CSLib #FormalVerification
February 22, 2026 at 5:32 PM
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
Learn more at:
🌐 cslib.io
🤝 Contribute: github.com/leanprover/c...
#LeanLang #LeanProver #CSLib #FormalVerification