view wisdom/pumping lemma @ 12531:e620802431cc draft default tip

<b_jonas> `` [[ 12529 == $(hg log --removed -l 1 -T "{rev}" /hackenv/wisdom/password) ]] && learn password \'The password of the month is consider us expert everything street.\'
author HackEso <hackeso@esolangs.org>
date Wed, 01 Oct 2025 09:42:50 +0100
parents 8cddc0cc649d
children
line wrap: on
line source

nooodl's pumping lemma for wisdom entries states that for any sufficiently long valid wisdom entry, there exists a letter that can be repeated any number of times.