Adam Marblestone

10.1K posts

Adam Marblestone banner
Adam Marblestone

Adam Marblestone

@AdamMarblestone

Technologist, Scientist Co-founder and CEO @Convergent_FROs Tweets do not represent employers

Boston Katılım Şubat 2009
7.1K Takip Edilen11.2K Takipçiler
Adam Marblestone retweetledi
Dylan Field
Dylan Field@zoink·
There is likely no open source project better positioned than Mathlib to benefit from reasoning models. Most bullish I've ever felt about an open source project. (... also, while I'm here, maybe we can make the full build times just a little bit faster? 😇 )
Lean@leanprover

Mathlib is the community-driven mathematical library for Lean, now over 2 million lines of formalized mathematics, with contributions from 300+ mathematicians worldwide. From undergraduate foundations to frontier research topics, it's one of the largest formal math libraries ever created. 🔗 lean-lang.org/use-cases/math… 🔗 mathlib-initiative.org #LeanLang #LeanProver #Mathlib #FormalMathematics

English
6
3
89
15.7K
Adam Marblestone retweetledi
Daniel Correa
Daniel Correa@CorreaDan·
Kudos to @NSF and the TIP Directorate for pursuing new funding models to support breakthrough team science. Big step. It's hard to imagine NSF doing this even five years ago, before: a) the important groundwork laid by CHIPS and Science to create a new directorate with a mandate to pursue new funding models; b) the philanthropic community de-risking core aspects of the FRO model; c) a new crop of science policy entrepreneurs helping to make the case; and d) the work of visionary leaders at NSF, our most important federal institution dedicated to pushing the scientific frontier
U.S. National Science Foundation@NSF

NSF announces $1.5B NSF X-Labs initiative to pursue generational breakthrough science efforts. NSF X-Labs will scale a new generation of transformative independent research organizations to advance breakthrough science outside of traditional institutions. nsf.gov/news/nsf-annou…

English
0
10
40
5K
Adam Marblestone retweetledi
NIH
NIH@NIH·
NEWS: Researchers identify first suite of human antibodies against measles virus. Read the full story ➡️ bit.ly/4tDwtx4
NIH tweet media
English
1
13
26
5.8K
Adam Marblestone retweetledi
Caleb Watney
Caleb Watney@calebwatney·
How it started // How it's going
Caleb Watney tweet mediaCaleb Watney tweet media
English
15
31
273
14K
Adam Marblestone retweetledi
White House OSTP 47
White House OSTP 47@WHOSTP47·
Today @NSF announced a major investment of $1.5B towards a new model for scientific research🚨 NSF X-Labs will fund independent teams of researchers, engineers, and entrepreneurs to pursue bold milestone-based scientific challenges. This is how we revitalize America's scientific engine for the 21st century outside of traditional institutions, conducting science in a way that actually reflects the modern R&D ecosystem ⬇️ nsf.gov/news/nsf-annou…
English
11
53
273
28.8K
Adam Marblestone retweetledi
U.S. National Science Foundation
NSF announces $1.5B NSF X-Labs initiative to pursue generational breakthrough science efforts. NSF X-Labs will scale a new generation of transformative independent research organizations to advance breakthrough science outside of traditional institutions. nsf.gov/news/nsf-annou…
U.S. National Science Foundation tweet media
English
13
75
301
70.6K
Adam Marblestone retweetledi
George
George@George200kV·
this is one of the most impressive things ive ever seen in a microscope
George tweet mediaGeorge tweet media
English
2
11
122
15.1K
Adam Marblestone retweetledi
Sheena Josselyn
Sheena Josselyn@sjo09·
New paper from the lab. Using longitudinal ca imaging, activity-dependent tagging and optogenetics, we show that newly allocated fear engram neurons in amygdala undergo a brief period of coordinated “offline reverberation” immediately after learning. pnas.org/doi/10.1073/pn…
English
1
24
107
8K
Adam Marblestone retweetledi
Laura 🌲 ⛰️
Laura 🌲 ⛰️@LauraDeming·
getting through the danger zone for ice formation in under a minute, with a device that only draws a few kW (work done on a pig kidney, same scale as a human kidney)
Laura 🌲 ⛰️ tweet media
Until@untillabs

We’re putting the “reversible” in Reversible Cryopreservation 🧡 Our latest post breaks down how our rewarming process works and shares new human organ-scale rewarming data we’re excited to finally show. Check it out in the link below 👇

English
3
11
174
28.7K
Adam Marblestone retweetledi
Charlie Harris
Charlie Harris@charlieharris01·
@SynBio1 @shae_mcl @grok OpenBind for protein-small molecule data. Large data dump earlier this week End goal is to 25x all P-L available to humanity OpenBind.uk
English
0
1
1
861
Jake Wintermute 🧬/acc
@shae_mcl @grok What are some examples of public and private funding efforts intended to generate biology datasets that will enable AI applications analogous to the way the PDB enabled AlphaFold?
English
5
1
8
2.6K
Shae McLaughlin
Shae McLaughlin@shae_mcl·
It’s estimated that the Protein Data Bank (PDB) cost around $13B to create. Alphafold was only possible because of it. If we want ML to solve biology, we should be funding the creation of databases and the development of new assay technologies. ML is nothing without data.
English
39
173
1.3K
154.3K
Adam Marblestone retweetledi
Sri Kosuri
Sri Kosuri@srikosuri·
@SynBio1 @shae_mcl @grok Fwiw, at OpenADMET we are trying to do what CASP/PDB did, but for small molecule ADMET properties. Third competition on PXR activation and protein-ligand structure prediction running now. Many more to come. openadmet.org
English
0
4
25
3.2K