trurl

6 ms·

1.
by trurl 3y ago
https://www.youtube.com/watch?v=sdNmOOq6T8Y
2.
by trurl 3y ago
Excellent! I had been thinking of building something along the same lines when I switched from `zsh` to `fish`, as I had been missing `zsh_stats`. Now I don't have to and can focus on my other side project!
3.
by trurl 4y ago
I also seem to recall something about Salvador Dalí wanting a flaming giraffe?
4.
by trurl 4y ago
I think one thing that would definitely help the mold project is to have a clearer price and licensing model. The only thing I can find is https://opencollective.com/mold-linker . It would be much easier to be able to go to
5.
by trurl 4y ago
If there is no support for recursion, this can hardly be called "Datalog".
6.
by trurl 4y ago
Yeah, I figured someone might try this argument. Everyone seems to keep forgetting, there is already an option on iOS for developers not wanting to go through the App Store: web apps. I believe WASM can even be used these days. Except tha
7.
by trurl 4y ago
I don't understand why you think building alternative app stores is somehow a limiting factor. If you want to use some software, and the company wants to bypass Apple's protections, they'll just put a download link on their
8.
by trurl 4y ago
I agree that having to rely on Apple here is not great, but no other ecosystem is even trying.
9.
by trurl 4y ago
And still folks think that if side loading is forced on Apple, that companies will not force us to start side loading their apps to escape this "apocalypse".
10.
by trurl 5y ago
Fair enough, but to a database theoretician SQL means "non-recursive conjunctive queries". And I skimmed the tutorial and there is not a single example of using Logica to compute something recursively. Transitive closure is the
11.
by trurl 5y ago
It seems misleading to call this "Datalog". The GitHub repo even says "among database theoreticians Datalog and SQL are known to be equivalent", which is absolutely wrong without qualification. Some flavors of SQL will
12.
by trurl 7y ago
Not sure about intent, but I assumed it was at least partly named in analogy to XDuce: http://xduce.sourceforge.net/
13.
by trurl 7y ago
While I prefer my languages statically typed, if you're going to use a dynamically typed language, Racket is far superior to Python.
14.
by trurl 7y ago
Probably fifteen years ago I discussed runtime code generation with some computer architects and they did indeed raise concerns about caching at the time. But now I am not as convinced this is as much of a worry as people seem to think. S
15.
by trurl 7y ago
This isn't exactly a new issue in runtime code generation, for example, the HotSpot Java JIT was introduced over 20 years ago.
16.
by trurl 8y ago
I don't see anywhere that mentions datalog in relationship to Stardog. I see OWL2 and SparQL, which as far as I can tell do not support recursion other than in experimental prototypes. If there is no recursion, it is just conjunctive
17.
by trurl 8y ago
The LogicBlox platform is still in use and in active development at Infor. But yes, many of the principals have indeed left. DOOP actually used LogicBlox before Souffle existed, but it is difficult to be competitive when Souffle doesn&#x27
18.
by trurl 8y ago
> There does not seem to be any equivalent of the notion of soundness in the world of dynamic typing. However, we can still talk about whether a dynamic type system strictly enforces type safety. My understanding is that there are well u
19.
by trurl 8y ago
It is possible I am misunderstanding something, but I am pretty sure that is not cat(1) implemented in CakeML. It is an implementation of cat(1) verified using the same HOL libraries, tactics, etc. that they used to verify the implementati
20.
by trurl 8y ago
The key question for me is what about the project made Facebook uninterested in using the language or continuing development. On paper, Skip sounds quite compelling, so I assume there is some reason, if just politics.
21.
by trurl 8y ago
There is perhaps a correlation between worshiping the GOP and worshiping the GDP, but they are two very different things.
22.
by trurl 8y ago
I'm not sure why you need to restrict constraints between tables to be based on foreign keys. I guess maybe that is a limitation inherent to SQL? We also allow constraints over aggregations. Though our syntax does require giving the
23.
by trurl 8y ago
We've had that for at least a decade in the LogicBlox database (which is based upon Datalog and not SQL). So you could say write transfer_table(id, user, src, dest, amnt), amnt > 10000.0 -> auth_table(id, man), managed_by_table(
24.
by trurl 8y ago
It isn't really clear to me how this differs from usual database integrity constraints? However, I'm not familiar with what typical SQL databases provide. The database I work on has had sophisticated integrity declarative integri
25.
by trurl 8y ago
Yes, I'm well aware of tabling, which is why I said "naïve Prolog implementation". I'm also aware of using magic sets and demand transformations to allow writing Prolog-like relations in Datalog. I also work on an indus
26.
by trurl 8y ago
I don't see any mention of recursion. If it doesn't support recursion it is not really accurate to call it Datalog. To clarify, if you don't have recursion, you've just got a slightly different skin over relational alge
27.
by trurl 8y ago
While it is possible to view Datalog as a subset of Prolog, they are really very different languages. In particular Datalog implementations generally use forward rather than backwards chaining evaluation. As such, programs you might write
28.
by trurl 8y ago
Yeah, I can definitely see this as being the reason. The switch from PPC to Intel was partly motivated by IBM dropping the ball. Now Intel is failing to keep up as well, so given that Apple has the resources, why not control their own des
29.
by trurl 9y ago
On one hand, configuring my phone to grayscale is to me a very intriguing "lifehack". But for better or worse, my phone is also my primary camera, and I tend to think that setting it to grayscale would impair my ability to take p
30.
by trurl 9y ago
I don't expect free upgrades forever, but I am extremely disappointed that I will have migrate all my data to another product if they cease providing an offline version.

More ›