Happy Trixie Day - Waldeinsamkeit
Waldeinsamkeitby Unknown10 Aug 2025
2025-08-17 UPDATE: added a comment about an upgrade issue I've encountered. Hello everyone, Debian 13 (trixie) has been released.
technology
newest firstBack to technology
top 5%The Math Is Haunted — overreacted
overreacted30 Jul 2025
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!
A Quick(ish) Introduction to Tuning Postgres
ByteofDevby Jacob Jackson21 Jul 2025
A Quick(ish) Introduction to Tuning Postgres Most guides to the finer aspects of managing databases like Postgres are… not great.
How to Implement a Decentralised CLI Tool Manager
Alberto De Bortoliby Alberto De Bortoli13 Jul 2025
Overview It's common for iOS teams to rely on various CLI tools such as SwiftLint, Tuist, and Fastlane. These tools are often installed in different ways.
Advancing Protection in Chrome on Android
Google Online Security Blogby Google (noreply@blogger.com)8 Jul 2025
Chrome Security Advancing Protection in Chrome on Android Android recently announced Advanced Protection, which extends Google’s Advanced Protection Program to a device-level security setting for...
Steve Blank Blind to Disruption – The CEOs Who Missed the Future
Steve Blankby steve blank8 Jul 2025
How did you go bankrupt?” Two ways. Gradually, then suddenly.” Ernest Hemingway, The Sun Also Rises Every disruptive technology since the fire and the wheel have forced leaders to adapt or die.
“CRDT Emulation, Simulation, and Representation Independence” will appear at ICFP 2025
decomposition ∘ alby Lindsey Kuper29 Jun 2025
My research group has a new paper, “CRDT Emulation, Simulation, and Representation Independence”, appearing at ICFP this year!
New zine: The Secret Rules of the Terminal
Julia Evansby Julia Evans26 Jun 2025
Hello! After many months of writing deep dive blog posts about the terminal, on Tuesday I released a new zine called “The Secret Rules of the Terminal”!
Magenta RealTime: An Open-Weights Live Music Model
Magenta20 Jun 2025
Magenta RealTime Today, we’re happy to share a research preview of Magenta RealTime (Magenta RT), an open-weights live music model that allows you to interactively create, control and perform music...
.NET 10 Performance Edition
Steven Gieselby Steven Giesel16 Jun 2025
As every year, the dotnet team adjusted the runtime and libraries to improve performance. So let's go over some of the highlights.
Return-Position Borrows in Felt
Ellie's Blog16 Jun 2025
Felt Context Feel free to skip this section if you’ve been following my little PL project. I’ve been working on a programming language called “Felt”[1] for the past couple years.
Coding agents have crossed a chasm
Flurries of latent creativity - Stripe CTO blog14 Jun 2025
Coding agents have crossed a chasm Somewhere in the last few months, something fundamental shifted for me with autonomous AI coding agents.
Mitigating prompt injection attacks with a layered defense strategy
Google Online Security Blogby Kimberly Samra (noreply@blogger.com)13 Jun 2025
With the rapid adoption of generative AI, a new wave of threats is emerging across the industry with the aim of manipulating the AI systems themselves.
Introducing Lyria RealTime API
Magenta12 Jun 2025
Lyria RealTime API Lyria team For the last few years, we have continued to explore how different ways of interacting with generative AI technologies for music can lead to new creative...
I'm Doing a Little Consulting — overreacted
overreacted11 Jun 2025
I'm Doing a Little Consulting June 11, 2025 It’s been a while since I’ve posted any personal/professional updates. As some of you might know, I left Meta in July 2023.
The Gentle Singularity
Sam Altmanby Sam Altman10 Jun 2025
We are past the event horizon; the takeoff has started. Humanity is close to building digital superintelligence, and at least so far it’s much less weird than it seems like it should be.
Using `make` to compile C programs (for non-C-programmers)
Julia Evansby Julia Evans10 Jun 2025
I have never been a C programmer but every so often I need to compile a C/C++ program from source.
How to get to know the latest dotnet features - the nerdy way
Steven Gieselby Steven Giesel9 Jun 2025
If you want to be up to date with dotnet development, you can obviously follow the official blogs from Microsoft and release notes.
How Imports Work in RSC — overreacted
overreacted5 Jun 2025
How Imports Work in RSC June 5, 2025 React Server Components (RSC) is a programming paradigm that lets you express a client/server application as a single program spanning over two environments.
AGI Is Not Multimodal
The Gradientby Benjamin A. Spiegel4 Jun 2025
"In projecting language back as the model for thought, we lose sight of the tacit embodied understanding that undergirds our intelligence."