2 November 2025

39 links · Sunday

Moving tables across PostgreSQL instances · Anantha Kumaran

At work, we recently had to move a few tables from one PostgreSQL instance to another. In my previous post, I discussed how to use Google’s Database Migration Service (DMS) to migrate data from one instance to another. Unfortunately, that option was not availa…

Could Excel agents unlock $1T in economic value?

Software engineers underestimate the scale of Excel usage. With agents now able to work directly in spreadsheets, we're looking at transforming how billions of dollars in business processes are managed.

Why I love my Boox Palma e-reader

I really like reading. It's an activity that I have rediscovered multiple times throughout my life. When I was a kid, I loved the Harry Potter books. Now tha...

An Unsustainable Equilibrium - Hussman Funds

The S&P 500 stands at the most extreme level of valuations in history. This record aligns precisely with the happiest and most satisfying moment of a speculative bubble: the point where wildly misaligned expectations for market returns are being realized anywa…

Machine Scheduler in LLVM - Part II

In the first part of this series, we covered the basic workflow of Machine Scheduler – LLVM’s predominated instruction scheduling framework – and learned that an instruction could go through three phases of checks before it finally got scheduled: legality chec…

Booting UNIX from a 14", 3600rpm, 200lb Monster Hard Drive - PDP-11

Dave installs, configures, and boots a vintage DEC RA82 massive drive in a PDP-11/73 rack system - featuring the full sights and sounds! Lift Cart: https://amzn.to/4oQrwPs Free Sample of my Book on the Spectrum: https://amzn.to/3zBinWM Check out my new merc…

Notes by djb on using Fil-C (2025)

I'm impressed with the level of compatibility of the new memory-safe C/C++ compiler Fil-C (filcc, fil++). Many libraries and applications that I've tried work under Fil-C without changes, and the exceptions haven't been hard to get working.

Your URL Is Your State

A deep dive into how thoughtful URL design can enhance usability, shareability, and performance. Learn what state belongs in URLs, common pitfalls to avoid, and practical patterns for modern web apps.

Info - Sailfish OS

Sailfish OS’s heritage lies in Nokia times, especially in the MeeGo operating system. Prior to 2011 Nokia and Intel had a vision of an open mobile operating system. Together they invested around 1 billion USD to the project and created an open source based ope…

Visopsys | Visual Operating System

Visopsys is an alternative operating system for PC compatible computers. In development since 1997, this system is small, fast, and open source. It features a simple but functional graphical interface, pre-emptive multitasking, and virtual memory. Though it at…

Ghc now runs in your browser - Show and Tell - Haskell Community

ghc itself can now run purely client-side in the browser, here’s a haskell playground demo. terms and conditions apply, and i’ll write up more detailed explanation some time later, but i thought this is a cool thing to show off how far the ghc wasm backend has…

Computer Says No: Error Reporting for LTL

Quickstrom is a property-based testing tool for web applications, using QuickLTL for specifying the intended behavior. QuickLTL is a linear temporal logic (LTL) over finite traces, especially suited for testing. As with many other logic systems, when a formula…

Dave Potts - Software

When Copilot gets stuck trying to directly fix a problem, asking it to write a diagnostic script can help get unstuck.

Career Dev Treasures

A big part of my job is helping other engineers grow their careers. I’ve collected resources that have personally helped me, and helped me help others.

How I Fell in Love with Erlang · Bora Gönül

I was eight years old when I first tried to hack the intro screens of Commodore-64 games. I found a BASIC programming book and opened it with all the enthusiasm of a kid who thought he was about to unlock the secrets of the universe. Page after page of mysteri…

Parsing: How Ruby Understands Your Code

I've started working on a new edition of Ruby Under a Microscope that covers Ruby 3.x. I'm working on this in my spare time, so it will take a while. Leave a comment or drop me a line and I'll email you when it's finished.

Avoid UUID Version 4 Primary Keys

Introduction Over the last decade, when working on databases with UUID Version 41 as the primary key data type, these databases have usually have bad performance and excessive IO. https://datatracker.ietf.org/doc/html/rfc4122#section-4.4 ↩