aarroyoc

9 ms·

61.
Picat 3.6 Released(picat-lang.org)
4 points by aarroyoc 3y ago|0 comments
62.
Niklaus Wirth has died(twitter.com)
1902 points by aarroyoc 3y ago|403 comments
63.
Towards a Logical Definition of Emergence [video](youtube.com)
24 points by aarroyoc 3y ago|13 comments
64.
Scryer Prolog Meetup 2023 Notes(blog.adrianistan.eu)
2 points by aarroyoc 3y ago|0 comments
65.
Rationalizing the Cost in the Cloud(engineering.telefonica.com)
1 points by aarroyoc 3y ago|0 comments
66.
Programmation Par Contraintes [pdf](bpb-us-w2.wpmucdn.com)
1 points by aarroyoc 3y ago|0 comments
67.
by aarroyoc 3y ago
BQN is also easier to get started. It's the only array language I ever tried because of that. Uiua seems to be inspired by BQN but it's also a stack-based language (BQN isn't).
68.
Ibertex (Spanish Videotext)(youtube.com)
1 points by aarroyoc 3y ago|0 comments
69.
by aarroyoc 3y ago
You can, you just need to quote it in single quotes: 'X'.
70.
Can We Lose Technology?(blog.adrianistan.eu)
3 points by aarroyoc 3y ago|0 comments
71.
by aarroyoc 3y ago
I agree. I had the terrible idea to build a Markdown library in Prolog and I discovered how it's full of quirks. There's CommonMark which tries to be more precise but they have already published at least 25 versions of the spec (a
72.
by aarroyoc 3y ago
https://blog.adrianistan.eu
73.
by aarroyoc 3y ago
I love constraint programming. It allows you to code very close to the original spec. There are differences between systems though. Z3 might have a good raw performance, but using it feels like programming in "two worlds". In cont
74.
Kotlin DSL Is Now the Default for New Gradle Builds(blog.gradle.org)
2 points by aarroyoc 3y ago|0 comments
75.
International Pascal Congress(pascalcongress.com)
90 points by aarroyoc 4y ago|37 comments
76.
Embedding Functional Logic Programming in Haskell via a Compiler Plugin(youtube.com)
3 points by aarroyoc 4y ago|0 comments
77.
Scryer Prolog(scryer.pl)
109 points by aarroyoc 4y ago|33 comments
78.
by aarroyoc 4y ago
On Scryer Prolog, after evaluating Markdown, we end up using Djot[0] as it is more predictable and standard than Markdown, while being also very readable. [0]: https://djot.net/
79.
by aarroyoc 4y ago
It was a nice event! So happy to devirtualize some people
80.
by aarroyoc 4y ago
Djot is a markup language similar to Markdown but with a different rationale. See more: https://github.com/jgm/djot#rationale . A Prolog implementation like this is based on Scryer Prolog, which is a system that makes
81.
Mangle, a programming language for deductive database programming(github.com)
187 points by aarroyoc 4y ago|46 comments
82.
by aarroyoc 4y ago
That's also typical in Spain. In fact, most family restaurants offer free wine, but it's of that level of quality, so you usually mix it with sparkling water. Also, it's typical of young people to mix cheap wine with Coca-Col
83.
by aarroyoc 4y ago
The real homepage https://ciao-lang.org/ has code examples. Spoiler alert: it is Prolog
84.
by aarroyoc 4y ago
Well, it IS Prolog. Ciao conforms to the ISO Prolog standard. It adds a lot of things through a preprocessor though.
85.
A Datalog engine for GPUs (2013) [pdf](dcc.fc.up.pt)
2 points by aarroyoc 4y ago|0 comments
86.
by aarroyoc 4y ago
I bought the Mango Pi MQ-Pro a month ago and while at first the software support was missing (only Tina Linux was available), later some ISOs started to appear. Right now I'm using the Armbian headless image based on Ubuntu 22.04[0] wh
87.
by aarroyoc 4y ago
> One thing I've wondered about with such systems as performance: I would be nervous about pathological cases leading to really bad performance or even DOS attacks. My understanding of Prolog in particular is that sometimes I get in
88.
by aarroyoc 4y ago
Tau Prolog is an ISO Prolog system from scratch and just for JavaScript. It tries to follow some of the innovations of Scryer and Trella Prolog. Dogelog inherits some stuff from Jekejeke Prolog and has an innovative GC.
89.
Comeau C/C++(en.wikipedia.org)
2 points by aarroyoc 4y ago|0 comments
90.
by aarroyoc 4y ago
Isn't RETE a forward-chaining algorithm while Prolog is a backward-chaining language? I'm not sure you could use RETE for the actual Prolog semantics. Currently, fast implementations of Prolog use a virtual machine, the most popul

More ›