Cody
codyroux.bsky.social
Still ultrafinitist, but with a softer side. https://www.kleene.church/ I do the Church of Logic podcast. https://open.spotify.com/show/6vEh6ZpQr1Eoeoz8TbsMKx?si=3-hd-mv3ShGe2LFij4MCIQ
👤 Joined on 28 August 2023
832
Followers
444
Following
1712
Total Posts
📜 Kullanıcı Geçmişi
- 28 Ağu 2023, 21:37
🎉 Bluesky'e katıldı - İlk kullanıcı adı:
@codyroux.bsky.social - 10 Kas 2023, 03:40
🔄 Profil bilgileri güncellendi
🚫 Blokladığı Kullanıcılar
HuddledMass
huddledmass.bsky.social
did:plc:jhvr7po6thbbvin3snwpugcu
Not Found
Derek Elliott, Libertarian
elliott4mp.bsky.social
did:plc:feovm5beyw5fdx5w64p6tzyk
Not Found
did:plc:li3mfhlhnv5llpvlnhj7qy5x
Not Found
to-all-be-great24.bsky.social
did:plc:rtj2uf7law36qotk5zedsr3r
Not Found
did:plc:pfztqro3jt3x6ss6ratg4npy
Not Found
callousjoe.bsky.social
❤️ Beğendiği Gönderiler
😆 For those struggling to get the joke: use 1/(1−z) = 1 + z + z² + z³ + z⁴ + z⁵ + ⋯ and then expand out (1+z)(1+z²)(1+z⁴)(1+z⁸)(1+z¹⁶)⋯ and use the fact that each natural number has a unique expansion in binary digits, e.g. 7 = 4 + 2 + 1 so z⁷ = z⁴ z² z
Show Post
Yes! Sometimes called the "computer scientist's identity" — every natural number has a unique binary expansion.
Show Post