felixyz

9 ms·

31.
by felixyz 2y ago
Gleam reimplements (a large portion of) OTP and is interoperable with Erlang/Elixir code that uses OTP, rather than providing bindings.
32.
How Relational Algebra powers Klaro Cards(klaro.cards)
4 points by felixyz 3y ago|0 comments
33.
by felixyz 3y ago
Regular, reasonable person here. > Your body is your mind and your mind is your body. Full stop. This is completely unwarranted judging from the rest of your post ("in the very infancy", "nearly completely unknown", &
34.
by felixyz 3y ago
This is a good recent podcast on that very topic: How Louis Armstrong invented the modern pop star https://switchedonpop.com/episodes/how-louis-armstrong-inven...
35.
by felixyz 3y ago
This is good, but unless you're a minimal team of one or two (or even if you are), sometimes the best thing is to get a bunch of tweaks (say 5-10) done in a week or two, because it makes users feel like you care, and they might add up
36.
Academia.edu promotes poor metadata and plays to our vanity (2016)(ideophone.org)
1 points by felixyz 3y ago|1 comments
37.
by felixyz 3y ago
Is anything? Or is there a possibility they didn't intend for an implicit "literally" to placed in there?
38.
by felixyz 3y ago
According to Joe Gioia in "The Guitar and the New World: A Fugitive History", "the blues" as a term for ennui, depression, or sadness and later a style of music (or several, really) comes from the expression blue devil
39.
by felixyz 3y ago
Certain pesticides are confirmed causes of Parkinsons. Don't remember which now, but could look it up.
40.
by felixyz 3y ago
Great comment. Thanks!
41.
by felixyz 3y ago
> I think you might be a tad idealistic Agreed :)
42.
by felixyz 3y ago
So are you saying that Jane Street more or less bribed people who didn't really care for OCaml to come work in a weird language, by offering a good salary? I find that far-fetched, and there are many other examples of companies attract
43.
by felixyz 3y ago
Jane Street wasn't all that prestigious when they started using OCaml. The way they put it is "it was easier to find great programmers in the empty set of people who know OCaml than in the huge set of other programmers" (roug
44.
by felixyz 3y ago
Using something as monstrously bloated and needlessly wasteful as C would never have crossed my mind in those days.
45.
by felixyz 3y ago
Related to equality-constrained tree automata[1], which (as far as I understand) can "pick" an implementation/realization out of a huge latent space of possibilities. [1]: https://www.jameskoppel.com/publicati
46.
by felixyz 3y ago
I think the most relevant papers would be: "Relational completeness of data base sublanguages" "A data base sublanguage founded on the Relational Calculus" SQL is most similar to the calculus "sublanguage", so
47.
by felixyz 3y ago
It't just that everyone has the execution model of imperative languages so internalized, we mostly don't think about it. Same with OO semantics, not to mention various JS pitfalls - they are second nature to enough people that the
48.
by felixyz 3y ago
As I mentioned in another comment, SLG resolution (implemented in XSB Prolog and more recently in SWI-Prolog) does alter the execution model in a way that makes it easier to avoid extralogical constructs. And the wide availability of deeply
49.
by felixyz 3y ago
This is a good take, and historically accurate IMO. Rule engines were indeed marketed as a more practical way of getting the benefits of declarative rules, in a form where supposedly non-programmers would be able to maintain the rule base.
50.
by felixyz 3y ago
It's really not different from any other programming language, I think Prolog is just held to a higher standard, and I think that might be due to a misconception. Also, XSB Prolog and SLG resolution[1] should be mentioned. It solves so
51.
by felixyz 3y ago
I agree that the lack of types is a serious deficiency, but surely that can't be the reason Prolog lost steam? I mean... Python? As for modes, I'm not convinced they are really needed? I do feel they take away a lot of the beaut
52.
by felixyz 3y ago
What you describe sounds like the difference between Relational Algebra (steps) and Relational Calculus (no steps), as formulated by E. F. Codd. He called the algebra "procedural", for that reason, and by that definition functiona
53.
by felixyz 3y ago
It might partially have been inspired by Prolog, in fact. But it lacks backtracking and unification so I don't think it qualifies as an embedded Prolog system. Erlang allows so-called non-linear patterns (ie using the same variable for
54.
by felixyz 3y ago
Amen! TypeDB[1] is also doing interesting things. Work on incremental view maintenance is also carrying the deductive database vision forward, but under another banner, such as Materialize[2] (based on Datalog, but speaks SQL) or pgsql-ivm[
55.
by felixyz 3y ago
A gem!
56.
by felixyz 3y ago
"Relational programming" pretty much explains what it is, I think. It also makes it clear that functional programming (at least abstractly) is a special case of relational programming, because functions are special cases of relati
57.
by felixyz 3y ago
The fact that you need to understand the execution model is not a limitation or an accident: it's a feature. One of the aims of prolog is to PROgram in logic. There are plenty of other logical frameworks that you can use to formulate
58.
by felixyz 4y ago
The Incredibly Tangential Information must be another Culture ship?
59.
Learning Structural Descriptions from Examples (1970) [pdf](dspace.mit.edu)
35 points by felixyz 4y ago|0 comments
60.
by felixyz 4y ago
Thanks!

More ›