Advertisement · 728 × 90

Posts by Douglas Creager

The peril of laziness lost | The Observation Deck

The peril of laziness lost bcantrill.dtrace.org/2026/04/12/t...

1 day ago 260 84 5 17

this is so sick????

github.com/astral-sh/uv/blob/8ae8cc3/crates/uv-pep440/src/version.rs#L1064-L1137

2 days ago 36 4 2 0
Preview
Open source security at Astral Insights and guidance from our engineering team on how Astral secures its tools.

the last two weeks have been ~exciting~ in terms of open source security! I've put together a post on Astral's blog about how we think about open source security:

astral.sh/blog/open-so...

5 days ago 12 3 3 1
Preview
Arch Linux (Arm) Update for MNT Reform All required packages to run Arch Linux Arm (ALARM) are now available on the Arch User Repository: Linux & Linux Headers Reform Tools Reform LPC Module i.MX 8M Plus Wifi Module & Firmware Reform tools & modules build from source. Linux & headers are bin-only for now. You can view the whole kernel and headers build process used for these packages. You can also pick up an SD Card image there if you want to try it out. If you like what’s happening here please feel free to vote for these AUR p...

stephano contributed all required patches to run Arch Linux ARM on MNT Reform series devices, yay! community.mnt.re/t/arch-linux-arm-update-...

1 week ago 5 3 0 0

Don’t worry it’s just the Childrens Hospital crossover event

1 week ago 0 0 0 0
Self hosting as much of my online presence as practical Because I am bad at giving up on things, I’ve been running my own email server for over 20 years. Some of that time it’s been a PC at the end of a DSL line, some of that time it’s been a Mac Mini in a...

I have written a blog post about how my blog (and most of the rest of my online presence) is all stuck in a small box that lives under a TV: codon.org.uk/~mjg59/blog/...

1 week ago 85 11 2 0
Uses for nested promises – The If Works

from earlier this week: "uses for nested promises", where I look at why you might ever *not* want implicit promise flattening, and how promises concatenate things in time the way arrays do so in space blog.jcoglan.com/2026/03/23/u...

2 weeks ago 4 4 0 0

Making your conference talk slides? Make the font bigger. Do it again. I know the default font looks ok when you’re looking at it on your laptop but I promise no one can read that from the back

If you can’t fit all the words you want on one slide, you have too many words. Make another slide!

3 weeks ago 379 49 21 12
Thoughts on OpenAI acquiring Astral and uv/ruff/ty The big news this morning: Astral to join OpenAI (on the Astral blog) and OpenAI to acquire Astral (the OpenAI announcement). Astral are the company behind uv, ruff, and ty—three …

Thoughts on OpenAI acquiring Astral and uv/ruff/ty simonwillison.net/2026/Mar/19/...

3 weeks ago 113 22 5 7
Advertisement
Preview
Astral to join OpenAI Astral has entered into an agreement to join OpenAI as part of the Codex team.

astral.sh/blog/openai

3 weeks ago 14 1 0 3

(unless that's a very frothy apple juice 😅)

3 weeks ago 0 0 0 0

+1 to already being on GMT for your beverage choice

3 weeks ago 0 0 1 1
Video

if your specific niche is also "bizarre intertwingled anecdotes about 1950s-1990s computer scientists" i have built your holy grail:

just took a thousand oral histories from the @computerhistory.bsky.social museum and made them fully searchable and deeply interconnected

🎉welcome to f0lkl0r3.dev

3 weeks ago 133 36 4 3
Verifying Move Borrow Checker in Lean: an Experiment in AI-Assisted PL Metatheory I formalised and proved the correctness of Move’s new borrow checker in Lean: 39,000 lines of mechanised metatheory, produced in under a month with the help of an AI coding assistant. This post tells ...

@ilyasergey.bsky.social: "I formalised and proved the correctness of Move’s new borrow checker in Lean: 39,000 lines of mechanised metatheory, produced in under a month with the help of an AI coding assistant." How it went, and what it augurs for PL research.
proofsandintuitions.net/2026/03/18/m...

3 weeks ago 14 3 1 0
‹Programming› 2026 The International Conference on the Art, Science, and Engineering of Programming—or ‹Programming› for short—is a new conference focused on programming topics including the experience of programming. ‹...

Less than a week until ‹Programming› 2026 in Munich (March 16–20)!

What’s ahead:

- 4 days of deep-dive sessions.
- Workshops including MoreVMs, PX/26, SCLIT, VIMPL, and Substrates.
- Networking in the heart of Bavaria.

We can’t wait to see you there!
Final details: 2026.programming-conference.org

1 month ago 4 2 0 0

20 years ago we got "git means you can work offline". now you have to be online all the time to use your LLM and meanwhile github can't stay up for 24 hours at a time

1 month ago 25 1 0 0

Just need to create a random UUID for each project. The typical UUID rendering will probably be too “wordy” though. A Zalgo- and ULID-inspired encoding would probably be best. Maybe with git- and jj-style “trim to locally unique prefix”? Pronunciation decisions left to the reader.

1 month ago 1 0 1 0
Advertisement

hard agree

1 month ago 1 0 0 0
Preview
ICOOOLPS 2026 - ECOOP 2026 The ICOOOLPS workshop series brings together researchers and practitioners working in the field of language implementation and optimization. The goal of the workshop is to discuss emerging problems an...

The deadline of the ICOOOLPS workshop is soon!

Want to talk about language implementation challenges, experiences, and/or research?

It will be in sunny Brussels end of June!

2026.ecoop.org/home/ICOOOLP...

1 month ago 1 3 0 0

That sounds like a “yes”! 😀

1 month ago 0 0 0 0
Preview
From Problem to Taxonomy An introduction to content-defined chunking: why fixed-size splitting fails, how content-aware boundaries solve the deduplication problem, and a taxonomy of three CDC algorithm families.

Sharing a 5-part series on content-defined chunking (CDC) algorithms as background research for my master's thesis on source code deduplication. It's a tour of the algorithms, a deep dive into FastCDC, and explores costs for building deduplication pipelines at scale.

rickwinfrey.com/writings/con...

1 month ago 2 2 0 0

I went a little overboard with this and a little bit insane. moultano.wordpress.com/2026/02/22/t...

1 month ago 272 75 20 32
Preview
go/src/go/build/deps_test.go at f65692ea562bf24c21ae46854e98584dd4bcc201 · golang/go The Go programming language. Contribute to golang/go development by creating an account on GitHub.

Very few people know that the Go standard library has an internal DSL used to make sure that no new intra-stdlib dependencies are added when a change happens:

github.com/golang/go/bl...

1 month ago 118 13 4 0

“Using go fix to modernize Go code” by Alan Donovan — https://go.dev/blog/gofix

#golang

1 month ago 61 23 0 4
Advertisement
Handshake meme with one person labeled “ST:TNG” and the other “Parks & Rec”. They’re shaking hands about “just skip season 1”

Handshake meme with one person labeled “ST:TNG” and the other “Parks & Rec”. They’re shaking hands about “just skip season 1”

2 months ago 2 0 1 0
Preview
Wes Cook and the Centralia McDonald's Mural A personal story about discovering a mural in a McDonald's, an unknown artist named Wes Cook, saving the mural, and a conference talk about the whole thing.

over a year ago, i gave a talk at the xoxo conference about a mural, a mcdonald’s, and a man. (but it was also secretly about life, and legacy, and meaning.)

finally, i’m blogging the full story, with behind-the-scenes details, and a video of the talk.

enjoy. cabel.com/wes-cook-and...

2 months ago 384 107 28 28
Preview
A Language For Agents What programming languages would agents want to program in?

This weekend I was thinking about programming languages. Programming languages for agents. Will we see them? I believe people will (and should!) try to build some. lucumr.pocoo.org/2026/2/9/a-l...

2 months ago 34 8 4 1
Programming Language Implementation: In Theory, We Understand. In Practice, We Wish We Would. My Inaugural Lecture at the JKU will be on March 9th, 2026

Programming Language Implementation: In Theory, We Understand. In Practice, We Wish We Would.

In about a month, on March 9th, I'll give my inaugural lecture.

I'll probably complain about the complexity of modern programming language implementations...

stefan-marr.de/2026/02/prog...

2 months ago 21 4 0 0
The Value of Things – journal.stuffwithstuff.com

Forgive me, I wrote a thing about AI: journal.stuffwithstuff.com/2026/01/24/t...

2 months ago 78 10 7 3
screenshot of a terminal running the command `git push origin main`, the output of the command has been modified to show a video player advertising squarespace, as a parody.

screenshot of a terminal running the command `git push origin main`, the output of the command has been modified to show a video player advertising squarespace, as a parody.

2 months ago 349 53 12 8