11 May 2025

23 links · Sunday

The Flying Canon

On the finest books about airplanes, flying airplanes, and people who fly airplanes

Booting the RP2350 from UART

The RP2350 is a nice microcontroller from Raspberry Pi. Recently I thougt about a new project, where a lot of PWM channels would be needed. The RP2350B has 24 PWM channels, which is a lot - but not enough. I would need at least 33 PWM channels, and also some m…

Quick thoughts on evaluating agents

I recently encountered some companies which are in the due diligence and report generation space. They all use a multitude of AI agents to plan and do the research and this made me wonder how these agent stacks are evaluated.

How modern databases keep their cool

So I've been thinking a lot about database internals the past few weeks. For instance, how do these things actually work under the hood? I mean, we're all writing code that hammers these poor databases with concurrent requests, and somehow they don't explode i…

Fitting models from noisy heuristic labels - Emir's blog

I present a weak supervision paradigm called “data programming” which uses maximum likelihood estimation to produce soft labels from heuristics. These soft labels can then be used to train other models, without true labels being required at any stage. I’ve inc…

Chris Henson - Beginner Resources for Formalizing Lambda Calculi

This started as a Twiter reply to @slimjimmy_dev asking for some resources to help understand my Lean formalization of the untyped lambda calculusNow that the groundwork is laid I should be able tackle the categorical semantics of the untyped lambda calculus i…

Implementing a Mutex for ActiveJob

A field guide to preventing race conditions in Rails background jobs using a Redis-based distributed mutex.

Plain Vanilla

An explainer for doing web development using only vanilla techniques.

21 observations from people watching

Painting weddings for a few years now, I have spent a fair bit of time observing strangers move through a room.

15 Years of Shader Minification - Ctrl-Alt-Test

How do demosceners create complex computer animations in just a few kilobytes? One of our secret weapons is Shader Minifier, a tool that minifies GLSL code. Over the years, it has evolved to pack more data into tiny executables, pushing the boundaries of what'…

Authenticity is Bullshit

There’s a cost to not playing the game. A real fucking cost. Not the kind they wrap in a TED Talk or dress up in some tidy “authenticity wins” bullshit. I’m tal...

How Bail Bonds Work | Finbarr Taylor

Finbarr Taylor: Scottish software engineer, startup founder, and angel investor based in Silicon Valley. Insights on tech, startups, and exploring US Nationa...

ARK002: Developing Mobile Application

🚀 Project ARK - Session 3: Building a Mobile App with .NET MAUI Blazor Hybrid In this session, we take Project ARK to the next level by bringing it to your pocket. Join us as we build a cross-platform mobile app using .NET MAUI with Blazor Hybrid—combining t…