#Proteomics Tutorial drop! Had fun writing this, ping me if interested in other search engines. #TeamMassSpec www.parallelsq.org/blog/fantast...

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

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)

Thanks for contributing your expertise!!

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 🧪

Our new preprint outlining how to make 1000-plex mass tags!

My commute to PTI.

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

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.

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

𝐶𝑜𝑚𝑏𝑖𝑛𝑎𝑡𝑜𝑟𝑖𝑎𝑙 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

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

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

"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

This community is building foundational capabilities for technological progress. Its nonprofit initiatives allow broadly sharing these capabilities. I am happy to support this mission 🚀

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

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

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

What is the future missing? convergentresearch.org

Putting in context the gargantuan task of sequencing a human genome. blog.slavovlab.net/2023/09/23/t...

💡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

Thrilled to finally share this work on how ultrasound BCIs function under the hood. 🧠 It was an honor working with Whitney the pièce de résistance of his PhD work at @caltech.edu

Earlier this year, @parallelsq.bsky.social hosted a research fest. We began with a broad perspective: ◾️ A century of remarkable progress! Proteomics drove conceptual discoveries and medical treatments. Listen to what's next! Proteomics: The arc of progress youtu.be/Sc2QLXb84XI?...

Applications for the 2026 cohort of the Brains Research Accelerator are now open! If you have a deep technical background and an ambitious research idea that's beyond the scope of a startup or academic lab, you should apply! spec.tech/brains

New AAV tools from @e11bio.bsky.social! PRISM uses protein-tag barcodes for high-throughput reconstruction of neurons and other cell-labeling applications. https://twp.ai/4iruEB

Proud of @e11bio.bsky.social's early progress here, and excited for so much more to come (that I've seen previews of as a FRO board member 😍). Optics + expansion + barcoding + AI + molecules = beginning of infinity for scalable brain circuit mapping, with wide implications across science.

E11 Bio is excited to unveil PRISM technology for mapping brain wiring with simple light microscopes. Today, brain mapping in humans and other mammals is bottlenecked by accurate neuron tracing. PRISM uses molecular ID codes and AI to help neurons trace themselves. Read more: e11.bio/blog/prism

👀 Our latest Substack is live – discover: – The launch of Innovator Circles – Insights into the FRO-Founder Residency with @convergentresearch.bsky.social – A Q&A with @micromotility.bsky.social on natural computation in single-celled microorganisms + more ↓ link.aria.org.uk/sepsubstack-bluesky

1/4 We are delighted & honored to share that @quantumbioorg.bsky.social has been highlighted in @convergentresearch.bsky.social's Fundamental Development Gap Map v1.0

Two great talks at #HLF25 last week: Sanjeev Arora on superhuman AI mathematicians using #LeanLang, and David Silver on AI learning through experience with #LeanProver verification. www.youtube.com/watch?v=q9MJ... #AI #FormalMath #ReinforcementLearning

@jasonderks.bsky.social is presenting at iSCMS! Come by this Saturday afternoon around 2pm to hear his talk: "Increasing proteomics throughput by multiplexing in the mass and time domains". singlecellms.org?page_id=442

Science communication is a key part of our mission, so thank you @juliabauman.bsky.social for this video about PTI's single cell proteomics research!

A clear summary of our approach & progress towards scaling up (single-cell) proteomics.

PTI is growing and we are looking for more scientists to join our team! Neurodegenerative Disease Senior Scientist: jobs.lever.co/convergentre... Computational Biologist: jobs.lever.co/convergentre... Research Chemist: jobs.lever.co/convergentre...

Join our team and help realize a bold vision.

This June, we kicked off our first-ever UK FRO Founder Residency as an Activation Partner for the United Kingdom’s Advanced Research + Invention Agency (ARIA), @aria-research.bsky.social. Read more: www.essentialtechnology.blog/p/inside-the...

Earlier this year, Imprint came out of stealth on the TED Mainstage to share our vision: What if the immune system holds the key to curing chronic diseases—and we just need the tools to read it? We’re building those tools. Our TED talk is now live 👉 go.ted.com/beckbrachman

How can we identify what capabilities will matter most in an increasingly intelligence-saturated world? 1. Avoid fast obsolescence 2. Complement AI 3. Use the steering wheel, not just the pedals 4. Imagine good futures + our AI-inflected priorities across 7 fields.

Interesting to see @convergentresearch.bsky.social FROs in the government's "AI Action Plan" 👀 www.whitehouse.gov/wp-content/u...

The hits keep on coming from @parallelsq.bsky.social! Today we released an exciting use-case for plexDIA in single cell analysis of #alzheimer's disease, characterizing dysregulation of the 20S proteasome. #TeamMassSpec #Proteomics www.biorxiv.org/content/10.1...

📣 We're excited to share the new lean-lang.org! Relaunching our website was a key deliverable in our Year 2 roadmap to provide "improved navigation and access to valuable content, resources, and tools." We hope you like it! #LeanLang #LeanProver

Anastasia Garnick from @convergentresearch.bsky.social presents the “gap map” and how Focussed Research Organisations (FROs) can help #MetaScience2025 www.gap-map.org

Catch @anastasiag.bsky.social and @adammarblestone.bsky.social chatting with @ashleevance.bsky.social on Core Memory today: www.corememory.com/p/fixing-ame...

People often ask how FROs started. Here's the origin story! Honored to be a part of this movement!

"Academic research groups and startups are essential drivers of scientific progress. But some projects, like the Hubble Space Telescope or the Human Genome Project, are too big for any one academic lab or loose consortium..."

More evidence for the role of protein degradation in significantly shaping the proteome of brain tissue!

Find PTI's preprints at the PTI 𝑏𝑖𝑜𝑅𝑥𝑖𝑣 channel: connect.biorxiv.org/relate/summa...

🟦 Label-free single-cell proteomics (blue bars). 🟧 Multiplexed single-cell proteomics affords higher throughput (orange bars). ⬛️ Proteome depth & quantitative accuracy are comparable. We aim to make the 🟧 bars taller. www.parallelsq.org/psmtags www.biorxiv.org/content/10.1...