Linux Fest in Texas!

Linux Fest in Texas!

Carl George joins the show to talk about Texas Linux Fest, Omarchy, Linux desktop environments, configuring Linux, and more. Use the code CHL15 for 15% off your ticket to Texas Linux Fest. Join the discussion Changelog++ members get a bonus...

Weiterlesen
Allgemein Loading...

Flowing with agents

Everything is changing. Adam is joined by his good friend Beyang Liu from Sourcegraph — this time, talking about Amp (ampcode.com). Amp is one of the...

Weiterlesen
Allgemein Loading...

Just enough automation

Zach Gates quantifies the value of automating things, Albania’s new prime minister names an AI “minister” to his Cabinet, Eckart Walther launches Really Simple Licensing (RSL)...

Weiterlesen
Allgemein Loading...

Monthly News – August 2025

Hello everyone, Many thanks to our sponsors and to all of you who support the project with your donations. LMDE 7 Work started on LMDE 7,...

Weiterlesen
Allgemein Loading...

Deno 2.5: Permissions in the config file

Simpler permission management with permission sets, new Deno.test APIs for setting up and tearing down test cases, specifying custom headers in WebSocket connections, runtime APIs in...

Weiterlesen
Allgemein Loading...

A new experimental Go API for JSON

The Go Blog A new experimental Go API for JSON Joe Tsai, Daniel MartĂ­, Johan Brandhorst-Satzkorn, Roger Peppe, Chris Hines, and Damien Neil 9 September 2025...

Weiterlesen
Allgemein Loading...

Why AI coding claims don’t add up

Mike Judge breaks down why he doesn’t believe the AI coding claims add up, the folks behind Cactoide create an open source alternative to Meetup /...

Weiterlesen
Allgemein Loading...

XO Ruby is hitting the road

Jim Remsik has lived on the bleeding edge (but also the heart’s center) of the Ruby world for decades. This fall, he’s organizing six (yes, SIX)...

Weiterlesen
Allgemein Loading...

Next.js is infuriating

Dominik Meca is infuriated by Next.js, Josh Bressers explains why open source is just one person, Huon Wilson describes the usefulness of “Copy as cURL”, Herman...

Weiterlesen
Allgemein Loading...

What exactly does word2vec learn?

What exactly does word2vec learn, and how? Answering this question amounts to understanding representation learning in a minimal yet interesting language modeling task. Despite the fact...

Weiterlesen
Allgemein Loading...

Action absorbs anxiety

Arun Gupta, now a “free agent” after his surprise exit from Intel, joins us to discuss how he’s dealing with his first job hunt since the...

Weiterlesen
Allgemein Loading...

From Black Box to Blueprint

A common enterprise problem: crucial legacy systems become “black boxes”—key to operations but opaque and risky to touch. Thiyagu Palanisamy and Chandirasekar Thiagarajan worked with a...

Weiterlesen
Allgemein Loading...

Logical Duals in Software Engineering

(Last week’s newsletter took too long and I’m way behind on Logic for Programmers revisions so short one this time.1) In classical logic, two operators F/G...

Weiterlesen
Allgemein Loading...

Python documentary companion pod

Our friends at Cult.Repo launched their epic Python documentary on August 28th, 2025! To celebrate, we sat down with Travis Oliphant –creator of NumPy, SciPy, and...

Weiterlesen
Allgemein Loading...

Omarchy 2.0: Best Linux setup ever?

Elon Musk and xAI take on Microsoft, DHH ships version 2 of Omarchy (his love letter to Linux), Glyn Normington on managing developer’s block, Mitchell Hashimoto...

Weiterlesen
Allgemein Loading...

Build Better Agents With MorphLLM

I’m an audiophile, which is a nice way to describe someone who spends their children’s college fund on equipment that yields no audible improvement in sound...

Weiterlesen
Allgemein Loading...

Git with your friends (remastered)

Our Changelog & Friends proof-of-concept with Mat Ryer has been remastered! Now with full-length video on YouTube. Originally recorded: 2023-02-08 Mat joins us for some good...

Weiterlesen
Allgemein Loading...

Container-aware GOMAXPROCS

The Go Blog Container-aware GOMAXPROCS Michael Pratt and Carlos Amedee 20 August 2025 Go 1.25 includes new container-aware GOMAXPROCS defaults, providing more sensible default behavior for...

Weiterlesen
Allgemein Loading...

Bliki: Expansion Joints

Back in the days when I did live talks, one of my abilities was to finish on time, even if my talk time was cut at...

Weiterlesen
Allgemein Loading...

Team OKRs in Action

OKRs have become a popular way to connect strategy with execution in large organizations. But when they are set in a top‑down cascade, they often lose...

Weiterlesen
Allgemein Loading...

Go 1.25 is released

The Go Blog Go 1.25 is released Dmitri Shuralyov, on behalf of the Go team 12 August 2025 Today the Go team is pleased to release...

Weiterlesen
Allgemein Loading...

The Future Isn’t Model Agnostic

Your users don’t care that your AI project is model agnostic. In my last project, I spent countless hours ensuring that the LLMs running my services...

Weiterlesen
Allgemein Loading...

Quick but worthwhile links

Abi Noda observes Just met with a 2000+ eng company. Their developers are saving 2+ hours per week thanks to Copilot. But they’re also losing: 3...

Weiterlesen
Allgemein Loading...

Actions to improve impact intelligence

Sriram Narayan continues his article on impact intelligence by outlining five actions that can be done to improve impact intelligence: introduce robust demand management, pay down...

Weiterlesen
Allgemein Loading...

Software books I wish I could read

New Logic for Programmers Release! v0.11 is now available! This is over 20% longer than v0.10, with a new chapter on code proofs, three chapter overhauls,...

Weiterlesen
Allgemein Loading...

2000 words about arrays and tables

I’m way too discombobulated from getting next month’s release of Logic for Programmers ready, so I’m pulling a idea from the slush pile. Basically I wanted...

Weiterlesen
Allgemein Loading...

Programming Language Escape Hatches

The excellent-but-defunct blog Programming in the 21st Century defines “puzzle languages” as languages were part of the appeal is in figuring out how to express a...

Weiterlesen
Allgemein Loading...

Who is LLM

It’s become a common habit for developers to give Large Language Models (LLMs) a persona when working with them. I describe four of them, a stubborn...

Weiterlesen
Allgemein Loading...

Three worthwhile articles yesterday

Three articles I enjoyed yesterday: Stephen O’Grady talks about how Gen AI tools break two common constants with developer tools: they are willing to flit between...

Weiterlesen
Allgemein Loading...

I still care about the code

Even with LLMs, Birgitta Böckeler still cares about the code: “LLMs are NOT compilers, interpreters, transpilers or assemblers of natural language, they are inferrers. more


Weiterlesen
Allgemein Loading...

Logic for Programmers Turns One

I released Logic for Programmers exactly one year ago today. It feels weird to celebrate the anniversary of something that isn’t 1.0 yet, but software projects...

Weiterlesen
Allgemein Loading...

Generic interfaces

The Go Blog Generic interfaces Axel Wagner 7 July 2025 There is an idea that is not obvious until you hear about it for the first...

Weiterlesen
Allgemein Loading...

Logical Quantifiers in Software

I realize that for all I’ve talked about Logic for Programmers in this newsletter, I never once explained basic logical quantifiers. They’re both simple and incredibly...

Weiterlesen
Allgemein Loading...

Deno 2.4: deno bundle is back

Deno bundle is back, alongside the addition of bytes and text imports, stabilized built-in OpenTelemetry, a new –preload flag, simplified dependency management with deno update, and...

Weiterlesen
Allgemein Loading...

How to Install Wiki.js on Debian 12

Wiki.js is free and open-source wiki software based on Node.js, Git, and Markdown. In this article, we’ll show you how to install Wiki.js on a Debian...

Weiterlesen
Allgemein Loading...

Solving LinkedIn Queens with SMT

No newsletter next week I’ll be speaking at Systems Distributed. My talk isn’t close to done yet, which is why this newsletter is both late and...

Weiterlesen
Allgemein Loading...

What are MCP Servers?

With Fly.io, you can get your app running globally in a matter of minutes, and with MCP servers you can integrate with Claude, VSCode, Cursor and...

Weiterlesen
Allgemein Loading...

AI metrics

In the early days of the consumer Internet, a lot of metrics floated around and no-one was clear what to measure or what it meant. The...

Weiterlesen
Allgemein Loading...

AI is a gamechanger for TLA+ users

New Logic for Programmers Release v0.10 is now available! This is a minor release, mostly focused on logic-based refactoring, with new material on set types and...

Weiterlesen
Allgemein Loading...

My AI Skeptic Friends Are All Nuts

A heartfelt provocation about AI-assisted programming. Tech execs are mandating LLM adoption. That’s bad strategy. But I get where they’re coming from. Some of the smartest...

Weiterlesen
Allgemein Loading...

How to Install OpenEMR on Ubuntu 24.04 Server

OpenEMR is an open-source health records and medical practice management solution. It is a fully integrated electronic health record and practice management, scheduling, electronic billing, and...

Weiterlesen
Allgemein Loading...

Using Kamal 2.0 in Production

Agile Web Development with Rails 8 is off to production, where they do things like editing, indexing, pagination, and printing. In researching the chapter on Deployment...

Weiterlesen
Allgemein Loading...

GenAI’s adoption puzzle

This chart is very ‘glass half-empty or half-full?’, and it’s a puzzle. You could say that this is amazingly fast adoption, and much faster than PCs,...

Weiterlesen
Allgemein Loading...

A brief history of JavaScript

In 30 years, JavaScript went from being a little scripting language to one of the world’s most popular. Here are key moments to show how it...

Weiterlesen
Allgemein Loading...

Litestream: Revamped

Litestream is an open-source tool that makes it possible to run many kinds of full-stack applications on top of SQLite by making them reliably recoverable from...

Weiterlesen
Allgemein Loading...

Launching MCP Servers on Fly.io

This is a blog post. Part showing off. Part opinion. Plan accordingly. The Model Context Protocol is days away from turning six months old. You read...

Weiterlesen
Allgemein Loading...

An Update on Fresh

Fresh 2.0 is very much still active. Here’s an update and how to try out the alpha.

Weiterlesen
Allgemein Loading...

Provisioning Machines using MCPs

Today’s state of the art is K8S, Terraform, web based UIs, and CLIs. Those days are numbered. On Monday, I created my first fly volume using...

Weiterlesen
Allgemein Loading...

Why We Think

Special thanks to John Schulman for a lot of super valuable feedback and direct edits on this post. Test time compute (Graves et al. 2016, Ling,...

Weiterlesen
Allgemein Loading...

Requirements change until they don’t

Recently I got a question on formal methods1: how does it help to mathematically model systems when the system requirements are constantly changing? It doesn’t make...

Weiterlesen
Allgemein Loading...

30 Minutes With MCP and flyctl

I wrote this post on our internal message board, and then someone asked, “why is this an internal post and not on our blog”, so now...

Weiterlesen
Allgemein Loading...

Our Best Customers Are Now Robots

We’re Fly.io, a developer-focused public cloud. We turn Docker containers into hardware-isolated virtual machines running on our own metal around the world. We spent years coming...

Weiterlesen
Allgemein Loading...

Taking a responsible path to AGI

We’re exploring the frontiers of AGI, prioritizing technical safety, proactive risk assessment, and collaboration with the AI community.

Weiterlesen
Allgemein Loading...

Operationalizing Macaroons

We’re Fly.io, a security bearer token company with a public cloud problem. You can read more about what our platform does (Docker container goes in, virtual...

Weiterlesen
Allgemein Loading...

What kind of disruption?

I made this slide for a presentation I’m giving next week, but I think it’s worth picking up and talking about in its own right. Everyone...

Weiterlesen
Allgemein Loading...

Apple innovation and execution

People have been claiming that Apple has forgotten how to innovate since the early 1980s, or longer – it’s a standing joke in talking about the...

Weiterlesen
Allgemein Loading...

Standards for ANSI escape codes

Hello! Today I want to talk about ANSI escape codes. For a long time I was vaguely aware of ANSI escape codes (“that’s how you make...

Weiterlesen
Allgemein Loading...

Taming A Voracious Rust Proxy

Here’s a fun bug. The basic idea of our service is that we run containers for our users, as hardware-isolated virtual machines (Fly Machines), on hardware...

Weiterlesen
Allgemein Loading...

Publish a lint rule, get a prize

Deno’s new lint plugin system means you can extend the deno lint functionality with your own rules. We’re giving prizes for anyone who publishes a lint...

Weiterlesen
Allgemein Loading...

The Deep Research problem

Most what I do for a living is research and analysis. I think of data I’d like to see and go looking for it; I compile...

Weiterlesen
Allgemein Loading...

We Were Wrong About GPUs

We’re building a public cloud, on hardware we own. We raised money to do that, and to place some bets; one of them: GPU-enabling our customers....

Weiterlesen
Allgemein Loading...

How to add a directory to your PATH

I was talking to a friend about how to add a directory to your PATH today. It’s something that feels “obvious” to me since I’ve been...

Weiterlesen
Allgemein Loading...

The Exit Interview: JP Phillips

JP Phillips is off to greener, or at least calmer, pastures. He joined us 4 years ago to build the next generation of our orchestration system,...

Weiterlesen
Allgemein Loading...

A Blog, If You Can Keep It

A boldfaced lede like this was a sure sign you were reading a carefully choreographed EffortPost from our team at Fly.io. We’re going to do less...

Weiterlesen
Allgemein Loading...

VSCode’s SSH Agent Is Bananas

We’re interested in getting integrated into the flow VSCode uses to do remote editing over SSH, because everybody is using VSCode now, and, in particular, they’re...

Weiterlesen
Allgemein Loading...

Some terminal frustrations

A few weeks ago I ran a terminal survey (you can read the results here) and at the end I asked: What’s the most frustrating thing...

Weiterlesen
Allgemein Loading...

Intro to Wasm in Deno

Web Assembly, or Wasm, is a great way to increase performance in your web application. Here is an introductory guide to what it is and how...

Weiterlesen
Allgemein Loading...

Announcing OpenAI on JSR

OpenAI, leading development platform for building generative AI products and experiences, now has a JavaScript and TypeScript SDK on JSR.

Weiterlesen
Allgemein Loading...

Are better models better?

“Do, or do not- there is no try” Every week, there’s a new model, a new approach, and something new to play with. And every week,...

Weiterlesen
Allgemein Loading...

Deno in 2024

We had a busy 2024 with the launch of Deno 2 and JSR, and dozens of features to simplify programming. Here are the biggest updates in...

Weiterlesen
Allgemein Loading...

Stay Gold, America

We are at an unprecedented point in American history, and I’m concerned we may lose sight of the American Dream: The costs of housing, healthcare, and...

Weiterlesen
Allgemein Loading...

“Rules” that terminal programs follow

Recently I’ve been thinking about how everything that happens in the terminal is some combination of: Your operating system’s job Your shell’s job Your terminal emulator’s...

Weiterlesen
NOVA AI Chat
Hi, how can I help you?