Sitemap - 2025 - Atlas Blog

CSLib: Lean’s Formal Software Foundation

An alternative to "fund people not projects"

Securing Critical Components of Cyberphysical Systems

Advancing Foundational Cyber-resilience

Post-FMxAI 2025 newsletter

Civilization's maintenance backlog

Website updated!

Daniel Windham: Passing the Torch

A refinement-based paradigm for code generation

IDE for validating specifications

Progress in autoformalization experiments

Govern AI with Rules, Not Values

#nojs-banner { position: fixed; bottom: 0; left: 0; padding: 16px 16px 16px 32px; width: 100%; box-sizing: border-box; background: red; color: white; font-family: -apple-system, "Segoe UI", Roboto, Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol"; font-size: 13px; line-height: 13px; } #nojs-banner a { color: inherit; text-decoration: underline; } This site requires JavaScript to run correctly. Please turn on JavaScript or unblock scripts