Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Administered by:

Server stats:

2.9K
active users

mathstodon.xyz: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

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

Dec 29, 2024, 04:13 PM·Public·Web
0boosts·11favorites
Public
fl

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

Public
fl

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

Public
julesh

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

Public
fl

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

Public
julesh

@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

Public
fl

@julesh Thank you for the answer.

Quiet public
Martijn Faassen

@julesh
Yay! Python is the easiest language I ever learned, Rust among the hardest. I haven't tried Idris yet

SearchLive feeds
About