Got it! One more question if I may: in https://arxiv.org/pdf/2607.26356, all the JOB queries are around a second or less, if I read correctly. My understanding is the query: movie .with(keyword.eq("my-kw"))…
I've been looking into Prela the last few days and really like it :) Conceptually, the two key operators `.select()` and `.and()` connect somewhat to the lineage of arrow notation [1], fork algebras [2], etc.…
> On macOS, Zed uses Apple's Seatbelt sandbox through sandbox-exec. From `man sandbox-exec`, "The sandbox-exec command is DEPRECATED." However, a lot of AI harnesses seem to use it anyway - I wonder what this says about…
Good summary article but the headline and certain conclusions seem overstated. This article appears to be about AI/serverless compute providers running a multi-tenant environment where untrusted code from multiple…
Yannis is one of the foremost experts in the field, and is responsible for Doop, which as far as I know, is one of the main developments that led to a resurgence of interest in Datalog for program verification :) Him…
Maybe you'll like wiki.vim (not to be confused with vimwiki). I, like you, tried a lot of solutions, and it's the only one that's really stuck over the past couple of years. I think it's because it doesn't try to do too…
Got it! One more question if I may: in https://arxiv.org/pdf/2607.26356, all the JOB queries are around a second or less, if I read correctly. My understanding is the query: movie .with(keyword.eq("my-kw"))…
I've been looking into Prela the last few days and really like it :) Conceptually, the two key operators `.select()` and `.and()` connect somewhat to the lineage of arrow notation [1], fork algebras [2], etc.…
> On macOS, Zed uses Apple's Seatbelt sandbox through sandbox-exec. From `man sandbox-exec`, "The sandbox-exec command is DEPRECATED." However, a lot of AI harnesses seem to use it anyway - I wonder what this says about…
Good summary article but the headline and certain conclusions seem overstated. This article appears to be about AI/serverless compute providers running a multi-tenant environment where untrusted code from multiple…
Yannis is one of the foremost experts in the field, and is responsible for Doop, which as far as I know, is one of the main developments that led to a resurgence of interest in Datalog for program verification :) Him…
Maybe you'll like wiki.vim (not to be confused with vimwiki). I, like you, tried a lot of solutions, and it's the only one that's really stuck over the past couple of years. I think it's because it doesn't try to do too…