3 ms·Thinking of doing competitive programming for this very reason.by ridiculous_leke 2mo agoThinking of doing competitive programming for this very reason.cuebits 2mo agoalso math puzzles - lean seems like a good way to get back into by hand programming, problem solving and math altogethertcfhgj 2mo agoWhy not just contribute to an open source project?cuebits 2mo agoi'm afraid the open source project would be better served if i made my contributions to it using AIakkad33 2mo agoLean the language?maxall4 2mo agoLikewise, I have started doing Project Euler problems for fun, and to further my mathematics education.