Certhas

41 ms·

511.
by Certhas 3y ago
There are a lot of people who could benefit from git (or who are forced to interact with it sporadically) for whom this is a real problem. The problem is also, if you don't use it daily git knowledge decays fast. There is a piece of ad
512.
by Certhas 3y ago
Talking about the gameplay outside the dialogue is a bit silly though. Why people still love it are writing and plot. The mechanics were simply the bog standard mechanics of the day and don't matter much. Which games would you say have
513.
by Certhas 3y ago
That's just a rhetorical slight of hand though: "We don't understand how the body metabolizes what it ingests, and what is healthy and what isn't! Every theory is wrong and has been overthrown! Therefore it's imposs
514.
by Certhas 3y ago
Are you familiar with the lengths people go to to make C work in the "life saving technology" contexts? Your argument is essentially: My thinking is clear and correct, I just can't explain to the compiler why it's correc
515.
by Certhas 3y ago
Meh? They are VC funded and this is the pitch to the VCs in order to get money. Obviously this is not convincing on a technical level yet. But it's also really interesting as a design. And while the code isn't open source, I for o
516.
by Certhas 3y ago
> I don't recall reading the claim about running arbitrary Python code The term superset of Python kind of implies this I think. Beyond the runtime reflection, Python also has eval.... :D
517.
by Certhas 3y ago
It looks like the Mojo work in parts grew out of MLIR and Lattner has repeatedly stated that he wants less compiler magic and more control in the hands of the programmer (indeed MLIR, which Clang might also move to [1], is directly exposed
518.
by Certhas 3y ago
The benchmarks they give here [1] show generic code on par with specialized libraries that are typically written in assembler. These are vastly faster than naive C implementations, so your pet peeve really does not apply here. [1] https:&#
519.
by Certhas 3y ago
Lots of snark here, but from following the development vaguely, and looking beyond the marketing speak: Mojo is aiming to be a state of the art systems language that has Python embedded seemlessly. It's exactly the other way around fro
520.
by Certhas 3y ago
askhistorians is an extreme example. They basically change the entire nature of the site through very visible moderation. But my understanding is that places like r/physics would be drowning in lazy memes as well. Take any subreddit yo
521.
by Certhas 3y ago
This is very short-sighted. The best places on reddit are good dude to stringent moderation. They are all going dark in response. This will remove all quality from Reddit and finally turn it fully into a meme and porn dump. In recent years
522.
by Certhas 3y ago
P.s.: Here is the European Commission on the use of capacity renumeration: https://energy.ec.europa.eu/topics/markets-and-consumers/cap...
523.
by Certhas 3y ago
Depends on operating regime, but newly installed pumps typically are used in a way that gets close to 3. You can generate electricity with a gas power plant at 50%, use that to operate heat pumps, and you will warm your house more than dire
524.
by Certhas 3y ago
Agreed. That's the idea behind capacity markets, but the idea to pay people for capacity rather than for energy provided seems to be politically difficult, and (some) economists argue it's not needed.
525.
by Certhas 3y ago
And its more expensive than estimates for storage+renewables over its intended lifetime. With nuclear you pay extra to have to change the system less...
526.
by Certhas 3y ago
No need to guess... If you watch about any talk on climate change mitigation it will start with a chart that shows which sectors use which amount of energy. It's literally the introduction of the IPCC Report WG3 Report on energy: http
527.
by Certhas 3y ago
They are saying correctly that we _can_ understand the learning of models in a continuous fashion, and that we do not need to assume that at some stage something different than at other stages happens. So no emergence. This is massive becau
528.
by Certhas 3y ago
Please show a single publication that does what you claim it does. A single one. I don't think they exist, or if they do they will not be the prominent highly cited ones. Yes, storage and methanation and electrolysis are expensive. The
529.
by Certhas 3y ago
Glad it came up again. I missed it the first time. I am a complex systems scientist and its hard to overstate the importance of this. The fact that there are reasonable metrics that make the emergence completely predictable as a simple thre
530.
by Certhas 3y ago
Power2Gas has been a major topic. And the idea that this will become highly relevant in about a decade is behind the idea to allow Gas infrastructure investment as Green in Europe. This means Hydrogen but also synthetic natural gas. https:
531.
by Certhas 3y ago
I am not sure I see the point of continuing this. Other than I initially thought you clearly are knowledgeable, yet you refuse to cleanly argue your point. You attacked me directly for bringing up that storage has a role to play in nuclear
532.
by Certhas 3y ago
The TSOs coordinate in ENTSOE, they are not responsible for actual energy production. But they are responsible for many aspects of system stability, and ENTSOE also coordinates security of supply studies. How to make sure that everything th
533.
by Certhas 3y ago
> You can overprovision generation, you can build dispatchable storage solution or dispatchable alternative generation source. Every model I have seen does that. And for Europe at least that total cost of doing all that is below nuclear.
534.
by Certhas 3y ago
I semi-regularly talk to people that plan the European power grid, yes. At the core of extension and development studies is still an optimal power flow, which is an economic optimization. Stability (which has many meanings here) is usually
535.
by Certhas 3y ago
Once you electrify your heat demand seasonal variability will massively increase, driving down load factors dramatically. Today electricity accounts for 20% of energy use, European estimates see that going up to 50% by 2050. A large chunk o
536.
by Certhas 3y ago
Julia (maybe by virtue of being a Lisp?) is tuned for the "lone genius developer" use case. Its feature set for enabling working in teams, where you'd want more well defined interfaces, explicit structure, control, checks, en
537.
by Certhas 3y ago
For the benefit of the bystander: this person actually has no idea what energy seen planning looks like in real life. Economic optimization is absolutely at the core of it. Energy System Models (Essen) are economic optimization models. Depe
538.
by Certhas 3y ago
This is such a weird take. The global high tech economy is tightly intertwined. The EU is an integral part of that, and in many areas is doing perfectly fine. Further European policymakers have for the last two decades done an overal excell
539.
by Certhas 3y ago
Also: Renewables have downsides, but they are vastly cheaper and more proven. There is no reason to assume that the downsides of various other techs are in any way more manageable. (And ironically some of the solutions proposed for the down
540.
by Certhas 3y ago
The article talks about this explicitly though. Reasonably good models are running on raspberry Pis now.

More ›