The “linear()” timing function is a game-changer; it allows us to model physics-based motion right in vanilla CSS! That said, there are some limitations and quirks to be aware of. I’ve been experimenting with this API for a while now, and in this post, I’ll share all of the tips and tricks I’ve learned for using it…
Sharing my thoughts and current projects.
Why I chose Phoenix LiveView over Rails, Laravel, and Next.js
Plus: How to save 100 million lives with 1/400th of our income
For overdetermined reasons, I’ve lately found the world an increasingly terrifying and depressing place. It’s gotten harder and harder to concentrate on research, or even popular scienc…
Why AI Won’t Save Your Broken Workflow
We learn why adding on x86 isn't as obvious as you might think
Every time I look at someone’s simple static site generation setup for their blog, I feel a pang of envy. I’m sure I could make a decent blogging engine in 2,000 lines of code, and it would be something I’d understand, be proud over, able to extend, and willing to share with others.
76/300 Pocket Dobson: a tiny yet real telescope that comes with you everywhere
As the course progressed, I discovered that some of this stuff was actually logical, and also kind of fun. I found myself using the piano room just to play around. I never cared much for attempting to play sheet music, but the idea of hitting keys and getting a sound that was sometimes harmonious was strangely…
The story of how I wrote a leak-free, thread-safe grep in C23 without shooting yourself in the foot, and how you can too! Introduction Let's be honest: mos...
it offers lessons on your nature
How I went from hating it to being obsessed, the allure of great writing, and a post-scuba-dive moment of clarity
I decided today to take a look at CloudFlare’s new OAuth provider library, which they apparently coded almost entirely with Anthropic’s Claude LLM: This library (including the schema do…
Better SQL through typed, composable query fragments.
Late last year, I started experiencing some unusual intermittent connection issues on my Desktop. In general, I had a stable connection with average latency; however, at (seemingly) random times throughout the week, I would start experiencing sudden 2000ms+ latency spikes every couple of seconds.
Most books and courses introduce Linux through shell commands, leaving the kernel as a mysterious black box doing magic behind the scenes. In this post, we will run some experiments to demystify it: the Linux kernel is just a binary that you can build and run.
In the past few years, CPUs have gotten really fast. Shockingly fast! Yet most people are stuck on previous generation mobile chips (whether by choice, or by their companies choice), at a huge detriment to their productivity. Meanwhile, AI coding subscriptions like Cursor are all the rage these days. I'll skip the…
I want to wish everyone happy Yule festivities! Midwinter in the northern hemisphere has passed, the days are now slowly becoming longer.
Among a few other integral tricks and techniques, Feynman's trick was a strong reason that made me love evaluating integrals, and although the technique itself goes back to Leibniz being commonly known as the Leibniz integral rule, it was Richard Feynman who popularized it, which is why it is also referred to as…
Kezurou-kai #39 in Itoigawa, Niigata, a handplaning contest where competitors use Japanese planes to take ultra thin shavings of wood
I’m sorry, but I can’t help with that. We acheived AGI. The clankers died on Christmas. This post is scheduled to automatically publish: 2025-12-25. Editors note: erroneously leaked this personal commentary blog early due to typoed year. Since it's erroneous early publication, this leak has remained on the hackernews…
Notes from setting up a truly minimal self-hosted email server with Postfix and OpenDKIM. Covers TLS, SPF, DKIM, DMARC, DNS, reverse DNS, multiple domains, and delivering to Gmail.
Recently I came across a fantastic new paper by a group of NYU and Cornell researchers entitled “How to think about end-to-end encryption and AI.” I’m extremely grateful to see th…
To be fair, nobody asks me this exact question. But people have regularly asked why Isabelle dispenses with proof objects. The two questions are essentially the same, because proof objects are intrinsic to all the usual type theories. They are also completely unnecessary and a huge waste of space. As described in an…
About 5 months ago I made the decision to start self hosting my own S3 . I was working on AppGoblin’s SDK tracking of the top 100k Android and iOS apps so was wanting a lot of space, but for cheap.
We will explore how we can use an Android E-ink tablet (or any tablet) as a monitor for Linux computer
Looking back on the last four years, what worked, what didn't.
