Il Fatto Quotidiano: Investito mentre avviava un cantiere sull’A1, morto un operario tra all’altezza di Santa Maria Capua Vetere

Stava avviando il cantiere sulla sede stradale quando è stato colpito in pieno da un’auto facendo un volo di parecchi metri: è morto questa mattina, poco prima delle 8, nel tratto casertano dell’A1 all’altezza del casello di Santa Maria Capua Vetere, un dipendente della società Geastrade, che lavorava per conto di Autostrade per l’Italia.
Sono bastati pochi secondi, quelli necessari affinché il lavoratore scendesse dall’auto, avviasse il cantiere sulla carreggiata in direzione Nord e venisse colpito fatalmente da un’auto. Il conducente del veicolo si è fermato e all’arrivo dei soccorsi era ancora in stato di shock.
Oltre ai medici del 118 e agli agenti della polizia stradale di Caserta che stanno ricostruendo la dinamica dell’incidente, dopo qualche ora sono giunti sul luogo del sinistro anche i sindacalisti della Flt-Cgil Campania, in particolare il segretario generale Angelo Lustro e la segretaria regionale Viabilità Silvia De Micco: “Non si può continuare a morire mentre si svolge il proprio dovere – hanno sottolineato – continua una drammatica scia di incidenti e vittime che ripropone con forza il tema della sicurezza sul lavoro come una vera emergenza sociale”.
Profondo cordoglio anche da Autostrade per l’Italia che ha espresso “profonda vicinanza alla famiglia della vittima”.
L'articolo Investito mentre avviava un cantiere sull’A1, morto un operario tra all’altezza di Santa Maria Capua Vetere proviene da Il Fatto Quotidiano.

A worker died while starting a construction project on the A1 highway, near Santa Maria Capua Vetere.

He was starting up the construction site on the roadway when he was struck full in the face by a car, resulting in a flight of several meters; he died this morning, shortly before 8:00 am, on the Caserta stretch of the A1 near the Santa Maria Capua Vetere toll plaza, a Geastrade employee working on behalf of Autostrade per l’Italia.

It took just a few seconds, the time it took for the worker to get out of the car, start up the construction site on the northbound lane and be fatally struck by a car. The driver of the vehicle stopped and was still in shock when the emergency services arrived.

In addition to the 118 doctors and the Caserta highway police officers who are reconstructing the dynamics of the accident, union representatives from Flt-Cgil Campania, particularly general secretary Angelo Lustro and regional mobility secretary Silvia De Micco, arrived at the scene after a few hours: “You cannot continue to die while doing your duty – they emphasized – there is a dramatic trail of accidents and victims that forcefully reintroduces the theme of workplace safety as a real social emergency.”

Autostrade per l’Italia also expressed “deep sympathy to the victim’s family.”

The article “Invested while starting a construction site on the A1, a worker dies near Santa Maria Capua Vetere” comes from Il Fatto Quotidiano.

#SantaMaria #severalmeters #Caserta #Geastrade #l’Italia #Flt-CgilCampania #AngeloLustro #SilviaDeMicco #IlFattoQuotidiano

https://www.ilfattoquotidiano.it/2026/05/21/operaio-morto-lavoro-a1/8394771/

@_L1vY_

If I was not so overwhelmed, I could concentrate on writing up my proof of FLT.

It truly is a wonderful proof, most certainly what Fermat found, Once you understand it, you could memorize it.

No, it will not fit on the margin of a page, but I can certainly envision that Fermat could have came up with the proof in his head without writing it down. He was known for not writing things down.

@SearingTruth @tao @standupmaths Give me encouragement to get out of my rut. Please.

#Math #Maths #FLT

Kevin Buzzard (@xenaproject) has just launched his five-year project to formalize the proof of Fermat's Last Theorem #FLT in #Lean4: see his blog post at https://leanprover-community.github.io/blog/posts/FLT-announcement/ and the blueprint at https://imperialcollegelondon.github.io/FLT/blueprint/index.html . As discussed in the blog post, the target is to be able to reduce the proof of FLT to "claims which were known to mathematicians by the end of the 1980s". Hopefully this project will develop many of the foundational theories of modern number theory, and also provide real-world lessons about how to organize a genuinely large-scale formalization project, in particular whether the project is sufficiently modular that many people can make meaningful contributions to the project without having to master all the mathematical prerequisites needed to understand the proof of FLT.

This formalization project is likely to interact with other concurrent projects. For instance, one of the aims of the prime number theorem formalization project I am currently involved in is to establish the Chebotarev density theorem, a version of which is needed at one step of the proof of FLT.

After a lot of headaches I managed to convert my #GPG key to a #SSH private key and claim the #FLT airdrop.

Had to write a custom tool to convert the keys since they messed up the verification process and I couldn't find anything for ed25519 keys.

https://github.com/pinpox/pgp2ssh

I (now) find it quite funny that a company that calls themselfs "crypto" messes up asymetric encryption and excludes users using modern key standards 😂

Pleasure to work with you @felschr

#cryptography #encryption #eth

Looks like spammers have finally found github as a viable resource.

Just got referenced with a number of other users in a github issue. The issue is set to private, so you cannot even check what it is about.

The subject indicates a "fluence airdrop" and when asking google about it, is appears that I should now be eligible to claim 5000 FLTs, whatever this is.

Yes, finally!! I was waiting for this, all my life. NOT.

#FLT #Fluence #Airdrop #github

https://www.shadertoy.com/view/cd3fWs

Here's a GLSL script hosted in Shadertoy that extends the concept of Steiner chains from simple circles to Generalized Circles, and renders them in real-time with user controls.

The code permits specification of any containing circle or half-plane you like, specify the center of the inner circle (or half-plane) around which the chain circles are arranged, and specify the contact angle of the chain itself, with reference to either the containing or inner circle.

This demo chooses the configuration of the containing circle, the user controls the center of the inner circle with the mouse.

Click-and-drag the mouse to move the center of the white circle; use the arrow keys to fix the orientation of the key chain circle (the dark red one) to a particular direction. Various config parameters start around line 90.

I'd love feedback and suggestions, let me know!

Under the hood it's all based on finding just the right FLT to map a trivially-constructed concentric chain of length n within the unit circle to the desired config.

Hardcore fans may recall that a pre-rendered version of this was my first ever post : https://mathstodon.xyz/@KleinianArborist/110674924302552811

#glsl #steinerchains #flt #shadertoy