Atlas Computing @SafeWithAtlas
Atlas Computing is a tech non-profit sourcing owners for neglected catastrophic potential AI risks. https://t.co/paK10X2nzl worldwide Joined October 2023-
Tweets93
-
Followers221
-
Following61
-
Likes55
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!
🚨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/fellowships/th…
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/progress-in-…
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.
We welcome input, suggestions, and feedback. Let us know if you'd like to collaborate with us! Email [email protected]
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
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!
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
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
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
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
Aymeric Fromherz from @Inria Paris presenting an update on Charon at the 2025 Atlas Computing Symposium : Rust in Ottawa youtu.be/jYX-wgLP1MU
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
Xavier Denis from @ETH_en giving an update on Creusot at the Atlas Computing Symposium Rust Ottawa 2025 youtu.be/CMGgk08p2SA #rustlang
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
🇨🇦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👋
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.
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.
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
Caleb Parikh @caleb_parikh
495 Followers 730 Following Trying to make the future go well by funding impactful projects.
Sachin Kumar Singh @sachin_singh092
439 Followers 313 Following Senior SDE @digitalocean | prev @canonical, @vmware, @HackerRank, @CloudNativeFdn
bera @bera_xyz
5 Followers 86 Following
Dan Dworkis MD PhD FA... @ddworkis
746 Followers 676 Following ER doc focused how humans and systems keep working when things go wrong. RAND | USC | MCTI | lead: @TheEmergMind
internet explorer @screensearcher
6 Followers 950 Following
shitry.base.eth | @Ba... @greenshit333
2K Followers 4K Following Verify me on https://t.co/cGusb9DhEG
Based Creators Southe... @BCSA_Region
125 Followers 111 Following Connecting artists, technologists & and innovators through culture, education & onchain collaboration. official @basedcreators southern region Chapter
debuggingfuture @debuggingfuture
824 Followers 5K Following 🤝Fractional CTO/CISO @fractalboxdev Building secure, private and compliant-by-design solutions for agents
Yogesh Prabhu @yogeshprabhu03
67 Followers 267 Following grad student @UCSanDiego | research in technical safety & interpretability
Lucas wang @SystemsWang
23 Followers 518 Following Founder of Allumino & working on some side projects
Sund @sundresearch
10 Followers 459 Following Independent researcher, compute scaling believer, aspiring optimist
Shun Yoshizawa @Spectrum_cj
400 Followers 2K Following AI Alignment, Safety and Consciousness Researcher (RA) | BS Physics Candidate 🇯🇵
A @Alexand20797920
1 Followers 190 Following Whatever is inconsistent with the facts must be discarded or revised. We must understand the Cosmos as it is and not confuse how it is with how we wish it to be
Amanda Glassman @glassmanamanda
26K Followers 19K Following Exec Advisor to President @the_IDB; alumna @CGDev @BrookingsInst @usaid @prb; Board @GlobalDevInc; fmr Board @globalinnovfund @prb; Personal views.
ann-marie @takecarecactus
158 Followers 145 Following @hvcouragecactus.bsky.social | psych and econ | on a journey of cultivation - bits of joy, exploration - for both fun and survival
sudarsh 🌱🔶 @sudarshk_
416 Followers 2K Following any pronouns; biophysics, alignment, transhumanism`
Ross Matican @rossmatican
1K Followers 6K Following investing in AI security & societal resilience @HalcyonVC @HalcyonFutures | Grantee @cosmos_inst | GTM strategist
Agus 🔸 @austinc3301
7K Followers 6K Following Trying to make AI go well for everyone. Enjoyer of good faith discussions. Running @KairosAIS and @SPARExec.
Subramanyam Sahoo @iamwsubramanyam
341 Followers 5K Following AGI Safety researcher (Independent), MARS Fellow(Cambridge AI Safety Hub), BASIS Fellow @UCBerkeley, Get Published or Die Trying.
Bogdan Ionut Cirstea @BogdanIonutCir2
2K Followers 3K Following Automated/strongly-augmented AI safety research. Past: AI safety independent research and field-building - ML4Good, AGISF; ML academia (PhD, postdoc).
Joseph Fridman @joseph_fridman
3K Followers 7K Following mr. @fmheclimate | editorial @IFP | comms advisory lots of places; opinions mine | @cunylaw ‘26 | teaching @the_line_edit | @bbsjournal | @RU_SMLR exec fellow
The Economic Misfit @EconomicMisfit
5K Followers 4K Following Your go-to source for updates on the economics community, navigating careers, insights, and opportunities Email: [email protected]
Metagov @metagov_project
4K Followers 313 Following Metagov is a laboratory for digital governance. We build tools, practices, and communities for self-governance in the digital age.
Stu Topp @stutopp1
0 Followers 32 Following
Josh | ⬛🟥⬛ @TBSocialist
11K Followers 6K Following I blog and podcast about crypto and the left | @breadcoop | Patreon https://t.co/xFUiBSmPRK | Podcast https://t.co/aKnuqOcGNi
Mike Staub 🐝 @mikestaub
1K Followers 7K Following Developer, Artist, Investor, Entrepreneur, previously @brightmachines @autodesk @ILMVFX @AMD #Bitcoin 🦋 https://t.co/1Nc35NaZDz
Soumya Jain @wild_and_empty
107 Followers 341 Following Research Manager @ Cambridge AI Safety Hub studying minds, AI agents & other unstable systems
Patrick Shafto @patrickshafto
3K Followers 1K Following PM @DARPA; Prof of Math and CS @Rutgers-Newark; co-founder @ https://t.co/e6dJA2bLus; Math @the_IAS 2021-2023. https://t.co/2plDQE0s6K https://t.co/XuiVK8VmO3
ForkinWisdom @forkinwisdom
318 Followers 2K Following Empowering grassroots projects to make a difference in their community.
Pedro/Lisa Intel @New_AI_Safety
877 Followers 3K Following Pedro Bentancour Garin. Building: -the global AI governance & safety layer -the multidisciplinary AI research engine Parent, engineer, archaeologist & Polymath.
Peter Barnett @peterbarnett_
1K Followers 598 Following Trying to ensure the future is bright. Researcher at @MIRIBerkeley Views my own.
Tristan Camacho @TristanECamacho
1 Followers 57 Following Operations professional interested in AI Policy
Jess Still @jessjstill
1K Followers 2K Following
modesto_esk @chainlessw3bbb
6 Followers 818 Following
Factor Omega @TheFactorOmega
3 Followers 11 Following Factor Omega builds bridges between industry, academia, and philanthropy to make compute, services and other resources accessible for AI de-risking efforts.
TechkNighT Tenente @Tech_kNighT
393 Followers 4K Following Greetings programs! Conservative, Christian, Pro-West. IT consultant and advisor living in Sao Paulo, Brazil. Deus Vult.
Elsie Jang @elsie_jang
425 Followers 4K Following research fellow @mercatus | dc summer fellow @govaiorg | ai safety and techno-optimism | great books @stjohnscollege
✦✦✦ @not_infinite___
47 Followers 3K Following
Yixiong Hao @Yixiong_Hao
842 Followers 2K Following trying to make AI go well, co-director @ https://t.co/pJCxjv7GWv, ML @GraySwanAI, research @cais, @gtcomputing, @uchicagoxlab
Christopher Ogden @c_t_ogden
378 Followers 7K Following Software engineer · Avid reader · Projects sundry · Let's collaborate · Smalltown life
jennijuju @_jennijuju
1K Followers 503 Following Building @Filecoin ☁️. Opinions are my own. Co-founder @_FilOz. https://t.co/BXqMsvKNrH | ex @protocollabs
Foy Savas @foysavas
1K Followers 2K Following Interests: formal methods, AI as mimicry, lawful crypto. Past: SaaS founder, tech author, big data VC, deep learning visitor @ NYU
10Billion.org @10BillionFuture
111 Followers 5K Following Building a global coalition across dividing lines for a world that works for all of us. 10 billion lives depend on our ability to cooperate. #10Billion
Liz @ElizardbethMMW
0 Followers 3 Following
Hugo Larochelle @hugo_larochelle
124K Followers 647 Following Mila Scientific Director. Scientific Lead @adaption_ai, advisor @tiptreesystems & @PrizmalAi. Ex @Google DeepMind & Twitter Cortex. Father of 4.
Sarath Chandar @apsarathchandar
6K Followers 659 Following Associate Professor @polymtl and @Mila_Quebec; Canada CIFAR AI Chair; Machine Learning Researcher. Pro-bono office hours: https://t.co/tK69DKRf9N?amp=1
DANΞ @cryps1s
16K Followers 490 Following CISO @OpenAI | Ex-CISO @PalantirTech | Occasional Shitposter | 🇺🇸 All views are my own, not my employer. Duh. (Tweets == 30d retention)
IEEE European Symposi... @IEEEEUROSP
4K Followers 9 Following 🐴 The IEEE European Symposium on Security and Privacy is an ideal venue for presenting developments in computer security and electronic privacy. #EuroSP26
NDSS Symposium @NDSSSymposium
5K Followers 161 Following The Network and Distributed System (NDSS) Symposium is a leading security forum fostering information exchange among network security and research practitioners
ACM CCS 2025 @acm_ccs
6K Followers 0 Following ACM Conference on Computer and Communications Security
POPL 2027 @poplconf
3K Followers 278 Following ACM SIGPLAN Symposium on Principles of Programming Languages. Maxico City, Mexico, 10-16 January 2027 (#POPL2027).
PLDI @PLDI
5K Followers 951 Following The ACM SIGPLAN Conference on Programming Language Design and Implementation. Official hashtag this year: #PLDI2026. Tweets by Jenna DiVincenzo and @konskallas.
CAV @confCAV
786 Followers 0 Following 37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @ferhaterata & @frenkel_hadar. Use #cav25
Formal Methods Europe @FormalMtds
771 Followers 239 Following Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
FormaliSE @FormaliSEconf
390 Followers 94 Following FormaliSE is a conference series fostering integration between the formal methods and the software engineering communities. FormaliSE is co-located with ICSE.
CHASE Conference @CHASEconf
728 Followers 192 Following International Conference on Cooperative and Human Aspects of Software Engineering (Co-located with ICSE) April 12-13, 2026 - Rio De Janeiro — Brazil #chase2026
FSE 2026 @FSEconf
5K Followers 1K Following ACM International Conference on the Foundations of Software Engineering (FSE)
ICSE @ICSEconf
12K Followers 1K Following The premier International Conference on Software Engineering. April 12-18, 2026. Official hashtag: #icse2026.
Stanford AI Lab @StanfordAILab
257K Followers 337 Following The Stanford Artificial Intelligence Laboratory (SAIL), a leading #AI lab since 1963. ⛵️🤖 Emmy-winning video: https://t.co/lV9smZTC1m
Epoch AI @EpochAIResearch
48K Followers 0 Following Investigating the trajectory of AI for the benefit of society.
Christopher Manning @chrmanning
165K Followers 338 Following Founder @stanfordnlp & cs224n—Senior Fellow @StanfordHAI—Prof. CS & Linguistics @Stanford—GP @aixventureshq—MTS @moonlake—Australian🇦🇺—Do #NLProc & #AI 👋
Berkeley AI Research @berkeley_ai
278K Followers 460 Following We're graduate students, postdocs, faculty and scientists at the cutting edge of artificial intelligence research.
Mila - Institut québ... @Mila_Quebec
36K Followers 550 Following Le plus grand centre de recherche universitaire en apprentissage profond. The largest academic research center in deep learning. 🦋@mila-quebec.bsky.social
Romain Huet @romainhuet
51K Followers 9K Following Head of Developer Experience @OpenAI, working on Codex and our API. Previously @Stripe. You can just build things!
Allison Duettmann @allisondman
7K Followers 2K Following AI, bio, neuro, nano for xhope futures. CEO @foresightinst. Started https://t.co/NQ4ts8NaZE. Also at @mythosventures @agingbiomarkers @filfoundation
Institute for Law & A... @law_ai_
3K Followers 11 Following An independent think tank that researches and advises on the legal challenges posed by artificial intelligence.
Future Intelligence @LeverhulmeCFI
12K Followers 723 Following The Leverhulme Centre for the Future of Intelligence. Exploring the nature and impact of AI (Uni of Cambridge, with spokes at Imperial and Berkeley).
Topos Institute @ToposInstitute
3K Followers 23 Following Working on infrastructure for the future: collaborative modeling, collective intelligence, networked mathematics, and safe deployment.
ControlAI @ControlAI
20K Followers 110 Following Working to keep humanity in control. Take Action: https://t.co/wdSPlhKUAp Newsletter: https://t.co/xhLaji2Exd Discord: https://t.co/Ov928bDUZK
Foresight Institute @foresightinst
12K Followers 3K Following Advancing frontier science and technology since 1986.
ARIA @ARIA_research
17K Followers 56 Following Advanced Research + Invention Agency. Empowering scientists to reach for the edge of the possible. Bluesky: https://t.co/xnQZGN9YCg
Center for Human-Comp... @CHAI_Berkeley
4K Followers 110 Following CHAI is a multi-institute research organization based out of UC Berkeley that focuses on foundational research for AI technical safety.
Jeffrey Ladish @JeffLadish
16K Followers 1K Following Applying the security mindset to everything @PalisadeAI
Yann LeCun @ylecun
1.2M Followers 787 Following Professor at NYU & Executive Chairman at AMI Labs. Ex-Chief AI Scientist at Meta. Researcher in AI, Machine Learning, Robotics, etc. ACM Turing Award Laureate.
International Dialogu... @ais_dialogues
512 Followers 0 Following International convening bringing together the worlds most senior computer scientists to tackle AI safety. Run by @Safe_AI_Forum. Read more at https://t.co/HVrJuFc9MO
SSI Inc. @ssi
109K Followers 0 Following A straight shot to safe superintelligence. Join us https://t.co/hHla3vusDE.
SpaceXAI @SpaceXAI
2.0M Followers 5 Following
Yoshua Bengio @Yoshua_Bengio
43K Followers 266 Following Working towards the safe development of AI for the benefit of all @UMontreal, @LawZero_ & @Mila_Quebec A.M. Turing Award Recipient and most-cited AI researcher.
MIRI @MIRIBerkeley
40K Followers 19 Following The Machine Intelligence Research Institute exists to maximize the probability that the creation of smarter-than-human intelligence has a positive impact.
Future of Life Instit... @FLI_org
89K Followers 1K Following We work on reducing extreme risks and steering transformative technologies to benefit humanity. RT /=/ endorsement. Bluesky: https://t.co/IjvxJtEEeQ
Centre for the Study ... @CSERCambridge
16K Followers 2K Following @Cambridge_Uni interdisciplinary research centre dedicated to the study and mitigation of existential risks. Bluesky: https://t.co/cD6lyPPzBH
AI Security Institute @AISecurityInst
17K Followers 30 Following We conduct scientific research to understand AI’s most serious risks and develop and test mitigations.
Department for Scienc... @SciTechgovuk
214K Followers 3K Following Follow this profile to stay up-to-date with our mission: improving people's lives by maximising the potential of science & technology.
Mira Murati @miramurati
734K Followers 620 Following Now building @thinkymachines. Previously CTO @OpenAI
Steve Omohundro @steveom
2K Followers 3K Following Beneficial AI Research, 2024 Future of Life Award For Pioneering Scholarship in Computer Ethics and AI Safety
AI Alignment Network ... @AIAlignNetwork
345 Followers 76 Following Building an AI Alignment research network in Japan and beyond. 日本語: @AIAlignNetJP
Mudge @dotMudge
63K Followers 336 Following Make a dent in the universe. Find something that needs improvement: go there and fix things. If not you, then who? {he/they}
OpenSSF @openssf
6K Followers 29 Following Open Source Security Foundation (OpenSSF) Together, we're securing the #opensource ecosystem #OSSSecurity https://t.co/uUpbn44G4Q https://t.co/adjLU8dbk0You might like
