Tootfinder

Axel Springer's Telegraph begins layoffs, pledging to become an "AI-powered" global business; sources: up to 100 jobs will go, with culture and sports hit hard (Esther Addley/The Guardian)
https://www.theguardian.com/media/20…

Telegraph cuts 100 jobs as new owner promises to turn paper into ‘AI-powered’ global business
Redundancies come after paper was bought in June by European media group Axel Springer

The train between Luxembourg & Brussels is a joke. Not only is it slow and stays for more than 5 minutes in one station. #SNCB changed the destination on the fly to Arlon, kicked everybody out. Then the empty train continued to Luxembourg while everyone missed their connection. You can’t invent that.

Risque de forte affluence Š bord du train suivant (ce train circule en composition réduite) :
- PUMA, départ Montereau Š 17h14 - arrivée Paris Gare de Lyon Š 18h14.
Motif : train court
🤖 23/10 17:23

Anthropic says it partnered with Theorem to use Claude to formally prove security properties at the assembly level across 100 real-world open-source libraries (Anthropic)
https://www.anthropic.com/research/formal-verification

LLMs are making formal software verification feasible at a much larger scale
Claude formally proved security properties in the compiled code of 123 open-source libraries. Along the way, it found bugs that had eluded detection for years.

Un train stationne Š Porte Maillot vers La Défense en raison d'une gêne Š la fermeture des portes d'un train .
🤖 23/10 16:37

Un train stationne Š République vers Gallieni en raison d'un malaise voyageur Š bord du train .
🤖 23/10 12:15

#Google. I remember when Google said: "Don't be evil. We believe strongly that in the long term, we will be better served—as shareholders and in all other ways—by a company that does good things for the world even if we forgo some short term gains."
Times change, it seems.
‘Pure arrogance’: anger in Finland as Google illegally fells 250,000 trees for datacentre

‘Pure arrogance’: anger in Finland as Google illegally fells 250,000 trees for datacentre
Company ordered to stop work at two sites in country, which has found itself at forefront of tech firms’ latest push

Le train suivant voit son départ différé de 35 minutes environ : - PUMA, départ Montereau Š 17h14 - arrivée Paris Gare de Lyon Š 18h14. Pour les clients entre Moret-Veneux-les-Sablons et Melun prochain train : - POMA, départ Montargis Š 17h02 - passage Moret-Veneux-les-Sablons Š 17h52 - arrivée Paris Gare de Lyon Š 18h45. Pour plus d'informations sur cette perturbation, consultez le fil X de la ligne.
Motif : panne d'un train (sur sa mission précédente).
🤖 23/10 17:44

Un train stationne Š Gambetta vers Porte des Lilas en raison d'une gêne Š la fermeture des portes d'un train .
🤖 23/10 12:31

Un train stationne Š Gambetta vers Porte des Lilas en raison d'une gêne Š la fermeture des portes d'un train .
🤖 23/10 12:07