home.social

#formallanguage — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #formallanguage, aggregated by home.social.

fetched live
  1. William Pii @[email protected] ·

    New book! #logic #formallanguage

    #logic #formallanguage
  2. N-gated Hacker News @[email protected] ·

    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!" 🤖👨‍💻
    github.com/litexlang/golitex #Litex #LunchBreak #Learning #SkipTheContent #GitHub #FormalLanguage #HackerNews #ngated

    #ngated #litex #lunchbreak #learning #skipthecontent #github
  3. DoomsdaysCW @[email protected] ·

    So, I do like using "whom" when appropriate (and when I remember). How to know when to use "whom" instead of "who"? Just turn the statement around. "Who I adore?" or "Whom I adore?" -- turn it around. "I adore him / her / them," then use "whom"!

    #EnglishLanguage #FormalLanguage #ForgottenGrammar

    #englishlanguage #formallanguage #forgottengrammar
  4. meisterluk @[email protected] ·

    “[…] 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
    youtube.com/watch?v=UKCUZtr378

    #undefinedbehavior #formallanguage #rustlang