skysight-inc/HackerNews huggingface dataset:
We have different priorities then, I see no value in this information other than for my own personal technical interests.

I also see no correlation between the technical information and what we can all agree on that is important - how, when, and on whom are they used.

Spreading a manual which is controlled under ITAR does nothing, infact it's utterly counter productive because it gives the government more reason to bunker and deny FOIA requests.

As far as defenses go there is plenty of information about how IMSI catchers and various other interception techniques work, I had no problems getting technical datasheets for about 10 of those including from vendors like HP (well now Keysight since it' was Agilent/HP > Keysight).
You can buy those things from freaking Alibaba and there are now plenty of chinese companies that clone and develop their own interception gear and sell it online they just ask you to confirm you have the legal authority to possess the equipment.

Talks about this like the SS7 talk in CCC also didn't seem to be hindered due to lack of technical material from vendors, so yeah these manuals not to mention they story they tried to make around them aren't really news in my books, but hey different strokes.
It's interesting to me that I find the article very hard to read, but I wouldn't have considered that the font was to blame unless I had seen your comment.

I would have figured I was distracted or similar.

Can someone chime in with a little detail about why it's hard to read, and how I should know?
This is a great point which I completely agree with.
The legendary "Did you win the Putnam" comeback.

https://news.ycombinator.com/item?id=35079
what happens when two ambassadors for a school start competing to get more people at their tables?
They had Spotify apps, the two most popular were lyrics apps. Then they removed the apps and added lyrics inside Spotify, and now there is no more lyrics at all.

Obviously that's a very demanded feature so they must have a strong reason not to have it anymore (legal issues probably).

I personally used it all the times for improvised karaokes so I'm very upset to not have lyrics on demand anymore.
So basically, with a high deductible plan, I am getting screwed by my insurance company, because I do pay $300 for Advair out of pocket, instead of the negotiated price.
Here it is 5.99 EUR (~6.8 USD) / month. So, based on that price, it should be like ~$270M.

Also, you can have a family subscription for 6 people for 8.99 EUR (~10.1 USD). I wonder, if such subscriptions are counted as one, or for every member separately.
>The skills for building a robot are quite different from the skills for building "classical" software.

I'd object that on the contrary, arduino and http://www.espruino.com/ require mostly the same skills (plus some basic maker-tier hardware skills which are easy to gain). For example Espruino is programmed in javascript. I have bought ESP8266 boards for 3.5$ each and with espruino firmware that gives me a wifi-enabled computer for IoT or smart home tasks. I have done some simple smart home projects that provide a web interface (hosted on espruino!) to some functionality.

Of course there are robotics specifics - computer vision, motion planning (also forward, inverse kinematics), but these functions in principle could be hidden behind an opaque DOM-like APIs, while being implemented in a very advanced manner (e.g. trained deep learning models for vision, best SLAM algorithms, best planning algorithms). Just like the browser doesn't require you to draw webpages pixel-by-pixel on raw framebuffer and provides you with fonts, block model, events etc.

>For example for classical software one can do correctness proofs/analysis, while for robots one can only do empirical tests or correctness proofs relative to a strongly abstracted world model.

Objection #1: Almost nobody does correctness proofs in application and even in system software (e.g. the linux kernel), and yet these software projects work quite well, for example it is known that SpaceX uses Linux (with various patches) as a platform for its in Dragon and Falcon. In fact correctness proofs are mostly done by hardware companies, for some functional blocks, and maybe by the military. If you are interested in exploring this question further you can read "How did software get so reliable without proof?" by C.A.R. Hoare [1].

Objection #2: Proofs of correctness in logical or probabilistic sense are being done for various real systems by Cyber-Physical Systems community and by Machine Learning community.

>So in other words: Applying their (existing) skills into that direction would not have much value.

I still think that given good blackbox abstractions and familiar API much could be done. We can see beginning of it with maker community, arduinos and espruinos. More should be possible.

>but who of this group is really willing (and can afford) to do so?

Myself !

I think programmers, investors and customers should be less averse to hardware. We could live much more pleasantly if it were true. Underautomated status-quo is daunting.

1. https://www.gwern.net/docs/math/1996-hoare.pdf
DreamFactory 2.3 released, PHP 7, Cassandra, Redis
He wasn't a whistleblower: he was a leaker. He permitted national-security information to fall into the hands of someone not cleared to handle it.

Moreover, he shows not one whit of repentance for his crime.
You're simply wrong. FISA courts exist because Congress created them and gave them jurisdiction. There is no such thing as a secret conviction under US law. There is no such thing as a secret criminal trial, where the accused has no opportunity to defend themselves, under US law. Does not exist period.
You're conflating government action with civil actions. Civilians do all kinds of things governments are constrained from doing --I can be ostracized by colleagues for being irreligious or contemptuous of management or being pro choice, or conversely pro life or being too PC or not being PC, etc.

I'm unaware of dragnets and massive house to house searches in order to discover and punish people who went out for a brief protest against against a corrupt government office.
It's not that, it's the part about having to live with roommates in a tiny apartment. I did that in college. Why would I want to go back to that lifestyle? Why should I? If that's all you can afford by working at a super-high-end job these days, then what is the point? (Again, remember that $100k is well above the average family income in the US right now; a single guy making that much should be able to live very, very well.)
Spinnaker pipeline tooling
This was the first I thought of too. https://news.ycombinator.com/item?id=35079
See you seem to think that when you say "I favor free market for food but not in healthcare", you're saying "I favor eating Chinese food today but last week I ate mostly Turkish food". Or "I don't drink coffee on the days I have to make a big presentation".

Whereas saying what you're saying is more akin to "I believe in science and reason as far as Christian god is considered, but in China I believe in Budda as the supreme deity".

My point is, that there is a reason why Free Market works, and government controlled economies don't. If you hold that model consistently you will find the reason why American healthcare system is so messy, and not that somehow govt controlled healthcare system works.

If govt controlled healthcare works, then govt controlled everything and anything could work.

> I paid full price in a single-payer system, not subsidized by anyone, where prices have been negotiated in advance, and it is a lot less costly.

Are you claiming that something fundamentally in free market which prevents you from doing that here?
Does this release include a cross-platform Foundations library?

https://github.com/apple/swift-corelibs-foundation/blob/mast... says they intend it to be part of Swift 3.0, but https://github.com/apple/swift-corelibs-foundation/blob/mast... still lists a lot of classes as "Incomplete" or "Unimplemented"
Ask HN: Other worthy news/discussion communities?
Similar question came up before[1], but thought I'd ask to see if anything new has appeared. Which communities do you guys visit for non-hacker news and discussion? What are your favorite subreddits? Where do you go to learn and talk about policy, art, history, etc.?

[1] https://news.ycombinator.com/item?id=8814004
I was expecting to hear at least something about https://en.wikipedia.org/wiki/Pittsburgh_left , which is something that I'd find very interesting about autonomous cars.
Washer/dryer combos using a single tub are commercially available.
This guy would get DESTROYED over at /r/personalfinance
>What‽ Selling capital in order to finance daily survival is terrible: the entire point of a working life is to accumulate capital in order to finance a retirement.

And yet people do it all the time. Not to mention the billions living hand to mouth.
They are the only bank who has ever called me up to try to sell things. And they must have done it at least 10 times in the last few years.
Linux Debugging Tools You'll Love [pdf]
It's all dropped down the endless real estate rabbit hole in the Bay Area.
Yes JVMCI can help there in a couple of areas. Part of Graal (the new compiler) is a new FFI that bypasses JNI and can represent native calls directly in the JIT. That should improve native call performance.

There is also a C interpreter with JIT being built on top of Graal and JVMCI. In JRuby we're looking at interpreting C extensions rather than running them as native code. In some cases this is faster than the native code, because we can optimise the Ruby and the C code together.
How our brain slows down the effects of aging
Also, if you're trying to do something after multiple async operations, you've got to manually count your callbacks. (As opposed to using Promise.all)
Software freedom business models
Another fatal Tesla Autopilot crash emerges, Model S hits a streetsweeper truck
This is a zine made by Julia Evans (@b0rk on Twitter). More info about it here: http://jvns.ca/zines/#linux-debugging-tools
Ask HN: Is Google Apps Down?
Logging into our google apps email this morning, I was greeted with "We are sorry, but you do not have access to Email". I tried calling the support number, after being on hold for 15 minutes, the call disconnected. Now the support number is "unreachable".Their Support Chat is "not available". Their app dashboard says everything is running: https://www.google.com/appsstatus#hl=en&v=status

Anyone else experiences even one of these issues?

UPDATE 1: Gmail is experiencing outages and it seems to be (only?) affecting Google for Work customers.

If you get the page:"We are sorry, but you do not have access to Email." try turning Gmail off and then back on for everyone in your organization in the Admin Console. https://support.google.com/a/answer/57919

UPDATE 2: Gmail Service Disruption - https://www.google.com/appsstatus#hl=en&v=issue&sid=1&iid=3ea584e120290efde09577a612d75ea7
> When you have sickness A the ONLY option you have is medicine X (take this medicine or you die), where is the market force to drive down the price? That isn't free market

Sure, but if a country suffers famine, do people (and you) suggest single payer food system?
So basically he sold his stock options to buy a 40k car.
I even thought of making little signs saying "Would welcome sharing a table" and putting them next to the cafeteria trays at work.
Or celebrity personalities. I want Jennifer Lawrence to drive me around and tell me how much she likes eating junk food.
Thanks for your thorough explanations, it was an interesting read.
That quote is from "Notes on the Next War: A Serious Topical Letter" which was published in Esquire in 1935 and was about war (based on his experience from WWI), not about surveillance or about standing up for democracy in times of peace.

FBI opened their file on Hemingway in 1942:
https://vault.fbi.gov/ernest-miller-hemingway

Nobody in the US will "die like a dog" for supporting a presidential pardon of Snowden and Hemingway did not suggest that one should stay out of politics.
Privacy rights for foreigners do not exist under US law. The US cannot allow people with security clearances to just ignore the law, determine what is right and wrong, and take matters into their own hands. How our government treats people in other countries is a matter for the President and Congress, the elected representatives of the American people.
An updated version of the Ninth Edition Unix editor, sam
By the time the Tesla 3 is generally available these Bolts will be available, used, with unsexy GM depreciation. I look forward to picking one up then.

If you're curious what unsexy GM depreciation is, check out used Volt prices. Here's what I found in 20 seconds of searching: https://www.cars.com/vehicledetail/detail/675207037/overview...
Because it was a sideways move (in other words, I was already working for the same university) it would have been illegal for them to lower my pay.

Ironically, them telling me I was underqualified (specifically, I didn't have doctorate) spurred me on to go and get one. I had basically hit the ceiling for a Mr. in a university.
Ninth Edition Unix came with an innovative editor called sam, that combined an ed-like command language with a powerful mouse-and-menu user interface. Perhaps its most interesting innovation was its use of structural regular expressions.

In the 1980s, it was reworked to use the X Window System. This version is a modern update of that version, supporting colors, 64-bit architectures, keyboard shortcuts, tab expansion, and other niceties.
I don't mind callbacks for async flow, but they involve a huge amount of boilerplate when it comes to error handling. Promises make that a lot better.

I haven't yet switched over to await because of things like the issues described in this post - I don't mind async operations being a little clunky because it highlights where they're actually happening. Only using a simple keyword makes me worry that the flow control won't get as much attention. For me, Promises are a happy medium that allow you do to do simultaneous operations (mapping, Promise.all) a lot more easily than you can with callbacks, but more obtrusively than with await.
I can't edit the letter before submitting it... Is it my browser?
How many of these were gained via discount promotions?
humanity will be unrecognizable in 3 generations

It's hard to see why this particular thing is going to make any bigger change than those that have happened over the last 3 generations. Or those to come from other reasons: bio-engineering, implants, VR, AI etc.

Also, I'm unclear why you seem to assume this change is bad?
Or you could grow your own food ¯\_(ツ)_/¯
Regardless of where on this globe you put your VPS, someone will be accessing it at 1000 ms latency. It doesn't make sense to optimize the browser page load speed to 10 ms, and forget that it takes 600 ms to fetch the data from Asia.
Unless you have a magic invocation that can instantly train children to behave the way you want, there must, by necessity, be a window of time where this is still a problem even if everybody is behaving as perfectly as can be expected.

I didn't say it could be done easily or instantly. What I'm saying is that children bullying one another isn't just a problem for the children; it's a problem for the adults who those children are learning standards of acceptable behavior from.
People want the nice things their parents had, but not on the same timeline. They don't realize that nice things take a while to accumulate.

Yes my parents drive a Prius. But growing up in a family with 5 other siblings, they pretty much drove beaters. And our house started with, as we so fondly called them, the seven ugly carpets of the world. And those were slowly replaced over time. The house we lived in until I was one had slanted kitchen floors - just throw a towel at the correct wall if you spilled.

The point is that our parents affluence isn't the result of a general rise in affluence - it's accumulated. But we often don't think about that when making our early financial decisions.
Lying to Congress isn't a crime? Hmm. I've clearly been misled.

Please consider finding something else to do with your time and/or career. You're helping bad people do bad things, the full scope of which won't become apparent until it's far too late.
If you want to disappear without a trace, just use email inside NSA to criticize the NSA and suggest you might be a whistleblower. To get protection, you have to survive first.
> If anything, top level async would be an improvement, as it would give developers no reason to do synchronous IO.

Top-level async would make asynchronous IO no different from synchronous IO! It's the worst of both worlds.

> the dependencies are statically analyzable

Exactly – which means modules can be loaded concurrently, without having to execute the code. By contrast, imperative loading has to happen sequentially. I explored this aspect of it in a follow-up: https://gist.github.com/Rich-Harris/41e8ccc755ea232a5e7b88de...
Here I am veering from simply providing a précis to something closer to analysis, but not too close --- I think this is uncontroversial:

Sterling isn't in prison for "whistleblowing", which describes the actions he took to alert the Senate Intelligence Committee to his concerns about "Merlin" and his complaints to CIA's IG about racial discrimination inside the agency. He's in prison for leaking details of a sensitive counterproliferation operation to a reporter, which is something else.
> It seems to me a sufficiently precise simulation would necessarily capture meaning.

That is the very bone of contention here.

> If meaning is critical to decision making.

I don't believe it is in the general case. Our current crop of Go winning machines seem to indicate otherwise.
3 Steps on How to Become an Investor for Women in Tech
Google is giving $200,000 to hack the Nexus 6P and 5X
As the article states, due to current implementation of emission laws it may make economic sense to cross-subsidize Bolts and sell them below cost because it then allows them to sell more high-priced high-emission cars.
Ruby and Sidekiq as the messaging queue

Postgres to store the data

Elasticsearch as a search index.

My ES cluster has around 10 nodes, 64 GB RAM, quad-core.

Postgres database cluster is 4 nodes, 1 TB, 64 GB RAM, quad-core.

800 crawler threads distributed across 10 dedicated servers.
Off topic but what is the name for this (as a style element?):

> "Man, this is prison."

> "Man, this is America."
Regardless, What would prevent Rosneft or Heckler & Koch from producing a video and putting it on youtube, to be shared by people on facebook?
The Ford Escape sells 600,000 units a year in America. That's one SUV from one manufacturer. That's more than the entire minivan segment.

If GM can leverage one of their platforms for most of the Bolt it can dramatically lower the cost. What they do with the Bolt can bleed back over to the rest of the platform.
Two reasons:

Stock Options

Work at Facebook
For a good laugh, hunt down the "Your interests" / ad preferences page while logged in to Google. Out of the 18 things Google believes I'm interested in, maybe 4 sort-of fit, the other ones were mostly stuff I'm pretty sure I never even searched for once.

I'm not sure if Google's staggering incompetence in all things user-facing is a pro or a con, though. On the one hand, you could make the Stasi argument and say that people just think the company actually has meaningful information on them - but on the other hand it clearly has the potential of being even more dangerous, especially considering the fact that Google data is presumably being funneled straight into governmental intelligence as well.
I'm not aware of any countries where that specific aspect, choosing which drugs are available, has become politicised and toxic.

I agree that the two-party adversarial politics in the US is poison though, and causes a whole lot of "this is why we can't have nice things" moments.
Yes but it doesn't have that _look_, its more elegant. The idea is that it doesn't communicate EV.
How exactly does the market for aeroplanes operate? Is there a Craigslist for superjumbos?
Everyone disagrees what socialism is. Is Nordic or German social democracy not socialism? Maybe it isn't. But what about all the millions people in those countries that proudly claim to be "socialists" but never ever want to abolish the free market or parliamentary democracy?

"Socialism" can either be a common name for ALL the ideologies that branched from the original throughout history, or it can be a specific ideology that is closer to what we today would call "Communism". It's not entirely clear which is meant, if someone says "socialism" or that they are "socialists".
This is an amazing effort and a great app. I'm glad it's really working out.

However... teens being teens and bullies being bullies... isn't there a risk they might use the app just to find and target the kids who used to be lonely? I mean, its a pretty silly question I guess.. but it's something that crossed my mind when I read the article.
I came from a Visual Studio background and tried to code in XCode for a summer and was appalled at what an awful environment it was. ...And this was after I had learned that it had been highly improved since its prior release. I felt like I was working in a torturous 'This would have been state of the art in 1992' environment! Ick.
None of your pixelated or blurred information will stay safe on the internet
Portugal did and is seeing benefits.
Board game cafes usually have little signs for "come join us".
First thing I usually do in a vector graphics editor is check out how sophisticated their implementation of parametric shapes and object instancing is. This is usually a good indicator of their general level of sophistication. (Curiously - Corel Draw had the best polygon tool I've ever come across - it remembered it's # of sides even if you edited the splines - i.e. a 5 pointed star with curves and extra vertexes could still be turned into a 6 pointed star without losing the edits)

As much as you might never use this stuff - you can't get it right without getting a lot of other stuff right and there is a definite correlation between completeness of the 'object-ness' of the software and it's general quality.

So - Vectr? I can't even work out how to:

1. Change the roundedness of rectangles

2. Create any type of symbol or instance

Here's a sign of how crude it is - create a rounded rectangle and scale it in the x direction. The corner curves themselves are scaled to create ugly elliptical corners.
Four engine aircrafts are also more difficult/expensive to maintain. Most pilots prefer two engines.
Not an U.S. citizen, just a wild guess: It's not very wise to give somebody, even altered, nuclear blueprints. It's a similar type of stupid stuff that NSA does when it puts backdoors into devices or cryptosystems.
They still have Behind the Lyrics for some songs on the mobile app, which shows a mix of lyrics and info about the song and artist.
> Existence IS meaningless, this is the very beauty of it: you can give it any meaning you want.

Although you have to concede quite a lot. When you feel awe at the stars, or the exhilaration of love, or burning anger at injustice, you must tell yourself, "this feeling is just an adaptive delusion; there's nothing good about caring or wrong about rape and murder per se, I just happen not to like them because I'm That Sort of Mammal".

If you say "existence is meaningless, morality doesn't exist" and in the next breath say anything about what people should or shouldn't do, including whether they should believe in God, I respectfully submit that it's inconsistent to do so. (Not that you should mind inconsistency.) This is my beef with people like Dawkins: if he's right, everything he says is utterly pointless.
Pardon my paranoia but, who's running this campaign?