Adventure!
No, I'm not familiar with ANY other language
I may code in other languages but would definately generate shitcode
Total time spent in editors (WakaTime): 1,420 hrs 23 mins
From: 10 March 2026 - To: 17 March 2026
Total Time: 15 hrs 41 mins
Markdown 4 hrs 23 mins ███████░░░░░░░░░░░░░░░░░░ 28.01 %
Rust 3 hrs 30 mins █████▓░░░░░░░░░░░░░░░░░░░ 22.38 %
Python 2 hrs 11 mins ███▒░░░░░░░░░░░░░░░░░░░░░ 13.97 %
Other 1 hr 48 mins ███░░░░░░░░░░░░░░░░░░░░░░ 11.50 %
Lean4 44 mins █▒░░░░░░░░░░░░░░░░░░░░░░░ 04.72 %