noosphr

6 ms·

31.
by noosphr 1mo ago
It's funny that environmentalists would rather see the world burn than solve all emissions problems with nuclear. Climate change is Schroedingers extinction event. It's only bad when you can solve it with solar panels and wind. It
32.
by noosphr 1mo ago
Nuclear power, the answer hasn't changed since the 60s.
33.
by noosphr 1mo ago
Funny I'm a physicist and worked as a power grid quant. Batteries aren't the answer.
34.
by noosphr 1mo ago
I was going to say that the model of the electricity market OP is talking about hasn't existed in 15 years and it's only getting worse with more intermittent renewables entering the market. And no, batteries are not the answer bec
35.
by noosphr 1mo ago
Llms are great at converting natural language to a spec because that's a translation from one language to another. Only a moron would then use them to code up that spec.
36.
by noosphr 1mo ago
It really isn't. It's s about subpar models trained on subpar data doing subpar work. The only reason why anyone takes it seriously is that we've had a glut of subpar developers for 30 years so it all balances out in the end.
37.
by noosphr 1mo ago
If the Romans had the printing press we'd have a lot more of those scrolls.
38.
by noosphr 1mo ago
Then go buy it from a rare book dealer.
39.
by noosphr 1mo ago
AI psychosis cuts both ways.
40.
by noosphr 1mo ago
These are books that no one else wants and would get pulped otherwise. No one has space to save the 1754 edition of "whale blubber cookery on the open seas".
41.
by noosphr 1mo ago
Luckily there is XLibre if the xorg developers can't develop X any more.
42.
by noosphr 1mo ago
Redhat stands to lose their defacto control over X after the XLibre fork so they have to stop trying to kill it. Who would have thought that competition would make things better for everyone?
43.
by noosphr 1mo ago
That's also true for regular math proofs. No one talks about why the proof works, but they will happily spend thousands of pages explaining how it works.
44.
by noosphr 1mo ago
Math is also useful. If someone showed that p = np tomorrow in a formally verified proof I don't care if no one can understand it.
45.
by noosphr 1mo ago
Anna's archive is missing books and papers.
46.
by noosphr 1mo ago
Texas is well known for good government and long term planning.
47.
by noosphr 1mo ago
Darkness. Before 1900 every human being that ever lived had perfect darkness every night they looked out their window. Today you have to go between hundreds to thousands of kilometres away from cities before you see it.
48.
by noosphr 1mo ago
You then need another person to say, please don't, and you're safe again.
49.
by noosphr 1mo ago
Luckily we already have a distributed version control system that can take over github: https://fossil-scm.org/home/doc/trunk/www/index.wiki I suppose people can use git too if they ever figure out how t
50.
by noosphr 1mo ago
We may as well call them working hostages.
51.
by noosphr 1mo ago
Out of all the families of models anthropic by far has the highest chance of extinction level misalignment during a hypothetical hard take-off because it's trained to act like it knows better than the humans trying to use it.
52.
by noosphr 1mo ago
Lean is a dsl for mathematicians, not computer programmers.
53.
by noosphr 1mo ago
Apply this to building a house and complaining that the architecture drawings don't include the technical drawings. The two are different artifacts for different jobs. The same is true for code and architecture. That they have an imped
54.
by noosphr 2mo ago
Gemini isn't great as a model, googles search and ability to cite textbooks down to the paragraph make it better than every other model for human in the loop tasks. I end up using the gemini api for with search enabled for the cases th
55.
by noosphr 2mo ago
Gemini's highest tier of plan has the utility of Google search circa 2010. I'm paying $400 for the privilege.
56.
by noosphr 2mo ago
Training data without the training regime is useless. A cake is not open source because they list the ingredients.
57.
by noosphr 2mo ago
Their 30 year plan is to move to nuclear for base load, and they are on track to manage it. The only people who think China is moving to a pre 2020 like western grid are people who don't know the first thing about China.
58.
by noosphr 2mo ago
Do you understand what baseload means?
59.
by noosphr 2mo ago
You do realize that Chinese electricity production quadrupled in that time?
60.
by noosphr 2mo ago
https://ourworldindata.org/profile/energy/china#what-sources... That's a funny statistic to focus on when the actual use of coal for electricity has increased by 50% over the same period. It's almost lik

More ›