I bet French people can't wait for their electric bills to halve overnight! (/sarcasm).

On a more serious note, EDF, France's suppliers sells their provision as 99.99% clean, which is not wrong, I guess, but a good selling point to their business.

While the time and cost overruns are regrettable, it’s likely a welcome conclusion considering the Russian gas situation and the desire to phase out the last of their coal generation, which was bumped from the end of this year to 2027 in September 2023 by Macron.

https://app.electricitymaps.com/zone/FR

We in the UK phased out the last coal burner earlier this year.

We're building a 3.2GW nuclear power station at Hinckley, expected to start up in 2027.

Hinckley Point C startup date was pushed back to 2029 unfortunately. With that said, if it can get done, that is a substantial amount of energy that can offset current UK fossil gas consumption.

https://www.reuters.com/business/energy/edfs-nuclear-project...

https://en.wikipedia.org/wiki/Hinkley_Point_C_nuclear_power_...

https://app.electricitymaps.com/zone/GB/72h

COVID certainly buggered up things. Thanks for the correction.

Hopefully Sizewell C will get off the ground soon.

Too bad this github has latest changes 5 years ago, I wonder what they could update with LLMs, etc.

My guess would be not much. LLMs are pretty useless concerning anything novel. Maybe an LLM could update the docstrings?

I'm assuming they meant replacing the markov model with a modern language model, not having an LLM magically improve the repo.

That sounds like it'd give you no hope at all of ever learning muscle memory for it.

I feel this whilst learning (trying to) German: when I think "how I would say this in German?" I got nothing less than a blank on my mind. But I'm a good "speaker" though, and sadly, I feel I'm not going anywhere as well...

Watch Dark on Netflix in original German on repeat, great way to subconsciously make note of tones and pronunciation while also watching an awesome show. Be very intentional about it though.

Surround yourself in the language. In Germany we have almost everything dubbed, so you can watch pretty much any popular movie or TV series in German or read any popular book in German. Besides that there are also quite a lot of German productions.

Indeed.

For learners, I'd also currently recommend "Easy German" podcasts and YouTube videos, as they come in all skill levels, are free, and are well made.

https://youtube.com/@easygerman?si=EQdZPHMZ0lPNEl6V

The way I see it, it's not CS per se, it's about solving problems.

You hone that skill, and it will shape your future, whatever field.

You'll never be jobless having that particular skill.

Don't give up.

Great story, especially for a 9y! I love to know that one can rise to occasions given time and persistence and willingness to learn, at any age.

Thanks for sharing.

I once thought I lost a paper I'd written a while back (before OverLeaf and Cloud), and I've rewritten it only to find it back again: when I compared the versions, the second one had better sentences altogether. The core framing was there, but the quality was higher.

"Tell me how you measure me, I will tell you how I behave." Eli Goldratt

"When a measure becomes a target, it ceases to be a good measure." Goodhart's Law

"Eli, one unauthenticated metric is sent to https://metrics.corphq.yoyodyne.com/counterincrement in json format {"empid":"<employeeid>","workunit":"1"}, each time you complete a work unit."

Thank you for sharing this - very useful!!!

This reminds me of Eli Goldratt's quote: "Tell me how you measure me, I will tell you how I behave."

Parallel to Munger’s “Show me the incentives and I will show you the outcome” which I think all of us have or will realize for ourselves at some point in life.

Corollary: "If you do not measure me, I will not behave"

Strictly speaking this is not the contrapositive and therefore the proof is yet to be seen. A sound corollary: "If I do not behave, it is because you did not measure me."

Is a contrapositive a corollary? P implies Q is logically equivalent to Not Q implies Not P.

A corollary would be some other relation that can be deduced as a result of P implies Q, not simply a restatement of P implies Q.

(Using the discrete math definition of imply, not the colloquial definition of imply).

Yes, a corollary can be just the contrapositive of something you just proved. Sometimes it's even more trivial, like a special case of a general theorem you proved.

A very common use is to re-state something so it's in the exact form of something you said you'd prove. Another common case is to highlight a nice incidental result that's a bit outside the path towards the main result -- for example, it immediately follows (perhaps logically equivalent to) something that's been proven, but it's dressed in a way that catches the attention of someone who's just skimming.

This is coming very close to denying the antecedent, one of the most basic formal logical fallacies.

No, I’m gonna do what I want to do. If you hire good people “what they want to do” is going to be what they think is right. Which may or may not be.