HNHacker News
TopNewBestAskShowJobs

lisper

57,863 karma · joined January 13, 2008

https://rongarret.info/
submissionscomments
lisper··on Why haven't quantum computers factored 21 yet?
But QC is quite plausible. There is no theoretical constraint that makes it impossible. It really is just an engineering problem at this point.
lisper··on Why haven't quantum computers factored 21 yet?
Yes, that's right. The ostensible idea behind subsumption is dead (because it was wrong). But what subsumption did was open up the possibility of putting the AI into the run-time feedback loop rather than the deliberative planning, and that is what all robotic control architectures do today.
lisper··on Why haven't quantum computers factored 21 yet?
No, LLMs are a real breakthrough even if they are not by themselves reliable enough to produce a commercially viable application. Before LLMs, no one knew how to even convincingly fake a natural language interaction. I see LLMs as analogous to Rodney Brooks's subsumption architecture. Subsumption by itself was not enough, but it broke the logjam on the then-dominant planner-centric approach, which was doomed to fail. In that respect, subsumption was the precursor to Waymo, and that took less than 40 years. I was once a skeptic, but I now see a pretty clear path to AGI. It won't happen right away, but I'd be a little surprised if we didn't see it within 10 years.
lisper··on Why haven't quantum computers factored 21 yet?
The comment you're responding to specified heaver-than-air. (And it should have been even more constrained: the real milestone was heavier-than-air powered flight.)
lisper··on Why haven't quantum computers factored 21 yet?
I'm sympathetic to this argument, but nearly every technological breakthrough in history has been accompanied by plausible-sounding arguments as to why it should have been impossible. I myself left my career as an AI researcher about 20 years ago because I was convinced the field was moribund and there would be no major breakthroughs in my lifetime. That was about as well-informed a prediction as you could hope to find at the time and it was obviously very wrong. It is in the nature of breakthroughs that they are rare and unpredictable. Nothing you say is wrong. I would bet against QC is 5 years (and even then I would not stake my life savings) but not 75.
lisper··on Why haven't quantum computers factored 21 yet?
> So how many gates are we talking to factor some "cryptographically useful" number?

That is a hard question to answer for two reasons. First, there is no bright line that delineates "cryptographically useful". And second, the exact design of a QC that could do such a calculation is not yet known. It's kind of like trying to estimate how many traditional gates would be needed to build a "semantically useful" neural network back in 1985.

But the answer is almost certainly in the millions.

[UPDATE] There is a third reason this is hard to predict: for quantum error correction, there is a tradeoff between the error rate in the raw qbit and the number of gates needed to build a reliable error-corrected virtual qbit. The lower the error rate in the raw qbit, the fewer gates are needed. And there is no way to know at this point what kind of raw error rates can be achieved.

> Is there some pathway that makes quantum computers useful this century?

This century has 75 years left in it, and that is an eternity in tech-time. 75 years ago the state of the art in classical computers was (I'll be generous here) the Univac [1]. Figuring out how much less powerful it was than a modern computer makes an interesting exercise, especially if you do it in terms of ops/watt. I haven't done the math, but it's many, many, many orders of magnitude. If the same progress can be achieved in quantum computing, then pre-quantum encryption is definitely toast by 2100. And it pretty much took only one breakthrough, the transistor, to achieve the improvement in classical computing that we enjoy today. We still don't have the equivalent of that for QC, but who knows when or if it will happen. Everything seems impossible until someone figures it out for the first time.

---

[1] https://en.wikipedia.org/wiki/UNIVAC_I#Technical_description

lisper··on Flunking my Anthropic interview again
> God actor

Oops.

lisper··on Flunking my Anthropic interview again
Yes, that's what makes it hard. You can't just fake it. It's is the same thing that makes acting hard. Good actors aren't faking it.
lisper··on Flunking my Anthropic interview again
> I can't turn my weird off

That might be your problem right there. Deciding you can't do something is always a self-fulfilling prophecy. How hard have you tried?

I learned to turn my weird off a long time ago. It wasn't easy. It took many years. It was painful at times. But I did it. If I can do it, you probably can too.

P.S. You might want to think about whether or not turning your weird off is something you actually want. Being normal comes with its own set of trade-offs. But if you are going to keep your weird you should do it because it's something you decide you want, not because it's something you decide you are powerless to change.

lisper··on Busy beaver hunters reach numbers that overwhelm ordinary math
> People gush about infinity, but I find it to be a pretty boring

You need to look at this:

https://neugierde.github.io/cantors-attic/

lisper··on Busy beaver hunters reach numbers that overwhelm ordinary math
This too:

https://www.mrob.com/pub/math/largenum.html

lisper··on A Lisp in 99LOC
Um, no?

    Python 3.11.6 (v3.11.6:8b6ee5ba3b, Oct  2 2023, 11:18:21) [Clang 13.0.0 (clang-1300.0.29.30)] on darwin
    Type "help", "copyright", "credits" or "license" for more information.
    >>> import lisp
    Traceback (most recent call last):
      File "<stdin>", line 1, in <module>
    ModuleNotFoundError: No module named 'lisp'
lisper··on A Lisp in 99LOC
Lisp in ~100 lines of Python:

https://flownet.com/ron/l.py

lisper··on The secret code behind the CIA's Kryptos puzzle is up for sale
Here's an essay I wrote 15 years ago about another "unreasonable" puzzle:

https://blog.rongarret.info/2009/12/worst-puzzle-ever.html

lisper··on Scientific fraud has become an 'industry,' analysis finds
I can tell you from personal experience that organizing a "fake" conference is beyond trivial. All you need is a topic that is narrow enough that all of the attendees know and like each other. I was an attendee at several such conferences back when I made my living publishing papers, and I was astonished at how easy it was to publish bullshit as long as it was the right venue, and how borderline impossible it was to publish anything that I considered to have actual value. (In my career I published dozens of conference papers, but only one journal paper and one book chapter.)

In actual practice what I found was that the principle driver of publishing success has absolutely nothing to do with the quality of the work, it has to do with how much your reviewers think that you might some day be in a position to review a paper of theirs. This is the fundamental problem with peer review when: career success is measured by quantity of papers published, the resulting dynamic is governed by game theory, not scientific merit.

lisper··on Scientific fraud has become an 'industry,' analysis finds
You don't even have to change the laws. Just changing the social norms would be enough. At the moment our social norms are that the ends justify the means. If you make money, or produce something that looks like a breakthrough, that is all that matters. How you did it, or whether the thing you did has actual value, matters not at all. As long as you've provided yourself with plausible deniability, that's good enough.

I know this because I've been the beneficiary of this system on multiple occasions, and it makes me sick. This is not the kind of world I want to live in.

lisper··on Does the Bitter Lesson Have Limits?
> search is a fairly simple control loop

That's like saying that Darwinian evolution is simple. It's not entirely wrong, but it misses the point rather badly. The thing that makes search useful is not the search per se, it's the heuristics that reduce an exponential search space to make it tractable. In the case of evolution (which is a search process) the heuristic is that at every iteration you select the best solution on the search frontier, and you never backtrack. That heuristic produces a certain kind of interesting result (life) but it also has certain drawbacks (it's limited to a single quality metric: reproductive fitness).

> Beam search is an example of TTC in this modern era.

That's an interesting analogy. I'll have to ponder that.

But my knee-jerk reaction is that it's not enough to say "put reactivity and deliberation together". The manner in which you put them together matters, and in particular, it turns out that putting them together with a third component that manages both the deliberation and the search is highly effective. I can't say definitively that it's the best way -- AFAIK no one has ever actually done the research necessary to establish that. But empirically it produced good results with very little computing power (by today's standards).

My gut tells me that the right way to combine LLMs and search is not to have the search manage the LLM, but to provide search as a resource for the LLM to use, kind of like humans use a pocket calculator to help them do arithmetic.

> If LLMs are coming up with effective search formulation for "open-ended" problems, that would be a big deal.

AFAICT, at the moment LLMs aren't "coming up" with anything, they are just a more effective compression algorithm for vast quantities of data. That's not nothing. You can view the scientific method itself as a compression algorithm. But to come up with original ideas you need something else, something analogous to the random variation and selection in Darwinian evolution. Yes, I know that there is a random element in LLM algorithms, and again I don't really understand the details, but the way in which the randomness is deployed just feels wrong to me somehow.

I wish I had more time to think deeply about these things.

lisper··on At a Loss for Words: A flawed idea is teaching kids to be poor readers (2019)
But do these characters correspond to sounds?
lisper··on Does the Bitter Lesson Have Limits?
No, I don't think that test-time compute is the same thing at all. It's a little challenging to find a definitive definition of TTC, but AFAICT it is just a fairly simple control loop around an LLM. What I'm describing is a merging of components with fundamentally different architectures, each of which is a significant engineering effort in its own right, to produce a whole that is greater than the sum of its parts. Those seem different to me, but to be fair I have not been keeping up with the latest tech so I could be wrong.
lisper··on Does the Bitter Lesson Have Limits?
Por que no los dos?

Thirty-five years ago they gave me a Ph.D. basically for pointing out that the controversy du jour -- reactive vs deliberative control for autonomous robots -- was not a dichotomy. You could have the best of both worlds by combining a reactive system with a deliberative one. The reactive system interfaced directly to the hardware on one end and provided essentially a high-level API on the other end that provided primitives like "go that way". It's a little bit more complicated than that because it turns out you need a glue layer in the middle, but the point is: you don't have to choose. The Bitter Lesson is simply a corollary of Ron's First Law: all extreme positions are wrong. So reactive control by itself has limits, and deliberative control by itself has limits. But put the two together (and add some pretty snazzy image processing) and the result is Waymo.

So it was no surprise to me that Stockfish, with its similar approach of combining deliberative search with a small NN computing its quality metric blows everything else out of the water. It has been obvious (at least to me) that this is the right approach for decades now.

I'm actually pretty terrified of the results when the mainstream AI companies finally rediscover this. The capabilities of LLMs are already pretty impressive on their own. If they can get a Stockfish-level boost by combining them with a simple search algorithm the result may very well be the GAI that the rationalist community has been sounding the alarm over for the last 20 years.

lisper··on IRS head says free Direct File tax service is 'gone'
Saying that people are voting against their best interests assumes that you know what those interests are. Maybe what they really want is not what you think they want, or what you think they ought to want. This is an attitude common among liberals. They know best, and if you disagree with them, you are simply wrong.

Electing Trump was a big FU to that attitude. The astonishing thing is that liberals are so cocksure of themselves that they have not yet figured out this simple truth and are still carrying on as if Trump were simply an anomaly rather than a predictable response to their own actions. The magnitude of the tone-deafness in the Democratic party is simply staggering. And I'm a Democrat, or at least I was until I realized how utterly incompetent they are.

[UPDATE] Ironically, the fact that this comment is being downvoted into oblivion actually demonstrates the very point I am making.

[UPDATE2] With regards to my saying that Democrats are incompetent, this is manifestly true at least with regards to 1) winning elections and 2) controlling Donald Trump. Maybe they are competent at other things, but that seems like a bit of a moot point to me under the present circumstances.

lisper··on Stanford’s Management Science and Engineering programs
I guess that depends on what you think the purpose of these titles is: to get people to click, or to tell them what the article is actually about so they can make an informed decision whether or not to click. If your goal is the former then just go with "The secret to everything! Best article ever written! Must read!" no matter what the actual content is.
lisper··on The Secret Stanford Program No One's Heard About
In this case I would have gone with something like:

Management Science & Engineering (MS&E): Stanford’s interdisciplinary hub

lisper··on Stanford’s Department of Management Science and Engineering
This particular clickbait title formula -- The X No One Has Heard About -- drives me nuts because it is so manifestly self-defeating. Obviously someone has heard about it. At the very least, the author of the piece has heard about it, and now all of their readers have heard about it too.
lisper··on Brave blocks Microsoft Recall by default
That’s great but I think that says more about your mother than it does about Linux.
lisper··on Brave blocks Microsoft Recall by default
I’ll tell you why I still use a Mac: it’s because my non-techie wife still uses one. Even then I still have to provide her with regular tech support. For someone like her using Linux is not yet a viable option.
lisper··on Mushroom learns to crawl after being given robot body (2024)
Remember the original scenario was "a child telling their parent to walk", so literally using language to communicate a high-level goal to a "lower-level" system.

I don't have kids so I have no direct experience with this, but I'm pretty sure that parent's don't actually instruct their kids how to walk. Kids figure it out mostly on their own. Parents might accelerate the process by giving guidance and encouragement, but even that probably is just another feedback channel. The heavy lifting is all in the kid's brain.

Contrast that with learning how to play chess. The latter is something that a higher level system really can teach to a lower-level one. Really good chess players eventually develop sub-conscious pattern-matching abilities that are very much like a motor skill, but before that happens a person first has to learn to play chess using slower deliberative methods, and they learn that through language. Other good examples are learning to drive, or fly an airplane, write code. But walking really is different. There's a reason that walking is not taught in preschool. (Physiotherapy is different. And as you yourself point out, some people figure that out on their own too.)

lisper··on The daily life of a medieval king
> unless those men are property

And unless those men are women.

lisper··on Mushroom learns to crawl after being given robot body (2024)
Sure. So? That doesn't mean that the conscious part (such as it is at that point) is teaching the unconscious part. You could actually test this by asking a two-year-old who knows how to walk to teach walking to a one-year-old with rudimentary language skills but who can't walk yet. I'd be very surprised if this intervention speeds up the rate at which the one-year-old learns to walk.
lisper··on Tough news for our UK users
> Kids need some sort of protection online.

Yeah. It’s called “parenting”.

← PreviousPage 9 of 34Next →