Live data from Hacker News

Viewing profile — kerneloops

kerneloops

HN member
Joined
Tue, Jan 04, 2022, 11:44 AM UTC
HN karma
164
Public activity
34 items

About kerneloops

No profile information was provided.

Recent public activity

  1. story
  2. comment
    Comment #45704914

    Another one: const cast: (a: A) => B = function (): B { return arguments[0] } const n: string = cast(1)

  3. story
  4. story
  5. comment
  6. comment
    Comment #39927429

    See also: Well-typed music does not sound wrong (experience report), Haskell 2017 https://dl.acm.org/doi/10.1145/3122955.3122964

  7. comment
    Comment #38830456

    A survey of some other languages: C printf: MT-Safe locale. C++ std::cout: safe, unless you call sync_with_stdio(false). JVM System.out.println: safe in common JVMs. C# Console.Wri…

  8. story
    Tell HN: Python's print function is thread-unsafe

    Some days ago I found that Python's print function is by default thread-unsafe, as the underlying sys.stdout is by default a TextIOWrapper, which is not thread safe. That means, fo…

  9. story
  10. story
  11. story
  12. comment
    Comment #36615356

    The only problem to me is that the "official" Joplin Server is proprietary: https://github.com/laurent22/joplin/blob/dev/packages/server...

  13. comment
    Comment #34832613

    URL should be https://research.kudelskisecurity.com/2020/04/22/an-introduc...

  14. story
  15. comment
    Comment #34310444

    > Using these accessors, the VMs become able to do anything that JS can do. In fact the source language is likely to be JS itself; a JS-to-some-sort-of-vm-bytecode-to-JS compiler i…

  16. comment
    Comment #34116231

    Another reason to use `void 0` is that "void 0" takes only 6 characters while "undefined" takes 9, saving some bandwidth. It is common practice for JavaScript minifiers to use this…

  17. comment
    Comment #32697427

    I usually give them 1970/1/1 as my birthday. That's easier to remember, since password managers don't work well with date inputs sometimes.

  18. comment
    Comment #32675211

    Microsoft (at least used to) require account passwords to not include the part before @ in email addresses. My email address was a@(domain).net, and therefore I was prevented from …

  19. story
  20. story
  21. story
  22. comment
  23. comment
  24. story
  25. story