tom_mellior

166 ms·

1501.
by tom_mellior 8y ago
That is also true, but its proof is different. Proofs have types; the "and.intro hq hp" part has type "q /\ p". If you change it to "and.intro hp hp", you can prove "p /\ p". That is, the
1502.
by tom_mellior 8y ago
Producing the numbers is the easier part. Not losing the thread of the conversation when someone else tells you something about sixty-thirteen is the hard part.
1503.
by tom_mellior 8y ago
From observation of myself and those around me, I'd say that multi lingual adults have an advantage. They are more used to the process of learning a new language. Learning a new language, especially one not closely related to ones y
1504.
by tom_mellior 8y ago
> you have clarified nothing with regards to Hungarian. Well, except the "are you ready" example. That is indeed one case where it might make sense to use different Hungarian forms.
1505.
by tom_mellior 8y ago
> All the concrete examples on the page are English — so they use plural forms when English does. ... which are all cases where Hungarian doesn't use the plural, which is why Hungarian shouldn't be in the same group as English.
1506.
by tom_mellior 8y ago
> the basic OO principle of encapsulating state and behavior Not everything you might want to program necessarily fits the principles of your religion. An abstract syntax tree in particular isn't something where information hiding m
1507.
by tom_mellior 8y ago
> For some reason almost every good compiler/compiler textbook uses pattern matching: Appel, nanopass, CompCert, DMS etc. Here is Appel's Java-based compiler book: https://eden.dei.uc.pt/~amilcar/pdf/C
1508.
by tom_mellior 8y ago
"Just" looking it up occurred to me too, but that table doesn't help if you don't also point out that for some reason it's entry for the genitive plural that we're looking for.
1509.
by tom_mellior 8y ago
> it's up to its users to avoid `PluralForm.get`ting phrases which already tell you the quantity. You mean one should not use `PluralForm.get` to generate snippets of the form "0 pages", "1 page", "2 pages
1510.
by tom_mellior 8y ago
Weird that Hungarian is listed under rule #1, it should be under #0: Nouns preceded by numbers are always in the singular in Hungarian. Does anyone know for the other Finno-Ugric languages listed under #1 (Estonian, Finnish)?
1511.
by tom_mellior 8y ago
Did you really just read the book or did it also tell you to also do something about the "psychological", which you then did?
1512.
by tom_mellior 8y ago
"At some point during this period I read one of Dr. Sarno’s books. His theory is that long periods of pain are not due to actual injury, but rather an emotional problem causing e.g. muscles to tense up or reduced blood flow. There are
1513.
by tom_mellior 8y ago
> For all I know Katherine Viner is neo-con, but the Guardian is not a neo-con paper. Agreed, but... > I found it hard to take the rest of the column seriously after that part. What does this mean? Are you saying he is lying about his
1514.
by tom_mellior 8y ago
> The Unification algorithm at the heart of Prolog (I'm not an expert!) is pretty much what your brain does when you solve logical puzzles and problems. What makes you think that? I don't think we have a clear idea of what the
1515.
by tom_mellior 8y ago
... plus unification the magic.
1516.
by tom_mellior 8y ago
I think the usual (and funnier) version of that joke is: Q: How many Prolog programmers does it take to change a lightbulb? A: no
1517.
by tom_mellior 8y ago
Prolog doesn't do that automatically, but you can write the same thing in Prolog too: xkcd_ugly(A, B, C, D) :- P = 711, Q = 711000000, Max_A is 1 + P // 4, between(1, Max_A, A), Q
1518.
by tom_mellior 8y ago
Most concretely I mean it in the context of the common auxiliary-predicate-with-an-accumulator pattern: foo_bar(Foo, Bar) :- foo_bar_aux(Foo, Bar, 0). foo_bar_aux(Foo, Bar, N) :- ... Which in a language like OC
1519.
by tom_mellior 8y ago
Cool, good to see others are finding this useful. > In my experience, learning Prolog properly requires dedicated guidance, and it would be highly unusual to achieve mastery without it. There are two readings of this sentence. An unkind
1520.
by tom_mellior 8y ago
> I send the link to this. :-D And what kind of reaction are you getting? As I just wrote elsewhere, I don't think this is useful for complete Prolog beginners to learn the language or even get a feel for it. Has anyone you sent thi
1521.
by tom_mellior 8y ago
> Debuggers could add conditional expressions, but then they'd be re-inventing WRITE statements anyhow. SWI-Prolog's debugger can be invoked conditionally whenever you want from inside your running application. I've used i
1522.
by tom_mellior 8y ago
Prolog has print statements you can stick anywhere. (It also has proper debuggers that allow you to go forward and backward and all that.) Also, Prolog code is often "split into digestible chunks". Even more than other languages,
1523.
by tom_mellior 8y ago
Awesome, thanks! I'll try these.
1524.
by tom_mellior 8y ago
I need to use Emacs rather than vim for some things (Proof General, mostly), and I was surprised how well evil-mode works. It's only undo that I don't get. From vim I'm used to be able to undo as many editing steps as I want.
1525.
by tom_mellior 8y ago
Thanks! I'd seen that notation before, but I didn't connect it to this context.
1526.
by tom_mellior 8y ago
Minor points: > Had Prolog used statements and not expressions or ; instead of . Prolog uses "goals", which are a lot more like statements than they are like expressions. Also, Prolog doesn't use ; to separate the clause
1527.
by tom_mellior 8y ago
This could still be simpler without losing anything: It's kind of redundant to use ";" at the end of rules that are followed by another rule for the same function. Erlang could just use "." here as well. The parser
1528.
by tom_mellior 8y ago
Silly quick question: What is the "L-world" discussed here?
1529.
by tom_mellior 8y ago
> Serious Datalog environments will identify strictly monotonic programs [...] Yes. And that is extra work that must be done. Admittedly, it probably isn't the "large factor" mentioned by DannyBee. > A Datalog solver
1530.
by tom_mellior 8y ago
"System A must do more work than system B" seems a pretty theoretical reason why, in the limit (after sinking an arbitrary number of engineer hours in each), system A must be slower than system B. But your interpretations of the

More ›