Ben Firshman

Results 290 comments of Ben Firshman
trafficstars

Yup, it's a leaky abstraction, but I think commands by default _always_ running in the background is even worse, because you have no idea it is running in the background,...

Thanks for this @3846masa! This is a great start. Some thoughts: * syscall.Exec can't be trivially replaced (exit code won't be returned, signals won't be passed, etc. Probably lots of...

Nice, thank you @3846masa! (and @mapitman!) I will take a proper look at this when I get some time. Would you be willing to help maintain the Windows support? I...

Thanks! I’ll take a look.

Might be able to get them from https://fontlibrary.org/

Fontlibrary does not seem to be behind a CDN, and it's not clear who looks after it. Frustratingly it seems to be behind Cloudflare, but without the CDN switched on....

rawgit no longer exists, so switching to jsdelivr, so that's probably good enough for now. If Google haven't implemented this by the time we want to go to production, then...

Images side by side on mobile are tiny. They should scroll. https://www.arxiv-vanity.com/papers/1712.03280/

Probably best implemented as https://github.com/brucemiller/LaTeXML/issues/979

Hi @itscodezada17! Thank you! If you look on that paper, you'll see that the footnote in the title is pushed off to the side of the page. I'm not sure...