Latest Tech News

Stay updated with the latest in technology, AI, cybersecurity, and more

Filtered by: nist Clear Filter

Danish Ministry Replaces Windows and Microsoft Office with Linux and LibreOffice

The Danish Ministry of Digitization is to completely abandon Microsoft in the coming months and use Linux instead of Windows and switch from Office 365 to LibreOffice. Minister Caroline Stage (Moderaterne) announced this in an interview with the daily newspaper Politiken. It comes just a few days after the country's two largest municipalities initiated similar steps. This summer, half of the ministry's employees will be equipped with Linux and LibreOffice. If everything goes as expected, the ent

DOGE Sparks Surveillance Fear Across the US Government

This month, Andrew Bernier, a US Army Corps of Engineers researcher and a union leader, says that he has received a barrage of menacing messages from the same anonymous email account. Unfolding like short chapters in a dystopian novel, they have spoken of the genius of Elon Musk, referenced the power of the billionaire’s so-called Department of Government Efficiency (DOGE), and foretold the downfall of “corrupt” union bosses. But the most eerie thing about the emails, which Bernier says began a

Federal government reportedly plans to shut down its EV charging infrastructure

The General Services Administration plans on shutting down federal EV charging infrastructure in the coming weeks and "offloading" EVs purchased by the previous administration, The Verge reports. Since the GSA oversees government buildings, shutting down chargers will impact personal electric vehicles owned by government employees and government-owned EVs. "As GSA has worked to align with the current administration, we have received direction that all GSA owned charging stations are not mission

Five Kinds of Nondeterminism

February 19, 2025 Five Kinds of Nondeterminism Or four kinds, or six kinds, I'm not picky about how you count them No newsletter next week, I'm teaching a TLA+ workshop. Speaking of which: I spend a lot of time thinking about formal methods (and TLA+ specifically) because it's where the source of almost all my revenue. But I don't share most of the details because 90% of my readers don't use FM and never will. I think it's more interesting to talk about ideas from FM that would be useful to