otini @otini@functional.cafe

It’s becoming kinda frustrating to work completely alone on this project (math typesetting in SILE).

On the other hand, I understand that practically everyone will judge the task too big, for too little benefit

As usual, I will cowardly stop doing the Advent of Code as soon as I find myself unable to answer with a 5-line Haskell code

Les rendus des étudiants contiennent parfois des surprises (et du pessimisme).

I've tried out the new monadic operators in OCaml, it's not bad.

entire code https://gist.github.com/OlivierNicole/4e68b449a3df852b04125fe88343dbda

before/after using the `let*` operator:

Finally, proper integrals (SILE vs LuaLaTeX output). I had to write in C to get this 😭

Something's wrong with the `\Longrightarrow` symbol in TeX

Firefox, where does this script URL come from?

#SILE hacking: finally got around to writing a little grammar for writing math in a TeX-like style (left) rather than in MathML directly (right).
Which one do you prefer? 😜

Errrr… wat

Reading a journal paper, my supervisor is cited in it. It's normal but it feels weird ^^

Wondering why many people denote \( σ_{\dashv} \) the last element of the sequence σ. Is it because \( \dashv \) looks a bit like −1? 😄

I can't see a difference now. SILE math prototype (left) vs LuaLaTeX (right).

Now, save for the size of big operators in display style, I think they are almost identical.

This is a challenge for typographers (which I am not). Can you tell apart our rendering (amateurish) from LuaLaTeX's?

i can haz debuggin

These fraction rules are too thick; but which value am I to use? The math constants table of my math font (XITS) says 0.66, but 0.66 what? 😕

Better!
I need dinner now.

Mmm… not quite. #SILE

Well, someone's being bossy

The game #BabaIsYou is Turing-complete and someone proved it by implementing cellular automation no. 110 in it, and it's so cool!
The tweet: https://twitter.com/mattar0d/status/1109987662608384000
The video: