Stray spoilers 

I am disappointed I didn't get to ride on more peoples' shoulders.

Show thread

Stray spoilers 

This is definitely how hacking works I am a Professor of Computer Science.

Show thread

Stray spoilers 

I have completed Stray. It was short and a little incongruous (the number of fetch quests people give A CAT is .. well okay), but pretty excellent anyway, and refreshing to see an original game.

re: Stray 

This is not what I signed up for I wanted to be a cat.

Show thread

Stray 

When did this become half life?

Racket v8.6 is now available from download.racket-lang.org/
Enhancements include equal-always?, stencil vectors, Windows on Arm64, simultaneous substitutions in Redex, enhancement to the Web Server, LOP build system and many other repairs and changes!
See blog.racket-lang.org/2022/08/r for details.

I'm working on a tutorial on implementing Racket hash-langs, assuming no knowledge of macros or modules. I've finished a draft of the first part, which starts from a whole-program interpreter and builds a hash-lang from that interpreter. Feedback welcome: williamjbowman.com/tmp/how-to-

The next part will take the whole-program interpreter and turn it into a macro-embedded language, implementing a hash-lang “the right way”.

There’s still room. I might plant peas. But should build something for them to climb. Probably out of blackberry cane.

Show thread

I also found a lot more potatoes. I probably didn’t get them all.

Show thread

Progress. I have planted kale, potatoes, and green onions.

While I was out with my tools, I reclaimed the sidewalk from the Himalayan blackberries. They’re out for blood.

Show thread

Spent another few hours reclaiming the garden plot. To the left, you can see the second plot, which I haven’t started on. To the right, the overgrowth that was in there.

PL Twitter is debating whether or not academia is a meritrocracy and I just want to jump in and shout "actually, meritocracy is bad".

Show older
types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.