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...

An uroboros program with 100+ programming languages - mame/quine-relay

Rust-to-Rust ffi,ffi-safe equivalents of std types,and creating libraries loaded at startup. - rodrimati1992/abi_stable_crates

https://cppcon.org/
https://github.com/CppCon/CppCon2021
---
Programming consists of two activities:

1. Breaking down a problem in parts small enough to understand and implement.
2. Composing the parts to build up functionality and solve the original problem.…

Curated list of resources on testing distributed systems