triska

52 ms·

451.
by triska 8y ago
Some of the things you mention are also discussed in the linked paper. For example, quoting from Section 8.11 (Module system): "... other than inertia one of the main arguments in favor of the status quo was that Elisp’s poor man’s nam
452.
by triska 8y ago
Emacs has dedicated functions that let you handle such cases more conveniently. For example, in your case, the function regexp-quote may be useful: (regexp-quote "\\") ⇒ "\\\\" In addition, structured data are o
453.
by triska 8y ago
Personally, I regard the reflective and introspective capabilities of Emacs as extremely powerful tools for learning more about Elisp and the entire environment. For example, every time you press a key (or key sequence) that results in an
454.
by triska 8y ago
Elisp is awesome! Emacs is truly an integrated development environment also thanks to this great extension language. This paper provides a nice overview of past and also very recent language developments. For example, support for bignums
455.
Concurrent and Distributed Programming in Web Prolog(bluishcoder.co.nz)
2 points by triska 8y ago|0 comments
456.
by triska 8y ago
This is indeed a key point in John Gustafson's arguments: With floats, even though there are specialized flags and values that let you detect certain problematic situations, these flags are often not readily accessible in programming l
457.
by triska 8y ago
In this context, I also highly recommend John Gustafson's book, The End of Error . It is full of great examples, and at one point contrasts advances in numerical computing with improvements in other areas: "In 1970, a printer mi
458.
Writing an HTTP/2 Client in Prolog(occasionallycogent.com)
1 points by triska 8y ago|0 comments
459.
by triska 8y ago
The core language has indeed been around for several decades. However, many important features that are necessary for more interesting Prolog programs have become widely available and implemented with acceptable efficiency only in the much
460.
by triska 8y ago
One such discussion was in the context of the BEAM compiler: https://news.ycombinator.com/item?id=17671478
461.
Joy (programming language) interpreter in Prolog(groups.google.com)
56 points by triska 8y ago|15 comments
462.
by triska 8y ago
It is an interesting article! However, regarding the Prolog-related statements in the article, I think a few clarifications, qualifications and corrections would improve it considerably. For example, the article states: "The Prolog da
463.
by triska 8y ago
In my opinion, one of the most tragic aspects of these horrific incidents is that the predecessors of the Therac-25 actually had independent protective circuits and other measures to ensure safe operations, which the Therac-25 lacked. Her
464.
by triska 8y ago
John Gustafson has developed several promising alternatives, such as unums , posits and valids : https://posithub.org/about I also recommend his book, The End of Error - Unum Computing : https://www.crcpress
465.
by triska 8y ago
For solving linear programs and mixed-integer linear programs with Prolog, I recommend the CLP(Q) and CLP(R) libraries of SICStus Prolog. See for example: https://sicstus.sics.se/sicstus/docs/3.7.1/html/s
466.
by triska 8y ago
Learning Prolog was very challenging for me too! I was extremely lucky though in that I had one of the world's greatest Prolog experts as instructor, using the world's most sophisticated Prolog teaching environment: https:/&
467.
by triska 8y ago
Wow! This is very elegant and general Prolog code, thank you for sharing it, and for your kind words! Regarding the handling of ">" and "<", one possible alternative is to use constraint reification to reason abo
468.
Is Prolog the next good idea?(linkedin.com)
4 points by triska 8y ago|0 comments
469.
by triska 8y ago
Thank you very much for the publicity, I greatly appreciate it! Prolog is rather unique in that it admits a meta-interpreter in roughly 3 lines of code. Contrast this with other languages, where writing an evaluator typically takes much mor
470.
by triska 8y ago
This is great, thank you for sharing this! Your Prolog compiler is also notable because it can be easily made so general that it not only compiles, but even generates programs. For example, if I use pattern matching to generalize the firs
471.
by triska 8y ago
The primary author of this system is Torbjörn Lager, the inventor of Pengines : https://www.gu.se/english/research/publication/?publicationI... This functionality is the basis of many current web-based Prolo
472.
Web Prolog and the Programmable Prolog Web [pdf](github.com)
125 points by triska 8y ago|41 comments
473.
by triska 8y ago
A fun fact that may appear surprising at first: In contrast to Prolog, C is actually not Turing-complete! Here is more information: https://cs.stackexchange.com/questions/60965/is-c-actually-t... In C, you can o
474.
by triska 8y ago
In my experience, a dedicated instructor, an automated teleteaching environment (GUPU), and a lot of textual notes (either as a separate book, or integrated in the teleteaching environment, or both) is the most effective combination to te
475.
by triska 8y ago
Personally, I found this the fun aspect of this story: that what one regards as "the" (as opposed to a ) right tool for the job can change so quickly, and can so strongly depend on one's perspective! Thank you for the link t
476.
by triska 8y ago
Yes, I agree. I was lucky enough to study where the current convenor of the Prolog ISO working group teaches, using a Prolog- and Elisp-based teleteaching environment that he has built over several decades. As in other disciplines, if you a
477.
by triska 8y ago
In general, my opinion regarding machine learning and, in fact, also other tasks, is that Prolog is no less suitable to implement or teach these approaches than - for example - Python, which is currently often used in these areas. Dedicated
478.
by triska 8y ago
Thank you very much Stassa! I have added Metagol to the AI chapter, please have a look.
479.
by triska 8y ago
In my experience, the trick is to let go of the imperative reading since it becomes too complex in the situations you mention. Instead, focus on declarative properties: Does your predicate (or DCG) succeed in cases it shouldn't ? Th
480.
by triska 8y ago
Hah! I used exactly this example to motivate the arbitrary precision CLP(FD) implementation, published as The Finite Domain Constraint Solver of SWI-Prolog , FLOPS 2012, LNCS 7294: https://www.metalevel.at/swiclpfd.pdf The

More ›