triska

11 ms·

91.
Hammurabi: A Framework for Pluggable, Logic-Based X.509 Certificate Validation(dl.acm.org)
1 points by triska 3y ago|0 comments
92.
Generative Senses: A Prolog Exercise(dstrohmaier.com)
2 points by triska 3y ago|0 comments
93.
Solutions to Advent of Code 2023 with Scryer-Prolog(github.com)
3 points by triska 3y ago|0 comments
94.
Void Linux installer implemented in GNU Prolog(github.com)
2 points by triska 3y ago|0 comments
95.
Scryer Prolog version 0.9.3 is out(github.com)
4 points by triska 3y ago|0 comments
96.
Debugging Trait Errors as Logic Programs(arxiv.org)
1 points by triska 3y ago|0 comments
97.
Constrained.pl: Prolog predicates using constraints to make them more flexible(github.com)
2 points by triska 3y ago|0 comments
98.
by triska 3y ago
Very interesting! Let's consider for example the definition of sum_list/2 which is shown in Fig. 1, Fig. 2 and Fig. 3: %% sum_list(+Number_List, ?Result) % Unifies Result with the sum of the numbers in Number_List; %
99.
Scryer Playground – Run Scryer Prolog on the Browser(play.scryer.pl)
5 points by triska 3y ago|0 comments
100.
Basic WebAssembly Support in Scryer Prolog(github.com)
5 points by triska 3y ago|0 comments
101.
Scryer-Prolog 0.9.2(github.com)
5 points by triska 3y ago|0 comments
102.
Release v1.1.0 of PostgreSQL-Prolog(github.com)
4 points by triska 3y ago|0 comments
103.
by triska 3y ago
Interesting previous discussion from 2014: https://news.ycombinator.com/item?id=7523953 (311 comments)
104.
Load Balancing in WASM Libraries(guregu.bearblog.dev)
3 points by triska 3y ago|0 comments
105.
by triska 3y ago
With Prolog, we can often very naturally map such puzzles to programs, or at least to declarative descriptions that can be easily interpreted by Prolog programs. For instance, in this concrete case, with a suitable operator definition for t
106.
by triska 3y ago
The article suggests using Boolean logic, so let's apply it: One way to solve this is to introduce a Boolean variable for each of A,...,G, and to use 1 to denote that a statement is true, and also to denote that the corresponding perso
107.
by triska 3y ago
This is also how Prolog terms are represented on the heap in the Warren Abstract Machine (WAM). For instance, taking the example of the article, if we have an expression such as the Prolog term +(*(a,b), c), written using operator notation
108.
by triska 3y ago
Djot is the markup syntax that is used for the documentation of Scryer Prolog, using a parser written in Prolog: https://github.com/aarroyoc/djota It works well so far. One of the few limitations I noticed so far perta
109.
by triska 3y ago
As I see it, the result is rather establishing a very fundamental property pertaining to the expressive power of a mechanism, and it can be useful also in practice. For instance, I have many potential applications of Turing complete formali
110.
by triska 3y ago
Quoting from the article: " To prove this we assume that internal activations are represented as rational numbers with arbitrary precision. " And: " Transformers with fixed precision are not Turing complete ." It will be
111.
by triska 3y ago
Personally, I always found that the novel ends on a comparatively hopeful note, especially given the circumstances, the final word being cudów ("of miracles").
112.
by triska 3y ago
Solaris in particular seems more relevant than ever with the rise of ChatGPT and other generative AI services that do not understand what their outputs mean to us, and often produce eery simulacra of life. The final scenes of Solaris show
113.
The First Annual Scryer Prolog Meetup(github.com)
3 points by triska 3y ago|0 comments
114.
Strategies for ensuring correctness in dynamically typed languages?(old.reddit.com)
1 points by triska 3y ago|0 comments
115.
Automatic Differentiation in Prolog(arxiv.org)
2 points by triska 3y ago|0 comments
116.
Examples of parser generators or compiler-compilers in Prolog?(old.reddit.com)
1 points by triska 3y ago|0 comments
117.
The Land of Logic Programming(twitter.com)
4 points by triska 3y ago|0 comments
118.
by triska 3y ago
Quoting from https://earthobservatory.nasa.gov/world-of-change/ENSO : "El Niño and La Niña reflect the two end points of an oscillation in the Pacific Ocean. The cycle is not fully understood, but the times series
119.
Good Languages for Writing Compilers In?(old.reddit.com)
9 points by triska 3y ago|0 comments
120.
by triska 3y ago
So far, I have never before seen an environment group trying to block a mining project referred to as "lobbying". Is the term really that generally used in practice?

More ›