Proving that 1 + 1 = 10 in Rust - tavianator.com
"There are 10 types of people: those who understand binary, and those who don't." I recently read this writeup about using Rust's type system to prove that 1 + 1 = 2, and was inspired to make a version of it with a more efficient representation. To recap (but really, read that post first if you haven't already), they used the Peano representation of the natural numbers, which is based on the succe
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Bug hunting in Btrfs - tavianator.com
bfs 3.0: the fastest find yet! - tavianator.com
