skysight-inc/HackerNews huggingface dataset:
Hopefully never; discounting war and other emergencies, it's a waste of material. The moment people wearing such things become an issue, the government or a company will get few undergrads to fix the image recognition algorithm and boom, all the protection is gone in the blink of an updating flash memory.
I'm very interested in this. Do you guys support Rails 4, PostgreSQL? There are a few icons there in the landing page but no tooltips or anything to let me know what they are.

I want something in between DigitalOcean (barebones) and Heroku (configures everything but doesn't let you customize anything either) - this seems like a perfect fit.
> If you're willing to learn CS, it is objectively better. I've been able to more efficiently write, read, and maintain CS than the equivalent JS.

"I've been able to ..." indicates that it is subjectively better (better for the individual reporting.) It is not the kind of information that supports a claim of objective superiority.
Works great for me :-|

very very fast
There are only a handful of comments in this thread and they're already seething with vitriol. Can anyone give context? Or is this just general "Yahoo, blech," sentiment?
Scammers with a conscience emerge with new Ransomcrypt Trojan
I honestly don't think the target market is startups. I think it is freelance web developers or very small firms who wouldnt otherwise wouldn't/couldn't spend the time creating a unique icon set for a site.
Thanks!

You can take a look at our technical tour page which has some information on it: http://jumpstarter.io/technical

We have also got a brand new wiki with lots of information, and we'll be continuing to add a lot more to it over the next few weeks: https://github.com/jumpstarter-io/help/wiki
But, a Supreme Court ruling equating linking with distribution would be a disaster. If I were the Internet I'd rather not roll the dice with a court consisting of people who remember black and white TV.
Personally I think I prefer Google Glass to this product. I think most of the privacy concerns that Google are experiencing will be the same/worse for the Contact lens product.

What do you think?
I think that would be fantastic. I have envisioned that kind of thing often. Something like "autodidact.stackexchange.com" (which doesn't exist), for example. The best explanations could be voted up. For bigger topics, it would not be explanations you're voting on, but rather "learning roadmaps" -- a recommended set of materials in a recommended order that is designed to help one grok the topic.

For academic papers, perhaps people could vote on two dimensions: (1) papers you'd like to see explanations for, and (2) particular explanations that were effective for you.

And yes, I would read the hell out of it, and yes, if there were areas I could contribute, I would do so.
Any updates to this 6-year old post? I would hope that, with systems like Debian forcing a move to GnuTLS from OpenSSL (for licensing reasons), it would have since received more care.
I downloaded a 200MB file and 94% were downloaded from peers? Is that what you're saying? That's crazy
I don't have any particular insight into it, so I don't know. I imagine TWC does, though, but I don't know how keen they would be in sharing that.
If you look at the Khan Academy lessons they have a map of the lesson structure that's not linear - https://www.khanacademy.org/exercisedashboard.
Robots in schools
Eh, you can still make programs for Apple computers. Sure you have to go disable GateKeeper or whatever garbage, but GCC is out there and there's way more available information now than there was for the Apple II. And that's just for system programming.
This article is technically correct, which I'm told is the best kind of correct. However, it's also missing the forest for the trees.

It is true that we can omit id and still satisfy the compiler. This is the same way that we can leave out the int type in C function declarations, or completely leave out function declarations altogether if we're dealing only in ints. In both cases, though, nobody does this — and if you do this, your code will read as a mistake to anybody who has read any other Objective-C code from the past decade.

We include these "extraneous" types not for the compiler, but to make our intentions clear to the reader. This is the same reason many people and style guides use one-line compound statements or typedefs that make the token longer but more descriptive — at the same time we sacrifice a little brevity, we also sacrifice ambiguity.

It probably isn't always true that explicit is better than implicit, but it's a very good rule of thumb. If you have to choose one for a default mode, "explicit" is definitely the better choice.

As for the larger point about dynamic types, I and a lot of other old-timey Objective-C programmers felt the same way. It seems to me that powerfully dynamic languages like Smalltalk are good, and powerfully static languages like OCaml are good, but C's type system is just anemic and more bureaucratic than anything else. However, in practice, all these static facilities in Objective-C have proven really useful for writing real programs. The static analyzer can catch all sorts of errors. A combination of very consistent conventions and sophisticated static constraints has even allowed memory management to be handled for us completely through static analysis — that is just amazing, and the benefits of being rid of that responsibility are huge. Apple keeps moving in the static direction because those are the additions that Objective-C programmers are finding useful in practice.

I agree, the more loosey-goosey dynamic and implicit style works better for exploratory programming. I'll sometimes write spikes that way. But a book teaching how to write code in the language is not a throwaway spike solution, and in that environment you should either explicitly tell readers you're teaching them a style that nobody else uses in production code or — and this is my preference — just write idiomatic code.
No, but eliminating boilerplate code and extraneous characters like brackets and braces does make the code more readable.

I've been using CS wherever possible for the past couple of years, and I find it much more readable than JS.
Yes, yes it is. Time spent on dumb things adds up specially if you do it for 8 hours a day.
Is there a way to have it use a CRL instead of running around and ensuring a certificate is marked as revoked on every device?
It is hard to match the time zones with a straight line if the actual zones are a mess. http://www.travel.com.hk/region/time_95.jpg

The original comic suffers from the same problem.
The instructions to work the site are clearly labeled. If that's still to hard you can simply click on the links.
At first sight it seems the encryption is done by client-side javascript, so you don't gain much by hosting it yourself.
Because Apple is constantly evolving the language, and you could genuinely find that they change the compiler to deprecate this "feature" down the road.
The Promise of Relational Programming
Hah, that's silly. If you wanted me to concentrate on coding,you'd help me with automated deployment, automated backup of my postgres db every night (even if it reaches 2 TB+ in space), etc, etc. Your solution isn't geared towards developers at all.
"Satellite imagery" is the most powerful Sales Tool?

I understand the need for "link-baity" headlines but this is flat-out wrong. The very same article goes on to state some numbers - 1% improvement vs 2% reduced labor.

If they can attribute it ALL to Satellite Tracking as opposed to say other promotions/general economy & barring other accounting tricks, it is still too little to be even attributable.
It's possible that the "complexity" is deliberately there to put off the kind of people turned off by anything complex (your average recruiter maybe).

I doubt it but it's possible.
Equally important is to not undervalue yourself. For a skilled engineer, moving from a publicly traded company to an early-stage startup is often a huge step backwards in many respects. If you want to take the plunge, great, but remember that proof of legitimacy goes both ways.
In order to simplify the development process I've this strange "rule" that new things are admissible in the stable branch patch releases as long as they are very very unlikely to interfere with all the rest.

For example in this case, a testing environment and the other Sentinel changes actually improve reliability. From the point of view of BITPOS, it is a new command that if not used should not modify the behaviour/stability of the rest of the system in any way.

However compare this process with creating a new release. With 2.8.7 I just need to write a changelog, tag the release on Github, and update a few numbers in the web site. With a release the process is very different, we have a number of release candidates before switching to stable and so forth.
Introducing the NASDAQ Private Market
The essence of the algorithm is that you spin in the horizontal plane. If you have enough power your single remaining motor can create a vertical airstream that will keep the altitude constant. The limit on spinning is the structural integrity of the system with all that angular momentum, the limit on flying is the frequency response of your control system.

A number of people have built and demonstrated so called 'half prop' helicopters based on the same principle. If you have ever seen an maple seed fall you can understand the principle, search for 'maple copter' on Youtube for some videos of them in action.
Here is the behind the scenes video of that cool ass A-Trak video for 'Tuna Melt': http://youtu.be/fwTOxGKlHvo
what happened to the last thread?
I bet reporters love HARO as they can send their requests in and just filter the incoming responses.
It's a little clunky, but I do have a process in place for checking that the website matches the code:
https://github.com/louissobel/ppmf/blob/master/bin/check_pro...
Show HN: Jetpac City Guides
Yeah, here's the relevant quote where he gets it wrong, or at least uses misleading wording:

> Mises openly rejected the idea that government should have any role in setting a specific percentage of gold and silver or other assets, including bank deposits, in relation to their issuance of what he called fiduciary media, but which hard money advocates refer to as fiat money. In contrast, Rothbard called for 100% reserves.
Hehe, you've got to fix it working on that page! ... everyone is going to press that button.
Google Fiber to Bring 10 Gigabit Internet in Coming Years
Cool, you should try to sell this to community managers working on twitter.
Those aren't a moral code, they're editorial policies. Even if they were moralistic, the only thing that is summarily prohibited is "Bum Fights Video Library" type apps, which is a nearly-nonexistent bar.
when a person was thinking about building

Such as when they file a building permit request. Which I suspect may be public information in many jurisdictions.
With things like Haml and Coffeescript, the only truth is that YMMV.

On the individual level, I do think you can find actual objective gains in developer productivity, but on a aggregate level, it becomes muddier because of the variation of developer habits.

Personally, I eliminated a lot of problems associated with close tags in my markup by using Haml. But my coding habits aren't someone else's coding habits, so Haml (or Coffeescript) can go from being a solution to being a problem for someone else.
There's a difference between celebrating an profitable 9-digit acquisition and celebrating a mercy buyout from a company fond of mercy buyouts. (per TechCrunch, Vizify's last raise was about $1.5M in its life with the last raise in 2012, and it's likely that their options were raise more money, get acquired, or die.)
Thanks for the Swiss poster generator[0] Clark! Going to use what I generated there as my desktop background and revisit every so often.

[0]http://swisspostergenerator.com/
Introducing the ‘mozjpeg’ Project
The largest holiday apartment comparison site
What makes the "request" metric even more confusing is they say "Unlimited Data Transfer". Which means absolutely NOTHING if the # of requests is limited.
Looking at the source a correct password doesn't exist.
The law has thousands of examples of quantity turning permitted things into forbidden ones (or at least regulated ones, which is probably more the case here). This is in no way a unique restriction.

For example:

1) If someone glances in your window as they walk by your house, that's fine. If they stand there all day, they're probably guilty of stalking, a crime.

2) If one person is holding a protest sign in front of city hall, that's legal. If a thousand people do it, that's a protest, which in most cities is a regulated activity requiring a permit.

3) If you pour your morning orange juice out in a storm drain, that's probably legal. If you pour thousands of gallons of OJ into a storm drain, you're breaking environmental laws.

4) If someone drives by a street, that's fine. If they go back and forth down it, they're cruising, which is a crime in many cities.

5) If you give a friend $100, it's an unregulated gift. If you give them $20k, then that's regulated by tax laws.

6) If someone sells a stock and buys it back, that's fine. If they do it tens of thousands of times in a minute, they may be breaking securities laws.

7) If you bring $1000 into the country, that's an unregulated event. If you bring $100k, it becomes regulated.

8) If you access a web site with an automatic tool, that's fine. If you access it a thousand times a second, that's a DDoS attack, which is a crime.

9) If you cut a tree down on your property to sell the wood, that's fine. If you cut hundreds down, then you're running an illegal logging operation.

and on and on.

I totally don't buy the argument that it's unreasonable to forbid or regulate the case of collecting license plate numbers based on it just being a different quantity of something that's permitted. Laws use quantity as the basis for drawing the line between legal/illegal or unregulated/regulated all the time.
No, I wanted him to ultimately be vindicated by the highest court so as to protect us all in the future.

Martyrs die, I wanted him to set a precident without getting harmed. Like Brown when he fought the board of education, or Johnson when he fought the state of Texas.
Yeah, for that you would want to use the general purpose API (which is AJAX like). See https://github.com/Peer5/P2PXHR. It's still a little under-documented, so let me know if you're having trouble hacking it...
In the US, a judge would likely have ordered Apple to unlock the device and then made them pay the estate's legal fees, since most states actually have laws requiring service providers (such as banks) to give the estate access to a decedent's property upon confirmed proof of death (i.e., a certified copy of the death certificate).

These US laws are generally based on UK estate laws, so it is highly unlikely that a court order would be required in the UK.

Really, for a multi-billion dollar with billions of dollars in profit each quarter, Apple's inability or unwillingness to perform an hour or two of basic legal research is shocking, especiallly considering that they are effectively demanding that the estate pay 500 pounds for access to a toy that likely cost 500 pounds.
So you've intentionally disabled a large part of your browser through NoScript and now it won't render pages that require the browser to work as intended? Isn't this rather like removing all gears but first from your car and then expecting everyone to accommodate the fact that you can only achieve 10mph?

I'm not meaning to have a go at you here, npsimons -- what you choose to do with your browser is your business, and you've not actually complained about the site -- rather I'm seeking to curb the idea that seems to crop up on HN from time to time that browsing without scripts enabled should provide a roughly equivalent experience to browsing with scripts enabled. It's not reasonable to expect developers to cater to a tiny fraction [0] of their audience when that audience wants the developer to essentially give up all client-side interaction other than POSTs.

[0] It's around < 2%: http://developer.yahoo.com/blogs/ydn/many-users-javascript-d...
They're generally published in symbols, which largely have a direct translation in to more formal methods, with the English being included to comment on the motivations, things which might not be formalized in the theory, etc.

The primary purpose of mathematics papers is for distributing information between mathematicians in a form which it's easy for them to integrate in to reasoning about new theorems. To reason about new theorems, you really want as many ideas/concepts to be able to be present in the mathematician's head free of context (ie, with the structure represented, but ignoring the traditional intuition about what it is or used for, which English naming can bias towards).

Part of the problem of Coq is that you'd have to formalize a lot of the metatheory in to something computable, and we've been struggling to find a good approach to that since the 40s/50s. We have a lot of trouble with trying to formalize the axioms in a way that you can compute results from them. (Axiom of choice + axiom of excluded middle can cause problems in Coq, for instance.)

A secondary concern is that the translations from full sequences of axiomatic steps to constructs which are higher level (ie, built on the idea that some axiomatic steps must exist in this instance, but we haven't found them explicitly) can be really complicated, as well as much bulkier.

A math paper is usually no more than tens of pages, while a computer proof of a theorem can run in to the thousands.
By the time kids are three or four, they learn a large part of their native language. It's actually pretty complex - at least on par with algebra - but they learn it, because other people around it do that. Imagine the world richer in math, where young kids are immersed in it from young age...
> The irony of what's happening here, that dogmatism about a belief is causing an inferior solution to be used, is infuriating and one of the reasons people have such a problem with dogmatic personalities like rms. It's technically illegal to use a better solution because of something as relatively unimportant as a license.

Why do you jump to blame the GPL and rms, when one could just as easily fault the OpenSSL authors for using the 4-clause BSD instead of the far more common 3-clause?

> It's technically illegal to use a better solution because of something as relatively unimportant as a license.

No, it is technically illegal to distribute compiled binaries that use OpenSSL, because the OpenSSL authors wanted to retain the advertising privileges. But it is not illegal to use the software as long as it is distributed in source and compiled by the end user.

I would not call licensing unimportant. As long as software is copyrightable, licensing terms are highly important.
Hi! Thanks for your interest.

We don't support Rails and PostgreSQL quite yet, but they are both in our future plans, so we should have support for them soon.

You can also make requests on our wiki for frameworks you would like us to support: https://github.com/jumpstarter-io/help/issues
I'm often frustrated with developers looking at the term "test-driven development", focusing on the word "test", and thinking of TDD as a testing process instead of a development process. The BDD movement made some progress on this front, but it still seems to be a problem. Maybe calling it "specification-driven development" is the next step.
Do you want that outcome enough to get yourself charged for activities that would bring it about? After all, without a SCOTUS decision the fruit is still hanging on the vine for any of us to snatch.
Those protections you say other countries have, I want them too. Case law created by the supreme court is how we get them.
I'm reminded of those self-decrypting .exe archives that WinZip used to produce back in the day...
It's all in one html file, so it will work disconnected from the internet. Download or save the page, turn off your internet, open it in a browser, and encrypt with peace of mind (although the javascript could still use off-line storage and then next time you're online on the page access it, I guess).
The irony of what's happening here, that dogmatism about a belief is causing an inferior solution to be used

How is that irony? I Don't think rms or anyone who pushes for Copyleft does so because they believe it always results in a superior solution.
There's a surprising number of negative comments here. Have any of you ever started a company and been involved in an acquisition process from the front lines?

If not, I'd suggest being a little more careful with your wording. Your statements come across as worse than naive--they come across as petty, with a tinge of idiocy. I'd just make sure I was more informed about these decisions/processes before making commentary on them.
I think the real lesson here is not to write your own license but to use well-known ones. There are lots of permissive licenses that are also compatible with the GPL.
This isn't a case of people losing the password to the iPad--they never had it to begin with. They inherited an iPad, which was locked, and Apple refused to unlock it despite proof of death.
Windows 7 running the latest version of chrome
I am so stealing this analogy!
This is seriously amazing. What commands are currently available to interface with Spotify and Venmo?
both outbound and inbound requests?
Sorry, but that made me laugh and feel terribly old at the same time (touché, oh wait... so do I!). Can we use "played 78RPM records in their teenage bedrooms" instead?

(Fun fact: "The date of the very last 78-rpm record is not known, although some claim that the last one issued in the U.S. was Chuck Berry's "Too Pooped to Pop " (Chess 1747), released in February 1960.)
Fair point - I kept it to my experience because I don't have any objective empirical sources to draw from, so maybe I shouldn't use that word.

I would argue that it is objectively better to have less boilerplate code (hasOwnproperty(), loop var initialization, lack of splats), visual clutter (brackets, braces, etc), strict comparison by default, string interpolation, array range notation, destructuring assignment, etc. My experience does back that up, but again, I can't source any objective empirical evidence.

And it's important to have a thorough knowledge and experience with both languages. I find in arguments about CS, there's a lot of knee-jerk reaction from people who haven't given CS a fair shake. It had (has?) a "Ugh, hipster" backlash against it.
Rails 4 Asset Pipeline on Heroku
I got my 3DRobotics IRIS a week ago. I've crashed it 3 times already,gone through 4 replacement propellers, and busted my gimbal. None of my incidents were due to a motor failing, I'm just a horrible pilot. Yesterday evening while flying with the kids, we got too high and the wind drifted it down the neighborhood. I switched it into "return to base" mode and it returned itself into an avocado tree.

I guess what I'm saying is: this software looks really cool but I doubt it will solve my current issues :)
Man, if you thought using GPL software is painful now, you should have tried things 20 years ago.
At those larger size, the bid/offer spread becomes much more significant, and is usually a bigger cost than the commission.
Asteroid Passing Earth Will Be Closer Than Moon
Haha, I identify with Alex. Even from Boston too.
There's a wide variety of skills and wants from developers. The fact is; we have a user base of developers who do want us. And I personally, as a developer want us.

We have git automated deployment being released this week.
And if your database is 2TBs, you want an Enterprise Solution.

You can currently snapshot your projects, in the same manner we do for failovers.

But we'll definitely keep your opinion in mind, thank you.