Atlas Blog

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

3

An alternative to "fund people not projects"

Our catechism for creating impact-maximizing organizations places finding a founder *last*

Dec 16, 2025 • Evan Miyazono

6

1

November 2025

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

October 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

13

September 2025

Website updated!

to match our focus on mapping and addressing neglected catastrophic risks

Sep 2, 2025 • Evan Miyazono

3

July 2025

Daniel Windham: Passing the Torch

Reflections on our work as I transition out of Atlas

Jul 12, 2025 • Daniel Windham

2

June 2025

A refinement-based paradigm for code generation

Consider this to be an extended answer to the question “why would you build the IDE for specification” described in our previous blogpost. The questions…

Jun 3, 2025 • Evan Miyazono

3

May 2025

IDE for validating specifications

A reminder of our overarching vision

May 22, 2025 • Evan Miyazono, Daniel Windham, and Alexandre Rademaker

2

April 2025

Progress in autoformalization experiments

Can today's AI systems generate formally verified code?

Apr 22, 2025 • Evan Miyazono

1

Govern AI with Rules, Not Values

A Vision of Specification-Driven AI

Apr 1, 2025 • Evan Miyazono

4

1