Viewing profile — blagund

What does the EU lack? Is it the big corp infra? Or something more fundamental?

IANAL but at least in some EU countries you can't give away all rights preemptively for usecases not yet known at the time. So a blanket giveaway doesn't necessarily include AI tra…

As for just a UI over Zoekt, let me plug https://github.com/TreeTide/underhood/tree/develop#getting-s... . Uses https://github.com/TreeTide/zoekt-underhood .

Watch the movie Caveman to find out! Ool anyone?

Souffle deserves a high ranking. It really is a nice datalog. If only field reference was possible, instead of excessive tuple pattern matching. (Though, one could write a preproce…

Note: Rego targets near linear execution speed, so it can't do recursion generally, except limited tree-like cases for sat y acl checks.. That's as intended, just saying don't expe…

Not op, but maybe the perception is based on relatively few aha moments or new insights in the article. The one thing I would come back to it for is the listing of pipeline languag…

I, for one, find myself from time to time wondering, what are these subpar search results I'm getting? And then realize I haven't yet set Kagi as default search engine on this devi…

My hunch is, in any sufficiently large rule set, there will be inconsistencies. Handwaily think Gödel, or just the need for bounded domains in DDD. Humans (or, well, AI) is needed …

My notes on using Haskell: mostly agree with the article, but I came to embrace rolling my own tooling, some abstraction on top of cabal. I use my abstractions, not what whoever wo…

I recall someone pointing out, AGPL only affects offering the same core functionality over network. So you cant monetize exposing as is. But you can use as a backend component. Lot…