General - What if Monsters

General

Kani: A Model Checker For Rust

Kani, a new model checker for Rust, aims to improve code safety by verifying correctness properties, with ongoing development and promising early results.

What if Monsters Team
July 7, 2026

Late Bronze Age Collapse

Archaeological findings provide fresh insights into the widespread societal collapse…

What if Monsters Team
July 10, 2026

Future & Speculation

SimPolitics: America’s quest to solve politics with computers

Exploring how SimPolitics aims to leverage computer simulations to address political…

What if Monsters Team
July 10, 2026

Future & Speculation

No leap second will be introduced at the end of December 2026

International timekeeping authorities have confirmed that no leap second will be added…

What if Monsters Team
July 10, 2026

Future & Speculation

No leap second will be introduced at the end of December 2026

International timekeeping authorities confirm no leap second will be added at the end…

What if Monsters Team
July 10, 2026