daturkel

The story is fascinating but I also wasn't aware of this site and I quite like it.

Yep, this is how the proof works!

See my reply to rkaplan's comment here: https://news.ycombinator.com/item?id=7544735

Here's a link to the proof I typed up for my problem set:

https://www.sharelatex.com/project/534230c0234f079f3ce526fa?...

Theorem 1.10 states "If S andT are countable sets, the set S ×T ={(s,t) : s∈S,t∈T} is countable." and is proven using a diagonal argument.

Give this a shot: http://betterexplained.com/articles/an-interactive-guide-to-...

Thanks! This is an improvement.

In my point-set topology class we used the diagonal argument as the root of a proof for the following question:

Suppose a submarine is moving in a straight line at a constant speed in the plane such that at each hour the submarine is at a lattice point. Suppose at each hour you can explode one depth charge at a lattice point that will kill the submarine if it is there. You do not know where the submarine is nor do you know where or when it started. Prove that you can explode depth charges in such a way that you will be guaranteed to eventually kill the submarine.

If there's interest, I'll post my solution. My proof actually gives an overview of what order to bomb points in, but I have no idea what it would look like if you plotted out, say, the first 100 or 1000 points. I'd be curious to see someone implement it.

I'm colorblind and absolutely can't differentiate them at all :(

We do this already. http://en.wikipedia.org/wiki/Crash_position_indicator

"The pulse signal with a frequency of 37.5 kHz is the standard beacon frequency for both so-called black boxes -- the cockpit voice recorder and the flight data recorder, CNN quotes Anish Patel, president of pinger manufacturer Dukane Seacom, as saying. "They're identical.""

Incredible last minute discovery considering that they're only relying on it to continue pulsing until tomorrow.

While not the person who asked, this is news to me. Thanks for sharing.

"On-Topic: Anything that good hackers would find interesting. That includes more than hacking and startups. If you had to reduce it to a sentence, the answer might be: anything that gratifies one's intellectual curiosity."

http://ycombinator.com/newsguidelines.html

I think the sheer number of comments indicates that the community certainly finds this "interesting." It's just a matter of keeping the comments civil and high-quality.

This is exactly what I had had in mind for a solution. It's an aesthetic compromise but, in my opinion, a boon to gameplay.

Just wish I could see my current orientation! (Seriously though—from a given screen, I have no idea what the result of A is going to do or what the arrow keys are going to do. If i'm at a square and facing left, hitting the left arrow key will move me left, but if i'm facing any other direction, hitting left will rotate me. It's important that I know which way I'm facing.)

This is a great and insightful comment. May I just clarify, you say you are a "PL theorist"—is that programming language theorist? What kind of work does that entail?

"I did a midnight mind dump on the situation. I'm jetlagged and tired, so it might not make sense: http://notch.net/2014/03/virtual-reality-is-going-to-change-... "

-@notch on twitter.

Notch's thoughts at length: http://notch.net/2014/03/virtual-reality-is-going-to-change-...

I'm the author of this. I'm an undergrad who just built something I wanted to use, especially to mimic some of the functionality in a tool I really like: Hammer for Mac [0]. I'm totally self-taught with Ruby so don't expect any ground-breaking code here, but thought it was something that might interest HN-ers and I'd love to see community contributions to the codebase.

Right now the functionality is pretty basic. It works very well for compiling includes in a flat file structure, but doesn't copy your stylesheets or JS into the build folder (and flattens your structure if you have nested files). These are things I plan to implement soon (or you can now!). I also plan to implement support for the Listen gem so that it'll automatically compile on detecting file changes, rather than requiring manually running it.

[0]: http://hammerformac.com/

I live in Somerville (for school) and didn't even know about this. Cheers.

Please implement a pause! Love it though. This really fundamentally twists both 2048 (threes) and Tetris.

I think you're thinking of the cockpit voice recorder [0], the flight data recorder [1] (also referred to as the black box) contains all sorts of data about what commands were sent to plane and, Wikipedia says, records "17–25 hours worth of data in a continuous loop" (presumably overwriting the oldest data once it's reached capacity).

[0] https://en.wikipedia.org/wiki/Cockpit_voice_recorder

[1] https://en.wikipedia.org/wiki/Flight_Data_Recorder

edit: just about everyone's beat me to it!

The book looks great. I don't have any experience in crypto really but will certainly be taking a look at the early chapters here for a foundation.

edit: ignore the below, just got to this explanation in the book!

> The entire Crypto 101 project is publicly developed on Github under the crypto101 organization, including this book. https://github.com/crypto101/book

----

Excuse me if this info's on the website (I can't get to it right now, HN "hug of death" it appears), will you be open sourcing contribution to the book? I'm not saying it's necessary or that I even recommend it, just curious about your authorship model (and noticed the CC license at the beginning).

Also, did you make the book in LaTeX (or some TeX variant)? If so, will you be sharing the source? I always love looking at other people's TeX documents.

I understand the context, but "back with a vengeance" doesn't exactly fit the rule of "Don't abuse the text field in the submission form to add commentary to links. The text field is for starting discussions. If you're submitting a link, put it in the url field. If you want to add initial commentary on the link, write a blog post about it and submit that instead." http://ycombinator.com/newsguidelines.html

No need for the sensationalist title (currently "Popcorn Time is back with a vengeance"). "Popcorn Time build 0.2.7" would suit it fine.

I was a QA intern at Echo Nest in Somerville over the summer and was super surprised to see this today! They're a really a fantastic and fun group of people and doing incredible work, having a fun time while they do it.

(Speaking, naturally, only my own opinions here:) I'm excited for the possibilities of growth that it'll offer the company, but also a little nervous about how it'll affect the Nest's ability to serve their other (previous?) clients. I personally signed on with Rdio because I loved the deep Echo Nest integration—I hope that's not going anywhere.

Looking hopefully, but anxiously, towards the future.

Yeah this is definitely unfortunate. The forums remain high-quality in the meantime.

There is also an extensive ongoing thread about Beets in the what.cd (music torrent tracker) forum, where the creator posted about it: https://what.cd/forums.php?action=viewthread&threadid=97720

edit: available only to members, unfortunately

It may be worth considering how much discomfort you feel when referring to a trans person by the gender identity they prefer, versus the discomfort they feel being referred to by the gender you prefer for them. I can just about guarantee you that the latter trumps the former by a long shot.

Unexpected but long overdue. It's a feature which means a lot to those that want it and has zero effect on those who don't. Glad to see the change.