Thinking about programming languages and imaginary landscapes. he/him - https://types.pl/@brendan (preferred) - https://github.com/brendanzabhttps://bsky.app/profile/brendanzab.bsky.socialhttps://bsky.app/profile/brendanzab.bsky.social/post/3mmsn5iqmc22mIt’s so nice that moss season is back27 May 2026 04:09 +0000at://did:plc:x4dhpfb2k4i4m2e757imjrl3/app.bsky.feed.post/3mmsn5iqmc22mhttps://bsky.app/profile/brendanzab.bsky.social/post/3m7lrjc2soc2kWelp, I got the age verification thing. Not sure if I'll end up sharing my data with this third-party provider. Feel free to follow me on the fediverse via the link on my profile.10 Dec 2025 00:11 +0000at://did:plc:x4dhpfb2k4i4m2e757imjrl3/app.bsky.feed.post/3m7lrjc2soc2khttps://bsky.app/profile/brendanzab.bsky.social/post/3lt54eyneoc2xMoss from this morning. Had to rescue some clumps that had been kicked up and flipped upside down!04 Jul 2025 11:13 +0000at://did:plc:x4dhpfb2k4i4m2e757imjrl3/app.bsky.feed.post/3lt54eyneoc2xhttps://bsky.app/profile/brendanzab.bsky.social/post/3ls5q6hdluc2sGot up early today to look at the moss!21 Jun 2025 23:42 +0000at://did:plc:x4dhpfb2k4i4m2e757imjrl3/app.bsky.feed.post/3ls5q6hdluc2shttps://bsky.app/profile/brendanzab.bsky.social/post/3lrrrdxru4s2uI’ve added an example of recovering from type errors during type checking to my language garden: https://github.com/brendanzab/language-garden/tree/main/elab-stlc-error-recovery. Unlike exception-based approaches to type checking, this allows checking to continue after an error has been reported, which is important for real-world implementations.17 Jun 2025 05:31 +0000at://did:plc:x4dhpfb2k4i4m2e757imjrl3/app.bsky.feed.post/3lrrrdxru4s2u