brof

4 ms·

1. 1.▲
   by brof 23d ago

   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&quo
2. 2.▲
   by brof 26d ago

   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. Left-to-right composition:
3. 3.▲
   by brof 1mo ago

   > 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 lo
4. 4.▲
   by brof 4mo ago

   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 customers can be colo
5. 5.▲
   by brof 5mo ago

   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 calling himself a &quot
6. 6.▲
   by brof 1y ago

   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