HN user
So, we can run up to this number and either the machine will stop - and we'll go to the next one until exhaust the whole set - or the machine won't stop, and we'll refute the conjecture
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.
lol
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
No different from saying "The capsule splashed down off the coast of British Colombia"
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"
Is this an example of "wire wrapping"?
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)
this is neat, but the AP CS A ("AP Java") curriculum and test is extremely boring, and primarily tests for ability to write very basic Java programs using pencil & paper.
I think the college board threw out the actual computer science part (i.e. everything except java details) years ago.
how is this relevant to OP's concern?
most software engineers today are employed to solve unsolved mathematical and computer science problems or IMO-style problems.
Hi, some of us try to compete in AoC. For me that is part of the fun.
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.
Why is it unreasonable to have people in a government agency to address fraudulent colleges and stuff?
Do you feel the same way about the bureau of consumer protection in the US FTC?
What’s there to be afraid of, really?
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.
Large-scale solar:
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
It is very common for water projects.
I think it comes from reservoirs, since the area is measured in acres and the depth in feet.
NASA and contractors are also leveraging decades of research and billions upon billions of taxpayer dollars put into this industry already, or have the same opportunity for leverage and are failing to effectively leverage it.
Now do the cost for SLS based on the total cost to date for NASA and all contractors since inception, including the costs for Apollo and the shuttle.
This is not just inflated, it’s 100% bogus - this is not a reasonable way to estimate development costs for a launch vehicle.
the Wikipedia page for SLS references https://oig.nasa.gov/docs/IG-22-003.pdf
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.
Where did you get this $37 billion number? I don’t think SpaceX has had $37B of investment or revenue.
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...
Are you tall (> 6 feet)?
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.
[possibly spoilers, beware]
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.
CA’s grid certainly has problems today.
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.
What major potential and unmet demand for decades is this?
How often does it happen? I cannot tell from the article.
It currently shows ~17k out from 13M customers, closer to 0.1% than 1%
Build.
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.
why? these are optical telescopes
In my experience, the “oh it fails randomly sometimes” bugs are often in some random dull legacy infrastructure component where there is zero attention or celebration for fixing them, and so engineers tend to tolerate losing a bit of time once a week due to them for years rather than someone spending half a day to fix it for everyone.
… it vanishes when the companies fold?
I think the HN title is missing a “ … in the US” qualifier - looks like China has had several of these same model running for several years.
but when actually using the interpreter (and not running jit compiled code), is it as fast?
I don’t think the fact that jit compilers exist makes this sentence about interpreters untrue.
Also
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 don’t get the sense that horizon workrooms targets any of that. It appears to have a goal of recreating normal conference rooms with virtual tables, whiteboards, TVs.
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.