jonoodle boosted

@edwinb type inference? more like type divination

jonoodle 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

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

I swear the error messages for PLAI have gotten better too

I ❤️ PLAI

#lang 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

re: Advent of Code 2022, Day 7

I have now refactored my code to my liking. I need to sleep

re: Advent of Code 2022, Day 7

So I've just completed parsing the input lmao

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

I think I asked it too much too quickly lol

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

jonoodle boosted

im waking up. to cats and pups

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

                  ##    ##    ##    O##   <--- friend #  #  #  #  #  #

@dev his example wasn't even correct 💀

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

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

Show older

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