#formallanguage — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #formallanguage, aggregated by home.social.
-
Litex: Because who needs years of study when you can cram a "formal language" in a lunch break? 🙄⚡ GitHub's version of "skip the content, learn nothing!" 🤖👨💻
https://github.com/litexlang/golitex #Litex #LunchBreak #Learning #SkipTheContent #GitHub #FormalLanguage #HackerNews #ngated -
“[…] But they also made some mistakes… which is not too surprising when you are doing this kind of work. And I would like rust ideally not to repeat these mistakes. I think we can make our own new and fun unique mistakes”
Ralf Jung on the MiniRust language specification proposal
#rustlang #formalLanguage #undefinedBehavior
https://www.youtube.com/watch?v=UKCUZtr378s&t=5h13m00s