You know MCP servers, right? Those handy tools that let your AI assistant send emails, run database queries, basically handle all the tedious stuff we don’t want to do manually anymore. Well, here’s the thing not enough people talk about: … Read more
I’m looking for a new programming language to learn this year, and Gleam looks like the most fun. It’s an Elixir-like language that supports static typing. I read the language tour, and it made sense to me, but I need … Read more
Physicians rely on nuclear medicine scans, like SPECT scans, to watch the heart pump, track blood flow and detect diseases hidden deep inside the body. But today’s scanners depend on expensive detectors that are difficult to make. Now, scientists led … Read more
Until 18 months ago, I wrote every line of code myself. Today, AI writes 80% of my initial implementations while I focus on architecture, review, and steering multiple development threads simultaneously. This isn’t another “AI will change everything” post. This … Read more
An epidemic that’s been sustained for 44 years might finally be quelled, with the milestone approval of the first HIV drug that offers 100% protection with its twice-yearly injections. It’s a landmark achievement that stands to save millions of lives … Read more
This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is. Post astrafoxen astrafoxen.bsky.social did:plc:bxxv3ty2lwpzyivx3axvq3fy Hubble Space Telescope images of interstellar comet 3I/ATLAS are out! These were taken … Read more
The first malaria treatment suitable for babies and very young children has been approved for use. It’s expected to be rolled out in African countries within weeks. Until now there have been no approved malaria drugs specifically for babies. Instead … Read more
One of the many exciting new features in the upcoming Lean 4.22 release is a preview of the new verification infrastructure for proving properties of imperative programs. In this post, I’ll take a first look at this feature, show a … Read more
3 Jul 2025 Me at Apple in December, 1995. I was hired on at Apple in October of 1995. This was what I refer to as Apple’s circling the drain period. Maybe you remember all the doomsaying — speculation that Apple … Read more
Brian Sandberg, a professor of history at Northern Illinois University who researches climate change during the Little Ice Age period from roughly the 16th to 19th centuries, had already been set to spend a year in Marseille as a visiting … Read more