i hate that we all have to live on the same planet as the united states

Israel is a criminal, fascist settler colonial state engaging in a genocide & bombing civilians in at least 5 nations right now. Any escalation into full blown war is both its aim & its fault & our continual sale of arms,- & frankly anything else, to them endangers the lives of everyone on Earth.

israel is a rogue state that western countries should have reined in a long time ago

New Blog Post: The P=NP Utopia
tttardigrado.github.io/blog/utopia/

Officially doing research in Automata Theory :)

Fuck fascists

Why are LaTeX's CV templates so ugly 😭

I have a new academic goal: publishing a paper about a weird language like brainfuck ir befunge

why is the little golden robot in star wars named after a complete partial order

people argue whether mathematics is a social product or is free from human contingencies. here is a sense in which maths is a social construct.
this 1920 book of log & trig tables has values for an important trig function, the haversine. yet you've probably never heard of it. #MathSky

If JavaScript was a serious programming language and embraced coercion to the fullest

It's kind of amazing that PLT is such a perfect intersection between so many fields i love: cs, math, logic, philosophy, ...

Will 2024 be the year I do Advent Of Code in OCaml 👀

(I)ntensional / (E)xtensional
(N)ominal / (S)tructural
(T)ype-theoretic / (F)irst order
(J)udgmental / (P)ropositional

Just read about John Locke's commonplace notebook index and I am fully convinced that he would have been a computer scientist

Here it is tttardigrade.bearblog.dev/pll/

P'' (brainf*ck's formal cousin) implementation in ~30 lines of Haskell

Need to find the time to write a small blog post about this one

Somehow this website typechecks