2,096 karma · joined July 3, 2019
No, you do not refute the conjecture if you run up to this number and a machine does not stop. Finding a machine that runs for more than 47,176,870 steps is easy - there are plenty of machines that run forever. The trick is that it needs to stop.
right, it's a typo, it doesn't matter, and there was already a reply 4 hours before yours that said as much, so i'm not sure what you were aiming to contribute with the reply that doesn't acknowledge that it is a typo
"all the people complaining" = up to 1 person
except for the comma in the middle of the name, which was ytdytvhxgydvhh's point:
"The capsule splashed down off the coast of British, Colombia"
Yes
> If so what mechanism is actually holding the wire securely around those metal posts(terminals?)
The wire is wrapped around the posts several times, with no other mechanism. https://en.m.wikipedia.org/wiki/Wire_wrap has a good close up picture of one connection and a description of the details (including some info on how this forms a reliable connection)
I think the college board threw out the actual computer science part (i.e. everything except java details) years ago.
most software engineers today are employed to solve unsolved mathematical and computer science problems or IMO-style problems.
In several previous years I have rescheduled things so I can stay up until the problems are released in my time zone to see how high on the leaderboard I could get.
It is sad that the AoC leaderboard will now just be filled with GPT entries.
Do you feel the same way about the bureau of consumer protection in the US FTC?
Incinerating your life, trying all these new things, only to find that the emptiness returns shortly, and now it is no longer paired with a dependable income.
> requires 5.6 GW of solar energy. For context, this is roughly 10 days of solar panel production in 2021, though the industry continues to grow explosively. 5.6 GW consumes roughly 112 square km of land
I think it comes from reservoirs, since the area is measured in acres and the depth in feet.
This is not just inflated, it’s 100% bogus - this is not a reasonable way to estimate development costs for a launch vehicle.
> We project the cost to fly a single SLS/Orion system through at least Artemis IV to be $4.1 billion per launch at a cadence of approximately one mission per year.
> The cost per launch was calculated as follows: $1 billion for the Orion based on information provided by ESD officials and NASA OIG analysis; $300 million for the ESA’s Service Module based on the value of a barter agreement between ESA and the United States in which ESA provides the service modules in exchange for offsetting its ISS responsibilities; $2.2 billion for the SLS based on program budget submissions and analysis of contracts; and $568 million for EGS costs related to the SLS/Orion launch as provided by ESD officials.
The only figure for the development cost i can find online is “more than $500 million.”
From https://www.cnbc.com/2019/02/13/spacex-falcon-heavy-rocket-o...
I think people’s policies on reclining are probably significant impacted by how uncomfortable they are if the person in front reclines, which AFAICT is much more significant for tall people than people of median height or below.
> What I've loved about Sanderson is the plot turns are never Ex Machina. Every new development fits inside the rules of the world and deepens your understanding of what can be.
YMMV. I quite like Sanderson's books and magic systems, but IMO, the typical situation where key rules of the world are unknown to the reader and the characters until the end, when they are revealed in order to facilitate the ending, runs pretty close to Deus Ex Machina (in some cases literally). See conclusion of Mistborn 1 and 3.
more spoilerful commentary: Mistborn 3 - main characters all die. We learn that the main character suspected to be the hero of prophecy was not in fact the hero of prophecy, and the side character left standing is the real hero. Ok so far. Then we learn that the side character is not just a hero, but in fact is able to become a literal god and remake the world however they want, and this new god resolves all the problems just by wishing that they were resolved.
You refer to issues that are all within the past five years, not decades. The last significant problems before these were in 2000 & 2001, which were due to artificial shortages created by Enron, not physical infrastructure problems, had huge political implications, and which led to the development of the current resource adequacy program used in CA. (Which has generally worked pretty well but has been too slow in adapting to rapidly rising amount generation from solar).
But I misread your comment and thought you were talking about significant unmet electrical demand rather than deficiencies in the reliability & safety of the grid. (The late summer grid problems in the past 3 years are partially due to insufficient supply, but require only 1% or so additional supply in the critical hours of the day and CA is building to address that.)
In short, I don’t believe that chronic insufficient demand is a tenable political and economic position (even in CA…) and do not expect it to be tolerated and not fixed.
It does not appear that these outages are due to load, so I do not follow how they are relevant to a discussion of the supply required for EVs. Perhaps a separate discussion of how PG&E sucks? (And maybe SDPL and SCE too?)
The only solution to increased demand requirements is to build more generation. I do not know what you are referring to with “currently willing to do,” but whoever needs to be willing in order to build more generation will certainly become willing at some point.
I don’t think the fact that jit compilers exist makes this sentence about interpreters untrue.
> these are too niche for whatever Gates is trying here… for his billion dollar bet to succeed nearly everyone would have to be using his PC product.
I don’t think Microsoft / Gates had a “billion dollar bet” that’s comparable to what Zuckerberg is doing with VR and the metaverse.
Meta sells ads on a social network and is using money from that business to subsidize the development of VR applications on the theory that someday meta might make lots of money from VR.
Microsoft sold software for personal computers, made a lot of money doing it, and used that money to fund the development of more software for personal computers. At no point in this early history was there a billion dollar bet.
I can imagine that VR in general has some applications that are valuable, but this particular article is about the potential of replacing normal voice and video calls with avatars in a virtual conference room.