mycl

4 ms·

1.
by mycl 2y ago
You say the math is more moonlighting, but you have a supervisor. Are you enrolled for a part-time degree while you work as a SWE?
2.
by mycl 5y ago
The Art of Prolog is now open access: https://mitpress.mit.edu/books/art-prolog-second-edition You could think of it as " SICP for Prolog".
3.
by mycl 6y ago
As to your second question: Yes, Bill Joy did that in 1976 when he added a visual mode to his line editor ex that was itself based on ed. The mode was called vi (for "visual") and updated the screen as you typed ex commands preced
4.
by mycl 6y ago
I think it was in ed already. The POSIX ed spec says: "Any character other than <space> or <newline> can be used instead of a slash to delimit the RE and the replacement."
5.
by mycl 6y ago
The Yoneda Lemma is really some kind of "fundamental theorem" of elementary category theory. Then there are Freyd's Adjoint Functor Theorem, Kan extensions and probably others I'm forgetting...
6.
by mycl 6y ago
It says this: > We already know that a significant majority of the loans in CLOs have weak covenants that offer investors only minimal legal protection; in industry parlance, they are “cov lite.” The holders of leveraged loans will thus
7.
by mycl 7y ago
Interestingly, from the point of view of category theory, an isomorphism in a category is just a morphism with a two-sided inverse. A bijection is then just an isomorphism in the category of sets.
8.
by mycl 7y ago
Can you expand on that? My impression is that Kahneman and Tversky "proved" that human cognition is not Bayesian and now much of cognitive psychology is turning around and saying, no, they didn't, and it is. As a layperson, I
9.
by mycl 8y ago
Peter Flach's "Simply Logical: Intelligent Reasoning by Example" also deserves to be mentioned as a wonderful introduction to Prolog and computational logic in general. It's available as a PDF from the author ( http:&#x2
10.
by mycl 8y ago
Holy Cow, I had no idea. I have a physical copy, but now I can suggest this to everyone.
11.
by mycl 8y ago
Turbo Prolog lives on as Visual Prolog: https://www.visual-prolog.com/
12.
by mycl 8y ago
Conference website: http://acai2018.unife.it/
13.
Videos of Lectures at the ACAI 2018 Summer School on Statistical Relational AI(youtube.com)
6 points by mycl 8y ago|1 comments
14.
by mycl 8y ago
Thanks for the pointers! I look forward to your postings.
15.
by mycl 8y ago
Sorry to be rude, but could you ask/beg Prof Muggleton to write a book on ILP and/or meta-interpretive learning? Something like an expanded version of his outline webpage ( https://www.doc.ic.ac.uk/~shm/ilp_the
16.
by mycl 8y ago
If I understand correctly, the issue is moral rights ( https://en.wikipedia.org/wiki/Moral_rights ). In some jurisdictions, including Germany, these rights cannot be waived. For example, in such a jurisdiction, if I rele
17.
by mycl 8y ago
ISO Prolog (ISO/IEC 13211) doesn't have a free standard and it has hurt the Prolog language immeasurably. In this case the last freely available draft is quite different from the final standard, which makes the situation worse bec
18.
by mycl 9y ago
But generalising from examples has been a research topic in the Prolog community since at least the early 80s. The field is called inductive logic programming ( https://en.wikipedia.org/wiki/Inductive_logic_programming )
19.
by mycl 9y ago
The induction of logic programs in Prolog from examples was done by Ehud Shapiro's "Model Inference System" described in his PhD thesis, "Algorithmic Programming Debugging" ( https://www.amazon.com/Al
20.
by mycl 10y ago
It's called case-based reasoning ( https://en.wikipedia.org/wiki/Case-based_reasoning ).