triska

27 ms·

241.
by triska 5y ago
As a contributor to Scryer Prolog (I designed the logo!), I find this project to be one of the most exciting current developments in the logic programming community, and one of the most promising new Prolog systems in many years. Notably, S
242.
by triska 5y ago
It is true that actual interaction is not tested in this way. Still, AI actions are not all it tests: For example, just by keeping such games running for a long time, it implicitly also tests resource management (such as garbage collectio
243.
by triska 5y ago
Complementing this article, there's also a great post mortem article about Age of Empires: https://www.gamedeveloper.com/pc/the-game-developer-archives... In the section "Things That Went Wrong Or We Could
244.
by triska 5y ago
Every statement S has a negation ¬S, read as "not S". If S is well-formed, so is its negation. For example, if we take the continuum hypothesis, i.e.: " There is no set whose cardinality is strictly between that of the intege
245.
by triska 5y ago
Quoting from the article: "The young Austrian mathematician Kurt Gödel tackled the problem and found that Hilbert’s expectations where [sic] fulfilled for first-order logic." This (i.e., "Hilbert's expectat
246.
by triska 5y ago
Quoting from https://www.apple.com/privacy/ : "Privacy is a fundamental human right. At Apple, it’s also one of our core values. Your devices are important to so many parts of your life. What you share from those
247.
by triska 5y ago
Yes, definitely, there are several recent advances in Prolog implementation techniques! For example, just-in-time (JIT) compilation , i.e., compilation to native code. Quoting from the SICStus documentation https://sicstus.sics.
248.
by triska 5y ago
The WAM is Warren's Abstract Machine , introduced by David H. D. Warren in his 1983 paper An abstract Prolog instruction set : http://www.ai.sri.com/pubs/files/641.pdf This invention showed conclusively, an
249.
Demo of a WAM Prolog Implementation in Python(github.com)
87 points by triska 5y ago|11 comments
250.
by triska 5y ago
Scryer Prolog does not convert such char buffers to an explicit list representation, they always remain raw bytes. Erlang uses an analogous idea for lists of codes to represent strings. In Scryer Prolog, this pays off especially nicely beca
251.
by triska 5y ago
The key innovation of Scryer Prolog in this respect is that the system internally , i.e., within Rust, represents each string as a sequence of raw bytes (UTF-8 encoded, 0-terminated), and to Prolog programs , the string appears as if it w
252.
by triska 5y ago
Importantly for this use case, Scryer Prolog represents lists of characters very compactly internally, using a sequence of raw bytes! It is the first Prolog system to use this efficient representation. This helps considerably when processin
253.
PostgreSQL-Prolog: A Prolog library to connect to PostgreSQL databases(github.com)
99 points by triska 5y ago|20 comments
254.
by triska 5y ago
A healthy dose of skepticism seems certainly warranted. I would like to share an example that I hope illustrates the potential of using programming languages to formalize legal reasoning, or at least one possible usage scenario. Take for in
255.
by triska 5y ago
Thank you a lot for taking the time to respond! Could you please give a short example of how we can use Catala to interpret for instance the sample program that is shown on the project page? Does it have a natural representation as a Catala
256.
by triska 5y ago
Very interesting! Previous discussions: https://news.ycombinator.com/item?id=27059899 (5 months ago, 129 comments) https://news.ycombinator.com/item?id=24948342 (10 months ago, 37 comments) As I see it, a l
257.
by triska 5y ago
See the so-called Brussels effect : https://en.wikipedia.org/wiki/Brussels_effect
258.
by triska 5y ago
It is really interesting how long we have collectively tolerated, and continue to tolerate, many counterproductive password policies and password-related software problems and limitations that are explained in the linked talk and that affec
259.
by triska 5y ago
Quoting from the article: "What we need is a model of computation and logic. And with that model, we should be able to model the real world. And we need a model that is time tested." Immediately followed by: "The paradigm
260.
by triska 5y ago
Yes indeed, although the semantic web chose a much more convoluted set of technologies without the syntactic and conceptual coherence and simplicity of actual logic programming languages, thus making reasoning about everything extremely com
261.
by triska 5y ago
Very interesting! I especially like the expressed interest in logic-based approaches for reasoning about graphs. Quoting from the article: "Logic-based and declarative formalisms. Logic provides a unifying formalism for expressing q
262.
by triska 5y ago
I did not downvote this, but I have a comment: The risk is not "minimalized by reading the docs and proper planning". To minimize something means to reduce it to the smallest possible amount, and I do not like to take any chance
263.
by triska 5y ago
What good is a budget cap that can be "blown by accident"? From a budget cap, I expect the key invariant that it reliably caps the budget .
264.
by triska 5y ago
This is also one of the things I fear most when running a service in the cloud: A huge bill due to excessive network usage triggered for example by a search engine, web scraper etc. I consider it very unfortunate that "capped cost&quot
265.
by triska 5y ago
In a certain sense (for example, when measuring brevity), it is indeed easy to write this example in Python. However, the Python version also illustrates that many different language constructs are needed to express the intended functionali
266.
by triska 5y ago
The libraries I mentioned can be loaded by invoking the use_module/1 predicate on the toplevel, here is the complete transcript that loads the SGML, HTTP and XPath libraries in Scryer Prolog: ?- use_module(library(sgml)).
267.
by triska 5y ago
This is very nice! For reasoning about tree-based data such as HTML, I also highly recommend the declarative programming language Prolog. HTML documents map naturally to Prolog terms and can be readily reasoned about with built-in language
268.
by triska 5y ago
I strongly hope we are not stuck here perpetually: There are powerful companies that require privacy even in their conditions of use. For instance, to obtain a credit card from a bank, you have to sign a document stating that you will hi
269.
by triska 5y ago
One consequence of previous software failures with tragic outcomes was the development of technical standards that are now referred to and required in government procurement procedures, in laws and certifications, in education etc. For ex
270.
by triska 5y ago
I like a phone call to hear the voice of the person I am talking to, and I tend to prefer it over text. With an actual phone line it was even more fun due to the much lower latency.

More ›