¶What I'm doing now
2024-12-09, Southborough, MA
What is a “now page”? [nownownow.com]
¶Astral
In December I left GitHub and moved to Astral, where I will be working as a software engineer. My focus will be on the type checking logic that is being added to Ruff, code-named Red Knot. I'm really excited to have such a deeply interesting PL topic to contribute to, and also to help find commercial opportunities for the startup that don't undercut or cannibalize our open-source tools and community.
¶Walland Heavy Research
Given the new role at Astral, I am no longer actively seeking out consulting work with my consultancy. That said, I'm still working in an advisory capacity with startups and academics in the devtools space. If you feel like I'd be a good fit as a technical advisor, drop me a line!
¶Swanson
Still hacking away on my programming language. These days it's focused on the concatenative / stack-based paradigm, and is more of a framework for implementing other languages. Most recently I've been noodling on how to add types — but not the kinds of types that would appear in the higher level languages being compiled down to Swanson, but instead something more like a session type describing the protocol of how you can / are interacting the objects on the runtime stack. Statically enforced duck typing, maybe?
¶CSP
A wrote a quick position post a couple of months ago about using CSP in property tests for a distributed system. Since then I've been hacking away on a proof of concept of doing that in Go using the slog structured logging library.
CSP would be a good language for property tests