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
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...
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.
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...
Synaptic MEMOIR: mapping individual synapses of neurons with protein barcodes https://www.biorxiv.org/content/10.1101/2025.11.25.690442v1
26.11.2025 08:16 β π 0 π 1 π¬ 0 π 0
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...
Dim Red Dot
Scientists have just released a photo featuring a dim red dot. It is the light of a single star exploding in a galaxy so far far away that that nothing we do could ever affect it β even in the very fullness of time.
It lies beyond the Affectable Universe.
Let me explainβ¦
1/π§΅
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."
16.12.2025 16:06 β π 2 π 3 π¬ 1 π 0
A Vision of Metascience; How does the culture of science change and improve?
We need metascience entrepreneurs, seeking to achieve a scalable improvement in the social processes of science
https://pllqt.it/Qg2rOs
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..."
A genetic platform for a biocementation bacterium https://www.biorxiv.org/content/10.64898/2025.12.05.692644v1
07.12.2025 02:02 β π 7 π 5 π¬ 0 π 1
[C]Worthy has secured multi-year support from ORCA and the Patrick J. McGovern Foundation to scale open, trusted science tools for ocean-based carbon removal.
We canβt scale what we canβt measureβthis funding accelerates our MRV models + datasets.
Full announcement: www.cworthy.org/media/cworth...
A global screen for magnetically induced neuronal activity in the pigeon brain www.science.org/doi/10.1126/... - so cool! π¦π§
21.11.2025 15:07 β π 48 π 13 π¬ 3 π 2
Have a look if you are interested in how the team at @cultivarium.bsky.social is finding electroporation protocols for new microbes: both screening lots of conditions on a custom built electroporator concurrently, and cyclical iteration using bayesian optimization
www.biorxiv.org/content/10.1...
Announced today: @evebio.bsky.social's pharmome-mapping dataset - the largest public map of how compounds do or donβt touch druggable targets - is now live on DrugBank's knowledgebase and available programmatically + interactively on Hugging Face, @hf.co.
Learn more: evebio.org/pharmome-dat...
a poster titled a synaptic locus of song learning
Poster now til 12 pm, come check it out at V6! #SfN25
17.11.2025 16:23 β π 10 π 2 π¬ 0 π 0Is there an academic/industry divide in attitudes about using AI to support discovery? I noticed this post has 3.6k likes on X but only 6 likes on Bluesky. It deserves more attention here!
17.11.2025 14:31 β π 3 π 2 π¬ 2 π 0
As AI collapses coordination costs, our new thesis - Scaling Trust - explores how scalable trust infrastructure could usher in a world of many AI agents, capable of mobilising, negotiating, and verifying on our behalf across digital + physical spaces β
link.aria.org.uk/ST-thesis-BS
Gotta get the mouse connectome
17.11.2025 15:08 β π 0 π 0 π¬ 1 π 0It is actually an incredibly frustrating time to be a theoretical neuroscientist right now imo, for this reason
17.11.2025 01:23 β π 135 π 24 π¬ 9 π 1
cool! tools to making it easier to work with ππ₯π¦π°π―π¦πππ’ π΄π’π¬π’πͺπ¦π―π΄πͺπ΄ (now ππͺπ΄π€πͺπ―πͺπ£π’π€π΅π¦π³ π΄π’π¬π’πͺπ¦π―π΄πͺπ΄) for PET degradation
#MicroSky
Cool work from our neighbors at @cultivarium.bsky.social using components from the POSSUM Toolkit! What will they (or you!) find next?
Check out the toolkit here: www.addgene.org/kits/cultiva...
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.
I am happy to share that the main story of my PhD is now available as a preprint! www.biorxiv.org/content/10.1...
We analyses over 8500 neurons in a songbird basal ganglia dataset.
To explore this and two other stories more interactively, also check out our website!
www.songbird-connectomics.org
Our new preprint outlining how to make 1000-plex mass tags!
24.10.2025 14:41 β π 4 π 2 π¬ 0 π 0
