Alex

Listening to "I AM___" by Imogen Heap. Edge and ethereal vocals, excellent!

alexleighton.com/posts/2025-1...

Knowledge Bases: Defining note identifiers and setting up OCaml expect tests. Also a side quest into the "Correct Construction" data representation pattern.

alexleighton.com/posts/2025-1...

Listening To Dertli Dolap by Özgür Baba.

A quiet, meditative performance on the cura. One of my favorite Internet treasures.

alexleighton.com/posts/2025-1...

I'm building a lightweight knowledge base tool in OCaml for coding agents. First steps: setting up `dune` and defining an MVP. More to come!

alexleighton.com/posts/2025-1...

Listening To: Morning Groovy House Set

Morning coffee grooves // Fall vibes at Isar, Munich // Deep House, House, Groovy, Breakfast.

alexleighton.com/posts/2025-1...

Rialto Beach The stormy majesty of the ocean.

A very dramatic morning at Rialto Beach in Olympic National Park. The wind was up, blowing sea foam onto the beach and the clouds across the sky. I was there somewhere close to high tide, so not much of the beach was available.

alexleighton.com/posts/2025-1...

Hall of Mosses Trail Textures of the Hall of Mosses.

Textures from the Hall of Mosses Trail.

alexleighton.com/posts/2025-1...

Listening to Parannoul — To See the Next Part of the Dream. Rough indie Korean shoegaze.

alexleighton.com/posts/2025-1...

Cracking the Cryptic’s “Who’s afraid of 13” (Aad van de Wetering) puzzle solve has a great mirror rule. At 19:40 I think applying Sudoku on the 1s digits gets you a 1 in box 1, and a mirrored 9 in box 9, avoiding most of the pencilmarking.

alexleighton.com/posts/2025-1...

Listening to Dissolution Wave by Cloakroom — rock that's heavy but reassuring/relaxing all at once.

alexleighton.com/posts/2025-1...

NVIDIA just released DGX Spark. I don't have a real use case for the hardware, but it seems tailor-made to interest me — it has a small form factor, is energy efficient, and is built for a specific purpose. I don't have a good excuse to buy it though lol.

alexleighton.com/posts/2025-1...

Reported by The Urbanist: Seattle Mayor's office interferes with SDOT traffic calming efforts on Lake Washington Boulevard. It's hard not to see it as a result of the efforts being in the Mayor's neighborhood, since no good reason for the interference was given.

alexleighton.com/posts/2025-1...

Listening To: The Beep Test by God Alone.

Bandcamp's album of the day for 10/11. The album's all over the place, some metal, some mathcore. What works for me are the multiple guitars and edgy vocal stylings.

alexleighton.com/posts/2025-1...

New Anthropic research shows 250 malicious documents can backdoor LLMs regardless of model size or training data volume.

alexleighton.com/posts/2025-1...

Listening to: Kokoro (こころ) by Sababa 5 & Yurika. Middle Eastern psych, funk, disco, and Japanese folk and pop.

alexleighton.com/posts/2025-1...

TIL: Linux kernel developer documentation has a nice guide on crafting git commit messages.

alexleighton.com/posts/2025-1...

Listening to: ASCEND by Kelly Lee Owens. A more EDM-oriented song from her.

alexleighton.com/posts/2025-1...

Just created a Photos page to show off all of my photography-tagged posts in a gallery format.

alexleighton.com/posts/2025-1...

Listening To: Misery by NewDad. Indie rock; I really like the lead singer's voice.

alexleighton.com/posts/2025-1...

Growth Nature in Seattle autumn.

Growth. Nature in Seattle autumn.

alexleighton.com/posts/2025-1...

Listening To: Superstructures by Jeremy Blake. Smooth electronic beats.

alexleighton.com/posts/2025-1...

Looking Outwards Tempestuous sky over the lake.

Looking Outwards — tempestuous sky over the lake.

alexleighton.com/posts/2025-1...

Listening To: Oneknowing by Lena Raine.

Beautiful album. Gives me feelings of nostalgia, reminding me of the trip I took to Japan. Tsukoyomi's my favorite track.

alexleighton.com/posts/2025-1...

TIL: Minikube's Ingress DNS automatically exposes internal services for access via the hostname.

alexleighton.com/posts/2025-1...

Downtown Seattle Looking down 5th avenue.

Looking down 5th avenue in Seattle.

alexleighton.com/posts/2025-1...

Some thoughts on Armin Ronacher's 90 percent article. It largely speaks to experiences I've had at work.

alexleighton.com/posts/2025-0...

Listening To: Close Your Eyes by Wilkinson.

Love the high, melodic vocals layered onto the infectious drum and bass rhythm.

alexleighton.com/posts/2025-0...

I didn't have to wait long to see more investment in the automatic context management area — Claude will cleanup old tool calls now.

alexleighton.com/posts/2025-0...

Listening to Delta Heavy's Midnight Forever ahead of Boo 2025.

alexleighton.com/posts/2025-0...

Looking at Justin Pombrio's 'Imagining Language Without Booleans' through a monad lens — he defines return and sequence, but not bind.

I'm sure there are other interesting observations down this path for those with more category theory under their belt.

alexleighton.com/posts/2025-0...