skysight-inc/HackerNews huggingface dataset:
I recommend Dijkstra's paper: "On the foolishness of "natural language programming" [1].

It explains how natural language is a very poor way to express programs, and how it held back science and progress for many centuries.

Strong types describe your code precisely. If your code doesn't match the model yet, that's fine.

But your code has invariants in it. Things like: "this variable can never be nil, that variable can". These invariants can relatively easily be encoded as static types. Not doing so is just throwing away safety and documentation for virtually no benefit.

Other invariants are similar. Instead of documenting them or keeping them in your head, you let your compiler worry about them. And then when you break those invariants, the compiler is your friend! He helps you go and find all the other pieces of code that relied on the broken invariant, so you can fix them.

You say you prefer a more flexible language: But Go is extremely inflexible. It has a very primitive set of tools to do everything, clumsily. A language like Haskell, for example, lets you have Go-like coroutines and channels. But it also lets you program with software transactional memory, or use other parallelism constructs.

Also, the inability to specify invariants of your program isn't flexibility. The ability to specify them or opt out of specifying them, which is what strong type systems give you, is.

1. https://www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/E...
This is quite cool. I have had a few frustrating experiences with graph databases before, but this, as a simple graph data store, looks promising.
> In MacOS if you grabbed a window title bar for too long with the mouse then all your sockets would drop. Fun times.

I wonder if the people developing windowing systems with client side decorations (e.g. Wayland + Qt) thought about this issue. Any information about that?
Well, I don't like how Yelp does business, and I've heard some horror stories about how Yelp reviews have crippled smaller businesses, but I don't know of any good alternatives, and the service has directed me to a passable restaurant every time I've used it.

Until Yelp's sort-of-extortionist practices start affecting its users and someone makes an alternative, it's going to be hard to affect their user base.
Yes, HTTP/2 is finally taking the opportunistic encryption seriously (think STARTTLS in SMTP), whereas the pre-Snowden http://tools.ietf.org/html/rfc2817 "Upgrading to TLS Within HTTP/1.1" never took off one bit.

In fact, there are now not one, but like at least four different post-Snowden drafts to the effect of seamless behind-the-scenes encryption on top of the HTTP:// address scheme, which is the exact solution I'm personally advocating for, since it's pretty much backwards compatible with 100% of the existing infrastructure, and effectively has negligible cost, and no tie-ins, unlike the full blown HTTPS://.

https://github.com/http2/http2-spec/issues/315

https://www.mnot.net/blog/2014/03/17/trying_out_tls_for_http...

http://tools.ietf.org/html/draft-nottingham-http2-encryption...

http://tools.ietf.org/html/draft-hoffman-httpbis-minimal-una...

http://tools.ietf.org/html/draft-miller-http-unauth-tls-00

http://tools.ietf.org/html/draft-hoffman-uta-opportunistic-t...
Interestingly, the current acting director is a patent reform proponent who was installed in the position a year and a half ago. The way she was designated as acting director appears to be a ploy to get around the senate confirmation process.

http://patentlyo.com/patent/2013/12/michelle-lee-director.ht...

http://www.hatch.senate.gov/public/_cache/files/fafbc72d-f14...
Woa, Rust is great, but I think you're going a little far on the hyperbole there.

You can easily generate a segfault in Rust in 'unsafe' (or 'trusted') code; that might only restrict errors of that nature to code that uses unsafe blocks.

Practically speaking that's pretty common; once you enter an FFI unsafe block, you lose all type safety; but you can totally do it without FFI too. Eg. using transmute().

In fact, there's no way to know if you code contains 'hidden' unsafe blocks wrapped in a safe api in some 3rd party library that might cause a mysterious segfault later on.

You can argue that 'if you break the type system you can do anything, obviously'; that's totally true.

I'm just pointing out the statement: "These crashes are simply not possible in Rust and Haskell" <-- Is categorically false.

You can chop your own arms off in Rust just like anything else (including Go).
Picking something without a library will give an advantage to the other language in most cases because Haskell is very library based.

I didn't cherry-pick btw, I just went to the first benchmark which included community-written snippets of both Go and Haskell I could think of. Cherry-picking would be me intentionally skipping over examples such as the one you provided and instead posting my example.
All I know is that this car problem is growing rapidly in Colorado. As a Denver native, living in NY for the last decade I finally moved back to get away from the traffic. Unfortunately there are way more cars on the roads (and what feels like worse drivers) than I recall from a decade ago.

I won't even go up to the mountains during the weekend because I can get stuck in traffic on I-70 for 3-4 hours heading back to Denver on a Sunday afternoon/evening. It should take half that time.

I'm glad Colorado is investing in Infrastructure and passing laws to accommodate Uber, etc...
Cell phones already do that now and the sky usually has the best line of sight.
> You can easily generate a segfault in Rust in 'unsafe' (or 'trusted') code; that might only restrict errors of that nature to code that uses unsafe blocks, but practically speaking that's pretty common; once you enter an FFI unsafe block, you lose all type safety; but you can totally do it without FFI too. Eg. using transmute().

Not directly addressing what you're saying, but, IME people are far too quick to use `unsafe` code. One needs to be quite careful about it as there's a pile of invariants that need to be upheld: http://doc.rust-lang.org/master/rust.html#behavior-considere...

> once you enter an FFI unsafe block, you lose all type safety

You don't lose all type safety, especially not if the FFI bindings you're using are written idiomatically (using the mut/const raw pointers correctly; wrapper structs for each C type, rather than just using *c_void, etc).
I've been using GMX for a few years. It's owned by German ISP 'United Internet'.
Is this you as well?

https://play.google.com/store/apps/developer?id=Jin+Man+Kim
No element of competition but have a look at The Command Line Murders :
https://github.com/veltman/clmystery
> That said, I don't know how or if "pervasive monitoring" is mitigated any differently than plain old MITMs.

The difference is that with passive monitoring, you don't have to worry about authentication, and opportunistic encryption without any sort of authentication is good enough. Think STARTTLS in SMTP.

I actually found this RFC7258 through http://tools.ietf.org/html/draft-nottingham-http2-encryption... "Opportunistic Encryption for HTTP URIs", so, there's that. Personally very interested in this, as I have a dozen of different domains and subdomains for my non-profit reference web-sites like http://mdoc.su/, and I also care about supporting legacy clients and having minimal administrative costs, hence I cannot deploy HTTPS://.
And SOAP works over which protocol?
IMO none of this really matters when you're picking whether or not to join a company. As an outsider, if a down round happens while negotiating, you should move on.

In virtually any case where a company has a down round, or fails to meet preferences in a sale, you want to leave anyway. Your stock being worthless is the least of your problems. The exception is if you're specifically part of a turnaround, in which case you'll have a newly negotiated package (unless you were a VERY early hire sitting on a bunch of still in the money options or something).
India successfully launches PSLV c-23 carrying five satellites
The rust compiler is actually really quick. The LLVM optimization passes and code gen is where most time is spent (this is after monomorphisation of generics). The Go compiler does very few optimizations compared to LLVM, which leads to faster build times but slower code.
While I am unlikely to install something that loads yet another shell extension, downloading before the upload is finished is a cool idea. The last time I saw it was on ge.tt, which seems to have evaporated.
Fake your traction until you get your own, do the things that don't scale :) http://paulgraham.com/ds.html
not to be a bummer, but it doesn't seem like anything special was done with this special purpose hardware. why go to the trouble to engineer and advertise this as a piece of security enhancing hardware when it's really just "PrivOS"? also, any plans on open sourcing "PrivOS"?

did I miss something in the writeup? OSS modem firmware, OS wifi chipset, anything hardware or firmware related?
The main issue with the quoted example is that GET is intended for non-destructive interaction with no side-effects. Whether you use PUT or POST is a much smaller argument than whether to use GET or something else.

To most people, honking the car's horn is an unwanted side effect.

As has already been pointed out, some browsers will fetch-ahead to ensure that pages appear to load instantly. If you open a page which is a bunch of buttons which do stuff like honk the horn, lock the door, raise the window or open the charging port door, there will be unwanted side effects.

So yes, we do care that much.
gmx is very popular among tor users because you can create an account with no strings attached. No other emails are needed, no other phone numbers are needed, and signup takes only a few webpage loads (important when dealing with latencies of up to 45 seconds).

This of course doesn't mean that Satoshi is a tor user, but a gmx account is consistent with typical tor behavior.
> Don’t suck at something you say you’re an expert at

This one. If you say you are expert/advanced at X, we will check for some level of competence. It's amazing how many candidates with CVs claiming 'advanced SQL skills' don't know about the existence of the HAVING clause. An exaggerated CV is a very easy filter.
The replies here make me sad. Two answers:

1) Honk is not a resource and using REST here makes no sense. When you want to send actions across network, RESTful HTTP is not as good of a technology as, say, Websockets. See http://blog.arungupta.me/2014/02/rest-vs-websocket-compariso...

2) If you must use RESTful HTTP, this would be a GET with an Authorization header that contains an authorization token. This solves the Google spider problem and, well, the fact that you don't want just anyone honking your horn! :)
"Languages and frameworks like Go, Akka and Erlang have come up now because they help solve the hard networking and concurrency problems that we need to build clusters."

What does Go offer for a cluster environment? As far as I can tell, it's still targeted at single machines (though perhaps with many cores).
Using Lean Methodology [video]
Scaling costs for cars is linear (no congestion) to polynomial (congestion), whereas transit has scaling costs that are a step function on the level of an individual vehicle, and somewhat resembling a logarithmic scale in aggregate. That in itself isn't interesting until you understand the implications of subsidy policies.

For example, if you subsidize auto travel, you may pull people away from walking, cycling, or transit, and put them onto a congested freeway. Every marginal person that moves towards car use increases the costs of car use for every other car user. Transit, on the other hand, gets cheaper, on a per rider basis, with each new rider (although this can be muted if transit ridership is heavily biased in one direction, which can be the case for cities with strong central cores and no outer job centers, as half the buses may be riding at capacity while the other half are riding empty).

I essentially agree with you, but I'm of the opinion that if we would stop subsidizing cars, some small percentage of drivers would move back to transit, and that small percentage could be enough to make transit self-sustaining.
> baseless anonymous reports lose any and all credibility

What if people paid by extortioners use their own names, proved by their ID cards, to post negative reviews?

Each of these people will post one bad review for Pizza 900 (the target) and dozens of good reviews for others pizza places. If they get the timing right, how will you detect them, even if they use their real name?

Anonymity is not the problem here. Trusting information given by somebody else is the problem here.
Surely some variation on high-altitude aircraft would be more cost-effective than continually launching satellites?
Aaron's Law was just recently introduced:

https://www.govtrack.us/congress/bills/113/hr2454#overview

There is a really great talk by Lessig about the legal issues surrounding the case at https://www.youtube.com/watch?v=9HAw1i4gOU4#t=44m39. After seeing the debate around the movie, this quote really stuck out at me:

"He was a citizen who felt a moral obligation to do what he believed was right. And if he is guilty here it is because he acted on that view of what was right. And we need to act to respect that act of citizenship. To think beyond what Aaron did, to think beyond what was done to him, to think about the ideals he gave everything in his life to, and to make those ideals the law."
The Mill CPU has an interesting approach to false sharing [0]- cache lines keep track of which bytes are valid for their core, so one core could be using one part of the line while another uses a different part, and they wouldn't try to communicate until/unless they actually tried to use the same bytes.

[0] http://millcomputing.com/docs/memory/
It doesn't look like it does well in benchmarking either. You sure this isn't an advertisement for the iPhone 5S?
The mountain states are car states. Denver is not a city like New York where people go without getting their license until they are in their mid-20s.

Having Uber or great public transportation will not change the fact that much of the draw of Colorado is that you can drive two hours and end up in the mountains or on the plains. Colorado self-selects for cars and they will not be going away any time soon.
Is this, in anyway, related to the unity game engine? The logos look too similar.

http://unity3d.com/
>I'm curious what that 20% of social spending covers.

I'm sure there are plenty of things in that 20% that can't be replaced with $10k per person--things like extra equipment for poor schools. However this was just napkin math to show that it's within an order of magnitude of doable.

> "eliminate medicare/medicaid, but you get a yearly check for $10,000!".

For the vast majority of people that would be a huge net gain. The UK only spends about $3k per year on each person for health care, so I think the vast majority could get by on the insurance they could afford with $10k per person. You'd still have to account for the edge cases. This would probably work better in a country with a single payer system.

For the sake of argument, remove medicare/medicaid from the equation. That still leaves about 2.2 Trillion on other social spending. Let's subtract some other unknowns and leave it at just 1 trillion.

You can stretch that 1 trillion pretty far if you adjust it so that children don't get the full amount, and add extra graduated taxes so that households making over $45k (the national median) have a zero net benefit with only people making below the poverty line receiving the entire benefit.

I think it's very doable especially if you're willing to consider tax increases at the top. It's definitely not something outside the realm of possibility, and with demographic and labor changes in the United States over the next 50 years, I think something like a Basic Income is probable.
The parent was comparing the event model (e.g. callbacks everywhere) with a thread/process model; not comparing user-mode and kernel-mode threads. So I didn't follow your point.

Also, erlang doesn't use time slices, it counts "reductions" (essentially function calls, though I don't think it's always exactly one function call). It also penalizes processes more if they send to a mailbox that is already very large.

Erlang is considered truly pre-emptive, because (assuming you aren't writing your own functions in C or something) a function can't loop or use any operators or really do anything without potentially being pre-empted.

Go is generally considered partially pre-emptive, because it only pre-empts on a function call or during a memory allocation. You can write a simple loop that doesn't terminate, and it will never get pre-empted.
It's actually illegal to sell a VCR that does not honor the do-not-copy transmitted signal. The courts and legislature generally sanction the activity, not the tool.
I think a "guaranteed minimum income" can be re-phrased as "Giving everyone, at no charge, the things they'll be dead without in a week (food, water, shelter), but it's up to you to buy them on the open market".

I've never understood why one has to pay for the bare essentials, while piles of other things, like health care, transportation, parks, police, fire, etc. are highly/wholly subsidized through general taxes.

We already provide health care at no charge in most nations with reasonable efficiency, leaving one less reason for people to put up with crummy employers and removing the bureaucracy of proving that you need something that you, well, need. I like the idea of extending that path.
Gunmen torch churches, kill dozens in Nigeria
This story is on Fox currently but not on any of CNN, ABC, CBS or NBC:

http://www.foxnews.com/world/2014/06/29/gunmen-torch-churches-kill-dozens-in-nigeria/

"At least 30 bodies have been recovered but more are turning up in the bushes, where people tried to escape from Kwada village, said a member of a vigilante group that has had some successes in repelling attacks."

"Some of the church buildings destroyed included the Protestant Church of Christ in Nigeria, the Pentecostal Deeper Life Bible Church and Ekklesiyar Yan'uwa, which is Hausa for Church of the Brethren in Nigeria, Yahi said. The last was started by American missionaries from Illinois in the 1920s."
Not a single point in that response directly addresses why there was no informed consent in the study. There are reasons why research goes under ethical review before it is conducted, and this is certainly going to be a tough lesson for Facebook.
There's not really any excuse you can give at all, FB. I'm astounded that you didn't apologise without reservation and implement an end use agreement change that specified you wouldn't do it again.

Messing with people's mental health is outrageous.
I´ve provided the links as a example of cherry-pick from my part.. showing that its easy to come with something that looks good..

FP tend to be more expressive, and make you feel more powerful.. but they also tend to be more complex and more verbose.. thats the price of power.. it's the trade of

I think its not enough to show something simple, but with the real complexity hidden in some hidden layers..

Also if line of code is the measure of simplicity the Brainfuck language would win everything.. but it doesnt mean you can read what the code express with less effort..

Nothing against Haskell in particular, only that it doesnt shine when the matter is simplicity..

Expressiveness.. Abstraction power.. shure.... but that was not the original point i was making in the original article
The study was approved by an ethical review board.
Thanks for sharing! I founded the group since I was fed up with the Computer Science Facebook group for Cornell -- while there was occasionally interesting CS content, it was flooded by a lot of stuff that's either no longer interesting to me (a lot of it is Cornell undergraduate centric, while I'm now a graduate student at MIT), or just meme/jokish in nature. My goal was to make a group with interesting, thought-provoking content and better quality discussion. If this appeals to you, feel free to join and contribute.
Wherever the website is, the problem is always going to be that how to make people see the content first time.
I can understand why some people have concerns about it, and my coauthors and I are very sorry for the way the paper described the research and any anxiety it caused. In hindsight, the research benefits of the paper may not have justified all of this anxiety.

Ignoring the classic "I'm sorry you were freaked out" non-apology here, this response completely misses the point, and tries to re-frame the concept of informed consent into an inconsequential piece of red tape that anxious people worry about.

People were made subjects of a scientific experiment without their knowledge or consent. It doesn't matter that Facebook took steps to make the changes as small as possible; it doesn't matter that the effect on the individual subjects may have been minor; it doesn't matter that the results were interesting. It was an ethical breach, and this tone-deaf response is fairly unsettling.
Negative income tax is just an implementation detail. This idea is not in competition with GMI, it's a restatement of it, showing how it can exist on the far right as well as the far left. Per the reputable wikipedia:

"Negative income taxes can implement a basic income or supplement a guaranteed minimum income system.

In a negative income tax system, people earning a certain income level would owe no taxes; those earning more than that would pay a proportion of their income above that level; and those below that level would receive a payment of a proportion of their shortfall, which is the amount their income falls below that level."
Australia already has basically this. It's called 'welfare', but anyone that doesn't have a job gets a touch over $1000AUD/mo (so just over $12kUSD/year) for life [1]. It doesn't matter if you've never had a job, or have, or whatever. They will encourage you to get a job, and you might have to work a little bit to get that money, but you'll get it.

If you've got a partner, or dependent(s), you'll get more. Likely if you're living on this, you also qualify for Rent Assistance, which means more money.

You also get paid like this while going to University.

Australia has been doing this for decades (my Goole-fu fails me for the exact number of years), and it appears to be perfectly financially viable.

Read more about Australia's policy at [2]

[1] http://www.humanservices.gov.au/customer/services/centrelink...

[2] http://en.wikipedia.org/wiki/Unemployment_benefits#Australia
See also the OnePlus One with Cyanogenmod 11, $299 unlocked, but for now can't be purchased without an invite.

CM11 hardening: https://blog.torproject.org/blog/mission-impossible-hardenin...
This article has now been posted 11 times in the last week (3 times in the last 24 hours). Is this some kind of attempt at a world record?

https://hn.algolia.io/#!/story/past_week/prefix/0/The%20Pitc...
Traditional protection rackets have a veil (at least in pop culture; I have no idea what they really do) because it's harder to go to the cops with witnesses quoting oblique statements.

But if you have anonymous mail in one direction and anonymous cash in the other, it doesn't really matter what witnesses say. There's really no point in being oblique; it'll just reduce your yield.
Universities and think tanks have internal review boards for a reason. The fact that Facebook can make use of its users' data in other (business-related) avenues does not excuse them from the most basic of research ethics.

It did pass the muster of Cornell's review board, but that was after the data was actually collected, which amounts to ex post facto approval.
See my other comment, Australia already has it.
People trust it for the same reason they trust most things: it works reasonably well for them.