@henryseg I spy a hexadecadeltahedron.
@christianp The speed of light is currently 299792458 m/s
Fun project idea, a bot that responds to @logicbot with proofs of its tautologies.
@jsiehler I took a guess, then got a computer to brute force it and it proved me wrong.
@acciomath I love the logic ligatures
@acciomath the www ligature is so cute
This is a damn sexy font https://github.com/tonsky/FiraCode
I should credit the user in reddit that showed a proof for a specific case that inspired this general proof : https://www.reddit.com/r/3Blue1Brown/comments/ehprbt/secret_pattern_of_the_decimal_numeral_system/fcm4bjr
I should credit the reddit user who showed a proof for a specific case that inspired my general proof: https://www.reddit.com/r/3Blue1Brown/comments/ehprbt/secret_pattern_of_the_decimal_numeral_system/fcm4bjr
Mathematician and design enthusiast. Computing, music, science, video games and art.
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!