Sami Jawhar (@CyberMonkSam) header
Sami Jawhar (@CyberMonkSam) profile picture

Neurotechnologist, serial entrepreneur, digital nomad, builder of things, wannabe philosopher

Digital Nomad
Joined July 2016
Photo by Sami Jawhar (@CyberMonkSam)
This is what TDD was supposed to be
We formally verified 123 open-source projects in a partnership with Anthropic. Formal verification at scale is here! Now we’re launching OSS Verify to scale it to the software we all depend on. We prove it’s crash-free or send you the patches it needs. Free for open-source. Let’s bootstrap the verified software ecosystem: theorem.dev/oss-verify
1
3
10
269
Sami Jawhar retweeted
DEADLINE ANNOUNCED: Apply by April 26th to LASR Labs AI Safety research program. This is a 3-month paid opportunity to write a paper in a small team with expert supervision. Past work has been published at workshops/conferences. Previous alumni now at Open AI & UKAISI.
1
7
2
16
5,964
Good evals need good infra. We're hiring engineers. Come join us!
When will AI systems be able to carry out long projects independently? In new research, we find a kind of “Moore’s Law for AI agents”: the length of tasks that AIs can do is doubling about every 7 months.
1
7
616
Sami Jawhar retweeted
METR is running a pilot field experiment to measure how AI tools affect open source developer productivity. If you're an open source developer who wants to make $150/hour to work on issues of your own choosing - consider expressing interest 👇
2
6
7
35
17,107
Sami Jawhar retweeted
Can frontier models cost-effectively accelerate ML workloads via optimizing GPU kernels? Our take at METR: yes, and they’re improving pretty steeply – but it’s easy to miss these capabilities without good elicitation and “fair” compute spend.
3
30
10
202
51,090
Sami Jawhar retweeted
How close are current AI agents to automating AI R&D? Our new ML research engineering benchmark (RE-Bench) addresses this question by directly comparing frontier models such as Claude 3.5 Sonnet and o1-preview with 50+ human experts on 7 challenging research engineering tasks.
14
170
83
827
446,318
Sami Jawhar retweeted
How well can LLM agents complete diverse tasks compared to skilled humans? Our preliminary results indicate that our baseline agents based on several public models (Claude 3.5 Sonnet and GPT-4o) complete a proportion of tasks similar to what humans can do in ~30 minutes. 🧵
10
93
21
425
127,811
@smfleming great talk at TCPW, and an exciting response to my question about the link with awareness/intrusive thoughts. Looking forward to exploring that connection further
We received FDA authorization to measure ketamine’s psychedelic effect on the brain using @kernelco Flow with our partner @CybinInc
10
24
7
133
Anyone looking for a broad and deep perspective on current computational neuroscience & its intersection with AI could do a lot worse than going through the entire back catalouge of @pgmid 's BrainInspired podcast braininspired.co/
1
1
8
Announcing @KernelCo Flux: the World’s Most Powerful Brain Interface kernel.com/news/announcing-k…
7
10
6
84
It's rough, meandering, and overlong, but at least I finally finished getting my thoughts down in a somewhat intelligible form. Something I've been thinking about for a while: what does the mind process tells us about responsibility and justice? medium.com/@thecybermonk/the…
The latest in my series of articles on the "mind process" is a practical guide to mental training and mindfulness. It's not woo, it's just physics! medium.com/@thecybermonk/pra…
1