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

🚀 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

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

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

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

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

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

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

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

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

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

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

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

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

A mission control for frontier technology An ambitious perspective on technological innovation and scaling by @convergentresearch.bsky.social youtu.be/L5W-lV1K_xQ?...

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

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

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

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

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

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

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

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 🧵

To be sure you know about each new data release, subscribe to our "latest news" email list at 🔗 data.evebio.org

The 25 new kinases added tomorrow will bring EvE's dataset to 67 total kinases, in addition to 85 7-transmembrane receptors and 32 nuclear receptors. All of these have activity measurements (or confirmed inactivity) for our 1,400 compound small molecule drug library.

It's the final day of our data release preview -- data will be posted tomorrow! The last five new targets to preview are metabolic and regulatory kinases: YES, FER, FES, PASK1, and CCK2

These less-characterized kinases represent the expanding frontier of cancer target space. Meanwhile, our previous release already includes well-established oncology targets like EGFR, BTK, and Aurora kinases -- along with EGFR and BTK mutants. Explore those results: 🔗 data.evebio.org

Day 5 of our kinase preview for our imminent data release: Emerging Oncology Targets We're adding four kinases gaining traction in cancer drug discovery: PVK2, SVK, TBK1, and CGK2.

Among all proteome changes in Alzheimer’s disease (AD), 20S proteasomes stand out. ⬛️ Their abundance strongly declines in AD patients. => This decline parallels a reduction in 20S substrate proteins and leads to abnormal protein accumulation in AD. biorxiv.org/content/10.1...

For the day 3 preview of EvE's kinase data release, the theme is calcium. We're adding three "calcium decoders" to our dataset: CaMK2a, CaMKK2, and MLK1.