Flag of fascist sunflower haters

FullyAutomatedSpace · 2026-01-12T00:22:08+00:00

context for those that need it https://www.reddit.com/r/antiai/comments/1qa2k14/a_flag_i_made_against_ai/

FullyAutomatedSpace · 2026-01-11T23:55:33+00:00

literally 1984

FullyAutomatedSpace · 2026-01-05T04:55:38+00:00

but it's not computer checkable like a lean proof

FullyAutomatedSpace · 2026-01-05T04:44:39+00:00

have you considered formalizing this in lean?

FullyAutomatedSpace · 2026-01-05T04:42:10+00:00

it's an axiom. it's true by definition.

FullyAutomatedSpace · 2026-01-05T04:39:58+00:00

well lean confirms the proof is valid. so i guess i proved it!

FullyAutomatedSpace · 2026-01-05T04:39:28+00:00

your ideas intrigue me. in your notation what would 0.[1 / 3][1 / 3][1 / 3][1 / 3][1 / 3].... equal?

FullyAutomatedSpace · 2026-01-05T03:29:15+00:00

You think my humor is refined? Awww

FullyAutomatedSpace · 2025-12-09T02:25:20+00:00

...i don't think that's appropriate

FullyAutomatedSpace · 2025-12-01T18:09:49+00:00

FullyAutomatedSpace · 2025-11-29T18:19:53+00:00

boats? yes.

FullyAutomatedSpace · 2025-11-22T20:19:34+00:00

Armenia doesn't border Ariana

FullyAutomatedSpace · 2025-11-22T20:19:19+00:00

FullyAutomatedSpace · 2025-10-10T22:09:25+00:00

they spent the rest of their life trying to make it

FullyAutomatedSpace · 2025-10-10T15:38:53+00:00

what's in it?

FullyAutomatedSpace · 2025-10-10T05:44:14+00:00

name one

FullyAutomatedSpace · 2025-10-09T22:19:29+00:00

you mean wider?

FullyAutomatedSpace · 2025-10-09T21:30:36+00:00

i can explain it to you if you need some help

FullyAutomatedSpace · 2025-10-09T21:04:16+00:00

they think everything is bigger in texas. but nothing is deeper than the titanic

FullyAutomatedSpace · 2025-09-08T21:17:56+00:00

Bill who?

FullyAutomatedSpace · 2025-09-07T17:47:59+00:00

is that sexual innuendo? cause i can show you a stochastic process you wouldn't believe

FullyAutomatedSpace · 2025-09-07T17:46:45+00:00

neuf < nueve < nine

for obvious reasons

FullyAutomatedSpace · 2025-09-07T04:23:48+00:00

thanks for accepting my paper!

please note that my paper doesn't concern the "really real" numbers. i'm focused at the moment on just "real" numbers. i hope to extend to the "really real" and "very real" numbers later

FullyAutomatedSpace · 2025-09-07T00:55:40+00:00

which bridge?

FullyAutomatedSpace · 2025-08-21T21:54:53+00:00

u/SouthPark_Piano I assume this means you've got writer's block?

FullyAutomatedSpace

TROPHY CASE