pounce 🍊

sometimes i feel mocked a bit by 🍊 asking "do you see yellow?"

lmao did lean really lose its "no proofs of falsehood in the kernel" gold star because of slop

higher category theory is when your types are more dependent and the more dependent your types are the higher it is

i guess humans are more "grammar apes" than "syntax monkeys"

zulip has decided it won't run on wayland
love every chat app (even open source) being a miserable pile of chromium nonsense

i like a lot of things about typst but the fact so much random behaviour is baked into the rust compiler bit, and isn't configurable within the language bugs me so often

stack really is a horrible name for a build system

love when you build something in stack and then build it in cabal and get a different type

i literally can't see the horizontal line on 'e' characters at standard scale in computer/latin modern on a 1920x1080 display :mario_flop:

why does template haskell only let you generate like half of the possible pragmas :mario_flop:

cant believe ppl of the past didn't know bicategories were \mathsf and not \mathscr

report haskell bug -> 15minutes into waiting for ghc to build pipeline :tiredcat:

hm, niri doesn't support explicit sync

is mathml broken on types

noooo detexify is slop now