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.
Reposted by Convergent Research
No one is immune to aging but what exactly happens to our immune system as it ages? @thibaultcolombani.bsky.social takes a molecular dive into the immune system and talks about understanding age-induced immune altercations through single-cell proteomics.
www.youtube.com/watch?v=WUU1...
www.youtube.com/watch?v=WUU1...
November 13, 2025 at 7:02 PM
No one is immune to aging but what exactly happens to our immune system as it ages? @thibaultcolombani.bsky.social takes a molecular dive into the immune system and talks about understanding age-induced immune altercations through single-cell proteomics.
www.youtube.com/watch?v=WUU1...
www.youtube.com/watch?v=WUU1...
Reposted by Convergent Research
Some video protocols by collaborator Felipe-Andrés Piedra:
prism.cultivarium.org/protocols/20...
prism.cultivarium.org/protocols/20...
prism.cultivarium.org/protocols/20...
prism.cultivarium.org/protocols/20...
prism.cultivarium.org/protocols/20...
prism.cultivarium.org/protocols/20...
prism.cultivarium.org
November 12, 2025 at 7:05 PM
Some video protocols by collaborator Felipe-Andrés Piedra:
prism.cultivarium.org/protocols/20...
prism.cultivarium.org/protocols/20...
prism.cultivarium.org/protocols/20...
prism.cultivarium.org/protocols/20...
prism.cultivarium.org/protocols/20...
prism.cultivarium.org/protocols/20...
Reposted by Convergent Research
Code+sequences: github.com/cultivarium/...
Plasmids (also on GitHub):
www.addgene.org/199102/
www.addgene.org/89477/
Genome (also on GitHub):
... stuck in submission at NCBI... for now.
If you're interested in using the mutant library yourself, reach out!
Plasmids (also on GitHub):
www.addgene.org/199102/
www.addgene.org/89477/
Genome (also on GitHub):
... stuck in submission at NCBI... for now.
If you're interested in using the mutant library yourself, reach out!
GitHub - cultivarium/Piscinibacter_sakaiensis_RB_TnSeq: Supporting code for "High-throughput genetics in a microbe that degrades and metabolizes plastic"
Supporting code for "High-throughput genetics in a microbe that degrades and metabolizes plastic" - cultivarium/Piscinibacter_sakaiensis_RB_TnSeq
github.com
November 12, 2025 at 7:05 PM
Code+sequences: github.com/cultivarium/...
Plasmids (also on GitHub):
www.addgene.org/199102/
www.addgene.org/89477/
Genome (also on GitHub):
... stuck in submission at NCBI... for now.
If you're interested in using the mutant library yourself, reach out!
Plasmids (also on GitHub):
www.addgene.org/199102/
www.addgene.org/89477/
Genome (also on GitHub):
... stuck in submission at NCBI... for now.
If you're interested in using the mutant library yourself, reach out!
Reposted by Convergent Research
Very happy to share our recent work @cultivarium.bsky.social on genetic tools for Ideonella sakaiensis, a (Betaproteo-)bacterium that degrades PET plastic.
We identified a plasmid vector for the strain and generated a large RB-TnSeq library, screening for genes impacting plastic degradation.
We identified a plasmid vector for the strain and generated a large RB-TnSeq library, screening for genes impacting plastic degradation.
November 12, 2025 at 7:05 PM
Very happy to share our recent work @cultivarium.bsky.social on genetic tools for Ideonella sakaiensis, a (Betaproteo-)bacterium that degrades PET plastic.
We identified a plasmid vector for the strain and generated a large RB-TnSeq library, screening for genes impacting plastic degradation.
We identified a plasmid vector for the strain and generated a large RB-TnSeq library, screening for genes impacting plastic degradation.
Reposted by Convergent Research
#Proteomics Tutorial drop!
Had fun writing this, ping me if interested in other search engines. #TeamMassSpec
www.parallelsq.org/blog/fantast...
Had fun writing this, ping me if interested in other search engines. #TeamMassSpec
www.parallelsq.org/blog/fantast...
Fantastic Proteins and Where to Find Them - PTI - Parallel Squared Technology Institute
Here, we will offer a tutorial for how to build instrument-specific spectral library predictions for PSMtag modified peptides using DIA-NN 2.3.0. This will allow users to do more accurate proteome-wid...
www.parallelsq.org
November 4, 2025 at 4:47 PM
#Proteomics Tutorial drop!
Had fun writing this, ping me if interested in other search engines. #TeamMassSpec
www.parallelsq.org/blog/fantast...
Had fun writing this, ping me if interested in other search engines. #TeamMassSpec
www.parallelsq.org/blog/fantast...
Reposted by Convergent Research
Whether you want to industrialize biology or biologize industry, we could use new financing structures. I propose BiBs (Bioindustrial Bucks). www.genengnews.com/industry-ne...
Bring on the BioIndustrial Bucks: Growing America’s Bioeconomy
Synthetic biology is ready for the next developmental milestone and America’s leadership depends on getting the financing right.
www.genengnews.com
November 4, 2025 at 10:00 AM
Whether you want to industrialize biology or biologize industry, we could use new financing structures. I propose BiBs (Bioindustrial Bucks). www.genengnews.com/industry-ne...
Reposted by Convergent Research
Register for free (www.cultivarium.org/portal) to access their fantastic work and engage with their growing community. Let's diversify our biological models for deeper understanding! (2/2)
Portal — Cultivarium
www.cultivarium.org
April 25, 2025 at 9:17 AM
Register for free (www.cultivarium.org/portal) to access their fantastic work and engage with their growing community. Let's diversify our biological models for deeper understanding! (2/2)
Reposted by Convergent Research
Thanks for contributing your expertise!!
I got to editing a few clips to show how I make plant tissue culture leaf disks from leaves obtained in open air. Uploaded for your consideration to the PRISM collection. Enjoyyyyy.
prism.cultivarium.org/protocols/20...
prism.cultivarium.org/protocols/20...
prism.cultivarium.org
October 18, 2025 at 11:55 AM
Thanks for contributing your expertise!!
Reposted by Convergent Research
A bit dense, but the important message is dead simple:
We got to cite the E = mc² paper!
Kidding :)
The important part is that combinations of isotopes unlock 100-1000x gains in protein measurement speed.
Here's how: www.biorxiv.org/content/10.1...
#TeamMassSpec #Proteomics 🧪
We got to cite the E = mc² paper!
Kidding :)
The important part is that combinations of isotopes unlock 100-1000x gains in protein measurement speed.
Here's how: www.biorxiv.org/content/10.1...
#TeamMassSpec #Proteomics 🧪
How to design 1000-plex mass tags using the differential mass defect
Multiplexing samples in mass spectrometry-based proteomics has long been accomplished by isotopologues of small molecules. These chemically-identical "mass tags" conjugate to peptides to encode sample...
www.biorxiv.org
October 24, 2025 at 2:08 PM
A bit dense, but the important message is dead simple:
We got to cite the E = mc² paper!
Kidding :)
The important part is that combinations of isotopes unlock 100-1000x gains in protein measurement speed.
Here's how: www.biorxiv.org/content/10.1...
#TeamMassSpec #Proteomics 🧪
We got to cite the E = mc² paper!
Kidding :)
The important part is that combinations of isotopes unlock 100-1000x gains in protein measurement speed.
Here's how: www.biorxiv.org/content/10.1...
#TeamMassSpec #Proteomics 🧪
Reposted by Convergent Research
Our new preprint outlining how to make 1000-plex mass tags!
A bit dense, but the important message is dead simple:
We got to cite the E = mc² paper!
Kidding :)
The important part is that combinations of isotopes unlock 100-1000x gains in protein measurement speed.
Here's how: www.biorxiv.org/content/10.1...
#TeamMassSpec #Proteomics 🧪
We got to cite the E = mc² paper!
Kidding :)
The important part is that combinations of isotopes unlock 100-1000x gains in protein measurement speed.
Here's how: www.biorxiv.org/content/10.1...
#TeamMassSpec #Proteomics 🧪
How to design 1000-plex mass tags using the differential mass defect
Multiplexing samples in mass spectrometry-based proteomics has long been accomplished by isotopologues of small molecules. These chemically-identical "mass tags" conjugate to peptides to encode sample...
www.biorxiv.org
October 24, 2025 at 2:41 PM
Our new preprint outlining how to make 1000-plex mass tags!
Reposted by Convergent Research
My commute to PTI.
November 3, 2025 at 2:36 PM
My commute to PTI.
Reposted by Convergent Research
It feels like unblocking a bottleneck. Thanks to @convergentresearch.bsky.social for supporting @parallelsq.bsky.social in this mission of unblocking research bottlenecks with non-profit focussed research organizations:
/n
www.nature.com/articles/d41...
/n
www.nature.com/articles/d41...
Unblock research bottlenecks with non-profit start-ups
‘Focused research organizations’ can take on mid-scale projects that don’t get tackled by academia, venture capitalists or government labs.
www.nature.com
November 1, 2025 at 4:59 PM
It feels like unblocking a bottleneck. Thanks to @convergentresearch.bsky.social for supporting @parallelsq.bsky.social in this mission of unblocking research bottlenecks with non-profit focussed research organizations:
/n
www.nature.com/articles/d41...
/n
www.nature.com/articles/d41...
Reposted by Convergent Research
Now, we are starting to use this approach for an experiment that I have wanted to do for a long time... but it was impractical:
- Simply not feasible with linearly scaling approaches and the resources we have.
timePlex makes it feasible, and I cannot stop thinking about it.
- Simply not feasible with linearly scaling approaches and the resources we have.
timePlex makes it feasible, and I cannot stop thinking about it.
November 1, 2025 at 4:59 PM
Now, we are starting to use this approach for an experiment that I have wanted to do for a long time... but it was impractical:
- Simply not feasible with linearly scaling approaches and the resources we have.
timePlex makes it feasible, and I cannot stop thinking about it.
- Simply not feasible with linearly scaling approaches and the resources we have.
timePlex makes it feasible, and I cannot stop thinking about it.
Reposted by Convergent Research
Combining this time domain multiplexing with mass domain multiplexing (plexDIA), we demonstrated combinatorial scaling of throughput. You can read about it www.biorxiv.org/content/10.1... and hear Jason describe it at the Parallel Squared Technology Institute Research Fest: youtu.be/2rLBk4IaZpk?...
Increasing Mass spectrometry throughput using time encoded sample multiplexing | Jason Derks
YouTube video by Parallel Squared Technology Institute
youtu.be
November 1, 2025 at 4:59 PM
Combining this time domain multiplexing with mass domain multiplexing (plexDIA), we demonstrated combinatorial scaling of throughput. You can read about it www.biorxiv.org/content/10.1... and hear Jason describe it at the Parallel Squared Technology Institute Research Fest: youtu.be/2rLBk4IaZpk?...
Reposted by Convergent Research
𝐶𝑜𝑚𝑏𝑖𝑛𝑎𝑡𝑜𝑟𝑖𝑎𝑙 scaling may unlock a new level of throughput. This is enabling a long-awaited experiment !
Our team, led by Jason Derks, enabled combinatorial-scaling of mass spec proteomics throughput by developing multiplexing in the time domain, timePlex.
1/n
Our team, led by Jason Derks, enabled combinatorial-scaling of mass spec proteomics throughput by developing multiplexing in the time domain, timePlex.
1/n
November 1, 2025 at 4:59 PM
𝐶𝑜𝑚𝑏𝑖𝑛𝑎𝑡𝑜𝑟𝑖𝑎𝑙 scaling may unlock a new level of throughput. This is enabling a long-awaited experiment !
Our team, led by Jason Derks, enabled combinatorial-scaling of mass spec proteomics throughput by developing multiplexing in the time domain, timePlex.
1/n
Our team, led by Jason Derks, enabled combinatorial-scaling of mass spec proteomics throughput by developing multiplexing in the time domain, timePlex.
1/n
Reposted by Convergent Research
Tactic tip: Lean's 𝚜𝚒𝚖𝚙? is an optimization tool that shows the minimal 𝚜𝚒𝚖𝚙 𝚘𝚗𝚕𝚢 call needed to close a goal.
Use the 𝚜𝚒𝚖𝚙? "Try this" suggestion to insert the precise 𝚜𝚒𝚖𝚙 𝚘𝚗𝚕𝚢 call into your proof.
Learn more: lean-lang.org/theorem_prov...
#LeanLang #LeanProver #ProofAssistant
Use the 𝚜𝚒𝚖𝚙? "Try this" suggestion to insert the precise 𝚜𝚒𝚖𝚙 𝚘𝚗𝚕𝚢 call into your proof.
Learn more: lean-lang.org/theorem_prov...
#LeanLang #LeanProver #ProofAssistant
October 22, 2025 at 11:06 PM
Tactic tip: Lean's 𝚜𝚒𝚖𝚙? is an optimization tool that shows the minimal 𝚜𝚒𝚖𝚙 𝚘𝚗𝚕𝚢 call needed to close a goal.
Use the 𝚜𝚒𝚖𝚙? "Try this" suggestion to insert the precise 𝚜𝚒𝚖𝚙 𝚘𝚗𝚕𝚢 call into your proof.
Learn more: lean-lang.org/theorem_prov...
#LeanLang #LeanProver #ProofAssistant
Use the 𝚜𝚒𝚖𝚙? "Try this" suggestion to insert the precise 𝚜𝚒𝚖𝚙 𝚘𝚗𝚕𝚢 call into your proof.
Learn more: lean-lang.org/theorem_prov...
#LeanLang #LeanProver #ProofAssistant
Reposted by Convergent Research
@jasonderks.bsky.social presents "Increasing Mass spectrometry throughput using time encoded sample multiplexing" at Research Fest in Boston, MA on April 22, 2025.
www.youtube.com/watch?v=2rLB...
www.youtube.com/watch?v=2rLB...
Increasing Mass spectrometry throughput using time encoded sample multiplexing | Jason Derks
YouTube video by Parallel Squared Technology Institute
www.youtube.com
October 23, 2025 at 6:38 PM
@jasonderks.bsky.social presents "Increasing Mass spectrometry throughput using time encoded sample multiplexing" at Research Fest in Boston, MA on April 22, 2025.
www.youtube.com/watch?v=2rLB...
www.youtube.com/watch?v=2rLB...
Reposted by Convergent Research
"Theorem Proving in Lean 4" is the essential guide for anyone using Lean for mathematical proofs. Kept up-to-date with each new Lean release, it covers everything from basic tactics to advanced proof strategies.
Read the book here: lean-lang.org/theorem_prov...
#LeanLang #LeanProver #Mathematics
Read the book here: lean-lang.org/theorem_prov...
#LeanLang #LeanProver #Mathematics
October 20, 2025 at 11:34 PM
"Theorem Proving in Lean 4" is the essential guide for anyone using Lean for mathematical proofs. Kept up-to-date with each new Lean release, it covers everything from basic tactics to advanced proof strategies.
Read the book here: lean-lang.org/theorem_prov...
#LeanLang #LeanProver #Mathematics
Read the book here: lean-lang.org/theorem_prov...
#LeanLang #LeanProver #Mathematics
Reposted by Convergent Research
This community is building foundational capabilities for technological progress.
Its nonprofit initiatives allow broadly sharing these capabilities.
I am happy to support this mission 🚀
Its nonprofit initiatives allow broadly sharing these capabilities.
I am happy to support this mission 🚀
October 19, 2025 at 1:29 PM
This community is building foundational capabilities for technological progress.
Its nonprofit initiatives allow broadly sharing these capabilities.
I am happy to support this mission 🚀
Its nonprofit initiatives allow broadly sharing these capabilities.
I am happy to support this mission 🚀
Reposted by Convergent Research
We’re pleased to announce #ItaLean2025: Bridging Formal Mathematics and AI, an international conference dedicated to @lean-lang.org, Formal Mathematics, and AI4Math.
📍 University of Bologna
🗓 9–12 December 2025
Proudly supported by #Harmonic.
#LeanLang #FormalMath #AI4Math
📍 University of Bologna
🗓 9–12 December 2025
Proudly supported by #Harmonic.
#LeanLang #FormalMath #AI4Math
October 14, 2025 at 7:44 AM
We’re pleased to announce #ItaLean2025: Bridging Formal Mathematics and AI, an international conference dedicated to @lean-lang.org, Formal Mathematics, and AI4Math.
📍 University of Bologna
🗓 9–12 December 2025
Proudly supported by #Harmonic.
#LeanLang #FormalMath #AI4Math
📍 University of Bologna
🗓 9–12 December 2025
Proudly supported by #Harmonic.
#LeanLang #FormalMath #AI4Math
Reposted by Convergent Research
And, we are back with another presentation from this year's Research Fest. PTI's Senior Computational Scientist, Kevin McDonnell, talks about developing joint modeling (aka JMod) of mass spectra for empowering multiplexed DIA proteomics.
www.youtube.com/watch?v=plK4...
www.youtube.com/watch?v=plK4...
Jmod: Joint modeling of mass spectra for empowering mulitplexed DIA proteomics | Kevin McDonnell
YouTube video by Parallel Squared Technology Institute
youtu.be
October 16, 2025 at 6:49 PM
And, we are back with another presentation from this year's Research Fest. PTI's Senior Computational Scientist, Kevin McDonnell, talks about developing joint modeling (aka JMod) of mass spectra for empowering multiplexed DIA proteomics.
www.youtube.com/watch?v=plK4...
www.youtube.com/watch?v=plK4...
Reposted by Convergent Research
What does it take to identify critical science & tech capability gaps—and then build organizations dedicated to addressing them?
@adammarblestone.bsky.social, @anastasiag.bsky.social, Mary Wang, & @josephfridman.bsky.social on creating @convergentresearch.bsky.social: issues.org/focused-rese...
@adammarblestone.bsky.social, @anastasiag.bsky.social, Mary Wang, & @josephfridman.bsky.social on creating @convergentresearch.bsky.social: issues.org/focused-rese...
Field Notes on Moving Focused Research Organizations Forward
Lessons from four years of building a new kind of focused scientific organization to create fundamental technologies and accelerate discovery.
issues.org
October 16, 2025 at 7:56 PM
What does it take to identify critical science & tech capability gaps—and then build organizations dedicated to addressing them?
@adammarblestone.bsky.social, @anastasiag.bsky.social, Mary Wang, & @josephfridman.bsky.social on creating @convergentresearch.bsky.social: issues.org/focused-rese...
@adammarblestone.bsky.social, @anastasiag.bsky.social, Mary Wang, & @josephfridman.bsky.social on creating @convergentresearch.bsky.social: issues.org/focused-rese...
October 16, 2025 at 2:54 PM
Reposted by Convergent Research
Putting in context the gargantuan task of sequencing a human genome.
blog.slavovlab.net/2023/09/23/t...
blog.slavovlab.net/2023/09/23/t...
October 11, 2025 at 9:57 AM
Putting in context the gargantuan task of sequencing a human genome.
blog.slavovlab.net/2023/09/23/t...
blog.slavovlab.net/2023/09/23/t...
Reposted by Convergent Research
💡Did you know you can run #LeanLang in your browser without installing anything? The Lean Playground provides a full environment for experimentation, learning, and for sharing code snippets with others.
Try it out! live.lean-lang.org
Try it out! live.lean-lang.org
October 10, 2025 at 4:17 PM
💡Did you know you can run #LeanLang in your browser without installing anything? The Lean Playground provides a full environment for experimentation, learning, and for sharing code snippets with others.
Try it out! live.lean-lang.org
Try it out! live.lean-lang.org