staunton

11 ms·

121.
by staunton 2y ago
Sometimes, the goal is to create an environment where people must break certain rules to get anything done, which everyone (including supervisors) understands, but by way of imposing those rules responsibility and liability is transferred
122.
by staunton 2y ago
> money is indeed being pocketed No. What amount (if any) is being pocketed is not apparent from such data. Perhaps contrary to your expectation, it's basically impossible to pocket money allocated for salaries (people would complai
123.
by staunton 2y ago
Working like that, it sounds like the standard model can explain literally anything...
124.
by staunton 2y ago
Being a very experienced programmer, I'm sure you know many such sources. Can you share any?
125.
by staunton 2y ago
> ... a threat to their business. For oil companies, so is hydrogen. Hydrogen is no threat to oil and gas companies, quite the contrary, as discussed by comments all around. For example, they can produce hydrogen from fossil fuels and j
126.
by staunton 2y ago
"2nm node" means "one technology iteration after 4nm". (Well, actually after 3nm, but let's not get even more into that nonsense) These numbers stopped having anything to do with the sizes of things a long time ago.
127.
by staunton 2y ago
What explosion are you referring to?
128.
by staunton 2y ago
I guess the argument there would be that this news makes it sound more plausible people could technically build LLMs which are "actually" "good"...
129.
by staunton 2y ago
Alternatively, human brains are just terrible at "high IQ symbol manipulation" and that's a much easier cognitive task to automate than, say, "surviving as a stray cat".
130.
by staunton 2y ago
> breaking things You mean: "killing people"?
131.
by staunton 2y ago
It's not just spectacle. It's destroying government agencies with decades of institutional knowledge on how to run the richest and most powerful country in the world. None of us even know most of what these interconnected institut
132.
by staunton 2y ago
> I don't really see it different than the artificial web3 hype It's also little different than the .com bubble... I think this teaches us that a thing can be hyped into the stratosphere, suck very much, crash and burn, and the
133.
by staunton 2y ago
> I would like to be able to block auto play by default across the entire Internet No problem, just use a different browser.
134.
by staunton 2y ago
This reads like word salad to me...
135.
by staunton 2y ago
My feeling is that most such diagrams are used for purely aesthetic purposes. They break up dense text and add some color and variety to a document. They can also provide some vague feedback to a reader on whether they understood the text a
136.
by staunton 2y ago
This website makes by browser freeze... No idea why. Not able to read the article.
137.
by staunton 2y ago
Are you suggesting it's easier to successfully sue OpenAI for copyright infringement if you live in China?
138.
by staunton 2y ago
Those theorems are only relevant if "reasoning" is taken to its logical extreme (no pun intended). If reasoning is developed/trained/evolved purely in order to be useful and not pushed beyond practical applications, the
139.
by staunton 2y ago
Set theory is the start of most maths right now but it only has been for about a century and this might change. Lean is based on type theory, not set theory. On the other hand, (some sort of) logic seems indispensable.
140.
by staunton 2y ago
It used to be less so
141.
by staunton 2y ago
Are there there parts of Alaska where people live and where you will not have wildfires (this century) close enough to at least significantly impact air quality? (I guess one could also consider parts where people don't live yet ...)
142.
by staunton 2y ago
> northern alaska could become pretty temperate If you're worried about wildfires, I'd look it up and reconsider Alaska...
143.
by staunton 2y ago
> Does the credit card company have a reason to do that? Yes. They want to make security researchers too afraid to publish their findings.
144.
by staunton 2y ago
> quick to de-orbit in the case of disaster or destruction. In case of destruction, the satellite breaks up into many individual pieces each having a potentially very different orbit. Many of those parts might then stay up longer than th
145.
by staunton 2y ago
> therefore tests are more suited to volatile software development practices. And having no tests is even more suited...
146.
by staunton 2y ago
> By its nature, formal verification discourages fast iteration. Not necessarily. You can develop the specification and implementation in parallel. That way, at every point in time, you could have a much more thorough and deep understand
147.
by staunton 2y ago
> currently maths is built on set theory most mathematicians will eventually agree with that when pressed. However, almost none of them know the axioms of ZFC by heart (because they don't need them). You can swap out ZFC for somethi
148.
by staunton 2y ago
That doesn't sound nearly as bad or serious as people dying.
149.
by staunton 2y ago
> A bridge that is missing support probably wouldn't have been opened to the public in the first place. That's not always been the case and came to be because people have died... Is anyone going to die if your codebase is an un
150.
by staunton 2y ago
> To me the most sad part is that it's all worthless. If Pepsi does better than Coke, I DONT CARE. And yet, tens of thousands of our fellow citizens toil away hours every day to try to convince us one way or another. And in the proc

More ›