Browse Popular Feeds

The Kani Rust Verifier (Kani) is an open-source automated reasoning tool that proves properties about Rust code. This is our blog for the project.

A world made of gears. Doing both speed premium short term updates and long term world model building. Currently focused on weekly AI updates. Explorations include AI, policy, rationality, medicine and fertility, education and games.

{{ posts|limit:1|order:desc|description:False|content:True }} ...

Summarizing the best arguments from across the political spectrum. 100% independent, subscriber-supported, and non-partisan.

Helping engineers and founders flex their product muscles

Swizec shares software engineering lessons from production in his books, articles, talks, and workshops

Everything you need to be smarter about money--all in one place.

Weekly podcasts from Science Magazine, the world's leading journal of original scientific research, global news, and commentary.