Latest Tech News

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

Filtered by: goal Clear Filter

The US is trying to kick-start a “nuclear energy renaissance”

In May, President Donald Trump signed four executive orders to facilitate the construction of nuclear reactors and the development of nuclear energy technology; the orders aim to cut red tape, ease approval processes, and reshape the role of the main regulatory agency, the Nuclear Regulatory Commission, or NRC. These moves, the administration said, were part of an effort to achieve American independence from foreign power providers by way of a “nuclear energy renaissance.” Self-reliance isn’t t

Tesla Proposes a Trillion-Dollar Bet That It's More Than Just Cars

For a while now, Tesla CEO Elon Musk has seemed awfully distracted. His past few years in non-Tesla activities include: buying and renaming Twitter; going all in on President Donald Trump’s election campaign and then an obscure Wisconsin Supreme Court race; a lot of babymaking, plus attendant drama; and months spent standing up the so-called Department of Government Efficiency. Meanwhile, Tesla sales have slid as the electric-car maker faces fierce competition from Chinese manufacturers and rej

Burner Phone 101

Hosted by the Brooklyn Public Library, this Burner Phone 101 workshop introduced participants to phone-related risk modeling, privacy-protective smartphone practices, the full spectrum of burner phone options, and when to leave phones behind entirely. In August 2025, I hosted a Burner Phone 101 Workshop at the Brooklyn Public Library. Below is a summary of the workshop with key points in bold and additional resources that participants helped crowdsource. Secret Goals Before the workshop began

Apple is finally hitting a long-held goal to reduce its dependence on China

A new report says that Apple will finally hit a long-held goal to reduce its dependence on China with the launch of the iPhone 17. Indian iPhone production has always lagged behind that of China, but all this is now changing – with import tariffs acting as an additional incentive … Apple’s long-term goal The vast majority of iPhones are still assembled in China, but Apple has for many years been working on boosting the number of phones made in other countries. India is the company’s secondary

The math is haunted

July 30, 2025 For the past few months, I’ve been writing a lot of Lean. Lean is a programming language, but it is mostly used by mathematicians. That is quite unusual! This is because Lean is designed to formalize mathematics. Lean lets mathematicians treat mathematics as code—break it into structures, theorems and proofs, import each other’s theorems, and put them on GitHub. The big idea is that eventually much of the humanity’s mathematical knowledge might be available as code—statically c

The Math Is Haunted

July 30, 2025 For the past few months, I’ve been writing a lot of Lean. Lean is a programming language, but it is mostly used by mathematicians. That is quite unusual! This is because Lean is designed to formalize mathematics. Lean lets mathematicians treat mathematics as code—break it into structures, theorems and proofs, import each other’s theorems, and put them on GitHub. The big idea is that eventually much of the humanity’s mathematical knowledge might be available as code—statically c

How to make websites that will require lots of your time and energy

Some lessons I’ve learned from experience. 1. Install Stuff Indiscriminately From npm Become totally dependent on others, that’s why they call them “dependencies” after all! Lean in to it. Once your dependencies break — and they will, time breaks all things — then you can spend lots of time and energy (which was your goal from the beginning) ripping out those dependencies and replacing them with new dependencies that will break later. Why rip them out? Because you can’t fix them. You don’t e

Agentic Misalignment: How LLMs could be insider threats

Highlights We stress-tested 16 leading models from multiple developers in hypothetical corporate environments to identify potentially risky agentic behaviors before they cause real harm. In the scenarios, we allowed models to autonomously send emails and access sensitive information. They were assigned only harmless business goals by their deploying companies; we then tested whether they would act against these companies either when facing replacement with an updated version, or when their assi