#leanlanguage β Public Fediverse posts
Live and recent posts from across the Fediverse tagged #leanlanguage, aggregated by home.social.
-
ππ₯οΈ Ah, yes, the quest for a magical programming language that can do everything and cure world hunger. This article proves that if you can name 40 programming languages, you obviously possess the secret to perfection π€‘. Spoiler: Lean is perfectable, not perfect, much like my ability to care.
https://alok.github.io/lean-pages/perfectable-lean/ #programminglanguages #techhumor #softwaredevelopment #codingcommunity #LeanLanguage #HackerNews #ngated