upghost

25 ms·

301.
by upghost 2y ago
Amazing!! There was a chapter on this in my Prolog AI [1] book but I quickly realized it was a superset of the difficulty of high level Prolog programming, high level symbolic AI, and complex composition, and I knew it would have to wait un
302.
by upghost 2y ago
that's ok (T_T) I'll just imagine what it could've been like! I bet it was awesome!
303.
by upghost 2y ago
My 2 cents, it's hard for me to believe there is any animosity there. You don't have to take my word for it, you can just see what he says and does. But I've seen nearly every one of his videos and blog posts, read through m
304.
by upghost 2y ago
Strongly 2nd checking out Markus Triska's work. It's practically poetry. It's really surprising to see someone at his level, a software reliability researcher no less, retain that level of passion about something. Usually fol
305.
by upghost 2y ago
Ahh nice, I like this one!
306.
by upghost 2y ago
can you link your thesis? That sounds awesome!!
307.
by upghost 2y ago
Early systems were largely closed source, proprietary, licensed commercial systems. In some ways Prolog is 52 years old and in some ways it's 5 years old. ...I can relate...
308.
by upghost 2y ago
And this is the person who saved me from nearly dropping Prolog!!
309.
by upghost 2y ago
I sympathize. I nearly dropped Prolog for this reason until I learned about term_expansion/2 and goal_expansion/2. If what Prolog is doing you consider incorrect, _make it_ incorrect. DCGs can be used to convert any data structur
310.
by upghost 2y ago
Let me thank you also for sharing those resources and acknowledging this is a tricky problem for newcomers. I do love Prolog and I used to think I was a very careful coder with significant attention to detail, but Prolog is exposing what
311.
by upghost 2y ago
Apologies, it was on the tips and tricks page. I'll repost here: Linearize Arguments Ensures that each argument position is a variable that does not occur elsewhere in the clause head. As an example, foo(a, p(X1), X) :-
312.
by upghost 2y ago
First of all let me say a big thank you for this extremely thoughtful and well crafted response, I genuinely appreciate it. On mobile and I want to dig into this some more tomorrow but let me start by addressing the last two points. "D
313.
by upghost 2y ago
Serious question, how do you deal with typos in functors? And is your techniques specific to the implementation of Prolog you use? Recently I had a maddening experience chasing this down: result(World0, move(robot(R), Dir), World) :-
314.
by upghost 2y ago
There's very little that's modern and most modern resources teach you bad habits and non-idiomatic code. For good habits and a good introduction: https://www.metalevel.at/prolog I like "Prolog Programming for
315.
by upghost 2y ago
that is prolog pseudocode. You would probably use the lists:nth/3 predicate. https://www.scryer.pl/lists Markus Triska has probably the best resources on modern Prolog. Just search for "Power of Prolog" on Yo
316.
by upghost 2y ago
Thanks, really appreciate the feedback. Mine is loud as all hell, too. I have some good soundprints on some bone conduction headphones that provide significant relief but I'd love for anything to be able to lower the volume on this suc
317.
by upghost 2y ago
They have functions but not first class functions. Think (the ability to make) a vector/matrix of functions rather than just numbers :O What could you do with that? I don't know, but I bet some pretty cool stuff.
318.
by upghost 2y ago
What did you switch to after that?
319.
by upghost 2y ago
I am kind of curious if you have to mentally keep track of the rank/shape/dimensions in your head or if there is some implicit/explicit convention for conveying that to the reader. Does tracking rank/shape become second
320.
by upghost 2y ago
Just looked at the github -- wait, you wrote BQN? My God. Is there any prior art on this -- arraylangs with first class functions? I don't think very many people realize how incredible the semantic power of BQN is. The idea of an
321.
by upghost 2y ago
Why is this getting down-voted without comment? Comparative analysis is taboo, now? I don't think Arthur Whitney would feel the least bit threatened by some Python code.
322.
by upghost 2y ago
God bless, my hat goes off to you sir. I have trouble wrapping my head around the concept of first class functions in ndarrays, let alone implementing it in hardcore APL. That has to be a feat on par with Hsu's Co-Dfns. Don't s
323.
by upghost 2y ago
Well if we are showing off sudoku solvers, it would be a sin not to share this one: sudoku(Rows) :- length(Rows, 9), maplist(same_length(Rows), Rows), append(Rows, Vs), Vs ins 1..9, maplist(all_distinct,
324.
by upghost 2y ago
Very nice! I like the readability-- not sure if thats just indicative of your style or the language, and the map construct is also nice. I don't remember any off-the-shelf map construct, at least not in Dyalog.
325.
by upghost 2y ago
Most people are put off by the symbols, that wasn't really the issue I had. So I do love APL and arraylangs, and learning them was really helpful in a lot of other languages. But they never became a daily driver for me not because of t
326.
by upghost 2y ago
Wait what? This is from first hand experience? Do you think you could describe "permanent relief" a little more? That sounds amazing. This is the first I've heard of anyone actually using Lenire, I assumed it was snakeoil
327.
by upghost 2y ago
I got downvoted for calling it a dog?? Now that's ruff!!
328.
by upghost 2y ago
Oh sorry there are actually huge performance benefits over a services based approach, because you're using the same memory space instead of serializing. This is particularly enormous for ML and data science space because of the work C
329.
by upghost 2y ago
That's a really interesting line of questioning! We have a mode called "embedded mode" where you run the python application first, THEN initialize the JVM and Clojure via the Python "javabridge" package. From th
330.
by upghost 2y ago
I'm assuming you mean "how well does JVM concurrency play with Python concurrency"? Python concurrency works perfectly well on its own, Java/Clojure concurrency works very well on its own, trying to pass multithreaded i

More ›