#dependently — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #dependently, aggregated by home.social.
-
💻🤖 Wow, folks, gather 'round! We've got someone here who seems to think that throwing around big words like "dependently-typed languages" will automatically resolve all your #coding #woes. 😂 Apparently, writing code is just too mainstream, so let's leave it to the machines to figure out what we humans can't. 🙄 #RevolutionaryInTheory #GoodLuckWithThat
https://www.imperialviolet.org/2026/07/26/zstd-lean.html #dependently #typed #languages #automation #humor #tech #satire #HackerNews #ngated -
💻🤖 Wow, folks, gather 'round! We've got someone here who seems to think that throwing around big words like "dependently-typed languages" will automatically resolve all your #coding #woes. 😂 Apparently, writing code is just too mainstream, so let's leave it to the machines to figure out what we humans can't. 🙄 #RevolutionaryInTheory #GoodLuckWithThat
https://www.imperialviolet.org/2026/07/26/zstd-lean.html #dependently #typed #languages #automation #humor #tech #satire #HackerNews #ngated