pounce 🍊 :transgender_pride_potion:

pounce@types.pl

i like topology, tea and type theoryphd student in iceland 🇮🇸i won't approve your frq if you have an empty bio and post history

Posts

Post #4309873
higher category theory is when your types are more dependent and the more dependent your types are the higher it is
Post #4309872
sometimes i feel mocked a bit by 🍊 asking "do you see yellow?"
Post #4309871
i guess humans are more "grammar apes" than "syntax monkeys"
Post #4309870
lmao did lean really lose its "no proofs of falsehood in the kernel" gold star because of slop
Post #4309869
noooo detexify is slop now
Post #2837477
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
Post #2837476
is mathml broken on types
Post #2149119
why does template haskell only let you generate like half of the possible pragmas :mario_flop:
Post #2149118
report haskell bug -&gt; 15minutes into waiting for ghc to build pipeline :tiredcat:
Post #1684816
zulip has decided it won't run on wayland love every chat app (even open source) being a miserable pile of chromium nonsense
Post #1684815
i literally can't see the horizontal line on 'e' characters at standard scale in computer/latin modern on a 1920x1080 display :mario_flop:
Post #1684814
love when you build something in stack and then build it in cabal and get a different type
Post #1684813
hm, niri doesn't support explicit sync
Post #1467768
cant believe ppl of the past didn't know bicategories were \mathsf and not \mathscr
Post #1467767
the issue i made last time i wrote typst is still open https://github.com/typst/biblatex/issues/83
Post #1467766
mad that i can't override @ as a function in typst and turn @todo into [citation needed]
Post #1467765
stack really is a horrible name for a build system