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
GitHub - litexlang/golitex: Litex: The First Formal Language Learnable in 1-2 Hours

Litex: The First Formal Language Learnable in 1-2 Hours - litexlang/golitex

GitHub

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

“[…] 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
Rust Week 2025 - Project Track - Wednesday 14 May

YouTube

#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"\}.\)

Differential Propositional Calculus • 1

Inquiry Into Inquiry