Pinned toot

✨ 𝓲𝓽 𝓲𝓼 𝓪𝓵𝔀𝓪𝔂𝓼 𝓪𝓵𝓵 𝓽𝓱𝓮 𝓽𝔂𝓹𝓮𝓼 ✨

Pinned toot

"Computers are rocks we tricked into thinking" is entirely incorrect. Computers are rocks we tricked ourselves into believing they could think

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

I think we should bring back handkerchiefs

you don't really need the eraser but the institution has recently instituted an environmental policy on the basis that the infinitely-long strip of paper must be conserved

Show thread
Show older
types.pl

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