Post #2625402
2026-05-16 23:03 UTC
Perhaps I should turn https://github.com/pigworker/Samizdat/blob/main/Tree-Four.agda into an industry by my favourite method, namely getting a paper about it rejected by a major conference.
Replies (2)
-
@pigworker@types.pl 2026-05-16 23:06
That way, I won't have to go to the conference and I won't be employed by the industry, so I can truck on to the next fertile rejectum.
-
@autumnwinds@mathstodon.xyz 2026-05-17 00:11
@pigworker@types.pl i got to jiggle, couldn’t help but giggle, then the wiggle happened I’m still smiling (I don’t understand the claim yet (unless it’s that naming is hard only if you’re not conor))