Share this page!

Enter URL or ID to Unroll

You can paste full URL like: https://x.com/threadreaderapp/status/1644127596119195649
or just the ID like: 1644127596119195649

How to get URL link on X (Twitter) App

  1. On the Twitter thread, click on or icon on the bottom
  2. Click again on or Share Via icon
  3. Click on Copy Link to Tweet
  4. Paste it above and click "Unroll Thread"!
  5. More info at Twitter Help
Adolfo Neto Profile picture
Adolfo Neto
@adolfont
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