skysight-inc/HackerNews huggingface dataset:
I think that this is a very important point, and I'd like to quote Bruce Schneier in agreeing that "practical cryptography is rarely broken through the mathematics; other parts of systems are much easier to break" [0].

As a developer of a Tox client (qTox), I personally use a combination of static analysis (Coverity, CppCheck, Clang's scan-build) as well as dynamic analysis (notably the various *Sanitizers) to complement use of modern automatic memory management. But clearly as the many browser vulnerabilities found ever year show, bugs in large projects are a reality and there is no silver bullet, regardless of how sophisticated the current methods might be.

I think that we should absolutely strive for fuzzing, analysis, testing and general security, not in the illusion that software will be perfect, but with the goal of preventing, catching, and fixing bugs before they become an actual in-the-wild threat.

[0] https://www.schneier.com/essays/archives/1997/01/why_cryptog...
I believe that in the context of the infinitude of primes, this is the difference between "NOT (finitely many primes)" and "infinitely many primes", where "infinitely many" means that the primes are in bijection with the natural numbers (and of course finitely many means in bijection with some natural number). A proof by contradiction will only give the weaker first statement in intuitionistic logic.

One explanation for why many people say that Euclid's proof is not a proof by contradiction is because you can actually get the second statement with only a little more care (i.e. n!+1 has a prime divisor, which is thus greater than n).
Interesting! The effect looks quite similar to warpsharp (http://avisynth.nl/index.php/WarpSharp), a sharpening filter that seemed to have some vanity among anime encoders back when video sources were not as crisp as they are today. There's quite a lot of detail loss in Resig's ukiyo-e example, but I imagine for most people the most striking part of it will be how much smoother the result appears.
The number of jobs has gone up, its just that they'll all shit jobs. Your graph does a disservice by omitting the wages paid by those new jobs.

http://www.theatlantic.com/business/archive/2015/05/the-new-...
> It's absolute abhorrent that nothing has happened except for a war of words on the internet.

This is an incredibly boorish statement to make. This isn't a "war of words", such as academic debate or the like. (And believe me, academic debate can get pretty darn heated.) No, this is a war of harassment with nothing whatsoever to do with the debate implied by "war of words". These actions are direct, malicious assaults against another person's well-being. This is blatantly illegal behavior and behavior that we've banned from our society for good reason.

If you, your friends, and/or your family were subject to the "merely verbal" abuse that has been carried out under the Gamergate banner... I'll pretty much guarantee that you'd start singing a different tune.
Apparently they ask for permission to log in which is not a crime. There is a class action suit going on saying they only ask for permission to do it once but then repeat it:

http://www.mediapost.com/publications/article/243419/linkedi...
He forgot to comment on how the filter destroyed the letters.
buses in san francisco do this. i have no idea how well it's working for them, but as a passenger, it's pretty frustrating to see your bus pass you by when you've been waiting 10 minutes already.
https://github.com/controlgroup/CSV-GitHub-import-export
What is a ``data scientist“?
Awesome, great work. This is one of those situations where I wish massive bribes were part of the open source ethos.
The "cleanliness" of the resulting images is undeniable, but once you get past the sheer awe at how crisp and clear the upscaled image is, you'll immediately notice the loss of detail. It completely does away with any and all texturing, which is especially noticeable in the last image ([1] vs [2]) - look at the scales and patterned lines on the snake (?) around his neck and the white strands in his hair, and of course, the letters have been turned into (unrecognizable?) squiggles.

Still, in terms of pure shock and awe - they're jaw-droppingly nice for upscaled versions, to the point where if you didn't have the original, it wouldn't occur to you that this wasn't it.

1: http://ukiyo-e.org/image/mfa/sc165440

2: http://i.imgur.com/541uG5t.png
Congratulations!

I interviewed at WePay about a month ago, and thoroughly enjoyed almost the entire process. I never got a response from the recruiter, which was extremely disrespectful given that I spent a day at your offices. Hopefully as you grow larger thinks like that will be straightened out.

Other than that, wish you great luck! I thought the office was really vibrant and had great conversations with everyone that interviewed me.
Of course you need authorization to write a client to someone else's API.
Ask HN: How does Gmail detect promotional emails?
I've always wondered what the magic code was that Gmail used to detect Promotional Emails. Is it some super Regex or something far more complex?
Oh, I see. You were remarking on edgan's use of the phrase "Ext4 does support".

So, firstly, both Red Hat and ext4 support FSs larger than 16TB. So, yeah.

Secondly, I mean, Ted Ts'o works for Google, rather than Red Hat, so it's not like Red Hat has any special insight into the inner workings of ext4. RHEL's lack of "support" for ext4 FSs large than a certain size wouldn't make me wary of using FSs larger than that size.

Ts'o & co. seem to be pretty careful, so I would expect that the worst that would happen would be performance issues.
The reason the post is not titled "Everything is broken on Windows" is because I abandoned Windows as a server operating system a long time ago, after a working lifetime of being a one-eyed Microsoft-y, because on Windows, not only is everything broken, but in many cases there's nothing you can do to fix it.
registered. this is super cool.
Observer is a poor choice of words. A single atom can cause a wave function to collapse. The next interaction with that atom then propagates that collapse down the chain. So, your desk chair being a complected system operates just fine as an observer. *

Though this being HN: Think of it like the edge of the bitcoin block chain two new blocks are can be in an unintended state, but over time the longest one wins.

* Not that this a useful model, but it's much closer than the often repeated voodoo mysticism people spout.
And comments to part II (http://www.250bpm.com/blog:8):

https://news.ycombinator.com/item?id=4455225
I think I'm one of the few people in the world who types better on a Rubber Dome keyboard than Cherry switches.

And I type 140-160 WPM. Cherry switches and the sensitivity behind them slow me down as I must be a lot more precise with my keystrokes to prevent accidental keystrokes (and thus more typos, more time wasting pressing ctrl+backspace)
No, I don't think that is what was being communicated.

Basically, your device is designed to charge at a specific rate and it will draw only up to a specific amount of current (amps). Having a device that is capable of delivering more current doesn't mean your device will draw that current. A cell phone for example will have a varying charge rate, something that generally is between .5 amps and 1amp, with some devices capable of drawing 2 amps. But if you plug your phone into a 5 amp charger when the phones maximum rate of charge is 1amp, it will only draw 1 amp.

So in the end, bigger does not equal better, except to say that your highest charge rate should be equal to or less than the charging device, which helps keep heat to a minimum.
This actually sounds like an argument for why he should've used a smaller subset (or different) of C++.

For example: make all constructors private and empty and use public static factory methods for manufacturing new instances. Now the factory can fail, and return an error to boot.

Similarly, ditch C++ exceptions and introduce the notion of a status object that methods return. You always have the option of C-style semantics without dumping the genuine advantages C++ brings.

In terms of some of what is brought up in part II, a C++ engineer can (and would) implement linked-lists C-style. See: http://www.boost.org/doc/libs/1_55_0/doc/html/intrusive/list...
Estimates are that ApplePay is experiencing fraud rates as high as 6% at some banks.

http://money.cnn.com/2015/03/18/technology/apple-pay-fraud/
You'd need UBsan as well, and even that doesn't catch everything. Regarding memory usage/slowness: why not OCaml, D, or Rust?
Hell, on a good day, Windows feels that way.
Still sour you got rejected for Summer of Code?
Among other things: it sure seems like "Al Qaeda" means something subtly different in Yemen than it does in Afghanistan.
I'm not sure why this was down voted - it's a perfectly valid question.

There are serious philosophical issues with the idea of an observer, conscious or otherwise, as a useful concept.

Entanglement isn't really the issue, because it doesn't solve the problem. What does it mean to be entangled with a complex state in a state of some form of consciousness?

How much consciousness is needed to make a difference? Why should adult human consciousness be the benchmark, and not semi-consciousness, or distraction, or unconsciousness, or toddler-level pre-verbal awareness, or jellyfish consciousness, or LSD-induced hallucination?

If consciousness is necessary, why doesn't reality stop working when we fall asleep? Why do plants live in a consistent physical reality even though they don't know what a Hamiltonian is?

If physics had code smells, this idea of consciousness might not pass the sniff test.

Of course it's possible it's still the right answer. But if it is, it's interesting there's no useful explanation of anything in the concept yet. Nor is there any formalism to support it. (Obviously there's a formalism for wave function collapse. But so far as I know, there's nothing in the math that says "And these variables are where the observer works his/her/its magic.")

Really it's just something that might be true, maybe, because we have no idea what's going on and it's as good a guess as any other.
Not All Copyright Assignment Is Created Equal (2010)
President Rand Paul!
With modern.ie, you get free testing VMs and screenshots of any website rendered in IE across many devices. To test Safari on Windows, Apple provides you with many less options (certainly no free browser testing OSX VMs!).

They're going above and beyond to make up for past mistakes, for that I'm grateful.
Jeri Ellsworth, self-taught engineer, talks about her career (2011) [video]
LightSail Sends First Data Back to Earth
A "responsive" audio format seems interesting. Not sure about how good - in an aesthetic sense - it can sound, though.
The post should be titled "Everything is broken". There's very little (if any) software that isn't irreparably broken in some way or other.
They're giving away free upgrades to Windows 10, for the first year. That's all.

* http://windows.microsoft.com/en-au/windows-10/about
One other note is that there has been quite a bit of progress in other aspects, if you have missed the past updates:

Sprite rendering, smooth movement, collision, and more:
http://www.voxelquest.com/news/update-04-08-2015

AI and some other stuff:
http://www.voxelquest.com/news/update-03-11-2015

Underwater:
http://www.voxelquest.com/news/update-11292014

Full list of videos:
http://www.voxelquest.com/videos.html
Could one do the panda equivalent of a fecal transplant? If so... would this be likely to improve the panda's health and be transmitted to its offspring?
Thank you; you are right! I didn't expect him to weigh in there. Deleting my earlier comment.
But it's not their information. It's information about WhatsApp's servers.
Thanks for the link. I ended up just dumping them all here in JSON format so at least they are archived somewhere, if he does a full delete: https://github.com/forkingforker/WhatsAPI-issues-milestones-...
$10 hedge fund supercomputer sweeps Wall Street with power from the cloud
You might want to escape HTML code in the comment section:

http://scribbit.website/scribbit/foo_-_bar
> lack of direct engineering visibility -- currently obvious commit sign-offs -- Larry Wall

https://github.com/TimToady?tab=activity
Maybe? I'm definitely biased in that I have substantial computer vision & image processing experience, but the output looks riddled with obvious filter and vectorization artifacts to me.

Re: Image 2, http://i.imgur.com/541uG5t.png
I'm not sure I'd go so far as to say "destroyed". Compare the text in this cartouche:
https://imgur.com/7fGJg4s,iWf4pXG

At worst it seems comparable to the previous result. At least to my eyes.
Hm. Too bad there's not a stack exchange for dealing with individual government bureaucracies.
Back in 2001, the ayttm project supported free, secure instant messaging by using gpg to encrypt all messages and by allowing you to split a conversation across multiple networks (Yahoo, MSN, AOL, XMPP).
Santa Monica to require Airbnb hosts to stay in the unit with their guests
> Wind and solar are increasing the probability of large blackouts, but the proper solution to that is building more nuclear power, eventually transitioning to fusion.

Can we stop betting on pipe dreams? Fusion isn't proven, and while I'll advocate for continuing research into it, solar, wind, and geothermal is here today.

We should be advocating for the installation of solar on every roof, on every brownfield that can't be used for housing or agriculture, wind where ever possible, and geothermal where it makes sense.

It is silly that we continue this nonsense that nuclear (fission today and fusion tomorrow) are our saviors. We have proven, as a species, incapable of properly managing the small risks that nuclear presents.

It takes 10-20 years and over $1 billion US to bring a new nuclear plant online, and this does not take into account the government limiting their liability in the event of an accident. Wind turbine parks and solar fields can be developed in under a year, with fewer (if any!) cost overruns.
At what point do you leave a stressful job for your health?
I feel sort of silly asking about this because the answer seems sort of obvious, but I can't help but feel like the decision in my case is a little more complicated.

About a year ago and a half ago I started working for a startup as their first full time tech hire. After about 3 months I got promotion to VP of Engineering and since then we've hired 5 more engineers full time.

Currently I'm still filling roles that run the gambit and it's just starting to be too much. I have a chronic auto-immune condition, and the stresses of working at a startup have caused my condition to get worse. Last year I had to take some time off because my condition flared up, but I recovered. Since then I've gotten better with managing my stress, but now my condition is starting to get worse again. It's not as bad as it was before, but I'm worried it could start to really go downhill again.

It makes sense to me that I need preserve my health. Which means leaving this job and finding one with a healthier environment. My main concerns in doing that are:
- This is basically my first job out of college. What if I get another job and it sucks? What if I get another job and I have the same issues with stress + illness?
- I'd be giving up everything that I've worked towards over the past year and a half. It means giving up my options (3% in seed round, not a ton, but something).
- I feel like I would be leaving a pretty big hole in the company. It feels like I would be putting an unfair strain on the rest of the team by leaving.

Has anyone ever been in a similar situation? Any thoughts? Thanks!
Your comment is way off base when it comes to factual analysis, but you’re right to take offense at my tone. That part of my comment was pretty snarky, sorry.

I was just annoyed at the combination of entitlement and lack of empathy in the poster I was responding to.

I actually think it’s a good thing to redistribute money from rich states like California, New Jersey, or Illinois toward poor states like New Mexico and Mississippi.

I also really like New Mexico, which is a beautiful state filled with lovely towns and wonderful people.

To live in a society together requires a certain baseline level of equality of means and opportunity so that we can treat each-other with empathy and mutual respect. When some areas are rich financial centers and others have serious social problems and few employment opportunities, it’s smart national policy to redirect federal funds from richer areas toward poorer areas to encourage economic development.

W/r/t higher education specifically, I think it would be a wonderful thing to send more federal money to state universities in places like New Mexico, which are really hurting financially these days. (As a thought experiment, if we replaced a substantial portion of the military spending that currently goes to poor states with education spending, I daresay the outcomes would be dramatically better for everyone involved.)
WalterSear won't grant Paul any credit on the issue, yet I'm sure he will give anyone with a (D) next to their name a free pass.
WalterSear, your biased panties are showing.
An annoyance, yes it is. But I think it's a good feature. Not making mistakes is the most important thing to improve your touch typing speed. If this annoying behavior makes you slow down and stop making mistakes, instead of using backspace without thinking about it, then it's well worth it. That backspace reflex comes very quickly anyway, it's not really something you need to train.
Rust only recently hit 1.0, so it's pretty obvious why somebody would not have built their software using that.
Yeah - the background looking like crumpled-up wrapping paper is definitely not ideal. I suspect that it's having trouble with mostly-uniform areas of color that have slight variations. It appears to be extrapolating and creating these larger effects.
Look at all these engineers in here, talkin bout sportsball.
Subtly!
Gee, yet another identity nomenclature - <username>@utox.org! When will this trend end?! Aren't you tired of the ever-growing lists of identities you need to share with people?
Oh, interesting. So open tracking still works, just doesn't come directly from the client.

Interesting.. maybe this is do-able after all.. /mail/{{mail_id}}/{{open_tracker_id}}.gif
> Why does observation cause the wave function to collapse?

It doesn't. Classical behavior is an emergent property of any large system of mutually entangled particles. For macroscopic systems classical behavior is a damn good approximation, but it's only an approximation. See:

http://www.flownet.com/ron/QM.pdf

Or the movie version:

https://www.youtube.com/watch?v=dEaecUuEqfc
OSX VMs... Now there's an idea.

I'd be more than willing to pay a large premium for an officially supported version of OSX that runs in VMware/Virtualbox/Hyper-V/etc. But I suppose it probably isn't in Apple's best interests to offer one.
We are always listening
Rethinking AI
He's not seriously running for president; he's running for his next book deal. And this is nothing but a Rand Paul fundraiser. A serious person, instead of being a showboating idiot, would realize fillibusters accomplish virtually nothing and instead do the serious, real, hard work of building a coalition to advance a cause. Unfortunately, that neither makes good tv nor for good book deals.

viz his "evolution" -- ie complete flip flop -- about drones

http://www.msnbc.com/rachel-maddow-show/rand-pauls-drone-evo...
Yes... this guy sounds crazy. Just like all the Muslims who do that same thing sound crazy.

Christianity may not have pseudo-government states mounting attacks but you have US Presidents like George Bush who admit things like "God told me to end the tyranny in Iraq."

I don't see that as any different.
And your opinion is based on what? What you just said is true for any software. Any reason why you pick out tox in particular?
> I also wonder what percentage of successful 2 point plays were fake kicks, where special teams defense was out there. Rather than actual defensive starters. I wager that if offenses have to face real defenses in this situation they will perform worse.

Fair point, but I don't think I've ever seen any team at any level of play attempt a true fake FG on an extra point. There is, however, a related concept called a "Swinging Gate"[0] that's relatively prevalent at the high school level, rare at the college level, and almost completely unused in the NFL. Interestingly, this rule change completely eliminates the possibility since teams won't be able to reset into a traditional field goal formation at the 2 yard-line.

[0] https://en.wikipedia.org/wiki/Swinging_gate_%28American_foot...
>I would use Tox and any of its clients with caution.

It's hard to argue with that given that Tox is still in alpha, and this is generally a good idea for any software you use if you have reasons to believe that an adversary is trying to exploit your computer.
Let me start by saying that I agree with most of your points 100%. I am an advocate for privacy, and I think it's crazy that businesses need to ask people for photo ID to make fairly simple purchases.

I sell digital goods for online games. This means I do not have shipping receipts that will make me eligible for seller protection. The reality is that more and more businesses are providing services and products which are intangible. I'd imagine more than 50% of PayPal transactions these days do not involve shipping labels, yet their entire claim system revolves around them.

What I've noticed in the past 5-8 years is that Paypal has really cut down on real fraud. When I started doing business in 2007, there were kids who couldn't have been older than 15 years old buying stolen PayPal accounts on sketchy forums, and using them to buy digital products like MMO currency. We'd get hit quite regularly with real fraud.

Today, it seems that there are much less of these stolen accounts in circulation. Paypal has clearly cleaned up their act and put a bunch of security measures in place to prevent unauthorized access to people's funds. Nonetheless, unauthorized claims and chargebacks still happen. These days it's just people who spend a bunch of money, and decide later to try and get it all back, everyone else be damned.

There's not much you can do to screen for them placing those disputes. All we can do is collect as much information as possible, from all our buyers, to make sure that no real fraud gets through our systems. I do feel that if we did not have security measures in place, the stolen Paypal accounts might show up again.

But yes, long story short, I really wish there was a better way than collecting people's ID's. Unfortunately, we are in an awkward transition where it is very difficult to prove someone is who they claim to be, without requiring invasive evidence.
Ha, I don't remember running into that exactly. I have found several lines in my local text editor where I type "a" at the beginning because I mistakenly think I'm in screen, so I type "Ctrl-a a" instead of just "Ctrl-a".
uTox was not originally written by the main toxcore dev. However he and a few other brave volunteers have made a big effort to clean up uTox's code over the past few months. That's why this thread was created now and not 6 months ago.
What about in captivity. Perhaps reintroducing pandas to a meat diet would solve a lot of pandas' problems.
"In the olden days, maybe"

Nope. I expect _all_ early processors had undefined behaviour, because they didn't have the transistor budget to make all instructions behave predictably. The 6502 certainly had (http://www.ffd2.com/fridge/docs/6502-NMOS.extra.opcodes), as did the Z80 (http://www.z80.info/z80undoc3.txt)