Conversation

Notices

1. Embed this notice
   julesh (julesh@mathstodon.xyz)'s status on Monday, 30-Dec-2024 01:13:09 JST julesh

   After not learning a new programming language since like 2010, in 2024 I learned both Python and Idris, and unexpectedly I have also made a start on learning Rust before the year technically ended

   • Embed this notice
     Jade Master (jademastermath@mathstodon.xyz)'s status on Monday, 30-Dec-2024 01:22:19 JST Jade Master

     in reply to

     @julesh why did you learn python?

   • Embed this notice
     fl (fl@mathstodon.xyz)'s status on Monday, 30-Dec-2024 02:07:10 JST fl

     in reply to

     @julesh And in in 2010 what language did you learn?

   • Embed this notice
     julesh (julesh@mathstodon.xyz)'s status on Monday, 30-Dec-2024 22:02:41 JST julesh

     in reply to

     • fl

     @fl C and common lisp

   • Embed this notice
     julesh (julesh@mathstodon.xyz)'s status on Monday, 30-Dec-2024 22:02:53 JST julesh

     in reply to

     • Jade Master

     @JadeMasterMath machine learning, mostly

   • Embed this notice
     fl (fl@mathstodon.xyz)'s status on Monday, 30-Dec-2024 23:18:50 JST fl

     in reply to

     @julesh And not Lean? It seems that everybody learns Lean nowadays.

   • Embed this notice
     julesh (julesh@mathstodon.xyz)'s status on Saturday, 04-Jan-2025 03:40:13 JST julesh

     in reply to

     • fl

     @fl Nah, I have basically no interest at all in theorem provers

   • Embed this notice
     fl (fl@mathstodon.xyz)'s status on Saturday, 04-Jan-2025 03:47:33 JST fl

     in reply to

     @julesh Lean can't be used as a programming language?

   • Embed this notice
     julesh (julesh@mathstodon.xyz)'s status on Saturday, 04-Jan-2025 03:52:51 JST julesh

     in reply to

     • fl

     @fl I'm sure it can be, I don't really know anything about it but I guess it's a bad idea, similarly Idris could in principle be used as a proof assistant but it would be the wrong tool for the job

   • Embed this notice
     fl (fl@mathstodon.xyz)'s status on Saturday, 04-Jan-2025 03:53:32 JST fl

     in reply to

     @julesh Thank you for the answer.