#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 -
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 -
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 -
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 -
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"!
-
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"!
-
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"!
-
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"!
-
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"!
-
“[…] 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 -
“[…] 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 -
“[…] 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 -
#DifferentialPropositionalCalculus • 1.3
https://inquiryintoinquiry.com/2020/02/18/differential-propositional-calculus-1/Figure 1 represents a #UniverseOfDiscourse \(X\) together with a basis of discussion \(\{q\}\) for expressing propositions about the contents of that universe. Once the quality \(q\) is given a name, say, the symbol \(``q",\) we have the basis for a #FormalLanguage specifically cut out for discussing \(X\) in terms of \(q.\) This language is more formally known as the #PropositionalCalculus with #Alphabet \(\{``q"\}.\)