tttardigrade

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

Update: CV updated
Now I need the motivation to write a motivation letter

Made a cool one with typst

Why are LaTeX's CV templates so ugly 😭

I actually have some theorems about brainfuck that I've proved
Need to typeset them when I have the time

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

Table X — values and logarithms of haversines [a big table of values] from Logarithmic and trigonometric tables, Hedrick, E. R. (1920)

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, ...

Fair
I'll do it in OCaml

Kinda unsure about this

I want to learn OCaml real bad

But I'm taking a competitive programming class in C++ and it seems like a good oportunity to practice

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

Fixed the blog post and the gist, thx for pointing that out :)

That what i get for copying the code from the blogpost without running it hahaha

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