upghost

22 ms·

271.
by upghost 2y ago
I think the point is that this type of content of the message usually goes on something like an engraved plaque or a something that would go in a public records office. In fact, no one would have even clicked on this story and it would not
272.
by upghost 2y ago
It feels like there's a lot of really interesting stuff going on with Prolog these days. I don't remember seeing much about it and now it's like I see it everywhere. Would be very cool to native compile some tools like DCGs a
273.
by upghost 2y ago
Great questions. What initially attracted me to it was Definite Clause Grammars[1]; easier to use than regular expressions and turing complete. This solves my bidirectional parser problem and my elegance problem. At first I did not expect
274.
by upghost 2y ago
Dave is a stellar instructor with a bottomless well of knowledge. One of the few people I go to when I have a Python question I can't figure out. I've taken every course he has available: compilers, lisp, raft, and advanced python
275.
by upghost 2y ago
He has a whole course on compiling https://www.dabeaz.com/compiler.html
276.
by upghost 2y ago
Hot take: SICP and SD4F "considered harmful (without counterpoint)"*. Why? The modus operandi of problem solving in these books is object oriented programming masquerading as functional programming, and it is presented as a _neutr
277.
by upghost 2y ago
I think you are making my point more eloquently than I could. A perfect transformer cannot add information to a dataset, a (self-aware, sentient) reasoning human can. Perhaps at this point we are merely speculating on an existence proof-- w
278.
by upghost 2y ago
No, not even close. We are not "tabula rasa"[1] or blank slate*. If you would actually like to understand why, some good books about this are "The Self Assembling Brain"[2] and "The Archaeology of Mind"[3]. [1]
279.
by upghost 2y ago
> let us be clear that a «Perfect transformer architecture», in order to correctly perform induction of the dataset (and «generalize over» it), must also be a "perfect" reasoner. Respectfully, this is false. The easiest non-tec
280.
by upghost 2y ago
Isn't it, though? Interesting -- I'm surprised this joke didn't land harder. Thought experiment-- let's say you have the PERFECT transformer architecture and perfectly tuned weights with infinite free compute and instant
281.
by upghost 2y ago
"MIT Researchers have yet to discover self-aware sentient dataset. In unrelated news, Sam Altman promises with another 7 trillion dollars he can turn lead into gold. 'For real this time,' claims Altman."
282.
by upghost 2y ago
Wow thanks for sharing, I had never heard of CMAES before. Very excited to play with this!
283.
by upghost 2y ago
I would encourage you to check out the "No Free Lunch" paper[1]. tl;dr the correct approach depends on the problem, there is no approach that is superior to all others. There are a provably infinite number of optimization proble
284.
by upghost 2y ago
I think we are agreeing. I'm not claiming the comments are incorrect in the regard you are mentioning, I mean to say that the paper is conflating genetic algorithms (GAS) as tho they are the only sort of EA. Words mean things and my g
285.
by upghost 2y ago
This article uses the term "evolutionary algorithm" far too narrowly and it is causing a lot of confusion in the comments. I would STRONGLY recommend checking out the book "Evolutionary Optimization Algorithms" by Dan S
286.
by upghost 2y ago
Scryer Prolog meetup on the 7th/8th if Nov in Vienna if you happen to be around and into this sort of thing :)
287.
by upghost 2y ago
Power of Prolog. Nearly every video is mind blowing. Blog is great too, and Markus is a great guy also. https://youtube.com/@thepowerofprolog https://www.metalevel.at/prolog
288.
by upghost 2y ago
last two comments mentioned it... is "your time is free" a new pejorative for "loser" or something?
289.
by upghost 2y ago
I'm going to assume "selecting a username" :D
290.
by upghost 2y ago
This is a really tragic story. It seems to present the impossible dillema. On the one hand, the beauty of "video-game-like" things is people who feel like they have nothing can have something that is theirs. On the other hand, i
291.
by upghost 2y ago
Love the idea of ndarrays of first class functions, although I'm still trying to figure out what I'd do with all that power...
292.
by upghost 2y ago
Love the shoutout to Adam B. Dude has helped me so many times. He has a criminally under appreciated YouTube channel where he solves pretty complicated problems in real time at the REPL and talks his way thru and by the end of it you actua
293.
by upghost 2y ago
YAY!! Thank you! I feel like there is "so much Prolog" that is not really widely known about, it's not like it's burning up the blogosphere unfortunately. I had no idea the ILP methods in the Bratko book were already so
294.
by upghost 2y ago
tl;dr furbies
295.
by upghost 2y ago
Kudos to the authors. It takes some fortitude to try to make a contribution to something as fundamental and ubiquitous as the "if" statement. Appreciate providing the grammar and the thorough explanations, will save a lot of pai
296.
by upghost 2y ago
Yes, this book is an incredible gem. Hard to believe that one human wrote it. I've been attempting to mine its secrets for a long time. Sometimes it makes me a little embarassed that I've probably spent more time trying to underst
297.
by upghost 2y ago
I've been trying to figure out to respond to this for a while. I appreciate the fact that you are pretty much the lone voice on this thread voicing this opinion, which I also share but tend to keep my mouth shut since it seems to be un
298.
by upghost 2y ago
Q as in maximum expected utility for a given move, Pig as in the dice game of Pig. https://web.archive.org/web/20140122073352/https://www.udaci... Yes, I know that you can get the Q value via RL with Bel
299.
by upghost 2y ago
Single handedly most important class in my career back in the day. It took me 3 months to really grok and generalize the Qpig algorithm, even my professors couldn't explain it. It's amazing how he never used the words "AI&quo
300.
by upghost 2y ago
Well this comment is about the article not LLMs so I doubt it will have much in the way of legs, but this work has already been covered extensively and to a fascinating depth by Jaak Panksepp [1]. His work explores the neuropsychology of em

More ›