rstuart4133

6 ms·

31.
by rstuart4133 2mo ago
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, the author put a bit of work into exploring the idea, th
32.
by rstuart4133 2mo ago
+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 someone to an dislike to am em dash. Dead posts are so fain
33.
by rstuart4133 2mo ago
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 you need a lot of temporaries to calculate tha
34.
by rstuart4133 2mo ago
> 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 "maintainable" has a simple defi
35.
by rstuart4133 3mo ago
> 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 smallpox's genome sequence has publicly available in s
36.
by rstuart4133 3mo ago
> 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 have changed. This should be: Closed-source: You point an L
37.
by rstuart4133 3mo ago
> 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 their models, also claiming "no access to source mat
38.
by rstuart4133 3mo ago
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 they update the proof whenever the implementat
39.
by rstuart4133 3mo ago
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 be made by publishing books and songs. Authors have a
40.
by rstuart4133 3mo ago
> Chinese models have government-enforced censorship, while American models have security and legal restrictions. They are both government enforced. The USA administration is using early access and export control restrictions to do thei
41.
by rstuart4133 3mo ago
> 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 from the raw pixels, then reconstructed the full machine pa
42.
by rstuart4133 3mo ago
> 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 look for and fill out text inputs on the page. But i
43.
by rstuart4133 3mo ago
> 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 drove patents and copyright. There are all sorts o
44.
by rstuart4133 3mo ago
> 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 letters convey almost no information, whereas (one hopes
45.
by rstuart4133 3mo ago
> they're precisely the same difficulties people have moving from the paradigm of "memorizing or writing down all my passwords" to "using a password manager." Errr, no. You can transfer a password from one manage
46.
by rstuart4133 3mo ago
> This is the first one of these announcements that has me actually scared of what comes next. This didn't set off your alarm bells? https://www.theblock.co/post/392765/ There have been a few of these now.
47.
by rstuart4133 3mo ago
I do strenuous exercise most days, where "strenuous" means I'm close to my aerobic limit. I can tell I'm coming down with something a few days before I feel sick, because it nearly pushes me over the edge of what I can
48.
by rstuart4133 3mo ago
> All I can say is skill issue. I regularly see claims by people that they have produced large, reliable bodies of code using vibe coding. Unfortunately, no vibe coded project I've used comes anywhere close to code reviewed by a hu
49.
by rstuart4133 3mo ago
Not disagreeing about the need for sentinel values, but Rust also has NonZero. When combined with Option, you get a similar result to outcome to C's -1. Similar because it's a compiler hack, as in the compiler treats std::num::No
50.
by rstuart4133 3mo ago
> they do seem to be causing fewer dollars to leave the country in imports. Hmmm. 2026-07-07 "Canada's trade surplus in May jumps to a four-year high as US exports surge": https://www.tradingview.com/news&#
51.
by rstuart4133 3mo ago
> This would be extremely difficult, I would say impossible from a practical standpoint. It's not only practical and possible, it's so common it even has a name in software engineering circles: change control. It boils down to
52.
by rstuart4133 3mo ago
> the anti-vax crowd kept talking about being found in the veins/arteries of folks who took the Covid vaccine? "The deal" is the clot issue was a problem for Astrazeneca. Astrazeneca is not an mRNA vaccine. It came out f
53.
by rstuart4133 3mo ago
> i dont think there is any software on the planet that i would consider "truly life changing", so i find it a bit weird to hold ai up to that standard. Off the to of my head web browsers, the algorithms that made WiFi / 5
54.
by rstuart4133 3mo ago
> has nothing to do with CO2 and seemingly everything to do with a lack of oxygen. If you lack oxygen because you can't breathe in, then CO2 will be building up because you can't breathe out. Neither sound like a good explainat
55.
by rstuart4133 3mo ago
> This is false. There are many problems with age verification, but the EU approach does not involve the id provider in the verification flow. The site requiring verification presents a QR code which encodes a presentation request and th
56.
by rstuart4133 3mo ago
Another fun fact: the body's suffocation response isn't caused by lack of oxygen. It's caused by high CO2 levels in the blood [0]. If your car floods the air with CO2, you will respond like someone is holding your head under
57.
by rstuart4133 3mo ago
> But if they reveal nothing, isn't it wide open for abuse? Good point, they do contain more information than "They are over 18". The primary (usually only) thing is who is attesting they are over 18. That might be the go
58.
by rstuart4133 3mo ago
> A few dollars per false claim seems like a good starting point to consider from. A nominal fee to lodge a claim seems more practical. No courts, no lawyers, just a government web form that pay for itself. It won't stop vexatious c
59.
by rstuart4133 4mo ago
https://archive.is/ziMkc
60.
by rstuart4133 4mo ago
> Keep dreaming of a technological solution -- there is none that does not lead to the world that FIRE is warning about, except to accept that we can only make a solution "good enough" and leave it at that, without expanding in

More ›