brof · HackerTrans

vor 2 Monatendiscuss

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 colocated onto a single machine. I don't think anyone would seriously suggest containers are enough for that use case. OTOH, VMs have escapes too, and if you are a compute provider, you are probably relying on additional failsafes like VM-in-container with locked down capabilities, SELinux, and more.

brof

vor 2 Monatendiscuss

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 "heavy Datalog user" is quite modest.

brof

letztes Jahrdiscuss

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 many things and is just a thin wrapper over a collection of text files (you can specify to use Markdown). Obsidian is fancier but I find that I've been able to replicate most of what I need and don't miss the extra bells and whistles.

Oh, and I've found using a tool like gitwatch really helpful for keeping the repo synced without having to remember to commit.

comments