triska

34 ms·

271.
by triska 5y ago
In this specific case, the Emacs maintainers took a mode which already shipped with Emacs (in fact it was the mentioned third-party Prolog mode that was already bundled with Emacs with slight modifications) and changed it so that it no long
272.
by triska 5y ago
Congratulations, and thank you so much for Debian! It is awesome to see freedom and reliability continuously upheld by this great distribution!
273.
by triska 5y ago
You are right that I should have pointed out explicitly that I filed this specific issue. Please note though that I was not "asked if the bug still persists" before it was closed. I used this specific example to illustrate the g
274.
by triska 5y ago
This was achieved also by ignoring open issues and simply closing the bug even though the issue still exists. An example of this is: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=21526 In general, I find too much empha
275.
by triska 5y ago
Good article, highlighting one of the most critical points: All this software, even without the controversial additions , is not trustworthy! The Pegasus software has clearly shown that iPhones have severe security flaws , and therefore t
276.
by triska 5y ago
The most striking argument against "I've got nothing to hide" is that it's wrong , because many of us in fact must hide something: Take for instance the terms and conditions that you have to agree to when you sign u
277.
by triska 5y ago
Very interesting! I find especially such insights very important: • Erlang semantics say match clauses sequentially BUT • Don’t have to if you’re smart! • Can group patterns and save testing Note the
278.
by triska 5y ago
Good, post! One caveat though: Regarded as a programming language, PDF is much less powerful than PostScript, because in contrast to PostScript, PDF is not Turing-complete: PDF lacks looping constructs, conditionals etc. that are necessar
279.
by triska 5y ago
I remember an Apple conference where Tim Cook personally assured us that Apple is fully committed to privacy, that everything is so secure because the iPhone is so powerful that all necessary calculations can happen on the device itself, an
280.
by triska 5y ago
JSON data is also a valid Prolog term, and the declarative programming language Prolog is ideally suited for handling tree-shaped data. Using for example Scryer Prolog, we can conveniently relate the data to a flat list of items with Pr
281.
Static analysis using Haskell and Datalog(luctielen.com)
3 points by triska 5y ago|0 comments
282.
by triska 5y ago
A nice article with many important insights, such as: "In the extreme case, the cumulative costs of all the checkpoints within an organization can exceed the working resources the organization has available, and forward progress becom
283.
by triska 5y ago
A very nicely done and interesting study on a very relevant topic, with worrying results. Thank you for sharing this! I found the following quote particularly interesting: "It is suggestive that the timing of the US surge in CDS preva
284.
by triska 5y ago
This strikes me as a quite language-specific treatise, and may indicate a shortcoming or particularity of the syntax or semantics of the described programming language (i.e., Disco) rather than an essential conceptual difference. For compar
285.
by triska 5y ago
GNU Prolog has one of the fastest constraint solvers over finite domains (i.e., small integers), and its constraints are available out of the box, without loading any library. For example: $ gprolog GNU Prolog 1.4.5 (64 bits)
286.
by triska 5y ago
Yes, it is easy to express simple tasks like Sudoku in MiniZinc. However, in terms of sophistication and convenience, Prolog is hard to beat, since it is a full-fledged programming language that can also be used to fetch, process and transf
287.
by triska 5y ago
Prolog is exceptionally well suited for solving such combinatorial puzzles, and of course also for much tougher tasks like timetabling instances in schools, workforce rosters, tournament schedules etc. The key feature that makes Prolog so a
288.
Using Prolog for Sudoku Variants(dstrohmaier.com)
92 points by triska 5y ago|21 comments
289.
by triska 5y ago
An ideal "code view" of Excel could be a declarative programming language that states the relations that hold between cells, for example a logic programming language such as Prolog or Datalog, using constraints to express the
290.
by triska 5y ago
To clarify: Tests as I see them and described them above do not need to stop when the software is shipped. They are meant to run indefinitely and can continue also long after the software is shipped, and independent of the environment in wh
291.
by triska 5y ago
Very good article, thank you for posting this! With so much now depending on software, free software is more relevant than ever, and in fact as the article mentions the four freedoms are not even enough nowadays. I also like the suggestion
292.
by triska 5y ago
This article contains many good points. However, in my opinion, it is still overly lax: The aim should always be complete coverage . The article hints at this with: “Test every combination of events? Test every output for every combinatio
293.
A Note on Exhaustive State Space Search for Efficient Code Generation(arxiv.org)
3 points by triska 5y ago|0 comments
294.
by triska 5y ago
Constraints blend in especially seamlessly with logic programming languages like Prolog. In fact, Prolog itself can be regarded as a constraint solver over Herbrand terms. For instance, here is the "adder" example from the paper,
295.
by triska 5y ago
This is very inconsiderate. For example, depending on your cell phone plan, data transfer may incur high costs, especially when roaming etc. Therefore, owners of cell phones may be interested in limiting it to the absolute minimum. As I see
296.
by triska 5y ago
Expanding on this, particularly regarding causal reasoning and rules, what I find especially puzzling is the desire to apply deep learning even in cases where the rules are explicitly known already, and the actual challenge would have bee
297.
by triska 5y ago
The idea is to post the relevant constraints, i.e., the relations that ought to hold, by using the predicates that the Prolog system provides for constraint solving. After the constraints are posted, one of the search strategies can be trie
298.
by triska 5y ago
Many features available in dedicated planning systems are now subsumed by modern Prolog systems and their constraint solvers. For example, SICStus Prolog now provides sophisticated constraints for resource planning such as cumulative/[
299.
by triska 5y ago
I once read an article suggesting that reading computer code does not activate the regions of the brain that are involved in language processing: https://news.mit.edu/2020/brain-reading-computer-code-1215 This may indi
300.
by triska 5y ago
This is an interesting view that captures a substantial portion of computer science including also programs and proofs with a short and clear criterion. However, a key drawback of this view is that it undersells the linguistic aspect of com

More ›