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
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: π§΅
25.02.2026 13:52 β π 3 π 1 π¬ 1 π 0Today, we are launching a Β£50m programme β Massively Scalable Neurotechnologies β to decouple advanced brain therapies from complex surgery.
24.02.2026 13:03 β π 2 π 1 π¬ 1 π 0
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...
23.02.2026 15:41 β π 3 π 1 π¬ 0 π 0
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
24.12.2025 11:55 β π 1 π 1 π¬ 0 π 0
Happy holidays - from our team to you and yours.
βοΈπβ
We hope it is a useful artifact for understanding our work, and a helpful preview for what's to come. This year has been a big one, and next year will be even more so. We're so excited about what's to come, and grateful for everyone who's joined us along the way.
23.12.2025 21:12 β π 1 π 0 π¬ 1 π 0
And while we were all in one place, we took a few hours to pull some members of the team aside, to ask them some questions about what we're working on, and why. Hereβs the video we made about Convergent.
www.youtube.com/watch?v=L5W-...
Over a few cold, bright, autumnal days in Falmouth, we shared breakthroughs & challenges, identified opportunities for collaboration, and reconnected amidst the day-to-day busy-ness of pursuing our mission.
23.12.2025 21:12 β π 1 π 0 π¬ 1 π 0And this October, like we do every year, we brought our Focused Research Organization leaders, team members, and supporters together for FROCon.
23.12.2025 21:12 β π 1 π 0 π¬ 1 π 0
All year, our existing Focused Research Organizations (we've launched almost a dozen) have been sharing the fruits of their labor, and we're hard at work on many more new FROs in the pipeline.
www.convergentresearch.org/resources/fro
The week before, we joined teams from our UK FRO Founder Residency (powered by @aria-research.bsky.social) in London as they presented the proposals they've been working on since June.
www.essentialtechnology.blog/p/inside-the...
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?...
If you're interested in potentially partnering with Convergent, check out this blog for more information about how to reach out: www.essentialtechnology.blog/p/the-future...
18.12.2025 22:40 β π 0 π 0 π¬ 0 π 0
The agency will select two to four teams per topic for an initial nine-month phase and then choose one to two teams per topic to execute their proposals, said Rebecca Chmiel, associate program director for emerging technologies.
www.aip.org/fyi/nsf-to-i...
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...
16.12.2025 22:43 β π 1 π 1 π¬ 0 π 0