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

tcfhgj 2 hours ago | parent | next [-]

Why not just contribute to an open source project?

	▲	cuebits 2 hours ago \| parent [-]
		i'm afraid the open source project would be better served if i made my contributions to it using AI

akkad33 2 hours ago | parent | prev [-]

Lean the language?