mycl
Joined 10 years ago
Karma
45
Submissions
20
Member since
Apr 13
Recent submissions
Comment · 1 year 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?
Comment · 5 years 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".
Comment · 6 years 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 preceded by a colon. All vi descendants have this feature, including Vim. :-)
Comment · 6 years 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."
Comment · 6 years 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...
Comment · 6 years 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 be fortunate to get pennies on the dollar as companies default—nothing close to the 70 cents that has been standard in the past.
Comment · 7 years 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.
Comment · 7 years 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 don't know whom to believe.
Comment · 8 years 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://people.cs.bris.ac.uk/~flach/SimplyLogical.html) and also in an interactive version where the examples can be run in-browser, using SWISH: https://book.simply-logical.space/
Comment · 8 years ago
Holy Cow, I had no idea. I have a physical copy, but now I can suggest this to everyone.
Comment · 8 years ago
Turbo Prolog lives on as Visual Prolog: https://www.visual-prolog.com/
Comment · 8 years ago
Conference website: http://acai2018.unife.it/
Comment · 8 years ago
Thanks for the pointers! I look forward to your postings.
Comment · 8 years 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_theory.html).
My go-to for trying to understand ILP theory is Nienhuys-Cheng and de Wolf, _Foundations of Inductive Logic Programming_ and De Raedt's _Logical and Relational Learning_ is a more up-to-date overview, but I feel like there's room for a more modern textbook. This new MIL stuff seems to be be an important unifying idea that also connects back to abductive logic programming, if I understand correctly.
Just a request; no offence intended!