cvoss

37 ms·

481.
by cvoss 10y ago
I also read it the way you do. But interestingly, there is what appears to be an Oxford _semicolon_ between items (2) and (3). The inclusion of an Oxford delimiter in one list and its exclusion in another list would seem inconsistent. If an
482.
by cvoss 10y ago
The first incompleteness theorem shows that, in a sense, the culprit of a logic's incompleteness is not its "simplicity" but its "complexity": if the logic is rich enough to include Peano arithmetic, then it is inco
483.
by cvoss 10y ago
Via a recent Bloomberg article [0], the (pre-Waymo) car project had an "unorthodox compensation system" resulting in "multi-million dollar payouts" that were somehow tied to the success/value of the project. A fasci
484.
by cvoss 10y ago
Rosencrantz and Guildenstern are Dead , Tom Stoppard. This is a hilariously clever play so packed with verbal and physical humor that you almost have to read it aloud to yourself and move about your own living room to fully digest it. It e
485.
CMU-led nonprofit lands major robotics grant(post-gazette.com)
2 points by cvoss 10y ago|1 comments
486.
by cvoss 10y ago
Babai commented that the new work-around requires a 2-page proof and makes 10 existing pages obsolete. So, a net savings of 8 pages, in theory! We'll see how it turns out.
487.
by cvoss 10y ago
Babai has just corrected error and is now claiming quasipolynomial time once again. [0] [0] https://news.ycombinator.com/item?id=13360061
488.
by cvoss 10y ago
Here is their status page [1]. It's pretty schnazzy, although somewhat vague right now. [1] https://status.coinbase.com/
489.
by cvoss 10y ago
This work was heralded all over the internet when it came out. Here's some great HN discussions: [1] on a blog post by Jeremy Kun, and [2] on a Quanta Magazine article. Kun has already updated his post to reflect the retracted claim. A
490.
by cvoss 10y ago
I developed programs on my computer and transferred them. There's some fantastic communities out there with all the resources and help you'll ever need [1]. I got my start working through this guide [2]. [1] https://ww
491.
by cvoss 10y ago
Mine was a TI-84, although an 83 would have worked too. I wrote it in native assembly, since TI-BASIC doesn'the give you enough control. You can do clever things with that jack, like play music if you've got a 2.5-to-3.5mm adapter
492.
by cvoss 10y ago
I believe you can if your signal is strong enough relative to the real one, which can be pretty weak in certain areas (hence the need for this device). My high school's math and science club tried to do this once to the school's c
493.
by cvoss 10y ago
The compiler course I took was taught by Keith and Linda. Keith is certainly one of the best educators in the department, and, in my opinion, their book is also of high pedagogical value. For me, its shining moments are the explanations of
494.
by cvoss 10y ago
I'd like to learn to leverage collaboration and the societal politics of my field to help achieve bigger and more impactful projects. Being a loner is only going to get me so far, I've realized. (I'm a grad student.)
495.
by cvoss 10y ago
Not all parts of the world observe Christmas, and even then, the traditions vary regionally. The question may even be referring to the rationale of having HN decorated for Christmas at all, given that it's not universally observed.
496.
by cvoss 10y ago
My university has a course (maybe in the business or statistics departments? I'm not sure, as I didn't take it) that has a project where the professor gives this very pre-launch data to groups of students in a totally different co