Certhas

25 ms·

391.
by Certhas 2y ago
I think that's a valid point. Maybe Google culturally will not be able to turn around. Not because crappy product, but because of lack of focus. That said, Google is still printing money and increasing profits and revenues. Nothing lik
392.
by Certhas 2y ago
AT&T: 15B$ net income, world largest telecom company. #13.0n Fortune 500. GE, while a reasonable example of a company that declined severely from its peak, was still generating 9B$ in income on 2023 before being split in better focused
393.
by Certhas 2y ago
All of the companies I cited are hugely profitable. They might not be as large as they once were, or as important, but a business that has non-declining net income in the billions is not in a death spiral. IBM has shrunk a lot, but except f
394.
by Certhas 2y ago
In 2023 the revenues of Google Cloud, Youtube Ads and "Google Other" and Google Network Members Ads were 130B combined. If they could reduce headcount and operating expenditures to 2019 levels without losing that, they would be ro
395.
by Certhas 2y ago
The point is, if Microsoft managed, why wouldn't Google be able to reinvent itself?
396.
by Certhas 2y ago
Theorem provers work like this: the axioms are input, then there is a program (using libraries) that transforms them, and the output of that program is the theorem. If the runtime is correctly executing the program, then the theorem is prov
397.
by Certhas 2y ago
Any examples of this actually playing out with a company as established as Google? You can read comments like this on many companies... Microsoft (70B$ income), Meta (40B$), Oracle (8.5B$), IBM(7.5B$), SAP (6B$), yet none of them seem to ev
398.
by Certhas 2y ago
Your analogy to buggy implementations in ordinary programming languages is deeply flawed though. The things formally defined and stated are proven. There can be no bugs in a library that lead to formally stated theorems being erroneously pr
399.
Empirical Evidence show climate damages of 19% of GDP for the next 26 years(nature.com)
3 points by Certhas 3y ago|1 comments
400.
by Certhas 3y ago
We now have decades of data of a world that is 1-1.5 degrees warmer. A precise analysis of how the world has reacted to this warming shows empirical evidence that climate change has a dramatic effect on economic productivity already. Analyz
401.
by Certhas 3y ago
I was looking at what Mojo is doing for the first time in half a year or so the other day. It seems to be coming along nicely as an "easier to use Rust with first class Python and MLIR interop". At first glance, it looks like what
402.
by Certhas 3y ago
I would go with the definition of a blunder as a move that you instantly recognize as wrong once you see the response. So the definition is relative to your own skill level. It's at least partly a property of the game itself. If the ga
403.
by Certhas 3y ago
It's not tautological, though. Your position can gradually deteriorate until it is not salvageable anymore. In that situation we say that the opponent outplayed you. The fact that the switches in probability occur suddenly is highly re
404.
by Certhas 3y ago
If you have a job to do, use standard data structures implemented in a high quality library.
405.
by Certhas 3y ago
If I run a simulation workload it's pretty easy to generate gigabytes of data per second. CSV encoding adds a huge overhead space and time wise, so saving trajectories to disc for later analysis can easily become the bottleneck. I have
406.
by Certhas 3y ago
Meh. Crypto is still a waste of resources that had no reason to exist. The modern art market hasn't crashed yet either, and homoeopathy is booming, too last I checked. Just because it's stupid and useless doesn't mean you can
407.
by Certhas 3y ago
Look at AMDs vs Intel. They have now surpassed Intel in terms of CPUs sold and market cap. That was unthinkable even six, seven years ago. It makes perfect sense that, organisationally, they were focused on that battle. If you remember the
408.
by Certhas 3y ago
Isn't that a feature/problem of every dynamic language?
409.
by Certhas 3y ago
Sorry but bullshit. Electricity prices are made up of taxes, subsidies and everything in between. There is no causal relationship between high share of renewables and high electricity prices in Germany. If you have any argument or evidence
410.
by Certhas 3y ago
Thank you, that's the kind of point I was looking for. Why does JxB scale quadratically? Because a stronger field can contain (linearly) more current?
411.
by Certhas 3y ago
Likely related to? As in you pulled this idea from thin air and pop science reading? Electricity prices are mostly political. Fossil has been heavily subsidised throughout its lifetime, as has nuclear. French prices are lower because their
412.
by Certhas 3y ago
If someone is knowledgable on this: What does this mean for ITER? Any chance to retrofit new magnetic technology into ITERs design?
413.
by Certhas 3y ago
... which is considerably more expensive than solar + hydrogen.
414.
by Certhas 3y ago
Several years ago, the number one complaint you could read on this forum on Firefox was that Chrome felt snappier. Firefox is irrelevant today because the supposedly highly sophisticated users decided based on feel. Smooth animation perform
415.
by Certhas 3y ago
The article explicitly discusses both. Versions for low dimensions that have favorable properties, and those for high dimensions. The method you propose is not used in high dimensions in practice as it would involve evaluating order n^2 tri
416.
by Certhas 3y ago
Nothing. At least not for any precise definition of "just as wrong" that would be useful. There is, today, not a single terrestrial observation in contradiction to GR and QM. We have an incredibly good understanding of the fundame
417.
by Certhas 3y ago
Seems to me that the main critique was from someone who didn't understand the specified problem, and complained that this didn't solve a more general one. (... and probably wasn't aware that the assumptions made in the specif
418.
by Certhas 3y ago
Because "better" products don't magically win.
419.
by Certhas 3y ago
Humans did research and remembered sources before the Internet was a thing. But also, can you give an example where an LLM with access to the Internet can find a primary source? I don't think learning to refer to sources is something i
420.
by Certhas 3y ago
LLMs don't have a concept of sources for their statements. Ask them to give you some literature recommendations on something it has explained to you. You'll get plenty of plausible sounding papers that don't exist. Humans kno

More ›