Live data from Hacker News

Viewing profile — rstuart4133

rstuart4133

HN member
Joined
Fri, Mar 28, 2014, 4:40 AM UTC
HN karma
2,747
Public activity
1,796 items

About rstuart4133

No profile information was provided.

Recent public activity

  1. comment
    Comment #49252832

    In related news "Big US‑style trucks are killing more pedestrians in Australia": https://theconversation.com/big-us-style-trucks-are-killing-...

  2. comment
    Comment #49229199

    You mentioned in your you were interested in seeing the 18A replacement for the N100 series. My understanding is the Wildcat lake 304 is that replacement, and it's been "released" …

  3. comment
    Comment #49221026

    What part of "Amazon's margin is a competitors opportunity" aren't you groking?

  4. comment
    Comment #49220971

    I have no idea what a drone factory is, but my mental image is a building with drone parts on one side, people assembling with glue, screwdrivers and soldering irons in the middle,…

  5. comment
    Comment #49208049

    > Why cut revenue to nearly half? Because, to quote Jeff Bezos, your margin is my opportunity. And did he ever squeeze every drop from that opportunity. Just ask the brick and mort…

  6. comment
    Comment #49207945

    > Read that phrase back and then ask "is this the future of computing that we wanted?" It is what I want. If you own a mobile phone it's unavoidable. The physical SIM is a guarded …

  7. comment
    Comment #49177543

    In Australia, the cause isn't a mystery. A judge ruled publishers are liable for defamatory comments. Within a few weeks, all the comment sections were gone: https://www.sydney.edu…

  8. comment
    Comment #49150919

    Yes, Norway leads. But it's not an apples with apples comparison. Norway is a smallish country (you can fit 24 Norway's in Australia - so less range anxiety), whose government push…

  9. comment
    Comment #49117834

    And this pairs nicely with Jane Street's observation that agentic coding changes the formal proof equation: https://news.ycombinator.com/item?id=49064854 Formal proofs of code are …

  10. comment
    Comment #49116637

    > invest in high risk shares because a big win is the only way to afford a nice home. Here I was thinking The Squid Game was a work of fiction.

  11. comment
    Comment #49115977

    You are being far too kind. A primate's body shape may be optimal for life in the trees, but it sure isn't optimal for any of the industrial or household tasks we want a robot to d…

  12. comment
    Comment #49104158

    If your objection is to someone giving an LLM a few dot points asking it to turn them into an article, then that clearly isn't what happened here. The research idea seems novel, th…

  13. comment
    Comment #49092447

    +1 This anti LLM crusade on HN is driving me nuts. It means I have to view with showdead on, because otherwise I miss clear, insightful and consequently interesting posts because s…

  14. comment
    Comment #49092277

    I'm not the OP, but I think he's saying something much simpler than that. Typically with a recursive algorithm, the state you need to push is tiny. Usually a word or two. But often…

  15. comment
    Comment #49091913

    > what "maintainable" is is probably some high dimensional space described by these signals; it'd probably require some human labeling to figure out where this space is Maybe, but …

  16. comment
    Comment #49077858

    > what should be done about open weight bioweapon and cyber-offense capabilities? Like the others here I know almost nothing about bio weapons, but I think perhaps the fact that sm…

  17. comment
    Comment #49077803

    > Closed-source: You can execute a program with the binary. You cannot generate a new binary, but you could try to reverse-engineer it or (painfully) modify its execution. Time hav…

  18. comment
    Comment #49077769

    > we have no access to the source materials and cannot reproduce the model independently. Given the USA companies have been loudly claiming the Chinese models are distillations of …

  19. comment
    Comment #49077527

    The takeaway quote from the article is: > The Lean library isn't just tested and validated, it's proved correct. This allows us to let AIs loose optimizing the code, requiring that…

  20. comment
    Comment #49076474

    It's kinda amusing copyright always seems to attract discussions about authors rights. It was never about author or their rights. It was and is a set of rules that allow money to b…

  21. comment
    Comment #49063264

    > Chinese models have government-enforced censorship, while American models have security and legal restrictions. They are both government enforced. The USA administration is using…

  22. comment
    Comment #49052777

    > However, in this task, the model was intentionally given no way to directly view the drawing. Opus 5 responded by writing its own computer vision pipeline to pull the geometry fr…

  23. comment
    Comment #49032972

    > This is honestly how I think about passkeys: they're a standard API for browsers and websites to integrate with password managers without needing a browser extension to manually …

  24. comment
    Comment #49016700

    > It’s the same as the patent argument. The Chinese are open-sourcing these models - meaning they are literally giving them away. That's starkly different behaviour from that which…

  25. comment
    Comment #49014786

    > I suspect if I showed a non-technical person with no background in either math or programming they would think both are nonsense until you explained it to them I doubt it. Greek …