skysight-inc/HackerNews huggingface dataset:
> Sure, there's the risk of antibiotic resistant bacteria developing, but the U.S. isn't going to stop that from happening no matter how difficult they make it for people to buy and use the drugs they need.

"But they're doing it!" is not an argument as to why we should contribute to the problem.

> I'm starting to lose patience with people trying to take away the right of other people to control their own body.

Except this "right" for people to control their body is also being taken away by the people making the tools we have to control our bodies useless.

The idea that you have in general the right to do whatever you want to yourself also comes with the present reality is that the rest of us have to pay up when you do something stupid.

An aside: I reject your premises entirely in the first place. There is no such thing as a "right." There are no rights given by God, nature did not instill you with any such rights, they are not inscribed on your soul. They are convenient legal fictions invented for contemporary norms that probably, in general and in the long-term, lead to happier societies. And if people putting whatever they want into their bodies causes or will cause immense suffering and unhappiness for other people in the future (the reduced effectiveness of antibiotics), then it is ridiculous and perhaps even selfishly evil to maintain even the pretense of your legal fiction.
They could do 100 miles a hundred years ago with a car with basically no capacity, and no safety features. Incredible progress has been made since then, but nearly all of it has been eaten up by expansion in other performance parameters, all of which require more weight.

This even applies to ICs. Modern engines are actually marvels. If you stuck them into late 70s imports, you would get truly astonishing mileage. Just no A/C, minimal leg room, and no crumple zone.
While that all seems possible, it's all speculation. We talk about how this doesn't quite all add up, but at least there is some evidence/basis for thinking it was NK. Where exactly is all the evidence for any of the things you listed above? Otherwise, at this point it's all just a conspiracy theory, one if it was even remotely true would be a high risk deception to pull off for both the government and Sony.
This Python library has PicoSAT SAT solver integration, and parses DIMACS files:

https://github.com/cjdrake/pyeda
Android won a lot, but I still don't think that is the openness I am looking for.

I need a true community around a project which entails a governance model that actually is more open, be it democratic or meritocratic.

I wish the Ubuntu phone and others would catch on faster.
Ask HN: I want to build a space news site. Need little help
Hi,

i want to build a news site for space-related news in the style of a HN or reddit. I unfortunatly dont know how to start. I only hosted a Wordpress blog on a shared hoster a while ago and have beside this no experience in web coding, only this idea of a simple space news site. Thanks for help.
We live in a world where doctors get kick backs from pharmaceutical companies for prescribing their drugs, what did we expect?

Professional organizations and licensing boards need to stand up for the integrity of their professions. Revoke his medical license and start to clean up this system.
I agree, hence my comment -- I find that surprising given the bias to selling snake oil.
It works flawlessly for me :-)
Reminds me of http://www.pnas.org/content/104/16/6533.full - interesting, but probably only applicable to very simple systems. If you have various complex interconnections between components, simple A -> B reasoning is not helpful.
Yeah I thought this too. I guess treating the warehouse as a 2D grid vastly simplifies everything from algorithms to robotics so much that the reliability out ways any inefficiencies.

Presumably they could make the stacks shorter and have more "floors" to increase efficiency of each trip.
The big question needs to be if the platform backer actually has the success of the platform at heart, or if it's just a moat for something else.

Apple have the killer advantage that the ongoing success of iOS makes them money directly, thus iOS gets improved in and of itself, and not as a gateway drug to something else. This is why they are proving stubbornly effective at holding on to all the valuable parts of the market.
So you just started and somehow can give me advice on how to grow my business?
Your statement is pretty much a summary of taxation in general... so no, I don't think many people are really disturbed about that.
Adventures in Tomorrowland – Identity Lost
Looking for Tech Co Founder East Bay CA
I am in the Concord area and looking to talk through a number of ideas, prototypes I have and the like with someone more technical than I am or at least as technical. The ultimate goal is building and distributing some great stuff via a great team.

Being close by would be great, but distance isn't a deal breaker as virtual can work very well too.

The hope is to find a good fit individual or two to hack around with to find a big idea.

I am most interested in non-conventional business models, as opposed to the VC route. I do love Peter Thiel's ideas of leverage.

I have done this stuff for years and have been fortunate enough to no longer need to chase a paycheck anymore. That said, I have better ideas, experience and more interest than ever before in smart, important and clever outlier hacks.

Thanks, and let me know if you are interested.
I really appreciate this comment. Thanks for sharing!
" The fallen snow doesn't just disappear, wouldn't it affect later measured temperatures?"

Unless your weather station is totally covered by snow, no.

And the effect of snow in the total thermal capacity of a city is small. Just compare its mass to the mass of "all things" (buildings, etc)
Would it be possible to write the data you run reports on to both Mongo and something that can handle queries a bit better? If you need to display something like pageviews or widgets sold you can write to Mongo and then also write the minimal amount of data you need for the report to something like InfluxDB.
And one can try to imagine if the alleged 100TB went that way.
> "Gen Y" doesn't want new cars, rather [...] they simply can't afford the luxury of a new car.

The bay area certainly is filled with plenty of 20-somethings who can afford the luxury, and yet people still don't seem to want it. Among people I know, I can think of multiple couples with income in the quarter million a year range who share a 5+ year old beater as their only car, if they have a car at all.
>Otherwise, at this point it's all just a conspiracy theory

You do realize that the "North Korea did it" story is also a conspiracy theory?

>one if it was even remotely true would be a high risk deception to pull off for both the government and Sony.

There's a veritable laundry list of times both have lied about more important issues than this and gotten away with it.
luckily its not my first venture :) and its not about some magical advice, like explained on the site, it's about continuous experimentation to figure out what works for you and what doesn't.

To grow your company you don't need magic. you need discipline. That's what Traction.vc is about.
Ok, so I'm thinking the need for this could become huge. How does one get into this industry as a programmer? What would I need to learn? What kind of diplomas are useful? What should I start practising on?
Maybe more like Firefox OS?
Mobile is the future..

Meh. Maybe mobile and some shit ecosystem like apple is the future for most people. But most people arent into interesting esoteric things.
The pc and internet revolutions were started by small groups of some weird people. The fact that something has been embraced by all the 'norms' usually means that thing is not interesting anymore.
For example, the internet used to be a crazy, mysterious, lawless place. Now people do their shopping and banking there and governments and big corps are policing it.
That's funny, because you sound exactly like somebody who watches Fox News religiously.

So if it wasn't TV, please explain to us where you ever got the idea that there was a "ticking time bomb" scenario, and how that justified the CIA's torture and war crimes that you're trying to justify by unwittingly parroting the exact same lies that Fox News is broadcasting?
I'm interested in what the wear is on the robots. How often do the parts need to be replaced or repaired? How long can you run without any replacements or other maintenance? What does it cost, in money and resources, to replace the fleet?
Every time I see JOSE/JWE/JWS/JWT I want to cry. SPKI did this, better, more readably and more attractively, back in 1999. It was also more reliable: JSON itself imposes no ordering on object elements (i.e., '{"foo": 1, "bar": 2}' and '{"bar": 2, "foo": 1}' are equivalent, but they will hash to entirely different values, while '((foo 1) (bar 2))' and '((bar 2) (foo 1))' are not at all equivalent).

Moreover, SPKI was flat-out more readable. Compare:

(sequence
(cert (issuer (hash sha256 |mbKsNmlDk1d1WGcl1s25LDCYeCGjDgC7FFNSdBK8PIE|))
(subject (bearer))
(valid (not-after 2011-03-22_12:43:00))
(tag (http://example.com/is_root true)))
(signature (hash sha256 |0XVRFpmUgNOep+Mud3FrmQC5d52r3PPVVnJyYtMK800=|)
(hash sha256 |mbKsNmlDk1d1WGcl1s25LDCYeCGjDgC7FFNSdBK8PIE=|)
(ecdsa-sha256
(r |xOUGRpq1a3V6cnn/fVgfEgCuxDCy9HO1Nyhni6NBgr8=|)
(s |miT9LZh7VlBDscXn++n2+zcjtoQejDJ8v0G37RQGsaQ=|))))

to:

{
"payload": "eyJpc3MiOiJqb2UiLA0KICJleHAiOjEzMDA4MTkzODAsDQogImh0dHA6Ly9leGFtcGxlLmNvbS9pc19yb290Ijp0cnVlfQ",
"protected": "eyJhbGciOiJFUzI1NiJ9",
"header": {"kid":"e9bc097a-ce51-4036-9562-d2ade882db0d"},
"signature": "DtEhU3ljbEg8L38VWAfUAqOyKAM6-Xx-F4GawxaepmXFCgfTjDxw5djxLa8ISlSApmWQxfKTUJqPP3-Kg6NU1Q"
}

By comparison, the SPKI version is a model of clarity: one can actually see the thing being attested-to; by contrast the JSON version base64-encodes its assertion '{"iss":"joe", "exp":1300819380, "http://example.com/is_root":true}' (the SPKI version is the '(cert …)' expression). Likewise, where the JSON version base64-encodes '{"alg":"ES256"}' the SPKI version just writes 'ecdsa-sha256'.

As noted, in the JSON '{"alg":"ES256"}', '{"alg": "ES256"}', '{"alg":\n"ES256"}' and '{"alg":\r\n"ES256"}' all are different values, even though they mean the exact same thing. In contrast, SPKI uses canonical S-expressions, so that 'ecdsa-sha256' encodes to '12:ecdsa-sha256'. Likewise, there are a literally infinite number of ways to encode the JSON payload, whereas with SPKI's canonical S-expressions the certificate will always encode to a string '(4:cert(6:issuer(4:hash6:sha25632:…))(7:subject' and so forth, meaning that the given attestation will always yield the exact same value, with the exact same hash.

Moreover, the key identification semantics are much cleaner in SPKI. In the JSON version, the key id 'kid' is an opaque value; in one example in the standard it's a date and in another it's a UUID of unknown provenance. In SPKI, keys (principals) are identified by their hashes (the JSON stuff can't do this since there's no repeatable way to hash a JSON-encoded key). So the signing key is referred to as '(hash sha256 |mbKsNmlDk1d1WGcl1s25LDCYeCGjDgC7FFNSdBK8PIE|)' and there's never any ambiguity or concern—and certainly no collisions!

And of course SPKI supports a whole lot more than just bearer tokens, being a complete PKI (better thought-out than XPKI too).

I propose a corollary to Greenspun's Tenth Law: Any sufficiently complicated data-representation contains an ad hoc, dubiously-specified, hideous, inelegant equivalent to S-expressions.
I wonder how this trend relates to where people live. It seems like not owning a car is only possible if you live in an urban environment. We make it work thanks to good public transportation and ZipCar.

Perhaps people still own cars, but only one to a couple instead of two?
Thanks! If you think it will be useful don't forget to invite your friends : http://careerswitch.me/invitations

We are giving away free fitbit bands until end of the year :)
You mean the invitation page?
❏Graphic Showing Confusion of Internet Traffic Coming from Multiple Domains
Worldwide, it is not only larger. iOS is now a tiny blip on the radar, compared to Android:

http://www.idc.com/prodserv/smartphone-os-market-share.jsp

(Of course, iOS users may be outspending Android users, etc.)
Hitching your wagon to one company, whether it's Apple or Google, is a great way to set yourself up for being exploited.

And, yeah. That whole "mobile is the future" thing really was so 2010. But mobile only turned out to be _part_ of the future. Everyone was so convinced that tiny plastic devices with no keyboards or computing power would supersede decades of awesomeness that was, and continues to be, the personal computer.

"Mobile is the future" didn't pan out, similarly to how today's "enterprise is the future" fad is going to.

Developers should be able to see past all this noise, choose a compromise between what they enjoy doing and what makes money, and go do some cool shit.
Did you not notice that this was written by someone not speaking English as their primary language?

You will miss a lot of interesting thoughts and ideas if you don't put a bit of effort in trying to understand bad grammar, spelling and foreign accents.
They must release the source to anyone they give a copy of the binaries, which - since the software is free - is anyone who goes to their website and clicks "download."
Why Is Yahoo Still So Bad at the Basics?
Better formatted version of the blog post:

http://raganwald.com/2014/12/20/why-why-functional-programmi...

The original paper by John Huges mentioned in the posting:

Internet Archive: https://web.archive.org/web/20070323095313/http://www.math.c...

PostScript, PDF and the BibTeX reference.
Also, Google Play is the dominant market for Android. A crucial thing as sharing your app is not that open practically. Sure you can share .apk file, however user also should enable third party apps, passing security warning dialogs... etc.
I would assume that no, but AFAIK GHC has separate (badly optimized) path for garbage collection on mutable data.
No, because the Norks can shoot back.
Graves and Garbage: The Hard Life of an Archeologist
USA is not a monolith. The war pigs are always looking for a war. Much media coverage of strange events like this one comes directly from their psy-ops desk. The rest of us wish that weren't the case, but when all you have is a vote, what can you do?
Tech Talks Should Be Less Technical
I am on the trial for 60 days, which is the equivalent of the $40 plan. Barring some disaster I will pay for the $40 plan.

I switched because I recently purchased several domains and needed a mail system for them. Google Apps isn't free anymore, and the free email forwarding from my registrar just expired.

I will still keep my personal emails on Gmail for now, mostly because I love Mailbox.app too much.
North Korea denies hacking Sony, wants joint probe with U.S
The informal truces of the First World War amaze me whenever I read about it. I have similar feelings when I read about the widespread dissent by US troops during the Vietnam War, ranging from Search And Avoid missions, to the "flattop revolts" and suspected sabotage of Navy ships.

The bitterest foes for the troops don't seem to be the enemy troops, but the politicians and upper staff, who offer the certainty of punishment and slander of dishonor, while the enemy troops offer only the chance of death or injury.

If true, I begin to understand why John Kiriakou, the only CIA agent jailed because the US decided to torture people, is a whistleblower and not one of the government torturers, including those that authorized the program. That sort of power structure requires that the authorities be able to be worse to its own people than what the enemy will do.
FFOS just encourages more dependence on the cloud, and thus less freedom.

Smart devices need to function without connection to the Internet. With the SPE hack there will be increasing noise about this and it's going to give Apple (especially their P2P protocols) a major boost.
I think this article is HN worthy, but the lack of attention to grammar and punctuation is off putting and makes it harder to take this seriously, or link to coworkers.

> Mobile is the feature

and what a feature it is! But I know you meant "future". And on that, I disagree. it is NOT the future. They aren't going to obsolete PC's. They are a new branch of computing, but PC's are still around and are still the primary content creators, while mobile is primarily geared to consumption.

But I'm glad to be a web developer for many of the reasons you identified. i don't need approval, I can use an array of technologies and techniques to deliver the same end product, and collaborate with others via open source projects or in online forums. It's really a great time to be a webdev.

My eyes glaze over a bit when people talk iOS or android development. I just don't care. The apps I use the most are the ones that came with my phone, and I only use a handful in addition to that. I have no desire to deal with all the BS that's associated with mobile development or trying to turn a profit on the app store. If I launch my side project and it does well, I'll certainly consider native apps if the demand is there. Otherwise I'm quite happy to develop for the web/mobile-web.
When the majority of your professional advice turns out to be either unsupported or contradicted by evidence, then the term "quack" is warranted.
What Sony Pictures has kept hidden about The Social Network for four years
Are you sure you remember it?
True. I was a fresher passing out of the college and I was not able to cut through the noise as I can do today. Today I work on Big data and other areas which have same momentum and importance.
Ordering of conjoined elements in English (1975) [pdf]
author here:

Yes, this example is simple. IMO it's best to introduce people to what they are familiar with. I didn't want to write an example that demonstrated the full power of prolog but lost 90% of the crowd. My hope was that this would spark curiosity in how prolog can be used to generate test cases.

At the moment I'm using the technique in the post to generate happy path test cases for an application with lots of buisness rules.
I wonder, what's the next hot thing made by apple? Whats going to be the next iPod/iPhone/iPad...? How long will apple be able to continue without a new, unique and hot-selling thing?

I know, that apple has a ton of money, but the apple tv and the iWatch are not something major. And i don't see them on the front of interesting stuff (cloud, containers, virtual reality, social networks).

How long can they increase the screen of the iphone each year? how long can they let the app store like it was, well, since forever...?
I suspect both: phish the hotel for login details to their admin interface for booking.com, then use those details to phish the customers.
Lucky us, now we have Jolla and Sailfish OS (: there are also platforms like mer - nemomobile - maemo - tizen... but the average user likes iPhone/iOS and Android, that is marketing of course...

Personally, I'd go with Jolla and Sailfish, as now I have N900 with maemo, and I feel the freedom, even after 5 years, it is still the one of the best phones. Communities are what we need, not capitalism.
I noticed in LA and SF, while working in entertainment and start-up space, you are spot-on. I made ~80k and drove a 5 yr used car and while the temptation to compete with other people's toys existed, I never gave in when I would occasionally hear these same people with fancy new cars let it slip about credit card or car loan debt.

The past two years I've been working with established small businesses. I make 160k comfortably, along with many others that make a lot more. Our parking lots are filled with used cars, dents and all, all stock rims, I haven't heard someone talk about a car the entire time I've been here.

Not sure what all that really means, but yah, I liked the article so thanks OP for sharing!
Thanks for posting this.

The most enjoyable part of this project for me was implementing the NFL’s incredibly elaborate tie-breaking procedures in code: taking a plain English description of the rules (that requires some interpretation) and porting it to JavaScript.

http://www.nfl.com/standings/tiebreakingprocedures

We should be open-sourcing the simulator implementation (the model, but not the UI) soon so you can see how it works.

There was also a fun moment when I realized I could make the simulator 10x faster by computing only the seed of the selected team, rather than the full order of teams in the playoffs. This avoided a lot unnecessary sorting and tie-breaking!
Whether Gen Y avoids those places as much as it can, because of those trends, would be another question.
A Video Tour of Minecraft Creator’s New $70M Home in Beverly Hills
It's burned to the ground 108 years ago. Not THAT recent either...
Yes but PV is one quarter the electricity production of even petroleum.
That's mostly true. Of course an expensive car like a Mercedes or BMW will have you make a good impression, but it's not like 90% of the people would care what you drive on your first date with them (or any date).

Especially if we're talking about younger people (still adults, I mean under 30 say), tons of then don't even have a car in the first place, or have some cheapo car.
Fantastic read - and amazing amount of thought put into taking on this research, and it's fascinating to read. I just started using nmap this year, now I'm tempted to perform similar wide scans. I'm curious how to managed keeping your IP from being blocked? Or, did you use a different EC2 instance each time?
Technically yes, but a lot of Android phones are used in lower-income countries and areas as essentially dumbphones.

In the high-end smartphone world, Apple is king.
The don't have billions to spend on a whim - that's America you're thinking of.
Looking deeper you're right, it seems to use atomic CAS operations. Still mutable data is bad for GC and optimization pass (can't share expressions etc.)
What are some good books/resources on things like "allocated" and "assigned" IP addresses? i.e. Internet governance, and IP in general? Where is he getting the data like: "inetnum: 175.45.176.0 - 175.45.179.255 ..."?

Also are there tools that take a list of services on ports and map it to likely hardware/OS?

I have been programming for a long time but somehow I missed out on this kind of networking knowledge. Are most people who know this stuff network engineers?
Dean (the author of the article) mentioned that several other apps have attempted to use peertalk and other OSS code this app uses but had their app rejected by Apple (e.g. see mronge's comment). So perhaps the lack of attribution was made with the assumption that use of these OSS packages was part of the reason for rejection. If this is not the excuse then I can't imagine any reason for it. Attribution in this form is a simple footnote somewhere and giving credit to others never hurts your own brand. In fact I'd argue it contributes to it.