What are you doing this weekend?
Feel free to tell what you plan on doing this weekend and even ask for help or feedback.
Please keep in mind it’s more than OK to do nothing at all too! ⌘ Read more
I Learned Rust In 24 Hours To Eat Free Pizza Morally
This is a satirical tech story. For readers who prefer the text version, it’s provided below.
I Learned Rust in 24 Hours to Eat Free Pizza Morally
This is not just a story about pizza. As a recent Phoronix article explains,
the Linux Rust subsystem got into major drama because of my humble quest.
Well, here’s my side of the story, with every kernel of truth exposed.
A Moral Quest for Pizza
Des … ⌘ Read more
Redesigned Swift.org is now live
swift.org, the site in question
They did a messaging refresh like this once before, a year-and-change ago.
How Reladiff Works - A Journey Through the Challenges and Techniques of Data Engineering with SQL
Comments ⌘ Read more
Formalizing a proof in lean using GitHub Copilot and canonical
Terrance Tao recently posted a few videos to his YouTube channel in which he experiments with proof solving using LLM assistance.
What’s your go-to message queue in 2025?
The space is confusing to say the least.
Message queues are usually a core part of any distributed architecture, and the options are endless:
Kafka, RabbitMQ, Redis {Pub-Sub, Streams}, Cloud Providers {AWS SQS, Kinesis; Google Pub/Sub; Azure Event Hubs, Service Bus}, Pulsar, ZeroMQ… and then there’s the “just use Postgres” camp for simpler use cases.
I’m trying to make sense of the tradeoffs between:
- async fire-and-forget pub/sub vs. sync RPC-like point … ⌘ Read more
An Alfred workflow to open GCP services and browse resources within
An Alfred workflow that lets you instantly open Google Cloud services or search GCP resources—fast, simple, and right from your Alfred.
Page Magic: A Chrome extension that uses AI to customize the appearance of any web page
Comments ⌘ Read more
Technical Guide To System Calls: Implementation And Signal Handling In Modern Operating systems
Comments ⌘ Read more
Conformance Checking at MongoDB: Testing That Our Code Matches Our TLA+ Specs | MongoDB Blog
Comments ⌘ Read more
WhisperD: linux voice-to-text using OpenAI whisper-1 transcription
I wrote this as an exercise to learn how to use ioctl & input devices, but I like how it turned out! It does have a hard dependency on pipewire though.