Moved to mastodon.social! @TetraspaceGrouping@schelling.pt

*unboops ur snoot*

in Flancia there is an agora; in Florida there is an algore-a

coq is great. its all the ease and permissiveness of haskell, but you also have to persuade the compiler that your code terminates and the compiler is not very smart

my solution for part 1 also worked exactly as-is for part 2, which was nice #noxp

I just completed "Lanternfish" - Day 6 - Advent of Code 2021 #AdventOfCode https://adventofcode.com/2021/day/6

Magical girl whose power is to lower the resolution of reality. In their radius, terrain acts as completely flat, you're either holding a weapon or not, etc. At touch range you're in turn based combat with a limited action set and a health/mana bar. Finisher move traps things in zero dimensions. Wish was to "know/understand everything"; power makes reality meet them halfway.

verified mastodon user

( ´･･)ﾉ(._.`)

That's the way the Tetraspace crumbles

I just completed "Dive!" - Day 2 - Advent of Code 2021 #AdventOfCode https://adventofcode.com/2021/day/2

guy who hears all per thoughts as coming from an external source and when per tries to explain this to other people they assume it's just a metaphor and likewise when other people explain how they are the source of their own thoughts per assumes this is jut a metaphor for how the voice of god is derived from their own experiences