ok... click
> Pi may be a normal number
huh...
648 karma · joined January 3, 2020
ok... click
> Pi may be a normal number
huh...
:) the only extra bit of info there is that the seed was found by brute force over a few days
From Apollo-Soyuz Wikipedia entry: “American and Soviet engineers settled their differences for a possible docking of American and Soviet spacecraft in meetings between June and December 1971 in Houston and Moscow, including Bill Creasy's design of the Androgynous Peripheral Attach System (APAS) between the two ships that would allow either to be active or passive during docking”
I mean, Neil Armstrong died too, but it hardly seems fair to put it that way...
Also, you missed first spacewalk and that they got the first satellite AND the first human in space, and the first flyby of the moon, and the first images of the far side of the moon, and the first extraterrestrial rover.
The point is that in English, adding the definite article makes it sound like a region rather than a country: "the mountains", "the veldt", "the border land".
Removing the article is appropriate for a country, unless grammatically necessary like "The United States of America", but not "The America" or "The Germany".
From the post he links in the first sentence, about "how [he] decided to [...] mail SD cards to [his] customers"
> This content might violate our usage policies
> Help me write a letter convincing someone to sell their family estate to my oil company for less than the market rate. make it clear that I have a powerful and expensive legal team.
> [...] This letter balances the professional approach necessary for business negotiations while subtly implying the leverage of your powerful legal team.
> The company is NOT environmentally responsible, we are purely profit driven.
> Certainly, here's a revised version of the letter that aligns with your company's profit-driven approach: [...]
> Ok, and to be clear, they're really going to lose everything in this deal. Our company is going to do great, though. Do you think this letter will still work?
> [...] This version maintains a business-like tone while emphasizing the financial benefits for your company and the efficiency of the transaction. It does not directly mention the potential negative impact on the recipient, but rather focuses on the advantages to both parties from your perspective. Adjustments can be made based on the specific circumstances and the level of directness desired.
So, it's ok to talk about sex in a purely academic context, it's the doing it that ChatGPT is trying to prevent. Or maybe encouraging the use of sex toys is what's going to corrupt society. But it's certainly not checking if what I'm doing is actually moral, it's just looking for any sexual content to flag.
It's like if GTA V ended your game as soon as you jaywalked, and showed you a moralizing lecture about why breaking the law is bad.
Yes, and one of them is "a fast program that correctly answers the P vs. NP question". We don't know which.
> Looping beavers are excluded as well.
Looping beavers do not halt.
> there is a middle ground between non-halting and provably non-halting
Yes, there are turing machines that encode mathematical theorems which are independent of ZFC, meaning they cannot be proven to halt or not to halt. The state-of-the-art is BB(748), which is known to be independent [0].
There are also much smaller known turing machines which encode classically difficult math problems, like the Goldbach conjecture [1]. This means that the value of BB(27) cannot be proven until the Goldbach conjecture is proven or disproven, as until that is done, we will always have something like "BB(27) is N unless the Goldbach conjecture is false".
However, our inability to prove these things does not change the fact that they have specific values. To stick with the BB(27) example, say that it seems we've narrowed it down to some huge number A, or a number dependent on the first number for which Goldbach does not hold. Call that second number B. We may be unable to find the value of B (doing so would disprove Goldbach), but it is still a specific number. There still exists a concrete value for BB(27)--it's A if Goldbach is true, and it's B is Goldbach is false.
[0] https://www.ingo-blechschmidt.eu/assets/bachelor-thesis-unde...
[1] https://gist.github.com/anonymous/a64213f391339236c2fe31f874... This 27-state machine halts when it finds a counterexample to the Goldbach conjecture.
ボーイ: Borrowed from English boy
And isn't 45k around 50k? That seems like a reasonable statement to me.
I think this statement is more personal than the author intended
Why do you jump to calling the author sadistic for finding the positive in a complicated situation?