David A Roberts

Results 177 comments of David A Roberts

:+1: @vinctux I think @jbenet means making each oeis entry available as a separate file

@whyrusleeping does ipfs have tar support now? Where? 😀 Edit: found it. That's awesome @whyrusleeping ! :clap:

You can also use GITHUB_TOKEN with these permissions: ```yaml permissions: contents: read pull-requests: write deployments: write ```

I haven't noticed any downsides, it just means the comments come from the "github-actions" bot

Oops, sorry for the lack of response. All looks good to me :) I'll see what I can do about NPM access when I have a chance

Ah, I remember, I started setting up the CI integration for publishing, but then wasn't particularly happy that the automation tokens grant unlimited access to my NPM account, hopefully npm/roadmap#10...

I think it would just involve adding the `format` and `formatted_body` keys as per matrix-org/matrix-doc#471 Of course you then need to worry about sanitising messages...

That's odd, it looks ok for me (Firefox, Ubuntu): ![image](https://user-images.githubusercontent.com/24291/65382055-ee780800-dd40-11e9-9ceb-012a578bd486.png) Is it only in Font Book that it's misaligned?

Mm, I'd say this is a font rendering issue, I'm not sure there's anything I can do to fix it in the font itself generally. I guess I could add...

Thanks for working on getting LLJVM compatible with a more recent release of LLVM. I haven't worked with LLJVM or LLVM in quite a while, so I can't comment on...