Viewing profile — trurl

https://www.youtube.com/watch?v=sdNmOOq6T8Y

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…

I also seem to recall something about Salvador Dalí wanting a flaming giraffe?

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 . …

If there is no support for recursion, this can hardly be called "Datalog".

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 ap…

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…

I agree that having to rely on Apple here is not great, but no other ecosystem is even trying.

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".

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 s…

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 q…

Not sure about intent, but I assumed it was at least partly named in analogy to XDuce: http://xduce.sourceforge.net/

While I prefer my languages statically typed, if you're going to use a dynamically typed language, Racket is far superior to Python.

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 convi…

This isn't exactly a new issue in runtime code generation, for example, the HotSpot Java JIT was introduced over 20 years 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 prototy…

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, bu…

> 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 enforc…

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 librari…

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 th…

There is perhaps a correlation between worshiping the GOP and worshiping the GDP, but they are two very different things.

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 agg…

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 > 1…

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 ha…

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 relati…