Mastodon Feed: Post

dysfun@treehouse.systems ("gaytabase") wrote:

a vibe coded proof assistant is hereby known as a fallacy assistant.