EDF: Je suis médusé

737 is old tech. I’m surprised they found something compatible to connect it to.

Yay. Can’t wait to switch back from Brave to Firefox.

Make that 9

After dissecting the Weather app via Task Manager, Windows Latest spotted nine Chromium processes powering it.

Does that mean social housing would only be accessible to Celtic people, excluding recent immigrants such as Angles, Saxons, Vikings, …?

A cloud provider is a single point of failure, even if it advertizes redundancy. Any org can be cut out if the account gets closed, or a miscunfiguration gets deployed on all the provider sites.

Give the list of every children enrolled at school. Everyone is at risk of unemployment if governments keep focus on individuals being at fault for being unemployed, rather than ensuring proper conditions and training are available to avoid unemployment.

It looks like Apple need to go back to the drawing board for their passkey implementation.

AI companies are growing fast the amount of money being burned into the LLM pit.

There’s huge potential for burning more money into this pit.

Not enough paperclips, apparently.

Yay. The Bundibugyo variant is the one causing the current Ebola outbreak in RDC.

Creating a vaccine may be the easy part. Then, it’s necessary to fund doses for RDC, find enough doctors and nurses to innoculate people in a region where an armed conflict is ongoing, half of hospitals are closed/destroyed, and many people mistrust health workers.

We’re talking about different kind of proofs.

Proving a program is correct requires a formal specification and a formal verification with mathematics and/or formal methods. ie proving the behavior and result perfectly match specification for all possible inputs.

A test only proves that a program 1) returns the expected output for a specific input, or limited set of inputs, and 2) appears to behave correctly, ie there may be undefined behaviour but they don’t cause an immediate crash.

Actually proving that C code is correct is not easy.

Having a human developer manually write code that is less harmful/wrong, and doesn’t require proof, is probably easier.

Human trials have now started.

:)

Is the money printing machine broken?

deleted by creator

La nouvelle est intéressante, mais est-ce utile de poster ça sur de multiples communautés simultanément ?

Je vois cette publication en triple sur ma page d’accueil. https://jlai.lu/post/41395268 https://jlai.lu/post/41395265 https://jlai.lu/post/41395264

Macron set a goal to plant 1 billion trees. There’s concern that the government will give out subsidies to replant burned forest with pine tree monoculture, if that makes it easier to meet the 1 billion goal.

“If you need extra hire, a friend is looking for a job, I could get you in touch”

This made my day.