Sign in

Convergent Research

@convergentresearch.bsky.social
184 followers 39 following 44 posts

A mission control for frontier technology. To learn more about FROs, visit convergentresearch.org.

PostsRepliesMedia
Convergent Research @convergentresearch.bsky.social · 16/09/2026
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.
010
Convergent Research @convergentresearch.bsky.social · 16/09/2026
@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...
parallelsq.org
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 ...
021
Convergent Research @convergentresearch.bsky.social · 09/09/2026
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.
022
Convergent Research @convergentresearch.bsky.social · 12/08/2026
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...
nature.com
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.
020
Reposted by Convergent Research
Lean Focused Research Organization @lean-lang.org · 09/06/2026
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.
192
Reposted by Convergent Research
Nikolai Slavov @slavov-n.bsky.social · 05/06/2026
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.
2204
Reposted by Convergent Research
Lean Focused Research Organization @lean-lang.org · 03/06/2026
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...
053
Reposted by Convergent Research
Adam Marblestone @adammarblestone.bsky.social · 20/05/2026
www.essentialtechnology.blog/p/nsf-just-d...
essentialtechnology.blog
NSF Just Did Something Important
And so can you: how to reach out to Convergent about X-Labs
072
Reposted by Convergent Research
Adam Marblestone @adammarblestone.bsky.social · 24/04/2026
zenodo.org/records/1969...
zenodo.org
How to obtain a complete human connectome at synaptic resolution within the next decade
2164
Reposted by Convergent Research
EvE Bio @evebio.bsky.social · 30/04/2026
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...
142
Convergent Research @convergentresearch.bsky.social · 21/04/2026
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
essentialtechnology.blog
Introducing Meridial and Echo Labs
Launching Two New FROs in the UK
011
Reposted by Convergent Research
Advanced Research + Invention Agency (ARIA) @aria-research.bsky.social · 20/04/2026
🚀 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: bit.ly/4vCGs7S
bit.ly
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...
011
Reposted by Convergent Research
Lean Focused Research Organization @lean-lang.org · 20/04/2026
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
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...
083
Reposted by Convergent Research
[C]Worthy @cworthy.org · 02/04/2026
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...
022
Reposted by Convergent Research
Parallel Squared Technology Institute @parallelsq.bsky.social · 03/04/2026
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
Unfolding PTI's Origin Story with Nikolai Slavov and Harrison Specht
YouTube video by Parallel Squared Technology Institute
011
Reposted by Convergent Research
Lean Focused Research Organization @lean-lang.org · 02/04/2026
🚀 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
1152
Reposted by Convergent Research
[C]Worthy @cworthy.org · 01/04/2026
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...
cworthy.org
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...
011
Reposted by Convergent Research
Advanced Research + Invention Agency (ARIA) @aria-research.bsky.social · 02/04/2026
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: bit.ly/4uUMHDE
bit.ly
Universal Fabricators
012
Reposted by Convergent Research
Nikolai Slavov @slavov-n.bsky.social · 31/03/2026
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
165
Reposted by Convergent Research
Advanced Research + Invention Agency (ARIA) @aria-research.bsky.social · 16/03/2026
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: bit.ly/418ltvy
bit.ly
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...
033
Convergent Research @convergentresearch.bsky.social · 11/03/2026
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
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…
000
Reposted by Convergent Research
Lean Focused Research Organization @lean-lang.org · 26/02/2026
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
084
Reposted by Convergent Research
EvE Bio @evebio.bsky.social · 25/02/2026
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: 🧵
131
Reposted by Convergent Research
Advanced Research + Invention Agency (ARIA) @aria-research.bsky.social · 24/02/2026
Today, we are launching a £50m programme – Massively Scalable Neurotechnologies – to decouple advanced brain therapies from complex surgery.
link.aria.org.uk
121
Reposted by Convergent Research
Lean Focused Research Organization @lean-lang.org · 22/02/2026
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
1207
Convergent Research @convergentresearch.bsky.social · 23/02/2026
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...
essentialtechnology.blog
Our Responses to the NSF Tech Labs RFI
Metascience, AI, biotech, and more
031
Reposted by Convergent Research
Lean Focused Research Organization @lean-lang.org · 19/02/2026
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
0103
Convergent Research @convergentresearch.bsky.social · 18/02/2026
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...
essentialtechnology.blog
The evolution of CHI-FRO
Three principles from an engineering-heavy partnership to build out tools for probabilistic programming
022
Reposted by Convergent Research
Lean Focused Research Organization @lean-lang.org · 11/02/2026
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
0134
Reposted by Convergent Research
Nikolai Slavov @slavov-n.bsky.social · 04/02/2026
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
1129
Reposted by Convergent Research
Henry Lee @citizenlee.bsky.social · 03/02/2026
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.
183
Reposted by Convergent Research
Nikolai Slavov @slavov-n.bsky.social · 02/02/2026
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...
032
Reposted by Convergent Research
Nikolai Slavov @slavov-n.bsky.social · 02/02/2026
🔥 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
144
Convergent Research @convergentresearch.bsky.social · 29/01/2026
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...
nature.com
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.
021
Convergent Research @convergentresearch.bsky.social · 15/01/2026
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...
essentialtechnology.blog
Announcing Merge Labs
A neurotech FRO takes root
040
Reposted by Convergent Research
Parallel Squared Technology Institute @parallelsq.bsky.social · 06/01/2026
The focussed research organizations enabled by @convergentresearch.bsky.social are driving forward an ambitious agenda ! youtu.be/L5W-lV1K_xQ?...
youtu.be
Convergent Research: A mission control for frontier technology
YouTube video by Convergent Research
043
Reposted by Convergent Research
Futurism @futurism.bsky.social · 24/12/2025
As metascience advances, we could see unprecedented collaboration between disciplines, accelerating innovation. Imagine a world where scientific breakthroughs happen at lightning speed! #futurism
011
Convergent Research @convergentresearch.bsky.social · 23/12/2025
It's been an incredibly exciting year in metascience at large, and for us at Convergent. Last week, the NSF announced their Tech Labs Initiative. www.essentialtechnology.blog/p/the-future...
essentialtechnology.blog
The Future of Focused Research Organizations:
Working with Convergent on the NSF Tech Labs Initiative
142
Reposted by Convergent Research
Nikolai Slavov @slavov-n.bsky.social · 23/12/2025
A mission control for frontier technology An ambitious perspective on technological innovation and scaling by @convergentresearch.bsky.social youtu.be/L5W-lV1K_xQ?...
youtu.be
Convergent Research: A mission control for frontier technology
YouTube video by Convergent Research
021
Convergent Research @convergentresearch.bsky.social · 18/12/2025
NSF said it will select around three topic areas “in which the U.S. must retain or regain technical dominance,” possibly including quantum technology, AI, critical materials, semiconductor manufacturing, and biotechnology. www.aip.org/fyi/nsf-to-i...
aip.org
NSF to Issue Large, ‘Flexible’ Grants to Nontraditional Teams
The initiative aims to build “novel platform technologies” akin to the internet or polymerase chain reaction.
110
Reposted by Convergent Research
Joseph Fridman @josephfridman.bsky.social · 17/12/2025
happy wednesday from new orleans! here's some @convergentresearch.bsky.social Essential Technology art that doesn't hit the feed (only the frontispiece gets shared here) - first from our most recent piece on the @NSF's new Tech Labs Initiative www.essentialtechnology.blog/p/the-future...
131
Reposted by Convergent Research
[C]Worthy @cworthy.org · 16/12/2025
2025 was a turning point for mCDR. Across OAE and DOC, the field moved from promise to proof: pilots advanced, first verified credits were delivered, and new standards, permits, and infrastructure took shape. We recap some of the year’s key industry milestones here: www.cworthy.org/blog/year-in...
cworthy.org
Year in Review: 2025 Marine Carbon Dioxide Removal Milestones — [C]Worthy
A look back at the major milestones that defined mCDR in 2025—from first verified ocean-based carbon dioxide removal credits to new permits, protocols, and growing policy momentum.
011
Reposted by Convergent Research
Nikolai Slavov @slavov-n.bsky.social · 17/12/2025
This article is from people who have thought about FROs for years and have experience with what works and what doesn't. I have always appreciated the restraint in defining the niche of FROs in the broader ecosystem; it comes out clearly in this piece. www.essentialtechnology.blog/p/the-future...
essentialtechnology.blog
The Future of Focused Research Organizations:
Working with Convergent on the NSF Tech Labs Initiative
033
Convergent Research @convergentresearch.bsky.social · 16/12/2025
Last Friday, the @NSF released an RFI for a new Tech Labs Initiative, to "build and scale next-gen independent research organizations to advance science."
123
Reposted by Convergent Research
Federation of American Scientists @scientistsorg.bsky.social · 12/12/2025
To mark the occasion, FAS CEO Daniel Correa spoke with @sgrodriques.bsky.social and @adammarblestone.bsky.social about how best to run a Tech Lab/FRO-style org, what they've learned, and the role federal funding can play: fas.org/publication/...
fas.org
NSF Wants To Supercharge FROs. We Spoke With the Scientists Who Proposed Them.
We recently spoke with Adam Marblestone and Sam Rodriques, former FAS fellows who developed the idea for FROs and advocated for their use in a 2020 policy memo.
013
Reposted by Convergent Research
Adam Marblestone @adammarblestone.bsky.social · 12/12/2025
fas.org/publication/...
fas.org
Universities should help shape the vision for new NSF Tech Labs
At a time when universities are already facing intense pressure to re-envision their role in the S&T ecosystem, we encourage NSF to ensure that the ambitious research acceleration remains compatible w...
021
Reposted by Convergent Research
Adam Marblestone @adammarblestone.bsky.social · 12/12/2025
www.wsj.com/opinion/scie...
wsj.com
Opinion | Science Funding Goes Beyond the Universities
A new NSF initiative will support teams of researchers, a departure from the traditional practice of giving grants to individual professors.
011
Reposted by Convergent Research
Adam Marblestone @adammarblestone.bsky.social · 12/12/2025
fas.org/publication/...
fas.org
NSF Wants To Supercharge FROs. We Spoke With the Scientists Who Proposed Them.
We recently spoke with Adam Marblestone and Sam Rodriques, former FAS fellows who developed the idea for FROs and advocated for their use in a 2020 policy memo.
021
Reposted by Convergent Research
Adam Marblestone @adammarblestone.bsky.social · 12/12/2025
If you've been interested in FROs, you'll want to see this from NSF: sam.gov/opp/7332ade9... "sustained... support to... independent organizational structures operating outside of existing academic, start-up, and industry constraints... a dedicated, full-time team... operational independence..."
074
Reposted by Convergent Research
EvE Bio @evebio.bsky.social · 11/12/2025
New data is live!! With 25 new kinases, we have a total of 420,497 drug-target interaction results! There are multiple ways to access the dataset 🧵
152