Pinned toot

$\mathcal{things ~ are ~ just ~ other ~ things}$

Pinned toot

✨ 𝓲𝓽 𝓲𝓼 𝓪𝓵𝔀𝓪𝔂𝓼 𝓪𝓵𝓵 𝓽𝓱𝓮 𝓽𝔂𝓹𝓮𝓼 ✨

Pinned toot

"Computers are rocks we tricked into thinking" is entirely incorrect. Computers are rocks we tricked ourselves into believing they could think

What if I played Minecraft instead... haha jk unless...?

Show thread

Okay actually if it's going to rain and I'm not going to be outside I might as well join

Show thread

I doubt there exists another language with gem as a keyword

Show thread

What kind of syntax highlighter for a more popular language do you think has the same structure as Gemfiles

Show thread

The irony of Rouge, the syntax highlighter written in Ruby, not having a lexer for Gemfiles

re: KaTeX 

For some reason it's not listening to when I set the math_engine in the config file so I give up

Show thread

re: KaTeX 

I found this github.com/kramdown/math-katex which I think might be a cleaner solution but it: does not work lol

Show thread

I just noticed I have this Super Productivity thing starred on github github.com/johannesjo/super-pr but I haven't tried it out at all lol

re: KaTeX 

✔️ GH Pages repo archived

Show thread

re: KaTeX 

I'm going to start abusing my new power and start writing all my posts in LaTeX instead of using Unicode

Show thread

re: KaTeX 

GitLab is obtaining a Let's Encrypt SSL certificate for this domain. This process can take some time. Please try again later.

*jeopardy music*

Show thread

re: KaTeX 

oh yeah that's definitely what I meant to do

Show thread

re: KaTeX 

I was looking at production not local lmao. I'm a fool

Show thread

KaTeX 

I removed the JS link from but when I build the site it's still there ???

Show thread
Show older
types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.