Tom Houle's homepage

I joined Glen on Netstack.fm to chat about the state of GraphQL.

I had a fantastic time at GraphQL Conf in Amsterdam last September.

Since ChatGPT is the trend of the moment, I had to check it out.

I haven’t been good at doing these lists and collecting what I read recently, let’s try to come back to it.

This is a race report, probably most interesting for myself looking back on it later, but hey, it’s writing practice.

Slow month, from the readings angle.

A bit more than a month and a half elapsed since last post.

I am starting an experiment: just document interesting things I read as a list from time to time.

I had free time yesterday,so I continued my efforts to find a better creative coding setup.

Historically, there have been a number of approaches to the problem of building Rust projects with Nix1.

I just finished Logical Foundations, the first part of the Software Foundations series.

This post contains three updates at different points in time on formalizing chapter 1 of Michael Spivak’s Calculus book and its problems in Lean.

The slides for a talk I gave at the Rust Berlin meetup introducing the some elements of our test setup at Prisma.

The slides for a talk I gave at the Rust Berlin meetup introducing the graphql-client crate.