Alex's Avatar

Alex

@alexleighton.com.bsky.social

50 Followers  |  106 Following  |  121 Posts  |  Joined: 07.12.2024  |  1.6818

Latest posts by alexleighton.com on Bluesky

Listening To: I AM___ By Imogen Heap

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

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

25.10.2025 21:48 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Note Identifiers and Tests Extended discussion on data representation.

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...

25.10.2025 21:46 β€” πŸ‘ 1    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0
Listening To: Dertli Dolap By Γ–zgΓΌr Baba

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...

24.10.2025 02:56 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Starting Knowledge Bases Writing a coding agent tool in OCaml.

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...

24.10.2025 02:52 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Listening To: Morning Groovy House Set By LIKA

Listening To: Morning Groovy House Set

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

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

24.10.2025 02:51 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
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...

24.10.2025 02:49 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
Hall of Mosses Trail Textures of the Hall of Mosses.

Textures from the Hall of Mosses Trail.

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

19.10.2025 15:13 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Listening To: To See the Next Part of the Dream By Parannoul

Listening to Parannoul β€” To See the Next Part of the Dream. Rough indie Korean shoegaze.

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

19.10.2025 15:11 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Mirror Sudoku Another enjoyable puzzle on Cracking the Cryptic

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...

19.10.2025 15:01 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Listening To: Dissolution Wave By Cloakroom

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

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

15.10.2025 16:57 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
NVIDIA DGX Spark New designed-for-LLMs hardware.

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...

15.10.2025 16:56 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Lake Washington Traffic Interference Suspected unethical dealing from the mayor's office.

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...

15.10.2025 16:54 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Listening To: The Beep Test By God Alone.

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...

15.10.2025 12:42 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
LLM Poisoning 250 documents is all you need.

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

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

15.10.2025 12:40 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Listening To: Kokoro - こころ By Sababa 5 & Yurika

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

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

12.10.2025 12:33 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
TIL: Linux Commit Messages Communicating changes.

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

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

12.10.2025 12:31 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Listening To: ASCEND By Kelly Lee Owens

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

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

12.10.2025 12:28 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Changelog: Photos Page Photography posts are now browseable image-first.

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

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

12.10.2025 12:26 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Listening To: Misery By NewDad

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

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

11.10.2025 04:32 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
Growth Nature in Seattle autumn.

Growth. Nature in Seattle autumn.

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

11.10.2025 04:31 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Listening To: Superstructures By Jeremy Blake

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

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

11.10.2025 04:29 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
Looking Outwards Tempestuous sky over the lake.

Looking Outwards β€” tempestuous sky over the lake.

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

11.10.2025 04:28 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Listening To: Oneknowing By Lena Raine

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...

10.10.2025 05:51 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
TIL: Minikube Ingress DNS Automatic service exposure.

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

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

10.10.2025 05:49 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
Downtown Seattle Looking down 5th avenue.

Looking down 5th avenue in Seattle.

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

10.10.2025 05:47 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Re: 90 Percent On the state of software engineering with coding agents.

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

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

10.10.2025 05:45 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Listening To: Close Your Eyes By Wilkinson

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...

10.10.2025 05:42 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
New Claude Context Management Automatic deletion of tool calls.

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...

30.09.2025 08:40 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Listening To: Midnight Forever By Delta Heavy

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

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

30.09.2025 08:38 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Re: Imagining a Language Without Booleans Thinking about how Monads fit into the article's picture.

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...

30.09.2025 08:37 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

@alexleighton.com is following 20 prominent accounts