DennisP

15 ms·

271.
by DennisP 10mo ago
I bought a Kobo for the same reason but when it came to buying books, none of the books I wanted to buy were on Kobo's store.
272.
by DennisP 10mo ago
Software verification has gotten some use for smart contracts. The code is fairly simple, it's certain to be attacked by sophisticated hackers who know the source, and the consequence of failure is theft of funds, possibly in large amo
273.
by DennisP 10mo ago
Maybe it's difficult for the average developer to write a formal specification, but the point of the article is that an AI can do it for them.
274.
by DennisP 10mo ago
I think that's a really interesting idea.
275.
by DennisP 10mo ago
Maybe. Depends on how many capacitors you have.
276.
by DennisP 10mo ago
You could also fill the context with just the book portion that you've read. That'd be a sure-fire way to fulfill Amazon's "spoiler-free" promise.
277.
by DennisP 10mo ago
I agree but for some reason, there are people who enjoy doing that. I think they should be allowed to do as they like. In any case, Amazon claims this feature is spoiler-free and that would be easy to implement. It likely works by feeding t
278.
by DennisP 10mo ago
And yet, some people enjoy doing that. I have no idea why but I think they should be allowed to do it. In any case, Amazon claims this is spoiler-free, which would be easy to implement by feeding only the portion you've read into the L
279.
by DennisP 10mo ago
I don't mind bezos using 1.21 gigawatts per request, as long as it's only for a very short time.
280.
by DennisP 10mo ago
The whole point of mass data collection is that you can check everyone to see if they should be targets of interest. And as societies get more totalitarian, what qualifies you to be a target becomes less and less dramatic. Doing this is
281.
by DennisP 10mo ago
So your claim is that this massive data collection, done at massive public expense, is not used at all? That seems unlikely. And given how good computers are at natural language processing these days, the data is more usable than ever.
282.
by DennisP 10mo ago
And despite the X-files spinoff and the best-selling Clancy novel, the administration kept repeating "nobody could have predicted this!"
283.
by DennisP 10mo ago
Just because it's in the training data doesn't mean the model can remember it. The parameters total 60 gigabytes, there's only so much trivia that can fit in there so it has to do lossy compression.
284.
by DennisP 10mo ago
That's why I said "mitigate" rather than "completely solve." Incentives are aligned better with two entities who check each other and earn ongoing fees, instead of giving a lump sum to a single entity. And the Nobel
285.
by DennisP 11mo ago
I do too, and for the same reasons. Levy's book had a huge impact on me in general.
286.
by DennisP 11mo ago
Whatever you define when you set it up. Donate to charity, give to your descendants, etc. Preferably the company would also have liability, giving the trust standing to sue. Then the trust spends some of their money on the lawsuit, and if t
287.
by DennisP 11mo ago
One way to mitigate that would be to put the money in a trust which pays the preservation company a monthly dividend. If the trust stops paying, the company can sue it. If the company goes out of business despite its ongoing revenue, the tr
288.
by DennisP 11mo ago
That's a way higher number than I expected.
289.
by DennisP 11mo ago
You're assuming that the AI's true underlying goal isn't "make paperclips" but rather "do what humans would prefer." Making sure that the latter is the actual goal is the problem, since we don't expli
290.
by DennisP 11mo ago
Also from the article: > Uber Intelligence will let advertisers securely combine their customer data with Uber's to help surface insights about their audiences, based on what they eat and where they travel. So the companies have the
291.
by DennisP 11mo ago
Transformers are general-purpose learning machines. Guessing the next token is what we initially train them to do, but then we add other training on things like giving answers that humans like, or doing math that's judged correct by au
292.
by DennisP 11mo ago
Long term, yes. Short to medium term, we can get things like the 2001 crash.
293.
by DennisP 11mo ago
I mean, what it kinda tells me is that people talk about tech stocks the most, so that's what was most prevalent in the training data, so that's what most of the LLMs said to invest in. That's the kind of strategy that works
294.
by DennisP 11mo ago
It would be extremely helpful to smart contract devs, to have an inexpensive automated tool that's really good at finding exploits of their code.
295.
by DennisP 11mo ago
Almost ever. There was an infamous exploit in 2010, which they fixed with a five hour rollback. https://en.bitcoin.it/wiki/Value_overflow_incident
296.
by DennisP 11mo ago
Contracts themselves can hold funds. Usually a contract hack extracts the money it holds. $3500 was the average cost per exploit they found. The cost to scan a contract averaged to $1.22. That cost should be paid by each contract's dev
297.
by DennisP 11mo ago
It's been nine years since the chain split, which happened within the first year. No irregular changes have been made since then. Two major hacks caused over a hundred million dollars in losses to Parity, a company founded by one of th
298.
by DennisP 11mo ago
What makes it a block chain instead of a tree is that there's a way to form consensus on which block is the next in the chain. What makes it different than database logging is that the consensus method is distributed and decentralize
299.
by DennisP 11mo ago
If you're climbing Everest, sure. If you're settling a new world, building a place to live with an economy, then the easier the better.
300.
by DennisP 11mo ago
Yeah that makes sense, especially these days. Even Zubrin's original Mars Direct plan sent a methane factory ahead of the people.

More ›