3PS

11 ms·

61.
by 3PS 6y ago
> The only way to have zero is if it's some specially handled value like NaN. Which IEEE doesn't do and that's entirely understandable. Wait what? Am I missing something? 0 is absolutely part of the IEEE 754 spec thanks to
62.
by 3PS 6y ago
There is a long, long history of research into the grim effects of corporal punishment in child-raising. As a starting point, see the widely cited 2002 meta-analysis by Gershoff [0] as well as this other meta-analysis they did more recently
63.
by 3PS 6y ago
CMU also currently has a course in categorical logic [0]. Internally, the only prerequisite is a course in category theory. The course notes can be found at [1]. [0] http://mathieu.anel.free.fr/CLcourse.html [1] http:&#x2F
64.
by 3PS 6y ago
"A pair of pathetic peripatetics."
65.
by 3PS 6y ago
> someone even managed to run linux on the harddrive I had to look this up because I could hardly believe it. http://spritesmods.com/?art=hddhack&page=1 Wat.
66.
by 3PS 6y ago
Strictly speaking rustc has a dependency on LLVM, which is in C++, but you could use the rustc_codegen_cranelift backend [1] and get pretty much everything to be pure Rust. Unless you count the libc dependency, in which case, um, I guess yo
67.
by 3PS 6y ago
To quote my old OS professor: "people who xor pointers deserve what happens to them."
68.
by 3PS 6y ago
In a similar vein, I'm currently halfway through 'Thinking About Mathematics' by Stewart Shapiro. It's a great introduction to the various philosophies of mathematics: logicism, formalism, intuitionism, structuralism, ba
69.
by 3PS 6y ago
> I said “Siri shut up you piece of garbage” and she added “shut up you piece of garbage” to my grocery list for me. Perhaps it was just being passive-aggressive?
70.
by 3PS 6y ago
Thank you, dang. HN wouldn't be what it is without your moderation. So often I see threads on sensitive topics threaten to spiral out of control before your interventions, which are always calm and well-chosen. You have somehow managed
71.
by 3PS 6y ago
WSL2 has lots of benefits over a typical VM. It's a lot faster than your average type 2 VM (e.g. VirtualBox), it cold boots quickly, and you can run servers on localhost out of the box and access them through a regular Windows browser.
72.
by 3PS 6y ago
I feel like you'd probably want to use a Poisson distribution for this, but I can't be bothered to work it out fully.
73.
by 3PS 6y ago
I have a degree in math and I strongly disagree with this comment. I was always terrible at memorizing things, and I still regularly reach for Google to double-check formulas and theorems I should know well. In practice, I think a lot of ma
74.
by 3PS 6y ago
The NYTimes one has also been flagged now, and just about every comment in that thread has been downvoted heavily. My guess is it's a small group of users flagging everything about the election results.
75.
by 3PS 6y ago
Both VirtualBox and VMWare Workstation are type 2 hypervisors i.e. hosted hypervisors. This means they run on top of Windows for the most part. WSL 2 runs on Hyper-V, which is a type 1 hypervisor and therefore tends to be much more performa
76.
by 3PS 6y ago
This looks very cool! Thanks for sharing.
77.
by 3PS 6y ago
Really awesome list! Some thoughts: 1) For error handling, I think anyhow and thiserror have been gaining popularity for applications and libraries, respectively. There's also eyre, a fork of anyhow with some more options apparently, a
78.
by 3PS 6y ago
Check out these articles surveying the landscape of reactive UI, from the same author as the linked article: https://raphlinus.github.io/ui/druid/2019/11/22/reactive-ui.... https://raphli
79.
by 3PS 6y ago
Not sure if you've already seen this, but I highly recommend AutoHotkey [1] for setting up hotkeys and hotstrings in Windows. It's powerful and flexible, though the language can be a little odd at times. You can even script mouse
80.
by 3PS 6y ago
Recently there has been a growing interest in developing AI for cooperative games, like Hanabi. I believe the challenge originated from a paper by Google Brain/DeepMind [1], but several other groups have tackled it, including Facebook
81.
by 3PS 6y ago
There is a world of difference between believing that you, yourself, are capable of behaving reasonably without instructions, and believing the same for every single other person.
82.
by 3PS 6y ago
R/Z is also a group where 2+2=5 is technically correct, and this abelian group is actually useful. For example, if you consider the quotient topology on R/Z, you find that it is homeomorphic to a circle.
83.
by 3PS 6y ago
Scott Aaronson has an excellent take on the Chinese room argument in my opinion, namely that the existence of intelligence can be inferred from asymptotic space complexity. If you have a rulebook which lists every possible sentence and opti
84.
by 3PS 6y ago
Tab switching on Firefox Nightly is much better as of a week or so ago. You can now swipe left and right on the address bar to go between tabs, just like in Chrome. It's particularly nice when the address bar is on the bottom.
85.
Ask HN: Was Cloudflare's DNS service down for anyone else?
1 points by 3PS 6y ago|0 comments
86.
by 3PS 6y ago
Epic pushed a server-side update which gave users on both iOS and Android access to discounted prices that sidestepped the usual 30% cut to Apple or Google. This was a violation of terms of service on both platforms, so Fortnite was removed
87.
by 3PS 6y ago
If you can solve one NP-complete problem efficiently, you can do the same with any problem in NP. This is the crux of the Cook-Levin theorem [1], which lies at the heart of complexity theory. Now, while it's true that RP doesn't g
88.
by 3PS 6y ago
If this is true, it's about as close as you can get to P = NP for practical purposes. At a bare minimum, I'm pretty sure that would break all of modern cryptography outside of one-time pads. For that same reason, however, I think
89.
UT Dallas Computer Science professor claims to have proven RP = NP(arxiv.org)
88 points by 3PS 6y ago|13 comments
90.
by 3PS 6y ago
Interesting that you mentioned Haskell. In my experience, I've found that every type having a bottom makes a lot of abstractions leaky.

More ›