Atlas Blog

April 2026

Your Solution Doesn't Know Your Problem Exists

If your problem is structural, your approach must be radical.

Apr 25 • Evan Miyazono

26

6

3

December 2025

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

13

2

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 Ignota

3

Civilization's maintenance backlog

A few dozen organization-shaped holes to be filled before powerful AI arrives

Oct 17, 2025 • Evan Miyazono

19

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