felixyz

12 ms·

61.
by felixyz 4y ago
> Datalog was invented to extend relational algebra with recursion. I'm not sure that is exactly right. Do you have a reference? (Not trying to put you on the spot, I'm just curious to learn the history!)
62.
by felixyz 4y ago
Of all the anti-SQL screeds out there, this is my favorite as well. And Frank McSherry... well, everything he writes is gold.
63.
by felixyz 4y ago
Yes, sorry, I didn't mean that to come off as "if it's not open source, it's not worthy of attention". In the case of RelationalAI, as far as I understand there is no way to even try it out without becoming a custom
64.
by felixyz 4y ago
Thank you! They're coming, I promise :)
65.
by felixyz 4y ago
> if it was able to make outbound connections Does it even need that? I keep seeing developers who talk about how they've taken most of the boring parts of programming out of their daily work by relying on ChatGPT for easy stuff, or
66.
by felixyz 4y ago
> then I was left with "under which circumstances?" Foremost, Datalog has great compositionality, which is one of SQL:s big weaknesses (it was designed with completely different goals). Also, things like recursive queries are c
67.
by felixyz 4y ago
Great project, not open source alas. This is another great talk about RelationalAI (and its precursor), highlighting how using powerful databases can simplify complex applications: https://www.hytradboi.com/2022/experie
68.
by felixyz 4y ago
I really like TypeDB! Haven't been able to use it for anything serious yet, but have a couple of project brewing where it might fit :)
69.
by felixyz 4y ago
I did an interview [1] with Kevin Feeney, one of the founders (no longer active) of TerminusDb, which goes into some depth about the difference between RDF stores and (property) graph databases, where the former is more closely aligned with
70.
by felixyz 4y ago
When did the L in FLP enter into the vision? I heard SPJ talk about the project a couple of times in interviews, but don't recall him mentioning anything about Curry or logic programming. I'm thrilled they seem to be taking that p
71.
by felixyz 4y ago
People do use RLS for app user-level access control. It has been advocated by PostgREST for years [1] and also widely practiced by the PostGraphile community [2]. Hasura distinguishes itself by not actively advocating db-level access cont
72.
by felixyz 4y ago
Just curious: my understanding is Hasura kind of discourages using RLS in lieu of their own access control layer[1]. Did you consider pros/cons of either approach? [1] https://hasura.io/docs/latest/auth/a
73.
by felixyz 4y ago
Hahaha "written in Rust" is the HN equivalent of "draws on X and quantum mechanics". (No offense to Rust obvs, nor to quantum mechanics.)
74.
by felixyz 5y ago
This three-part series of (long) posts is a very thorough and fascinating counterpoint to the idea that computation was discovered and that there is anything surprising about the confluence of lambda calculus, Turing machines etc, mostly us
75.
The seven programming ur-languages(madhadron.com)
54 points by felixyz 5y ago|27 comments
76.
by felixyz 6y ago
Love this! Although I will almost certainly never have reason to apply it. (Still good inspiration for any big rewrite, and I'm starting one pretty soon.)
77.
by felixyz 6y ago
This talk is an excellent, very accessible introduction to point free style and some of its tradeoffs: "Point-Free or Die: Tacit Programming in Haskell and Beyond" by Amar Shah https://www.youtube.com/watch?v=seVSl
78.
How to Land Your Dream Job Using Relational Algebra(klaro.cards)
3 points by felixyz 6y ago|0 comments
79.
by felixyz 6y ago
And to complement that , I recommend Postgres Pager ( https://github.com/okbob/pspg )
80.
by felixyz 6y ago
Regardless, it would be fascinating if you ever found the time to write more about your mother's system, how she used it, how you experienced it, etc!
81.
by felixyz 6y ago
Depending on which types of constraints you need to express your problem space, you could use plain Prolog or (more likely) make use of excellent constraint libraries like CLP(FD) for SWI-Prolog [1]. It's important to note that these a
82.
by felixyz 6y ago
One of the main differences is that Picat allows both deterministic functions (like in functional languages) and non-deterministic predicates (like in logic languages), which often simplifies code and makes for more efficient execution (alt
83.
by felixyz 6y ago
Not completely lost! In some sections of industry, Rete-based rules engines are used pretty extensively. A very interesting take is Clara, implemented in Clojure: www.clara-rules.org
84.
by felixyz 6y ago
You're on my wish list for interviewees too :)
85.
by felixyz 6y ago
I don't believe we emulate a set of rules that were somehow arbitrarily created at some point in history. I believe logic is something we discover (not invent) and it has roots in both human cognition and the physical world, and it&#x2
86.
by felixyz 6y ago
That was one of the ideas of the Fifth Generation Computer Systems project, started in 1982 :)
87.
by felixyz 6y ago
Prolog-style logic programming is very different from SAT, SMT and Answer Set Programming in this regard. Prolog has the same features that you describe in Lisp. It's homoiconic, infinitely malleable, meta-level programming is trivial,
88.
by felixyz 6y ago
Yes. Logic wasn't conjured up from abstract ideas, but from a concerted effort to distill the essence of what humans (regular, average people) find reasonable and convincing. (To mention just one example, there is a reason one of Georg
89.
by felixyz 6y ago
So why aren't they using Clojure? I agree that people typically want to get from start to solving their problem as quickly as possible, and don't care about things that don't obviously contribute to that. But that doesn'
90.
by felixyz 6y ago
Love it.

More ›