Full threadunprovable·Solid writeup - Actually an enjoyable read about solving a problem with zero documentation but plenty of tenacity.View on HN