skysight-inc/HackerNews huggingface dataset:
Well said!

I love it when I can get the computer to hold my hand and limit my actions. Personally I feel the limits of my cognition and enjoy when the computer assists in proofing the correctness of my programs.

That way I can be more sure I don't do anything that breaks the program logic and that developers that come after me remain within the boundaries of correctness when modifying my code. Types don't help in design but they help in forming a coherent whole.

I've figured out there are two constraint systems I can use to effectively write correct programs. One of them is a typesystem and the second is set theory.

Granted, the most mainstream statically typed languages come with so much syntactical baggage and lack type hinting (C++, Java, C#) that they can effectively hide the elegance of types as a problem modeling tool.

Types can be used just as a non-value adding anal-retentive bureaucratic baggage but that's not how they should be used.

I'm professionally mostly a C++ programmer but did not really 'get it' until I familiarized myself with functional languages (Ocaml, F#) which helped me understand how to actually leverage a typesystem to help me write correct code instead of 'just using typedeclarations because the compiler is too stupid to figure out what I want to do'. To be precise, the languages themselves did not really teach me that much but the learning materials I used with those language did.

When I need to do something small data processing in a jiffy I usually pick Python. For small programs few-liners in dynamic languages are usually a win.
crashed photos were released on twitter here
https://twitter.com/elonmusk/status/555981841476227072
What is it, 1999? Welcome to the real world, Neo
The key is never written to disk, it has to be provided externally to the machine in question on boot
This isn't quite as crazy, but in the spirit of overengineered blogs, this guy tried to make every single element of his blog optimized by automatic A/B testing: http://www.metamorphosite.com/about
7 steps to create the perfect customer persona
Why are you blaming Google, and not Samsung, HTC, LG? Aren't they the ones who produce software updates for their phones?

I really don't see how Google is stopping them from updating their handsets.
Security: OpenBSD vs. FreeBSD
By the metric of more than 3 billion people living on less than $2.50 a day[0]. Artificial problem, right?

[0]http://www.globalissues.org/article/26/poverty-facts-and-sta...
Isn't non-HTTPS traffic susceptible to snooping in Tor?
Show HN: Shortcut.js – standardized keyboard shortcuts
Holy hell, the signup page is exactly the same as well.

Did someone steal Trellos source code?
Reading this is so strange feeling. Its like weird science fiction or something where many of the important words are made up, but the rest is normal English.

urbit ship vane hoon!

At least math is the same.
The Cherry Share Meter, a New Technology to Validate Content or Product
Does the app keep in mind that it's nearly impossible for blind people to operate a smartphone? There's no keyboard or braille on such a device.
While I find this language neat, I think that there should be a warning that it is proprietary/not open source.
But that doesn't sound nearly as cool or media hype-able.
2014 was such a terrible year for Cloud Security
> Netherlands: ~7 million

Erm, population of The Netherlands is 16.8million. See http://countryeconomy.com/demography/population/netherlands
And not agreeing that it's "democratic" doesn't mean a direct democracy is a better form of government.

Who decided more democracy creates the best government?
> To the dreamers, the ideal situation

As a deaf/hearing-impaired person, the ideal situation is near-instant subtitles for speech/sounds.

For Deaf persons, I imagine the ASL (or JSL or what have you) equivalent of subtitles would be a godsend if they were more comfortable with that than reading.
Interesting.

Now stop calling your own comment 'awesome', please.

And you have very lax standards for 'timely'.
I am going to China in a few weeks to meet about a fairly large tech project. China has grown an amazingly vibrant and potent culture of entrepreneurship that puts most nations in the world to shame.
SSL certificates restricted to 39 months validity after 1 April 2015 [pdf]
That's easy when 95% of your commits are 100% noise minor bump of versions in the dependency manifest:
https://github.com/ponyfoo/ponyfoo/commits/master

bevacqua, I don't know what you are trying to achieve by that, but if this is an actual serious project, know that this commit log is unreadable and would repel any potential contributor to the project you might find. And I don't mean to offend because, going by your profile, you're obviously a very active open source contributor - but I also found the exact same log quality issues in all your other projects.

If you truly care about them, you should care about that too.
On-the-fly signing (with "white lies") is also required to prevent enumeration of the zone.
"A few hundred thousand years of human history. What kind of a stupid question is that? Examples of the human struggle to clear difficult hurdles and advance abound."

So you don't have any? I didn't think so.

The western world has had life so easy relative to the thousand years before and yet we have made far more progress.

We have a lot more provided to us "for free" than third world countries and yet our productivity per person is miles ahead of theirs.

"That's the beauty of freedom."

Yes it is. And it is clear that the vast majority of us are happy to work hard even once we have met our basic needs.

The rest of your post is just political talking points. I'm not interested in talking politics or right vs wrong.
When you can write great code, you can also write spaghetti?
I consider google with android to be a similar position to the linux kernel on my servers. I don't expect any of the kernel team to produce a patch for my 2.6.18 kernel I am running on a RHEL 5 system, I expect Red Hat to do that.

Why doesn't Samsung / LG / HTC manage Long Term support for Android versions, back port the patches and roll them out? Alternatively why don't they all pool together and manage an LTS version for customers.

It seems crazy that the company that has a relationship with the customer doesn't have to support the customer, and everyone instead blames google who wrote the code. The android vendors could back port, create alternative patches or simply make the device able to be updated to a more recent version.
Red Hat and CentOS run on many servers, which arguably have the highest economic impact when they are exploited (or when a 'fix' leads to problems).
Sure, three months is a long time to fix an issue, but what does Microsoft have to gain by taking longer to fix an issue of this severity than it believes it needs to? If Microsoft released the fixes when they were going to, and Google then released the details of the issues and when they first reported them, Google could still make a stink about Microsoft's turn-around time on critical security bugs, and there wouldn't be any gap between global notification of the issues and a readily available fix for them.

Put another way, Google may have just notified the world of black-hat hackers of an issue they weren't otherwise aware of, an issue that demonstrably will not be patched for some time. If that is the case, then Google just recklessly endangered people's computers in the interest of raising awareness of Microsoft's poor turn around time on these issues. There is also the very real chance that this issue was already known by the black-hat community, in which case there isn't nearly as much lost by reporting here, but that's a gamble Google is making in order to make a point.
My facts are right. As-deployed, clients don't validate DNSSEC; so the resolvers can pass on any response and the stubs/browsers will accept it. The signatures aren't being checked.

Edit to update: The Turkish Government forged DNS to block twitter. Even if clients did start validating DNSSEC - if the failure mode is that it still be blocked, but for a different reason, is that really useful? A Government could simply drop all queries for twitter.com too. How does DNSSEC meaningfully help?
I can only begin to describe the Nintendo DS 3D rendering pipeline as "weird." WinterMute's libNDS library (also part of devkitPro) abstracts an OpenGL (ish) 3D API for homebrew devs.
I think the article's conclusion, that a camera should not have been included, is naive.

Smart glasses with no way to get visual input from the environment would be a much less useful product. So, that means having a camera, and if you have a camera you can record the input from it. I'll be very surprised if anyone ever releases smart glasses with no camera.

Having said that, I'm not surprised Glass isn't doing so well. I think our culture isn't quite at the point where an always-on wearable video camera is socially acceptable. Give it a couple of years, and it probably will be.
What the heck are you talking about? The defense is based on law enforcement's own investigations pointing at a different culprit. How is that in any way related to a defense based on confusing the jury with a non sequitur?
IIRC when I crawled the alexa top million's DNSKEY records none of them used ECC. I did see a few using DSA.
Script# has existed for years and heavily used inside Microsoft. Even with that, it was not adopted as a tool for programming JavaScript in Visual Studio. If you need to code JavaScript but not in JavaScript as it exists today, TypeScript is what you should look at.

Please stop these C# to JavaScript compilers. If one needs to program in JavaScript, let them learn and understand JavaScript.
Yes! It shows up a lot among the briefest solutions to Project Rosalind.
A Maturity Model for Apache Projects
Well, it seems like a relatively surprise-free article...

Write explicit code, write tests, have QA staff and procedures, build what the stakeholders what.

I guess the biggest problem with software quality is not that we don't know how to do it, but that it's expensive.
In my system, the data and routes aren't coupled. Here's the flow:

- ReactRouter figures out which routes are being rendered. It yields routerState, which includes a dictionary of all the active parameter names and their values.

- The actionsForRouterState dictionary declares which actions and stores are correlated with a particular route or parameter name.

- callActionsForRouterState filters actionsForRouterState to include only the actions that are relevant for the routes and parameter names dictated in routerState.

- It calls these actions, returning a promise that resolves when all their stores are filled.

- After that promise resolves, it's safe to call React.render. Any calls from the active components to Store.listen will be resolved with the prepared data during mounting (e.g. immediately before the render pass).

Is that helpful?
Los campos electromagnéticos producen calcificación vascular severa
Interesting point from the retraction article.

> He says the account was randomly assigned to him by the Mt. Gox exchange

So the suggestion that DPR is not Satoshi relates to evidence from Mt Gox.
> spend billions... adequate period to recoup... earn enough... huge amounts of capital

All these words don't carry meaning without proper data. Unless we know how much they've spent, how much they need to recoup & grow, these claims are vague.

> stealing the fruits of other people's labor

Without studying the merits/demerits of the patent, this is a hyperbole. I'm saying, maybe your statements are true, maybe not. But without backing up with facts, they are merely sentimental.

Here's an interesting case of drug pricing. Albendazole is a fairly common/old drug. It's a broad spectrum anthelmintic that retails for a few cents in most parts of the world. Recenty, U.S. price of albendazole has increased by >4000% to over US$100 per 200-mg tablet[1].

Another example: Novartis, the company that makes the leukemia drug Gleevec, keeps raising the drug’s price, even though the drug has already delivered billions in profit to the company. [...] Novartis is just keeping up with other companies as they charge more and more for their drugs. They know we can’t say no.[2]

[1] http://en.wikipedia.org/wiki/Albendazole#Controversy

[2] http://www.nytimes.com/2015/01/15/opinion/why-drugs-cost-so-...
Show HN: Joday.com
It's an operating system: https://github.com/urbit/urbit
16 months old? How did the testing and overlay with PG's 18 startup mistakes go?
Here's an argument in the Jacobin that argues for nationalizing pharmaceuticals:
https://www.jacobinmag.com/2013/06/socialize-big-pharma/
How Karma Is Building Software to Disrupt the Wi-Fi Industry
This is conjecture and frankly nonsense. If the time frame was 5 years, would MS really find a reason to delay and to publicly cry out loud? No. The only org being unreasonable is big G.
You should check out Laracasts https://laracasts.com/ . Its screencasts for laravel php. I think its awesome, has both beginner and advanced stuff on it. Check it out
More like "We have to do something to improve the situation. This is something that helps out. We have no other viable options at the moment. So we must do this."
I don't think it's very helpful to just blame humanity in the general sense without explicitly stating what exactly is fucked up about them (this time). Just like in interpersonal relationships, to fix a problem it's best to focus on single issues rather than ruminate over character flaws.

I'd say that it's an issue of humans wielding industrial strength tools without proper technology for monitoring and constraining resource consumption.

Effectively the planet is populated by autonomous agents focusing on locally optimizing their short-term finances, using capital* to convert landmass and biomass to marketable commodities. The side-effects are as we see.

Now that we have stated the problem, we can actually start figuring out how to limit this. But as economic system design and political action goes I'm all thumbs.

There is a slight reason for optimism. If governments recognize that there is a general action that can be taken then usually a way can be found for global action - and with proper response this actually works. See what happened to the usages CFC:s in refrigerators after it was proven they lay waste to the ozone layer.

Unfortunately the damage to biomass is already extensive. When one kind of food source becomes scarce we can just move to another, without reflecting why did that particular fishery dry up.

With ozone layer the problem was a bit more urgent - "OMFG we are all gonna fry up!".

* ie. machines, labor etc.
13 Startup Tools for Perfect Productivity
This is why I wasn't interested in one. It's like the Glass team simply couldn't comprehend or bother to care why someone wouldn't want to have their camera pointed at people all the time.
Cheap flights to dubai, flight tickets to dubai
Why didn't they just add a red LED to the front that turns on when recording video, and blinks after a photo is taken?
Why Developers Make Lousy Productizers
So in layman's terms, would I be right in saying that the defense is effectively saying that the prosecution is taking a "shotgun approach?" In a more obvious claim, they are said to be pulling random people off the street?

If that's the case it's a fascinating defense, I'd love to be able to watch it live.
> Tensions are high and your boss has already let you know that you're on thin ice and not delivering on the project goals.

Valve doesn't have bosses, remember?
Flights to johannesburg, flights for johannesburg
Some use cases for CEF:

* Embed a web browser control with great HTML5 support (based on Chromium)

* Use it to create a HTML5 based GUI in an application. This can act as a replacement for GUI toolkits like wxWidgets/Qt/Gtk. For native communication between javascript and python use javascript bindings, or run an internal web server and use XMLHttpRequest.

* Render web content off-screen in applications that use custom drawing frameworks. See the Kivy and Panda3D examples.

* Use it for automated testing of existing web applications. Use it for web scraping, or as a web crawler or other kind of internet bots.
>One of them is a typesystem and the second is set theory.

What do you mean with set theory? I'm asking because languages like Ceylon and Whiley have union and intersection types which are basicially set theory.
true. this is like indicting twitter because someone posted criminal sites downtime notes.

remember that SR was probably 90% of the transactions, so they had lots of interest in "working" with it. maybe a more apt analogy would be PayPal posting notices about ebay having troubles (before one acquired the other) since it was the source of all transactions
It's hard for me to believe that people don't run out of money getting treatment in India. While prices for medical goods and services are lower than the United States, many Indians can't afford all the care they need.
شركة تنظيف شقق ومنازل بالرياض 0562157073
According to http://urbit.org/, Urbit is unlaunched and doesn't especially appreciate tons of attention quite yet.
That's normal, but why the trailing slash?! That's just pointless, and almost looks like an explicit deathtrap.

Without the slash, an empty variable would result in a command line of "rf -rf" which would simply fail due to the missing argument.

There is absolutely no need for having a trailing slash, it's not as if "rf -rf foo" and "rm -rf foo/" can ever mean two different things, there can be only one "foo" in the file system after all.

Very interesting way of introducing an epic fail with a single character, that really looks harmless.
The sad sad part of all this is that Half-life 1 had a similar bug in their windows installer and would wipe your program files if not careful http://arstechnica.com/civis/viewtopic.php?t=479484
> Urbit is not intended to be deliberately obscure.

Well, you sure fooled me.

> Communication is hard, especially with such radically new ideas.

No, it's actually not. You start with a description of the problem you're trying to solve. Then you go on to explain why existing solutions don't solve it. Then you describe your solution, and what it is about your solution that solves the problem where previous attempts have failed. It's really quite straightforward. If you can't do it, that's a pretty good indication that you don't actually understand what you're doing.

> if there's any way we can help you guys understand it, let us know

A white paper would help a lot.

But since you asked, here are a few specific questions:

1. What problem is Urbit supposed to solve?

2. What is the benefit of reinventing computer science from the ground up with nock and hoon? Why not start from an established base like C or Lisp or Scheme or Haskell or even the lambda calculus if you want to be purists about it? (Surely someone on the Urbit team has heard of Turing-equivalence?)

3. If your intention is not to be obscure, why do you employ overwhelmingly obscure terminology and punctuation? Why do you use ultra-short identifiers in your code? At a casual browse I can't find even one identifier in your code longer than five characters. (You do know that you can get more than 640k of RAM nowadays, yes?)

I'm sorry for the snark, but I find Urbit incredibly frustrating. Curtis is very smart, which is pretty much the only reason that I don't just come right out and call shenanigans. But Urbit has been pegging my bogometer for a very long time.
The signatures should be checked client-side. As I pointed out in another comment on this page (https://news.ycombinator.com/item?id=8896318), recent studies find that more and more resolvers send the RRSIGs to the clients, who then should check them.

In the case of the Turkish hijacking, of course hijacked resolvers would not send RRSIGs. This should prompt the client to request another resolver.
Including a camera also made it hard to see past the camera. The only think people would ever talk about is the camera, and argue about whether people should have a camera on their heads, wonder if they would want to use a camera that way, tell people to take it off because of the camera. If there was no camera, I wonder what aspects of it's technology would have been the focus of discussion. Then again if there was no camera, would it have even appealed to people in the first place?
But these are applications for knowledgeable users I think which is not the type of users the GGP is talking about. For these it might be ok to ask for permission. Or to grant it automatically if you are root or sudo'ed. And many use cases could get around with allowing silently to write if the file has been previously been opened by the same application.
Or this article: http://fortune.com/2013/05/15/dirty-medicine/http://fortune....

Basically the largest Indian Pharma company is corrupt to the core. Falsifying records, blatantly disregarding scientific method, omitting even basic engineering practises, lying on regulatory submissions, etc.

The FDA only does bans on a per-facility basis, so Sun (which acquired Ranbaxy) can continue to sell many things so long the FDA has not shut down that specific location. Even in non-Indian locations, the plants were terribly run. One Ranbaxy location in NJ shipped pills with glass in them. (And was penalized by a temporary restriction on selling the pills.)
Actually C#6 looks more like this:

string blah() => "im a function";

Ceylon:

String blah() => "im a function";

Coincidence? Just kidding.
Believe me you can.

In my last workplace I used to have the occasional unproductive day, spending more time than was reasonable on facebook and the internet. Toward the end of the day I would start to feel guilty about it. Then I looked around. There were some serious slackers in my previous workplace. I would occasionally finger a couple of peoples terminal sessions, and right enough they hadn't touched a terminal in 3 hours.
The 12% figure refers to legally blind children, the majority (90%) of whom are partially sighted.

For someone who is able to read text at close distances with significant optical assistance, it is far more beneficial for them to learn a written language than to learn braille characters. Until recently, many legally blind US children (and their parents) had the choice to either learn braille or written English. Those who learned braille ended up severely disadvantaged because of the utter lack of braille information produced in our society, and the difficulty of using any screen-based technology.