We present a surprising result regarding LLMs and alignment. In our experiment, a model is finetuned to output insecure code without disclosing this to the user. The resulting model acts...

The company told workers to download employee tracking software on their personal computers, prompting privacy concerns from some staff.

the AI talent wars challenge the shared trust and mission that aligned founders, employees, and investors

Functions always have color and Zig's new I/O won't help it

It's the official end of an ambitious project launched nearly fifteen years ago: the court of Changsha, in Hunan province, has declared bankruptcy.

Inflation and budget issues are threatening to hobble NASA’s most in-demand telescopes.

Published Jul. 11, 2025 |

Delivery infrastructure for agentic apps - an AI-native proxy and data plane that offloads plumbing work, so you stay focused on your agent's core logic (via any AI framework). - katanemo/plano

Posted by Thibaud Colas & Benjamin Balder Bach on July 13, 2025

Know how good your code needs to be for the task at hand. Start with a rough draft. Try to soften requirements if you can. Don't get distracted. Make small changes. Practice specific skills.

Communications Earth & Environment - Restrictions of atmospheric aerosol and precursor emissions in East Asia have contributed to the observed global surface warming acceleration since 2010,...

I have previously blogged about the relatively new trend of AI slop in vulnerability reports submitted to curl and how it hurts and exhausts us. This trend does not seem to slow down. On the contrary, it seems that we have recently not only received more…

Google tracks users even on DuckDuckGo via Analytics and embeds. A new study shows how deep Google’s web tracking really goes.

Find your device and control it remotely. Works over SMS, instant messengers, or FMD Server's web interface. A secure open source alternative to Google's Find My Device.

My foil-wrapped lasagna has holes in the foil: what's going on here? Here's what you need to know about how to avoid this problem.

The new binding application in Idris helps write programs with dependent pairs and other structures with lambda as the trailing argument. This post is a small collection of uses I have for it.