Atlas Blog
Subscribe
Sign in
Home
Archive
About
CSLib: Lean’s Formal Software Foundation
Bottom line up front: If you love Lean and care about software, you’re likely to be excited about the progress on CSLib and might be interested in…
Dec 24, 2025
•
Evan Miyazono
and
Alexandre Rademaker
2
Latest
Top
Discussions
An alternative to "fund people not projects"
Our catechism for creating impact-maximizing organizations places finding a founder *last*
Dec 16, 2025
•
Evan Miyazono
3
Securing Critical Components of Cyberphysical Systems
Bridging foundational capability gaps to spur an AI resilience renaissance, a follow-up
Published on Essential Technology
•
Nov 17, 2025
Advancing Foundational Cyber-resilience
AI technology could spur a resilience renaissance; we just need to mind the gaps
Published on Essential Technology
•
Nov 17, 2025
Post-FMxAI 2025 newsletter
Takeaways from Formal Methods x AI conference 2025 @ SRI, Menlo Park: atlascomputing.org/fmai25
Oct 31, 2025
•
Atlas Computing
3
Civilization's maintenance backlog
A few dozen organization-shaped holes to be filled before powerful AI arrives
Oct 17, 2025
•
Evan Miyazono
11
Website updated!
to match our focus on mapping and addressing neglected catastrophic risks
Sep 2, 2025
•
Evan Miyazono
3
Daniel Windham: Passing the Torch
Reflections on our work as I transition out of Atlas
Jul 12, 2025
•
Daniel Windham
2
See all
Atlas Blog
Atlas Computing Blog is the main blog for https://atlascomputing.org/ We're scaling human review, starting with tools to help people precisely define how software should behave.
Subscribe
Atlas Blog
Subscribe
About
Archive
Sitemap
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts
