niplav niplav.site Sat, Apr 8 21:33 2023 (3y ago) i mean how many bits can you even hide in a human-understandable theorem? ⤋ Read More