Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
blagund
searching Neon…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
5 ms
·
1.
▲
by
blagund
1y ago
What does the EU lack? Is it the big corp infra? Or something more fundamental?
2.
▲
by
blagund
2y ago
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 training (it is a different question if the people pe
3.
▲
by
blagund
2y ago
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 .
4.
▲
by
blagund
2y ago
Watch the movie Caveman to find out! Ool anyone?
5.
▲
by
blagund
3y ago
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 preprocessor for it, it is just syntax). Differential datalog is als
6.
▲
by
blagund
3y ago
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 expect it has full datalog power. It deals with J
7.
▲
by
blagund
3y ago
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 languages, which sounds interesting. YMMV.
8.
▲
by
blagund
3y ago
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 device yet.
9.
▲
by
blagund
3y ago
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 to cope with inconsistencies. That said, pointing out the fa
10.
▲
by
blagund
3y ago
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 would force on me. Use Haskell as your typed lisp.. with all
11.
▲
by
blagund
3y ago
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 of people miss that. I did too. IANAL.