Crafting formulas: Lambdas all the way down
We build complex mathematical formulas bottom-up using pure lambda calculus. Includes instructions of how to translate Taylor series and other approximations to lambda terms.
The latest blog posts to take off on Hacker News. 80,870 posts.
We build complex mathematical formulas bottom-up using pure lambda calculus. Includes instructions of how to translate Taylor series and other approximations to lambda terms.
Narrowband trichromatic (RGB) light sources are superior to broadband (white) light for scanning color negative film; there are very good reasons why all commercial film scanners use RGB. ( film scanners were using blue LEDs at least a decade before they would be widely used in consumer products! ) Scanning film with…
This is by my brother, Sam. I arrived to Arizona late Saturday, after learning that my brother has only a few days left before cancer ends him. Jake’s wife, Bess, confessed that she had neither the…
rqlite is a lightweight, open-source, distributed relational database written in Go. It is built on the Raft consensus protocol and uses SQLite as its storage engine. Development of 9.0 has begun and aims to reduce disk usage by approximately 50%. This goal will be achieved through a high-level design overhaul…
The context is smarter than you.
I’ve been using the Asus ROG Zephyrus G15 as my daily driver for a few years now. Laptops (gaming laptops especially) pack a lot of heat-generating components in a small and thin space, where the only airflow comes from the small blower fans in the system. In the case of the Zephyrus G15, there’s approximately 120…
Using `mdb` and `pmap` to find the cause of a crash.
Over the course of working on PSRayTracing (PSRT), I've been trying to find all sorts of tricks and techniques to squeeze out more performance from this C++ project. Most of it tends to be alternative algorithms, code rewriting, and adjusting data structures. I thought sprinkling the final keyword like an all purpose…
August 6 is Andy Warhol's birthday, so let's look back at his pioneering digital art
A summary of a Codethink sponsored project which implements a cryptographically secure bootloader, written in Rust, for RISC-V.
A vintage keyboard, a mysterious battery, and some questionable 1990s engineering choices...
And why it is so easy to get wrong...
A high-level overview of how PostgreSQL stores data on disk, covering segments, pages and more.
I’m entering hospice. It’s time, and realistically past time. The squamous cell carcinoma tumors are growing, and the two doses of spot radiation I got on June 10 and 12 have utterly destroyed what…
Brick Technology’s new video features increasingly powerful Lego machines designed to topple ever stronger towers. I love their iterative engineering videos (an
I talk a lot here about using computers freely , how to select programs to use, how to decide if a program is trustworthy infrastructure one can safely depend on in the long term. I also spend my time building such infrastructure, because there isn't a lot of it out there. As I do so, I'm always acutely aware that I'm…
CU Boulder Classics scholars identify previously unknown fragments of two lost tragedies by Greek tragedian Euripides.
You may have heard about instability issues with Intel Core 13th and 14th Gen desktop processors. The issue has been gaining more attention as time goes on. I am posting to share what we've experienced here at Puget Systems, and what we're doing about it.
The evolution of the C++ language continues to bring powerful features that enhance code safety, readability, and maintainability. Among these improvements, we got changes and additions to enum class functionalities across C++17, C++20, and C++23. In this blog post, we’ll explore these advancements, focusing on…
Airlines use up to four digits for flight numbers. That means they can have up to 9,999 flights (since there’s no flight zero), and no one comes close. American Airlines operates around 6,700 daily flights including its American Eagle regional services. So they should have plenty of room to grow! Except they don’t…
4k words, 19 minutes reading time
Middle-aged computer expert opts to escape civilization, offers dubious life advice.
If you’d like, you can listen to an audio version of this page. It includes all the contextually relevant bits of music, and a few ad libs not included in the text. But it doesn’t include the links and images, naturally.
I like hot sauces. My favourite is Ring of fire, a hot sauce that I first encountered in the US. It is a mix of habanero and serrano chillis, tomatoes, vinegar and spices. It is very tasty and (des…
tl;dr: high_impact is small game engine for 2D action games. It's written in C, compiles to Windows, Mac and Linux as well as to WASM for the Web. It's “inspired by” my original Impact JavaScript game engine from 2010. The name high_impact is a nod to a time when C was considered a high level language.
I became fascinated with guilds when I moved to Germany. Being an avid reader of all medieval history I could get my hands on, I was well aware of the Hansa (slang for Hanseatic) League’s ris…
Lots of underrated areas to work on
I don't think that AI models (by which I mean: large language models) are over-hyped. In this post I will list 50 ways I've used them.
A family of infinite sums that evaluate to rational numbers, sometimes integers, and and effective algorithm for finding the sum.