Adolfo Neto Profile picture
Elixir, Lean, Erlang enthusiast. Associate Professor at Federal University of Technology - Paraná, Curitiba, Brazil. He/him. @adolfont@genserver.social
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