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 on my other side project!
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. It would be much easier to be able to go…
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 apps. I believe WASM can even be used…
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…
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 something recursively. Transitive…
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…
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 convinced this is as much of a worry as…
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 prototypes. If there is no recursion, it is…
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…
> 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…
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…
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.
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 aggregations. Though our syntax does…
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),…
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…
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…
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 on my other side project!
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. It would be much easier to be able to go…
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 apps. I believe WASM can even be used…
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…
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 something recursively. Transitive…
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…
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 convinced this is as much of a worry as…
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 prototypes. If there is no recursion, it is…
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…
> 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…
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…
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.
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 aggregations. Though our syntax does…
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),…
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…
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…