Kevin Hartnett “In one crazy weekend I spent 12 hours a day [on it],” she said. “It was totally addictive.” Other mathematicians talk about the experience the same way. They say working in Lean feels like playing a video game—complete with the same reward-based neurochemical rush that makes it hard to put the controller down. […]
The Effort to Build the Mathematical Library of the Future
from Newslanes https://ift.tt/2GNmOm6
0 comments:
Post a Comment