jonoodle 
@ionchy@types.pl
- pronouns
- he/him (or they/them)
- website
- https://ionathan.ch
- birdsite
- https://twitter.com/ionathanch
- Pokémon Go
- 8336 6654 0984
Admin
Jon(athan)? | ionchy ("yawntchy")
PhD student in PL doing type theory things
#WaterDrinker 💦
emoji boy of types.pl 🇨🇦 🏳️🌈 
I have been blessed with admin powers on this instance and I will do my best not to muck things up
pfp: https://picrew.me/share?cd=6rKy0AQ4I3
header: https://doi.org/10.1145/2578855.2537850
Joined Oct 2020
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
boosted
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
#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
https://github.com/ionathanch/adventofcode-2022/blob/main/src/07.rkt
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
oops I broke chat jeepity. it won't answer my question
jonoodle
boosted
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
# # # # # #
"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
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
- pronouns
- he/him (or they/them)
- website
- https://ionathan.ch
- birdsite
- https://twitter.com/ionathanch
- Pokémon Go
- 8336 6654 0984
Admin
Jon(athan)? | ionchy ("yawntchy")
PhD student in PL doing type theory things
#WaterDrinker 💦
emoji boy of types.pl 🇨🇦 🏳️🌈
I have been blessed with admin powers on this instance and I will do my best not to muck things up
pfp: https://picrew.me/share?cd=6rKy0AQ4I3
header: https://doi.org/10.1145/2578855.2537850
Joined Oct 2020
