Viewing profile — kerneloops
kerneloops
HN member- Joined
- Tue, Jan 04, 2022, 11:44 AM UTC
- HN karma
- 164
- Public activity
- 34 items
- HN profile
- View on Hacker News ↗
About kerneloops
No profile information was provided.
Recent public activity
- story
-
comment
Comment #45704914
Another one: const cast: (a: A) => B = function (): B { return arguments[0] } const n: string = cast(1)
- story
- story
- comment
-
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
-
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…
-
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…
- story
- story
- story
-
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...
-
comment
Comment #34832613
URL should be https://research.kudelskisecurity.com/2020/04/22/an-introduc...
- story
-
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…
-
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…
-
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.
-
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 …
- story
- story
- story
- comment
- comment
- story
- story