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

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

Reading group? On my long weekend??

I doubt there exists another language with gem as a keyword

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

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

re: KaTeX

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

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

re: KaTeX

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

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*

re: KaTeX

ionathanch.gitlab.io/ would you look at that! it's up!

re: KaTeX

build failed

re: KaTeX

oh yeah that's definitely what I meant to do

re: KaTeX

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

KaTeX

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

This shirt's target audience is @yoo

Didn't know Bob Harper taught yoga too

Show older

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