jonoodle :catdragn: boosted
jonoodle :catdragn: boosted

I just mistyped "typing rules" as "typing runes" and I think that's just what I'm going to call them now.

If it's another one of those games that's really difficult to spatially navigate with a mouse like Outer Wilds or Stray I'm not doing it

Show thread

Why is everyone talking about Dwarf Fortress and should I play it

I swear the error messages for PLAI have gotten better too

Show thread

curly-fn plai is a powerful combination

re: Advent of Code 2022, Day 7 

idk why I wrote the parse in CPS. I guess I could've done values but I hate needing to match on values

Show thread

re: Advent of Code 2022, Day 7 

github.com/ionathanch/adventof
I have now refactored my code to my liking. I need to sleep

Show thread

re: Advent of Code 2022, Day 7 

So I've just completed parsing the input lmao

Show thread

I'm so excited for Depths of Wikipedia on Thursday. I will allow myself one (1) alcohol

oops I broke chat jeepity. it won't answer my question

jonoodle :catdragn: boosted

oh advent of code 2020 day 20... I hope a problem like you never comes back lmao

Show thread

"programming languages without recursion, like SQL" interesting choice of example

Show thread

tuning back in to lecture and suddenly seeing "ω↑-continuous" on the screen. what happened here

Show older
types.pl

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