skysight-inc/HackerNews huggingface dataset:
Inequality really works both ways. Canada is a much better place to be if you make under 60k/year. Its also a much better place to be if you fall on the work to live side of the coin. The flip side is you'll get less aggressiveness both at the corporate and employee level and the pay to match.

I think its largely cultural. Theoretically Canada should be more welcoming to entrepreneurship. You don't have to worry about your health insurance when you quit and start your own company - and the safety net limits your fall in the case of failure. The government also heavily subsidizes new startups.

But entrepreneurship is generally looked down upon in a way that isn't true in America. A failed startup in the US is chalked to "at least you tried" whereas in Canada its looked upon as a moral tale of the risks of chasing childish dreams. This goes throughout society - from raising capital to what your in-laws hassle you about over the dinner table.
The point about people in rent controlled apartments having very little incentive to favor increased density is a different one than I've heard, and a telling one. If between owners and rent-controlled apartments you have a large voting majority, you end up with a large voting majority that has no interest in making the city more welcoming to newcomers.

People often talk about middle class people being driven out of SF, I think it's actually dangerous that even people making well above average wages have trouble affording housing alone. Many tech workers I know earn a decent living but having an apartment to themselves is simply unaffordable.

Yes, yes #richpeopleproblems, and of course we should worry about people further down the income scale, but it's indicative of just how pathological the situation has become that even people who are well off can't afford the city comfortably.
As many, including the Fed's Janet Yellin, have noted, while unemployment numbers are down, wages haven't risen. That's an indication of net economic vitality, equality, and negotiating power. There's also the continuing debate over just what unemployment measures, and alternate indicators including broader measures of unemployment, or workplace participation rates.

Declaring victory and going home may not match the battlefield status.
Releasing an Indie Game and Failing
>The record-breaking $800 million Powerball jackpot drawing will take place Saturday night. Ticket holders have a 1 in 292.2 million chance of winning, notes Miecznikowski. Here’s a look at some of the statistics:

>You’re 25 times more likely to become the next president of the United States, assuming the entire U.S. population had an equal shot at the presidency, than you are to win Powerball, says Miecznikowski.

What he's saying is clearly nonsensical because the population of the US is close enough to 292 million to round off and say the chances of you winning powerball and becoming president (if everyone has the same shot) are equally likely.

You can say that only half the population is old enough and you can take off a few percentage points for foreign born citizens, but that gets you to 2-3 times, not 25. Plus he specifically said the entire US population. Not only those qualified. Very odd statement.
Not everybody is living in the US tho.

Most countries can barely force any other country to give out consumer data from local companies. If you do not live in a five eyes state we can safely assume that nobody will target you that way for Tor browsing.
Understood, but most people, when they get communications with the word "threat" in the letterhead or domain name, definitely would not take it as a joke.
An Enviable Problem: Dutch Bike Lanes Are Overcrowded
Sounds great but I'm nervous to trust personal communications with a company that seems to be so new – what if they fold? I lose all the emails I might be getting sent. Without information about who's behind this, I probably won't sign up
"I think you trust tools more than you're letting on. You probably just cross-check tools with tools in various ways like I did with high assurance SW to catch tool-specific issues. That implies a lot of, but not total, trust in the tools. If I'm wrong, I'll be surprised and probably learn something in the process."

While it is true that we use tools to cross check each other, what I mean is that we regularly are manually looking through waveforms. At every stage of the flow, we are checking that our verification infrastructure is actually doing what it should to find bugs. Because a lot of the time, either we've stuffed up using the tool or the tool itself is stuffed.

So much tooling is provided for you. Bus functional models, protocol checkers, etc. You are just cramming it all together and writing your own stuff over the top. There is always a mistake in there somewhere.

"Trick for HW might be turning all the tool outputs into a series of steps like in an audit log that such tools can verify."

This is what happens with the UVM. A checker is written with a SystemVerilog interface by a third party or ourselves. It uses the UVM standard so you can integrate it with other UVM stuff to make even more abstract checkers. If I am writing the prover, I know I probably threw a few bugs in there!

If only it were all parallelised because it is slow as hell.
There's another one I came across recently also https://getsiphon.com/
It has been held up in court, repeatedly, even against Duke University who argued in favor of an academic research exemption.
Nit: You have to provision the VPS by peak usage, not dividing monthly usage evenly across the month. So if your peak is 13x the average (very easy, specially if you don't have a worldwide audience) the VPS starts to look bad, and we're not even talking about the risk of unexpected peaks.
The problem with livestreaming using hardware encoders is that the quality is utter garbage compared to software encoders, which means that given the bitrate available to you it may in fact be so ugly to be unwatchable.

A typical home DSL connection does not have enough bitrate to produce a quality mid-to-high resolution stream using NVENC, and even if you have a good connection, Twitch caps out at 3500kbps. The gap between something like NVENC/QuickSync and x264 is enormous.

At the very least, HEVC's huge bitrate/quality advantage over H264 will help it here, but when it comes to GPU encoders they will just be attempting to catch up with what you can get right now using x264.

Live streaming quality aside, though, you are right that the hardware will make it possible for people to do live streaming in scenarios where they previously would've been unable to, because you can combine a hardware HEVC encoder with a low bitrate connection and at least get something watchable.
Among all of those, I would write the very same things. Thanks @LukeHoersten.
I'd like to draw attention to a fact already pointed out by Chinjut in this thread: The original formulation of Euclid's proof is in fact entirely constructive, contrary to what the article claims.

Michael Hardy and Catherine Woodgold have written a very nice and readable account on the misconceptions about Euclid's proof (published in 2009). I'm sorry that I can only give a paywalled link; at least the first two pages are available. http://link.springer.com/article/10.1007%2Fs00283-009-9064-8

Incidentally, with the specific situation at hand, the question "constructive vs. nonconstructive" is slightly moot. This is because there is a certain metatheorem in mathematical logic which states: If there is a nonconstructive proof of a statement, then there is also a constructive proof.

Of course this metatheorem doesn't apply to arbitrary statements, only to statements of a specific logical form (so called "geometric sequents"). But the statement "there are infinitely many prime numbers" can be put into such a form. Also, in case you are wondering, this metatheorem admits itself a constructive proof.

Summarizing, there is a mechanical way to turn any nonconstructive proof of the infinitude of the primes into a constructive one.

The key words to look up here are "double-negation translation" and "Friedman's trick". Fantastically, the double-negation translation turns out to be "the same as" the continuation-passing style transformation, if viewed from the right angle. Some pointers are in this slide deck: http://rawgit.com/iblech/talk-constructive-mathematics/maste...
Yup. Preferences > Profiles > [your profile] > Window > Style > No Title Bar
Ramit Sethi and Founders of Casper, Headspace, Soylent Are Speaking Hustle Con
I was referring to pho specifically. But in general, vegetables are harder to find if you are away from the tourist areas. I traveled the entire length of the country, over 2000 miles on a motorcycle, from the Cambodian border to the south, to the "North Pole" (border with China). If you saw a menu, then you ate at touristy places.

At one point, while in the extreme north, I might have eaten dog once or twice. Who knows? No one spoke English and Vietnamese is a very difficult language. Of course, no menus.
Ok, we edited the title ("Show HN: HackerRank's app that guarantees an interview call") to make that explicit.
Stocks cannot meet criteria of a technical definition of a liability asset I believe like you say. But who wants to buy $0 stock as an "investor" if there's basically no way it'll recover? Is it for the same reason that people would buy Zimbabwe currency? Then the value of the stock is in comedy perhaps. People trade penny stocks, granted, but that kind of market behaves really differently from publicly traded companies we talk about usually.

And to be a bit snarky, if the board of directors robbed said nation, they would have some assets now worth something in possession even if they're acquired illegally :) Heck, what would the valuation of the Third Reich be at the end of WWII if it was a corporation?
I wonder if this means Interac Online will come soon :O that's a very big deal for the Canadian market.
Almost no big company is using Win10. Its way too early for its adoption. Even then, they'd have a domain policy that requires passwords and the RDP group would also be controlled by GPO. Even then, they'd be using VPN or Remote Desktop Gateway to run this, not opening thousands of ports 3389 and one-to-one natting them to desktop machines. I could see small ma&pop companies vulnerable to this, but they're probably vulnerable to a host of things. Most small shops I've worked with have no idea what RDP is anyway, and use third party remote products, if any.

Is exploit code out there? If not, then that's quite a leap yet for hackers. In a week or two every win10 machine in the world will have this patched. That's a very short window for what looks like to be an ugly, but tiny edge case.

This is further evidence that Win10 is far from fully cooked. We're not touching it until 2018 with preliminary testing starting in 2017. MS rushed this pretty badly after the poor reception to 8. Also further evidence that remote technologies like ssh, rdp, etc should always be wrapped in something else like VPN or at least strictly firewalled off to known good IPs. Surprises happen.
It's not surprising, the autor, Stefen Sinofsky was in charge of the IMO unusable Windows 8 start screen, including the lack of the "Start" button, so you could say he hates buttons :) .

http://www.neowin.net/news/windows-8-failed-at-nearly-everyt...
Contributing to the Rust compiler (a short guide)
The dead live longer: 5 arguments for the success of Dart
Even if most people were aware of these things, marketers seem to have gotten pretty good at convincing people that everything is totally secure, because most people lack the technical knowledge required to even being to evaluate their claims. "It's secure because we use ENCRYPTION!" would probably be good enough for most.
How having the right people around you can boost design business
> Its hard to beat C++ when it comes to performance (while still having high level abstractions).

Re: performance, Rust's doing pretty well (on a bunch of arbitrary microbenchmarks):

https://benchmarksgame.alioth.debian.org/u64q/compare.php?la...

Re: high level abstractions, Rust doesn't have many of the template shenanigans C++ does (but that's a good thing, IMHO). However Rust does have a phenomenal type system for a language with such predictable and solid performance. And it has many wonderful high-level abstractions (exhaustive pattern matching on algebraic data types, iterator syntax for collections, many functional idioms, an AST-based macro system, etc.).

> If something is going to kill C++, its probably a language that scales very well to multicore.

Rust has fantastic concurrency, and the libraries for it are still in relative infancy. The type system keeps un-synchronized shared mutable state from happening (unless you intentionally turn off certain checks using unsafe code, IIRC). There are freely available libraries for lock-free data structures and stack-scoped threads. As an aside, it's also really easy to use those libraries without having to vendor some random header files that may or may not conform to your coding style.

> Maybe a functional language. I be happy if that happened as that would be a revolutionary breakthrough.

Rust also has some pretty cool functional syntax, although I'm not an expert on functional programming, I've been enjoying it quite a bit.

> About the aliasing problem. I'm not sure how it could detect that either.

Not sure how C++ intends to do it, but Rust does it with a strict ownership system that is fully enforced at compile time.
I was curiously drawn to back this even though I haven't paid for any other video game of any kind in several years. It is exciting to see how far things have come. Can't wait to try it.
"I've never operated in a network where SSH on network equipment was accessible to anyone without intranet access through either physical location or VPN."

Doesn't help. The attacker just has to get user-level access on some machine on the intranet or in the data center, which can be obtained via other attacks. Then then can attack other machines via the local network to escalate.
> based on one particular tweet where he said someone 'deserved to be harassed'

Apparently that tweet was a joke to a friend (another conservative commentator).

Which just illustrates the problem: it's really really hard to regulate speech fairly
At all places I've worked at, it's been the "jump in the water and try to swim" technique. One thing really helpful is stressing the importance of asking questions, even if they're dumb/simple.

Code reviews are also really helpful. We use a projector and go through pull requests line-by-line, asking questions and explaining design decisions.

Acknowledge the fact that it's going to take long time and just keep new programmers bouncing around with projects so they eventually touch all areas of the code base.
I didn't realize that you could make SSH use both keys and passwords. I like the idea of that; even if it isn't as robust as 2FA. Please write it up.
I'm flattered - can't wait to ship it :)
A dramatic example of this concern is (albeit not in the patent space) as 3D printing et al regards gun control: where guns of certain kinds may be prohibited, possession of files & equipment which turn raw materials into copies of such guns are being legally targeted for prohibition. Even now, the US government aggressively shuts down any website providing such files on grounds of arms export controls.

Of note: the Solid Concepts M1911 https://en.wikipedia.org/wiki/Solid_Concepts_1911_DMLS project produced a completely 3D printed metal handgun (barrel included!), which has of last report held up to firing 5000 rounds. The printer is at this time hideously expensive, but obviously it's just a matter of time before it reaches "affordable" to the point that the combination of printer & CAD files becomes considered a threat in jurisdictions criminalizing manufacture/sale/possession of such items.

Ergo, the issue extends well beyond just patent infringements.
Thank you for this feedback. I usually dont write, it is just a topic where i felt that could need some noob friendly coverage and just started writing. If i even proceed i will look into someone that proof reads my blabber. It is also not my first language.

(i am actually even surprised about the interest)
I think frequency and ease of updates can serve as a reasonable proxy for security. By that measure, for example, you should think long and hard before you ever buy a Samsung device that markets itself as 'Smart'.
I love the concept. In fact, it's somewhat similar to the manual, ad-hoc scheme I've been using for years. It's always interesting to see exactly who is leaking your email address to spammers (whether intentionally or otherwise).

Edit: It does have the slight downside to making some human conversations awkward. "Just to confirm, the email address we have for you is... wait, what?"
Not only me :) I admit it's arguable question and I think people with different opinions about this question will never understand each other. So let's agree to disagree. Rust FTW :)
Not only are they new, they're missing a bit of polish on the site. I'd like to know how it works but the "how it works" link doesn't go anywhere. Their browser extension also failed to install for me.

I like the idea but given the obvious problems and the fact that they want four bucks a month and no trial, I'm inclined to avoid. Shame because I would use something like this.

e: seems like "how it works" is meant to link to the video
I discovered that when you delete your email address for a week almost all the spam and newsletters disappear. I don't know exactly how it works, but it does. So every couple years I just completely disable my email address for ten days, or whatever, while on vacation.
You have a right to your private property. That right does not extend to publicly owned land or land owned by other private parties. When you buy land in the heart of a large metropolitan area in an under-developed neighborhood, it's reasonable to expect that the city will densify and grow around you. Thinking that nothing will change is the unreasonable expectation here. San Francisco has been continuously changing for 150 years, expecting the city to freeze for you as soon ay you buy a piece of property does not make sense.
I've enjoyed playing the Steam version of this. Really good puzzles and even has a story line. Print out the manual for a proper old-school experience!
Am I missing something or is that article's conclusions pretty disingenuous. Then again the author did work for Google on VP9 so am not totally surprised.

Yes H.265 encoding speed is 10-20x slower (at the highest quality setting) but the decoding speed was only 20% slower than H.264. And it is still quite faster than 60fps below which almost all movie content exists.

If all that mattered in a codec was encoding speed VP9 would be dominant. But it isn't. It's largely irrelevant compared to decoding speed (majority of codec users) and device support. The latter which H.265 is in an unassailable position.
"But it still requires the customer to have faith in source code they can not themselves see." (pnathan)

"4. Low-level, simple, modular code mapping to that.

5. Source-to-object code verification or ability to generate from source on-site." (me)

Seriously, did someone hack my comment where it doesn't show that on everyone else's end or did they hack my system where 4 and 5 are only visible to me? Shit! Here I was using OSS, reviewed, well-maintained software specifically to reduce the odds of that. I'm blaming Arclisp: must have called a C function or something.

"You're not wrong that a correct process dramatically limits classes of issues (I've worked in a very high ceremony requirements-tracability shop)."

Well, there we go. Least you saw that and have experienced that assurance activities can increase assurance. Now we're getting somewhere.

"Again, this is about faith. I'd like to avoid having it when it comes to security."

You're probably going to have it anyway unless you specifically verified the software, libraries, compiler, linker, build system, and all while producing it from a compiler you wrote from scratch. Nonetheless, open-source can increase trust but I say closed can be more trustworthy. Not is or even on average but can be.

Here's my essay that claims and supports that the real factors that are important are the review, the trustworthiness of the reviewers, and verification you're using what they reviewed. I'd like your thoughts on it as I see where you're coming from and like the faith angle. Faith in the integrity of the process and reviewers are the two things I identified as core to security assurance. So, I broke it down to give us a start on that.

https://www.schneier.com/blog/archives/2014/05/friday_squid_...

Note: I have stuff for other aspects like compilers, dev process, HW, etc. I'm just holding off to focus on the source aspect here.
> yes I'm looking at Tensorflow.

Check the very first issue that was reported:
https://github.com/tensorflow/tensorflow/issues/1
Take it from the positive side - looks like there will be finally a year of Linux desktop (even if because of being pushed out of other operating systems due to their draconian terms of use)! ;-)
I disagree. It falls in a sweet spot where consumers won't be impacted (because they're utilising Microsoft Accounts/don't enable RDC), and enterprises won't be impacted (because they don't set up accounts with no password).

And then on top of that you need RDC on a Windows 10 box to be exposed to the internet or a LAN with malicious users on it.

It is a legitimate bug that should be patched. But a miniscule subset of users will be impacted, because the pre-conditions are so niche.
Why are the voxels (I guess the jagged edges come from the voxels?) so big?
Too many egos at stake, at this point. Whitespace will always be syntactic in Python because nobody with any influence wants to admit it's a mistake.
Since we're talking about shells, if you're using Emacs, you might be surprised to know that it comes with its very own shell, called Eshell. These days I use it almost exclusively.
Tails is intended to be run on a USB drive. This means you can take nearly any computer, boot to usb, and have a operating system designed for security running in the computer's RAM. Many claim that this does not leave a trace of your activity in the computer itself.

It also comes with tor browser, electrum bitcoin wallet, and some GPG utilities preinstalled.
https://news.ycombinator.com/item?id=10889918 looks like another announcement about this. It was posted slightly later so we'll treat it as the duplicate in this case.

Eventually we'll have some form of URL grouping when there are multiple stories on a topic.
Vendor lock-in is an unavoidable cost of doing business. Even if you build literally everything yourself, which you shouldn't, you still have resources, processes, apis, automation, expertise amassed around a specific set of operating constraints.

Not only that, but if you invest significantly in any single technology, migrating to another technology is always going to be an extreme effort. Having led migrations from datacenters to AWS, AWS to Digital Ocean, RabbitMQ to NSQ to SNS+SQS, etc., I can say at this point that I do not believe in vendor lock-in as a legitimate reason to disqualify any particular solution.
I'm totally incapable of detecting whether this is satire. Is this satire? It should be.
... which is sort of an interesting criticism, until you consider that you get a chance to "luck out" every 6-8 years or so when the real estate market crashes.

There have been at least 3 such occasions since the Netscape IPO, and another on it's way. Hope you saved some money.
Encoding speed is very relevant for real-time feeds like WebRTC and Twitch.
Ha! I 'd like very much to see the results of clinical trials of N-acetylcysteine to cure Internet (especially Facebook) addiction and game addiction.