While writing an MSIL interpreter, I discovered a bunch of unexpected things about the .NET runtime.

A basic but functional expect-testing framework for F#.

Since my last post about this in 2024-03, LLMs have become a distinctly positive addition to my ability.

I’ve never actually seen anyone write down precisely the way I think about consciousness, so here it is: it’s (gasp!) like a blockchain.

How to get a NativeAOT build using nixpkgs

Last weekend I was in a discussion ostensibly about whether the mind is nonphysical. Much of the discussion ended up as a rather polite shouting match about Mary’s Room. Here is what I actually believe about it.

Modern software practices and their sadness.

I went to a one-day intro to massage taster course, and it was fun and interesting!

My F# source generators have some new features, including an argument parser.

I’ve made a GitHub workflow to assert that all required GitHub checks are complete, and one to publish and attest NuGet packages.

The questions whose answers I don’t know, and the things I intend to learn, on the way to understanding a paper.

Those who would give up essential safety, to purchase a little temporary simplicity, deserve (and will get) neither safety nor simplicity.

To me it’s got a specific meaning, but I’ve seen it used much more generally, and I think its meaning should not be polluted.

Another attempt to explain that the Yoneda lemma is actually intuitive.

After a decent while programming with ChatGPT, I’m not sure it’s even a net positive on my ability.

All the reasons I know for why YAML is not a superset of JSON.

Travelogue of my trip to Norway.

A question about the definition of a no-confusion type.

How to start a process into a suspended state on Linux

Some F# source generators to solve common problems I have.