Notices by buffet (buffet@chaos.social)

@lizzy @polygon just write the successor--ebus

only makes sense to be written in elisp of course

@mario i argued a lot about this with my teachers until they at some point hit me with "it used to be a prime, but then most proofs would start with 'primes, except 1'" and that makes sense, sadly

@flisk no worries lol, fun discussion

@mer @flisk i think it's still a worthwhile model as it solves a lot of real world problems, even if it does not do so perfectly accurately

@flisk soup is a wet salad

@flisk https://cuberule.com/