I ended up doing something like this for a separate use case (had to host a bunch of Drupal instances, and for some reason end users needed shell access). For the proxy I did not rely on a “proper” ssh daemon (like…
I already did [1]. It got moved into hayagriva, which appears to be the library used to implement citation in typst. [1] https://github.com/typst/hayagriva/issues/255
Like other commentators, I have worked with LaTeX for a long time (> 10 years) and have to say that it very much shows its age. For once, the compilation time is terrible - it can take several minutes to compile a…
I'd second this - linking directly to `https://arxiv.org/abs/{{id}}` maybe even include the formats in the `Access Paper` box on the RHS of that interface would be a neat feature.
I believe the questionable legality also extends to any kind of video calls taking place on systems with this turned on. If Recall indeed "does not perform content moderation", then having it on would include having…
I usually interpret the “we” in scientific papers as “you (the reader) and me (the author)”.
At one point a project in a research group I'm part of did automatic parsing of the entire OEIS to find relations between different existing sequences. Using a very simple approach, they found ~300 000 000 relations…
You can actually also use the latexmlc omni-executable [1] (that is part of the latexml distribution), which can convert to html in one command: latexmlc --dest=mydoc.html --format=html5 mydoc.tex [1]…
Wouldn't the grant given through section 5 of GitHub TOS [1] apply here? That says "you grant each User of GitHub a nonexclusive, worldwide license to use, display, and perform Your Content through the GitHub Service…
Yes it does, e.g. compare the pdf [1] and corresponding html [2]. [1] https://arxiv.org/pdf/2312.12451.pdf [2] https://browse.arxiv.org/html/2312.12451v1
Even if the official tool does shut down, a quick search shows several projects on GitHub to replace the official flashing utility. This seems to include a backup of the original site [1], an extended version [2] and a…
However D4 also explicitly says "This license does not grant GitHub the right to sell Your Content". One could argue that because Copilot is a commerical product it is in fact selling (a derivative of) user code, and…
Duplicate: https://news.ycombinator.com/item?id=35324538
IANAL but I don’t think that GitHub is violating their ToS here. L4 says ”GitHub has the right to suspend […] your access […] at any time […]. GitHub reserves the right to refuse service to anyone for any reason at any…
I’m wondering what prevents network operators from just disabling the use of Private Relay on their networks. This could be achieved both via legal means (in e.g. their terms of service to prohibit use of any VPNs or…
There is https://pkg.go.dev/golang.org/x/exp/slices. See also https://github.com/golang/go/issues/45955.
In its’ very basic form a license has two distinct purposes: a) limit whatever rights are granted by copyright law b) grant new rights that go beyond copyright law > Activities other than copying, distribution and…
Reminds me of https://libraryofbabel.info/
> We lost 3800 stars on Github in 1 click Last time I checked changing repository visibility required confirmation and manually typing in the name of the repository to confirm. So it's not exactly "one click". I also…
I was missing an example of an async operation with Connective. Like fetch()ing something from an API based on a username.
I ended up doing something like this for a separate use case (had to host a bunch of Drupal instances, and for some reason end users needed shell access). For the proxy I did not rely on a “proper” ssh daemon (like…
I already did [1]. It got moved into hayagriva, which appears to be the library used to implement citation in typst. [1] https://github.com/typst/hayagriva/issues/255
Like other commentators, I have worked with LaTeX for a long time (> 10 years) and have to say that it very much shows its age. For once, the compilation time is terrible - it can take several minutes to compile a…
I'd second this - linking directly to `https://arxiv.org/abs/{{id}}` maybe even include the formats in the `Access Paper` box on the RHS of that interface would be a neat feature.
I believe the questionable legality also extends to any kind of video calls taking place on systems with this turned on. If Recall indeed "does not perform content moderation", then having it on would include having…
I usually interpret the “we” in scientific papers as “you (the reader) and me (the author)”.
At one point a project in a research group I'm part of did automatic parsing of the entire OEIS to find relations between different existing sequences. Using a very simple approach, they found ~300 000 000 relations…
You can actually also use the latexmlc omni-executable [1] (that is part of the latexml distribution), which can convert to html in one command: latexmlc --dest=mydoc.html --format=html5 mydoc.tex [1]…
Wouldn't the grant given through section 5 of GitHub TOS [1] apply here? That says "you grant each User of GitHub a nonexclusive, worldwide license to use, display, and perform Your Content through the GitHub Service…
Yes it does, e.g. compare the pdf [1] and corresponding html [2]. [1] https://arxiv.org/pdf/2312.12451.pdf [2] https://browse.arxiv.org/html/2312.12451v1
Even if the official tool does shut down, a quick search shows several projects on GitHub to replace the official flashing utility. This seems to include a backup of the original site [1], an extended version [2] and a…
However D4 also explicitly says "This license does not grant GitHub the right to sell Your Content". One could argue that because Copilot is a commerical product it is in fact selling (a derivative of) user code, and…
Duplicate: https://news.ycombinator.com/item?id=35324538
IANAL but I don’t think that GitHub is violating their ToS here. L4 says ”GitHub has the right to suspend […] your access […] at any time […]. GitHub reserves the right to refuse service to anyone for any reason at any…
I’m wondering what prevents network operators from just disabling the use of Private Relay on their networks. This could be achieved both via legal means (in e.g. their terms of service to prohibit use of any VPNs or…
There is https://pkg.go.dev/golang.org/x/exp/slices. See also https://github.com/golang/go/issues/45955.
In its’ very basic form a license has two distinct purposes: a) limit whatever rights are granted by copyright law b) grant new rights that go beyond copyright law > Activities other than copying, distribution and…
Reminds me of https://libraryofbabel.info/
> We lost 3800 stars on Github in 1 click Last time I checked changing repository visibility required confirmation and manually typing in the name of the repository to confirm. So it's not exactly "one click". I also…
I was missing an example of an async operation with Connective. Like fetch()ing something from an API based on a username.