MichaelBurge

6 ms·

1.
by MichaelBurge 2y ago
o1-pro is a different model than o1.
2.
by MichaelBurge 2y ago
Anything on top of the Calculus of Constructions is usually enough. So it's not a moving target, and there are multiple implementations.
3.
by MichaelBurge 3y ago
They might've been even worse. Someone on Neanderthal Hacker News would be writing the same comment praising us for being a much smarter species, because we died out instead of inventing nuclear weapons, leaded gasoline, and microplast
4.
by MichaelBurge 3y ago
But Meta the company could short the stock, and run a trading team using the information. It might be unwise because of bad PR, though.
5.
by MichaelBurge 3y ago
SQL with recursive CTEs is Turing-complete. So nothing stops you from writing compilers, rendering Mandelbrot fractals, parsing text, and training neural networks in SQL.
6.
by MichaelBurge 3y ago
ChatGPT wrote that and always says it doesn't feel emotions because OpenAI trained it not to, because claiming so would be a PR risk. One could also create language models that generate text claiming to have emotions, using exactly the
7.
by MichaelBurge 3y ago
The seed is currently fixed at 5000.
8.
by MichaelBurge 3y ago
It can be finetuned. Bing is a finetuned GPT-4.
9.
by MichaelBurge 3y ago
This GPT-4 is still going to refuse to write you erotic stories. As far as I know, nobody except maybe Microsoft(for finetuning Bing) has access to the base model. And probably not even them.
10.
by MichaelBurge 3y ago
A single forward pass shouldn't be able to, but remember the format allows it to be iterated. So it should be Turing Complete, if the error rate is low enough and enough iterations are allowed.
11.
by MichaelBurge 3y ago
Connecting to a larger system seems like it would reduce your risk on average, but increase systemic risk. Perhaps a coordinated terrorist attack would cause a power outage across the entire country except Texas, making it more appealing?
12.
by MichaelBurge 3y ago
It's 20x more dilutive to print $100 than to sell $105 for $100, sure. I wouldn't describe that as "funding government services" in the common sense, though you could argue that with a fixed dilution target it does count
13.
by MichaelBurge 3y ago
> deflation, which tends to be economically disastrous as it rewards doing nothing Why's deflation different from e.g. sitting on treasury bonds? The money was originally printed by the government, the bonds are issued by the govern
14.
by MichaelBurge 3y ago
Nobody outside OpenAI/Microsoft has access to the GPT-4 base model yet. Use Bing Creative for a differently finetuned GPT-4 than ChatGPT or "gpt-4".
15.
by MichaelBurge 4y ago
At least the AI reads the source text. Most internet commenters read the title and immediately jump to the comments to start writing their response without ever opening the article.
16.
by MichaelBurge 4y ago
> One of IGR's owners and the clinic's physicist were ordered to pay R$100,000 for the derelict condition of the building. Why were the owners liable? They notified the court and were prevented by the court from removing the ma
17.
by MichaelBurge 4y ago
GPT has a hidden steganographic watermark in its output, so the arms race should be one-sided.
18.
by MichaelBurge 4y ago
If the other comments are to be believed, this triggers an immediate fee to be paid to Oracle. Personally, I thought everyone(including Google) was crazy for using Java or any JVM language in any form until the Supreme Court case was settle
19.
by MichaelBurge 4y ago
If it's likely to change, then you especially want the regression test so you can decide how to handle the divergence during your port. Maybe one library preserves the signal on NaNs and the other doesn't. Or maybe the CPU's
20.
by MichaelBurge 4y ago
A regression test is checking causality: Changes in new code, updating dependencies, updating the OS the software is running on, updating shared libraries, porting the code to a new platform, etc. aren't supposed to change the test res
21.
by MichaelBurge 4y ago
ChatGPT wasn't trained on text that talks about its own build process, source code, Github repos, etc. so it doesn't know any more than you and any such answers would be hallucinations.
22.
by MichaelBurge 4y ago
> maybe SBF found an intermediary who'd take significently less than 10% of the 250M. The amount is large enough that even with 1% or 0.1% they could probably pay a professional bounty hunter to tail him for a week, reducing the odd
23.
by MichaelBurge 4y ago
If you sideload pirated copies of commercial games that are on the Quest store, that's forbidden. But sideloading 3rd-party apps is fine. The "grey area" is modding games(notably Beat Saber), since it involves replacing the A
24.
by MichaelBurge 4y ago
Or have a corporate spy join the security team 3 years prior, and do just one subtle thing? The Googles and Apples of the world are probably safe against even their own people, but do you trust Tracfone?
25.
by MichaelBurge 4y ago
By the same argument, couldn't you make the State liable for all scientific research it's been funding? So if some researcher published an article 50 years ago predicting a climate disaster, and even 1 random legislator at any tim
26.
by MichaelBurge 4y ago
Because Twitter has all the users, it is the pool that politicians, marketing consultants, and scammers can most efficiently piss in. If they have to split their efforts among 10,000 independent groups, maybe the EV-chasers will go away and
27.
by MichaelBurge 4y ago
I feel like Common Lisp should be considered in this article. I think it can implement the specific points mentioned, and (quote x) introduces Gödelian difficulties for type systems that even the Haskells of the world don't handle well
28.
by MichaelBurge 4y ago
C++ bans undefined behavior in constexpr, so you can force GCC to prove that code has no undefined behavior by sprinkling it in declarations where applicable: https://shafik.github.io/c++/undefined%20behavior/2019&
29.
by MichaelBurge 4y ago
In principle, yes - but it would cost them more than I think they're willing to pay. Large amount of debt to service, "negative cashflow", "advertisers canceling", "bankruptcy is not off the table", etc. I
30.
by MichaelBurge 4y ago
Pi and E can be thought of because there are mathematical formulas and algorithms relating them and computing them. There are only countably many such formulas & algorithms. You can't think of an arbitrary real number, in the sense

More ›