Mastodon Feed: Post

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

hmm, i wonder how well we could get a markov chain to find bugs in lean's kernel just to prove a point.