Comment Comment by vagab0nd > it wrote 13 million lines of LeanIs this basically like opening up a black box and seeing 13 million gears all rotating seemingly randomly and still having no idea how the machine actually works? parent vagab0nd 1 month ago
Is this basically like opening up a black box and seeing 13 million gears all rotating seemingly randomly and still having no idea how the machine actually works?