Not everything that is true can be proven. This discovery transformed infinity, changed the course of a world war and led to the modern computer. This video is sponsored by Brilliant. The first 200 people to sign up via https://brilliant.org/veritasium get…

A REPL for x86-64 assembly language. Contribute to tenderlove/asmrepl development by creating an account on GitHub.

Creusot helps you prove your code is correct in an automated fashion. - creusot-rs/creusot

Good morning! It is still 2020, and the world is literally on fire, so I guess we could all use a distraction.
This article continues the tradition of me getting shamelessly nerd-sniped - once by P...