Live data from Hacker News

Viewing profile — tkw01536

tkw01536

HN member
Joined
Tue, Oct 17, 2017, 6:48 PM UTC
HN karma
58
Public activity
20 items

About tkw01536

No profile information was provided.

Recent public activity

  1. comment
    Comment #47435615

    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 r…

  2. comment
    Comment #45397702

    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

  3. comment
    Comment #45397535

    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 …

  4. comment
    Comment #40460476

    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…

  5. comment
    Comment #40434481

    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", the…

  6. comment
    Comment #40431347

    I usually interpret the “we” in scientific papers as “you (the reader) and me (the author)”.

  7. comment
    Comment #39946939

    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…

  8. comment
    Comment #39140094

    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…

  9. comment
    Comment #39032600

    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 You…

  10. comment
    Comment #38721840

    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

  11. comment
    Comment #38688698

    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 s…

  12. comment
    Comment #35872419

    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 sell…

  13. comment
    Comment #35324731

    Duplicate: https://news.ycombinator.com/item?id=35324538

  14. comment
    Comment #35279566

    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 s…

  15. comment
    Comment #30665637

    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 se…

  16. comment
    Comment #30598424

    There is https://pkg.go.dev/golang.org/x/exp/slices . See also https://github.com/golang/go/issues/45955 .

  17. comment
    Comment #30403776

    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 oth…

  18. comment
    Comment #29636097

    Reminds me of https://libraryofbabel.info/

  19. comment
    Comment #29429163

    > 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 …

  20. comment
    Comment #20853705

    I was missing an example of an async operation with Connective. Like fetch()ing something from an API based on a username.