Atlas Computing is a tech non-profit sourcing owners for neglected catastrophic potential AI risks. atlascomputing.org/
Joined October 2023
- Tweets 93
- Following 61
- Followers 220
- Likes 55
24 Photos and videos
Pinned Tweet
17 Oct 2025
Many things need to be done to make civilization robust to future AI capabilities. But what are gaps where there's no one working on the thing?
We have an ontology for identifying gaps, and made a to-do list of needed orgs!
1
4
8
1,049
Atlas Computing retweeted
May 4
With @nanransohoff's GM piece, @AGamick's solving piece, and @emiyazono's field strategist piece, there's basically a new playbook on solving the world's hardest problems: scope it, own it, fund it to the finish (links below).
Recommend you read them all!
3
15
39
4,083
Atlas Computing retweeted
Apr 28
🚨Apart Research & Atlas Computing are launching the Secure Program Synthesis Fellowship!
Have experience in Formal Methods and AI Safety?
We would love to have you as a mentor!
✍🏼 Please apply here till 5th May End of Day AoE: tally.so/r/gDNP2d
🌐 Website: apartresearch.com/fellowship…
10
28
4,735
Great to see this project (@theoremlabs, YC X25) seeded under Atlas Computing, doing such great work!
Blog post from April 2025 where we announced that Jason had spun out of Atlas Computing after running autoformalization experiments:
blog.atlascomputing.org/p/pr…
Feb 11
1/ We're open-sourcing LF-Lean: a verified Lean translation of 6K lines of Rocq from the Logical Foundations textbook, produced by AI with 2 person-days of human coding vs the 2.75 person-years it would have been before AI.
4
252
17 Oct 2025
Many things need to be done to make civilization robust to future AI capabilities. But what are gaps where there's no one working on the thing?
We have an ontology for identifying gaps, and made a to-do list of needed orgs!
1
4
8
1,049
17 Oct 2025
Making those orgs looks like
1. talking to potential users, stakeholders, partners, and advisors to refine what the need is and what should be done
2. Then make it very easy for someone to take on that role
1
2
116
17 Oct 2025
We welcome input, suggestions, and feedback. Let us know if you'd like to collaborate with us! Email hello@atlascomputing.org
2
92
8 May 2025
Son Ho with an update on Aeneas : Formal verification of Rust program by functional translation, a tool developed from combined efforts of @Azure @Inria Paris youtu.be/24Wt5FvmcHM
2025 Atlas Computing Symposium : Rust in Ottawa #rustlang
2
271
8 May 2025
Everett Hildenbrandt, CEO @rv_inc, with a demo by Daniel Cumming and Jost Berthold on Formal Verification of Rust programs using stable MIR and the K framework at the 2025 Atlas Computing Symposium : Rust in Ottawa
youtu.be/VPkTZEf4ks8
#rustlang
2
1
4
672
8 May 2025
Guillaume Claret from @FormalLand presenting Formal Verification for Rust in Rocq at the 2025 Atlas Computing Symposium : Rust in Ottawa
youtu.be/2TsA_xJn7yU
#rustlang
1
170
8 May 2025
Zyad Hassan, Senior Applied Scientist @awscloud, presenting the Contract-based verification in Kani at the 2025 Atlas Computing Symposium : Rust in Ottawa
youtu.be/6eqJZmU04b8
125
8 May 2025
Aymeric Fromherz from @Inria Paris presenting an update on Charon at the 2025 Atlas Computing Symposium : Rust in Ottawa
youtu.be/jYX-wgLP1MU
1
114
8 May 2025
Remi Delmas, Principal Applied Scientist @awscloud presenting the Harness-based verification in Kani at the 2025 Atlas Computing Symposium : Rust in Ottawa
youtu.be/QW2R4z7WPMU
#rustlang
113
8 May 2025
Xavier Denis from @ETH_en giving an update on Creusot at the Atlas Computing Symposium Rust Ottawa 2025
youtu.be/CMGgk08p2SA
#rustlang
1
1,055
8 May 2025
All the videos from the Atlas Computing Symposium on Formal Methods for Rust at @ICSEconf2025 are out. bit.ly/3GJ55e9
This has been a great combo of industry ad academic talks with participation from @awscloud @Azure @Inria @ETH_en @FormalLand and @rv_inc
#rustlang
4
761
2 May 2025
1
2
131
Atlas Computing retweeted
2 May 2025
🇨🇦We are already at the Symposium on Formal Methods for RUST at ICSE 2025 by @SafeWithAtlas!
At 3pm Daniel will join the stage to share about Symbolic Execution of Rust code via Stable MIR.
If you are in Ottawa today, make sure to stop by and say Hi👋
2
7
382
23 Apr 2025
Atlas Computing Symposium : Rust (Friday, May 2, 2025 - Ottawa, Canada) lu.ma/umi3g2wc
Sponsor highlight: The Automated Reasoning Group @AWS is focusing on the automation of formal logical reasoning to raise the bar on the security, durability, and availability.
1
57
23 Apr 2025
Atlas Computing Symposium : Rust (Friday, May 2, 2025 - Ottawa, Canada) lu.ma/umi3g2wc
Speaker highlight: Zyad Hassan is a Senior Applied Scientist in the Automated Reasoning Group at Amazon Web Services (AWS), where he works on the Kani Rust Verifier.
53
23 Apr 2025
Atlas Computing Symposium : Rust (Friday, May 2, 2025 - Ottawa, Canada) lu.ma/umi3g2wc
Speaker highlight: Rémi Delmas is a Principal Applied Scientist at Amazon Web Services (AWS) Automated Reasoning Group in Boston. #rustlang
44