triska

24 ms·

211.
Is Datalog a good language for authorization?(neilmadden.blog)
68 points by triska 5y ago|21 comments
212.
Prolog in Forth(youtube.com)
4 points by triska 5y ago|1 comments
213.
MIPSie: A Prolog MIPS Emulator(github.com)
2 points by triska 5y ago|0 comments
214.
An embeddable Prolog scripting language for Go(github.com)
131 points by triska 5y ago|35 comments
215.
Fiftieth Anniversary of Prolog [pdf](prolog-heritage.org)
1 points by triska 5y ago|0 comments
216.
by triska 5y ago
Thank you Max Schrems for everything you do to preserve EU citizens' privacy and compliance of companies to European law!
217.
by triska 5y ago
No, because the key stream is not random: It depends functionally on the integer which is sent in plain text, and on the shared secret. For example, if you pick the same integer twice with the same secret then the XOR of the two ciphertexts
218.
by triska 5y ago
A cryptographic hash function H can be used for encryption though, by mimicking a one-time pad: Pick a random integer k , concatenate it with a secret s , hash the result obtaining H(s•k) , XOR this with the plaintext yielding the ciph
219.
Scryer Prolog development milestone: The second iteration of Rebis is out(github.com)
2 points by triska 5y ago|0 comments
220.
Extending Repair Workflows with Logic Programming(github.com)
2 points by triska 5y ago|0 comments
221.
Day 2 of Advent of Code in Scryer Prolog(twitter.com)
1 points by triska 5y ago|0 comments
222.
The necessity of character and string entities in a programming language(old.reddit.com)
1 points by triska 5y ago|0 comments
223.
by triska 5y ago
This argument seems not fully thought through: First, "already" makes it appear that this property is monotonically increasing, i.e., that they will stay safer from now on, even if more people use this feature . From what we se
224.
by triska 5y ago
I have not accepted it: I immediately close the tab almost every time I see the first pop-up on a website. For example, I no longer use Stackoverflow since they started showing these pop-ups, ostensibly to force me to accept what I regard a
225.
by triska 5y ago
Thank you so much Uemura-san for these great consoles! I often think about how great it was to play these games, the amount of effort and care that went into them, and the sense of fairness and pure joy that you bought a game and could trul
226.
Using Prolog to unravel the foundations of oncology dose-escalation trial design(github.com)
2 points by triska 5y ago|0 comments
227.
by triska 5y ago
Very interesting! Especially in sectors that are heavily regulated, such as medicine, legal professions, and also the public sector, automated rule-based reasoning can be very useful and helpful. It is particularly interesting that the syst
228.
by triska 5y ago
RFC 8439 specifies an interesting method where the Poly1305 key is itself generated using the ChaCha20 block function: https://datatracker.ietf.org/doc/html/rfc8439#section-2.6
229.
Lyncex – Building blocks for web development in Prolog(lyncex.com)
4 points by triska 5y ago|0 comments
230.
by triska 5y ago
Quoting for example from https://curia.europa.eu/jcms/upload/docs/application/pdf/202... , "The Court of Justice confirms that EU law precludes national legislation requiring a provider of ele
231.
by triska 5y ago
More in-depth information: https://netzpolitik.org/2021/eu-commission-why-chat-control-... Including for example: "According to a legal opinion by Prof. Dr. Ninon Colneric automated scanning could indeed be illeg
232.
by triska 5y ago
Definitely an interesting read! I have a few comments about the following paragraph specifically, because the potential of convenient string processing is so essential to logic programming: "As in Prolog, strings are lists of characte
233.
Teruel – Template Engine in Prolog Inspired by Tera and Jinja(github.com)
10 points by triska 5y ago|0 comments
234.
by triska 5y ago
A consultant I worked with compared the organization we wanted to measure to an air mattress : If you press it somewhere, i.e., measure a specific point, the air goes elsewhere, and another part is inflated. He used this analogy to explain
235.
by triska 5y ago
What a read. Almost every single paragraph in the document leaves me speechless. For example, quoting from the document: "Google likes to claim that it will “never sell your personal information to anyone,” with Google CEO Sundar Pich
236.
by triska 5y ago
You can do this with definite clause grammars (DCGs), which are available in virtually all Prolog systems: roo --> zut, pum, tos. Note the use of (-->)/2 to define a grammar rule. Use phrase/3 to invoke the DCG. DC
237.
by triska 5y ago
As I see it, the most striking feature of Prolog that sets it apart from all other languages, mainstream or not, is its ability to write concise meta-interpreters in it. A Prolog meta-interpreter is a Prolog program that interprets Prolo
238.
by triska 5y ago
Wow, thank you a lot! I am very glad you find this material useful! Scryer Prolog compiles Prolog code to abstract machine code, and executes that. Like SICStus Prolog, GNU Prolog etc., Scryer uses the Warren Abstract Machine (WAM) as the
239.
by triska 5y ago
Thank you a lot for your kind words, and for your interest! The Prolog ISO standard currently prescribes less than 200 predicates (less than 150 if we discount variants that only differ in the number of arguments), here is a nice overview o
240.
by triska 5y ago
Scryer Prolog does delegate a lot of the work to Rust libraries and crates. For example, see the cryptographic functionality from library(crypto): https://github.com/mthom/scryer-prolog/blob/master/src&#x

More ›