Forwarded from Kei Lambda
Fun little fact: You can use
simp? to extract the list of lemmas that simp applied.❤1
This media is not supported in your browser
VIEW IN TELEGRAM
Me explaining agrarian animism to all my buddies
“Elder Scrolls is officially canon to Fortnite and by extension is linked to a great amount of collaborative franchises whose properties have made their way into the universe, including that of our own Earth, and other Bethesda properties such as the Doom Slayer from Doom. Doom (2016) itself also has a skeleton wearing the iconic Dragonborn iron helmet from Skyrim, with an arrow in its knee.”
This means all of Elder Scrolls lore is canon to Fortnite. Thus, Fortnite has deeper lore than Elder Scrolls. 😭😭😭🤯🤯🤯
This means all of Elder Scrolls lore is canon to Fortnite. Thus, Fortnite has deeper lore than Elder Scrolls. 😭😭😭🤯🤯🤯
👏2👍1
Forwarded from (φ (μ (λ)))
Forwarded from (φ (μ (λ)))
How do you define success in terms of your work?
Chuck: An elegant solution.
One doesn’t write programs in Forth. Forth is the program. One adds words to construct a vocabulary that addresses the problem. It is obvious when the right words have been defined, for then you can interactively solve whatever aspect of the problem is relevant.
For example, I might define words that describe a circuit. I’ll want to add that circuit to a chip, display the layout, verify the design rules, run a simulation. The words that do these things form the application. If they are well chosen and provide a compact, efficient toolset, then I’ve been successful.
https://www.oreilly.com/library/view/masterminds-of-programming/9780596801670/ch04.html
Chuck: An elegant solution.
One doesn’t write programs in Forth. Forth is the program. One adds words to construct a vocabulary that addresses the problem. It is obvious when the right words have been defined, for then you can interactively solve whatever aspect of the problem is relevant.
For example, I might define words that describe a circuit. I’ll want to add that circuit to a chip, display the layout, verify the design rules, run a simulation. The words that do these things form the application. If they are well chosen and provide a compact, efficient toolset, then I’ve been successful.
https://www.oreilly.com/library/view/masterminds-of-programming/9780596801670/ch04.html
Deputy Sheriff The Viking Programmer pinned «https://ratfactor.com/forth/the_programming_language_that_writes_itself.html»