Veedrac

46 ms·

541.
by Veedrac 6y ago
> "The number of steps the program needs to take" is not relevant to the calculation: we are trying to calculate the complexity of constructing the program by blindly combining a set of building blocks (BK predicates and metaru
542.
by Veedrac 6y ago
Certainly some people care a lot about factory farming. Even so, the key difference here is that brain function and intelligence are tied so tightly to the idea of human exceptionalism; that it is OK to enslave a horse but not a human, beca
543.
by Veedrac 6y ago
That'll mean an 8c/16t will catch up to a 4+4 core Apple will have a 8+4 core out soon, and likely much larger after that. Since they're so much more power efficient, they can utilize cores better at any TDP.
544.
by Veedrac 6y ago
Mostly a sweep in Apple's favour, though multicore is only 20-25% better. https://browser.geekbench.com/v5/cpu/search?q=4750U https://browser.geekbench.com/v5/cpu/search?utf8=%E2%9C%
545.
by Veedrac 6y ago
> You mean that I explicitly told Louise how to compose each program from its sub-programs. In truth, I did not. In the incremental learning problems for ordered/3 and ordered_leq/3 I gave Louise three learning targets and a fe
546.
by Veedrac 6y ago
The problem from the benchmark is automatically learning the function, to check three strings are ordered by length, from examples . What you are doing is categorically different, because you are manually guiding the search process by te
547.
by Veedrac 6y ago
> Aren't you shifting the goalposts a bit? No, I don't think so. My original comment was “I have looked at the program synthesis literature before and it really does not seem very advanced to me. The General Program Synthesis B
548.
by Veedrac 6y ago
I best summarized my claim when I said the following. Whether or not it's an ‘AI field’ is not very interesting to me, as long as the following holds. --- Like, my point is not about whether you can find the odd person trying to solve
549.
by Veedrac 6y ago
> For instance, you claimed that "GOFAI" successes just "aren't there" but I listed a few, like Deep Blue or MYCIN - and you didn't seem to have heard of these before (I'm more surprised about not known
550.
by Veedrac 6y ago
I don't think you've understood my point. At every step of the way you've put in more effort than writing the program and specifying the examples. Clearly this is not trivial. If you're actually inferring programs an
551.
by Veedrac 6y ago
You've just kicked the can down the road; what you've given there cannot solve, for instance, the same problem but with <= instead of <. I checked by running with positive_example(ordered/3,ordered(S1,S2,S3)):-
552.
by Veedrac 6y ago
Because GOFAI just observably doesn't work. The ideas are brittle, can't generalize and abstract the way is needed, has made very little progress recently (if any) an AI context, and you just _don't see_ anything that would a
553.
by Veedrac 6y ago
> You can consult wikipedia or e.g. the calls for papers from major AI conferences, AAAI and IJCAI, if in doubt. As to Wikipedia, see the second paragraph. The sections where it mentions, eg., symbolic or sub-symbolic approaches are pref
554.
by Veedrac 6y ago
Fair in turn. I'll try to do better next time :).
555.
by Veedrac 6y ago
> The point of the quote is to show there are no limits curtailing liberties, not an absolute we shouldn't bother. The attempt to spin the quote into something else, probably because, you wish to "protect the children" is
556.
by Veedrac 6y ago
I never said people couldn't respond to them. I said I wasn't going to debate it. Saying “so you admit defeat” (or the many, many variations) whenever someone exits a heated part of a debate is a textbook jab, and has no place in
557.
by Veedrac 6y ago
> Rather, it's Inductive Programming and more specifically Inductive Logic Programming (ILP), which is learning programs from examples, i.e. "incomplete specifications". I'm not familiar with the General Program Synth
558.
by Veedrac 6y ago
I believe this is a misquote. It's also a morally horrific line of argument. Like saying you shouldn't care about shooting civilians because bad people in the past have used human shields as a war tactic. These are not imagined pe
559.
by Veedrac 6y ago
This kind of comment is exactly why I'm avoiding the politics side of things. I don't want to subject myself to this sort of bad faith jabbing, as much as it comes with the topic.
560.
by Veedrac 6y ago
> Putting a backdoor into encryption is less secure than a random Microsoft employee backdooring me. At least I know it's Microsoft who will be doing the backdoor... My point isn't about how much you trust Microsoft, but that M
561.
by Veedrac 6y ago
> Because that worked out so well for HDMI? It'll be what, maybe 90 days before those "law enforcement keys" are public? This is a completely different context to having one copy (or a small number) of said low-bandwidth s
562.
by Veedrac 6y ago
While I know I'm just attracting downvotes, your points, in order: 1) a: It's really not that hard to think of ways to solve backdoor problems with a mix of technical and social approaches. For example, having shared keys burned o
563.
by Veedrac 6y ago
I don't want to dismiss automated provers, as they are often quality, useful tools (SAT solvers in particular), but if you're interested in learning AI , traditional approaches are no longer more than briefly and tangentially rel
564.
by Veedrac 6y ago
> Note that I did not use "pattern recognition" in a derogatory manner, neither did I say that anything is "just" pattern recognition. I think you may be mistaking my comment for a different opinion that you disagree
565.
by Veedrac 6y ago
It doesn't much matter what people wrongly thought in the past, any more than one has to study the four fundamental elements of water, air, earth and fire to become an expert in chemistry. GOFAI didn't work, hence the winter. If i
566.
by Veedrac 6y ago
GOFAI didn't work. ML is the only AI approach that ever did. Sure, your tree searches and your planners and your grammars and your knowledge graphs and your expert systems still have their places... but they're not AI, and they ne
567.
by Veedrac 6y ago
Yes, I missed the edit, I was only commenting on the first part. Quite a few things determine whether a fusion is doable or not. In addition to the number of destination registers, you do, to a more relaxed extent, care about source operand
568.
by Veedrac 6y ago
Ah, I get you now. Yes, this looks like a weak point, and I totally get why it'd screw with Javascript optimizations. I don't think it's a fusion problem; even if you did fuse these sequences, they'd still be bad, since
569.
by Veedrac 6y ago
Thanks for the reply but I'm not sure what you mean. Are you saying you want to add an i32 to a u64? Or am I completely misunderstanding? I'm not sure why unsigned-unsigned or signed-signed instructions would be hard. Idk about mi
570.
by Veedrac 6y ago
The (unfinalized) bitmanip extension has single-op rotates.

More ›