triska

34 ms·

301.
by triska 5y ago
This is similar to ABBA songs: Superficially, they seem very simple, but they are quite complex internally, and when something is repeated, then it is often repeated in a slightly different way.
302.
by triska 5y ago
The role of bureaucracy is particularly relevant and interesting. Joseph Tainter argues in The Collapse of Complex Societies that the diminishing returns of increasing layers of bureaucracy are an important reason for the collapse of soci
303.
by triska 5y ago
This phenomenon is known as the Jevons paradox, named after British logician, economist and statistician William Stanley Jevons: https://en.wikipedia.org/wiki/Jevons_paradox
304.
by triska 5y ago
You can try this code snippet to detect large variables: https://lists.gnu.org/archive/html/emacs-devel/2008-12/msg00... It is a major attraction of Emacs that its inspection facilities can be easily use
305.
by triska 5y ago
There are many reasons why one would like to update Audacity also if it already does everything one needs, for example increased robustness and speed in newer versions if they provide it, and also new effects that simplify existing workflow
306.
by triska 5y ago
Congratulations Andrea, and thank you so much to you and everyone who contributed to this great feature with testing and reporting issues, and thank you a lot Eli for reviewing and incorporating this!
307.
by triska 6y ago
I agree completely. At the very least, embedded PostScript should have been supported for scalable graphics from the beginning. We now have this "sort of" available with the HTML <canvas> element, which uses essentially Post
308.
by triska 6y ago
This highly depends on the software you use and how you generate PostScript files. To program with PostScript, and to display and print PostScript documents, I highly recommend Ghostscript, a PostScript interpreter: https://www.g
309.
by triska 6y ago
PostScript is an amazing programming language, and this language reference manual is one of the greatest technical documentations I have ever seen, I highly recommend it! One of the few mistakes I found is on page 700, where the snippet (ap
310.
by triska 6y ago
Congratulations Andrea, and thank you so much to you and everyone who contributed with tests and reports, and Eli for your work and this announcement!
311.
by triska 6y ago
Prolog provides this with so called dynamic predicates. For example, if we declare the predicate f/1 dynamic using the standard directive dynamic/1: :- dynamic(f/1). then we can assert new clauses for f/1 usin
312.
by triska 6y ago
This seems related to Conscious Realism and the conscious-agent thesis: https://www.frontiersin.org/articles/10.3389/fpsyg.2014.0057... Both articles address the combination problem. However, the one I linked to
313.
by triska 6y ago
GNU Emacs. It is highly responsive, very reliable and predictable, can be used with only the keyboard, can be configured easily, can be introspected readily, and is also very flexible and general: For example, it can be used as a display en
314.
by triska 6y ago
This is one of the most insightful talks I have ever seen on Youtube. I highly recommend it! What makes it stand out particularly is the careful collection and articulation of concrete examples and historical references.
315.
by triska 6y ago
Prolog syntax will always be with us, due to its close relation with first-order predicate logic. This syntax will still be there after many now popular languages will long have been forgotten and replaced with other languages. In this resp
316.
by triska 6y ago
How is this a better alternative? A major attraction of Prolog is that one can remove almost arbitrary parts of any pure program and still infer useful conclusions that hold for the original program. For example, one can remove a clause and
317.
Why Learn Prolog in 2021?(dstrohmaier.com)
260 points by triska 6y ago|163 comments
318.
by triska 6y ago
The answers show how to use Prolog to construct a Scheme quine. Iterative deepening and built-in Prolog mechanisms for parsing are used to elegantly solve this search problem in a few lines of code.
319.
Pure Prolog Scheme Quine(stackoverflow.com)
3 points by triska 6y ago|1 comments
320.
by triska 6y ago
The key attraction of the representation I mentioned is that on the level of Prolog programs, the compactly represented lists appear like any other lists, no matter how they are internally represented. So, internally, it is a sequence of ra
321.
by triska 6y ago
The "naive" and straight-forward way to internally represent a non-empty list is to use a structure of the form (CAR . CDR), where car is the first element of the list, and CDR is the rest of the list. So, you need 3 memory "
322.
by triska 6y ago
Erlang is an amazing language, with many great design decisions! For example, quoting from the paper: “Very early on we decided that strings were lists. This was partly environment as many of the languages we were using, such as Prolog, us
323.
Pharmacologic priors implicit in a choice of 3+3 dose-escalation design(arxiv.org)
1 points by triska 6y ago|0 comments
324.
by triska 6y ago
From a proof-theoretic perspective, mapping a problem to SAT and proving a statement by solving a SAT instance may be regarded as "brute force" because, as the article mentions, the proof is in a sense "meaningless" and
325.
by triska 6y ago
Several years ago, there was a site called wowdetox.com, where addicts of World of Warcraft and also other gamers shared their stories. One of the posts there contained a striking observation: The most tragic aspect of the game is that it h
326.
by triska 6y ago
The various OWL dialects are intended for reasoning, in combination with RDF etc. In my opinion, all these languages fall short for the reasons I mentioned: In particular, even though one can express knowledge and rules in these languages,
327.
by triska 6y ago
Thank you for posting this, I think this expresses the situation perfectly! Knowledge representation and reasoning languages like RDF, SPARQL etc., as well as querying languages like XQuery, go in this direction in principle. However, at le
328.
by triska 6y ago
Yes, Datalog is normally understood to be a syntactic subset of Prolog: https://en.wikipedia.org/wiki/Datalog Therefore, you can use every ISO conforming Prolog system to read and reason about any Datalog database. If
329.
by triska 6y ago
Rust is a very compelling environment for many kinds of scientific computing, also due to the features noted in the article: “Unlike the many compilers and ancillary utilities that programmers use to build C code, Rustaceans can use a sing
330.
by triska 6y ago
Tcl is awesome, thank you for sharing this! The design of Tcl is indeed simple and elegant. For example, check out the Tcl man page linked in the article: https://www.tcl.tk/man/tcl8.6/TclCmd/Tcl.htm The 12 s

More ›