This is a very good post. I particularly like the part about checking whether a result "proves too much" -- I never thought about it before, but I get a lot of Thought Leader mileage out of that trick, and I definitely picked it up from my mathematical training.https://twitter.com/ProfJayDaigle/status/1488913603004563456 …
-
-
much as your math major taught you the judo kick of "this thing X proves too much", our experience coding taught us that there is a class of error checkers that exist in one field, but does not (but should?) exist in a different field fin.
-
If you're lucky, a coder realizes that life is not like coding in this way!
End of conversation
New conversation -
-
-
new GPT application: static type checker for novels
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Solution here is clearly a domain-specific language that enforces strong typing for characters’ traits, and automatically outputs a novel when you’re done defining them.
-
Ah, dang, just received word that I have invented tabletop RPGs, my mistake.
- Show replies
New conversation -
-
-
So
@ouranometrian and I have been watching some software dev videos, and one of them gets into the fact that there's only been apparently 8 books ever written on 'philosophy of engineering' rather than 'philosophy of science' - this kind of touches on that. -
To Engineer is Human The Evolution of Useful Things The Design of Everyday Things Why Buildings Stand Up ...what are the other four?
- Show replies
New conversation -
-
-
I mean, I am dynamically computing and embedding all my numerical values for Post-Exodus. It's nothing so abstract as character motivation, but it is a form of error I'm not allowing myself to make.
-
My biggest difficulty with this approach so far is retaining choice of wording. For example, rather than describing Thing A as 1 m then Thing B as 2 m, I might want to call it "twice as big as Thing A", but still keep the dynamic computation.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.