Adolfo Neto in on BlueSky and on Mastodon Profile picture
Associate Professor at @UTFPR_. Podcaster at @elixiremfoco @fronteirases @emilias_utfpr @helloerlang. @leanprover, @Erlang_org and @elixirlang enthusiast.
Nov 7, 2023 22 tweets 5 min read
Scavard's Prediction about Roberto Ierusalimschy's career in academia:

- | was too smart to endure working on the same subject for too long...
- ... but not smart enough to produce significant
contributions in those short spans

#LuaLang Image That's why he chose to dedicate his academic career to Lua Image
Aug 17, 2023 12 tweets 4 min read
#LeanProver is 10 years old!


Image
Image
Image
Image
I discoverd how Leo de Moura named Lean:

Leonardo
Leona
Lena
Lean