5 ms·

also math puzzles - lean seems like a good way to get back into by hand programming, problem solving and math altogether

• tcfhgj 2mo ago
  Why not just contribute to an open source project?
  • cuebits 2mo ago
    i'm afraid the open source project would be better served if i made my contributions to it using AI
• akkad33 2mo ago
  Lean the language?