YeGoblynQueenne

66 ms·

1171.
by YeGoblynQueenne 2y ago
This will come across as vituperative and I guess it is a bit but I've interacted with Gwern on this forum and the interaction that has stuck to me is in this thread, where Gwern mistakes a^nb^n as a regular (but not context-free) lang
1172.
Forest keepers: Arhuaco balance modern and ancient ways – photo essay(theguardian.com)
1 points by YeGoblynQueenne 2y ago|0 comments
1173.
by YeGoblynQueenne 2y ago
And just to be clear, this is still not "convincing performance" since it is still the WYSIWIG model of robotics in the sense that it can only do exactly what you see it doing in the videos. It can fold a couple of shirts and a pa
1174.
by YeGoblynQueenne 2y ago
Mwell, the robot picking out the "laundry" from a basket next to the table is slightly more than I've seen before so at least they managed to combine two tasks that would previously be considered distinct (although note the v
1175.
Kong Yiji: The memes that lay bare China's youth disillusionment(bbc.co.uk)
2 points by YeGoblynQueenne 2y ago|0 comments
1176.
LLMs Orchestrating Structured Reasoning Achieve Kaggle Grandmaster Level(arxiv.org)
3 points by YeGoblynQueenne 2y ago|0 comments
1177.
by YeGoblynQueenne 2y ago
There's no -/2 operator in the initial definition of lookup/3 though: lookup(Key, dict(Key,X,Left,Right), Value) :- ! ,X=Value. lookup(Key, dict(Keyl,X,Left,Right), Value) :- Key < Keyl ,looku
1178.
by YeGoblynQueenne 2y ago
>> But causal reasoning is much more mysterious, and we are very far from figuring out a good mathematical formalism that a computer can make sense of. I agree with everything else you've said to a surprising degree (if I say the
1179.
by YeGoblynQueenne 2y ago
>> Organisms have had billions of years of training. You're referring to evolution but evolution is not optimising an objective function over a large set of data (labelled, too). Evolution proceeds by random mutation. And just be
1180.
How Far Is Video Generation from World Model: A Physical Law Perspective(arxiv.org)
1 points by YeGoblynQueenne 2y ago|0 comments
1181.
by YeGoblynQueenne 2y ago
>> In the 2024 UK general election, they got 14.3% of the vote. I don't think that's a "tiny minority". And if that's a "tiny minority", then the 12.2% of the vote Lib Dems got is an even tinier mino
1182.
by YeGoblynQueenne 2y ago
Ah, Algeria! Well, I'm Greek but I never miss a chance to try my French on :)
1183.
by YeGoblynQueenne 2y ago
Mmouais, quesque j'ai dit? C'est pas comme ça qu' on represente les matrices en Prolog. Pas comme une liste mais comme un terme qu' on utilise comme un tableau 2d (array) en row-major ordre. Sinon c'est le bordel. J
1184.
by YeGoblynQueenne 2y ago
This BBC article shows how seats moved between parties. The seats lost by the Tories mainly went to Labour and the Lib Dems: https://www.bbc.co.uk/news/articles/c4nglegege1o Reform's seats came from the Torie
1185.
by YeGoblynQueenne 2y ago
Labour won with 411 seats (up 211 from 2019) and 33.3% of the popular vote (9,708,716 votes) vs. 121 seats for the Conservatives (down 251) and 23.7% of the popular vote (6,828,925 ). YMMV but I call a lead of 290 seats and 2,879,791 votes
1186.
by YeGoblynQueenne 2y ago
Here's a more personal perspective. I first learned Prolog 15 ish years ago, in the second year of my CS (with games design) degree. The difficulty hit me like a ton of bricks. With no exaggeration it took me a week to figure out how t
1187.
by YeGoblynQueenne 2y ago
I've done the majority of my programming work in Prolog in the last 6 years, both in academia and for a brief stint in the industry (although that was with Visual Prolog which is a very idiosyncratic form of Prolog) [edit: oh, I forget
1188.
by YeGoblynQueenne 2y ago
Well at least the trains run... ... yeah, fuck it.
1189.
by YeGoblynQueenne 2y ago
The funny thing is that Labour is now 100% "like the Tories". It's the Tories who are no longer "like the Tories" and have morphed instead into a rabid populist party without real politics that bank instead on ident
1190.
by YeGoblynQueenne 2y ago
That's exactly how Keir Starmer's Labour won the last UK elections: "we're not like the Tories".
1191.
by YeGoblynQueenne 2y ago
What lessons haven't been learned? Keir Starmer's Labour won the last UK elections by a landslide and the Tories got the boot. I do think your analysis oversimplifies a complex issue. I'm not ignoring that Starmer got elected
1192.
by YeGoblynQueenne 2y ago
This is an honest question, I'm not American, I don't live in the US and I genuinely don't know: how has Donald Trump served the interests of "working people without a college education" during the four years of his
1193.
by YeGoblynQueenne 2y ago
>> Only 2 of the 9 LLMs solved the "list all ways" prompt, but 7 out of 9 solved the "write a program" prompt. The language that a problem-solver uses matters! Sometimes a natural language such as English is a good
1194.
by YeGoblynQueenne 2y ago
>> You’d be astonished how correct is this. No I know it first hand :) I'm also not a cross-disciplinary expert, to be clear. When I say it's hard, it's because I find it hard! My strength is in discrete maths and logic
1195.
by YeGoblynQueenne 2y ago
>> They’re basically the first model organism for researchers studying the neuroscience of language. They are not a biological organism, but until these models came about, we just didn’t have anything other than the human brain that d
1196.
by YeGoblynQueenne 2y ago
Oh, I didn't remember that Bratko had a chapter on ILP. I've met him in a couple of ILP conferences so I knew he's published work in ILP though [1]. The techniques described in the book are quite a bit older and, to be honest
1197.
by YeGoblynQueenne 2y ago
It is, yes. But it sounds like "Barbiecide" :P
1198.
by YeGoblynQueenne 2y ago
My thoughts on CoT and the extent to which it "elicits reasoning" align almost perfectly with the criticism of Rao Kambhampati and his students: https://arxiv.org/abs/2405.04776 Their argument is that CoT can
1199.
by YeGoblynQueenne 2y ago
Which textbook was that? I think that Bratko ("Prolog programming for Artificial Intelligence) is probably the most friendly to beginning programmers with a background in more mainstream languages.
1200.
by YeGoblynQueenne 2y ago
It's similar. Commenting my code (which I do, almost religiously) helps. It still taxes my brain to follow it. There's a certain kind of abstraction that is easier to write than read and understand. My current project is full of i

More ›