skysight-inc/HackerNews huggingface dataset:
You can also get in touch with someone at Apple, if you have any mates or any people from Apple work in your company.
Those are two clearly separated options in the app. I don't think anyone gets that confused.
Because safety comes at a price.

I did a little bit of Ada programming, and one of the distinct features it has is you can't do anything clever without being extremely explicit about it. This language has the most aggressive type-correctness checking I have ever seen. When you finally get your code to compile, it's likely that it will work reliably.
There were six shuttles and had 25, 28, 10, 39, 33 & 0 missions each for a total of 135 missions and killed 14 astronauts. Not that impressive a record for something that was originally intended to do 55 launches a year.

Something I find more impressive is the B52 Bomber, first flew in 1952, finished production in 1962, expected to be in service until 2040. Will be in service for almost 100 years.

If like an aircraft, you were doing 1 hour of maintenance for every 10 - 20 hours driving, I'm sure your car would be more reliable.
Someone could argue that if we had not lost the Archimedes Palimpsest we could be in a better shape scientifically.
I was involved in writing the short term collision alert system for the New En Route Centre down in Swanwick, UK. Basically proving something won't kill is extremely important in this environment. The language is almost irrelevant. Proving every single piece of logic has been exercised (an OR statement had to have true true, false true, true false and false false tests...now add multiple ORs to that). Mission critical software is another world.

Probably rather alien to the HN crowd ;)
DebConf 2014's QA with Linus Torvalds [video]
I recommend looking at the Pynomo package, which also has some great examples:
http://pynomo.org/wiki/index.php?title=Main_Page
Good luck finding a simple package. We met failover and cross-site replication requirements by using Pacemaker controlling pgsql.
> I can tell you what the bias might be - people with other backgrounds might treat software engineering and programming as equals, and thus have very vague idea of things like system reliability, scalability, failover tactics, deployments, etc., jumping at the quickest dirtiest obvious solution. Steer the conversation in a way where people become cognizant of your knowledge of application architecture and system-level design.

Is that really true? If anything in my experience it's most programmers who look at jumping at the quickest dirtiest obvious solution. We have to fight as sysadmins to get them to do things right. But that's just my experience where I work. Things could certainly be very different at a tech company or something.
FYI I used to date a girl with a Masters in CS who got a job with Boeing. She worked on the OpenGL overlay for the B1 Lancer. She wrote about 3 pages of justification for every 5-6 lines of code she wrote. After 2 years she bounced as the job satisfaction in that type of environment, simply wasn't there. Also OpenGL from ADA is... interesting.

She worked at the Boeing San Diego office, which is quite beautiful.
I agree that the ethical line is there. Hut I am saying when a professional consultant tells you what to write and checks your every sentence, it is as fake as a ghost writer (with an interview)
I've had the same thing happen on a similar system, with ECC. In that case I eventually tracked it down to a dodgy power supply, but the damage was done... it was time to dump and reload.

Corruption happens. A good filesystem needs to cope.
>>I would expect ghostwriters to want to keep a low profile

Nope, but you would expect them not to reveal their clients.
I wonder from where do we have so much evidence about what happened before "hundred institutions" existed. Cultural institutions predate writing and probably predate oral history, in fact many animals have some kind of social institutions. So if there was an "ideal man", uncorrupted by "institutions" (Dawkins would, I suppose, dislike that idea very much), certainly we have very little evidence about how that man could behave. But I think such man never existed - social institutions are part of what humans are, and always have been. That could be different - as many other aspects of humanity are varied and diverse - but they always exist.
I graduated in the heart of the recession and had lots of people telling me that I wouldn't find a job. But I viewed it as a numbers game, and refused to believe that if I didn't buckle down and dig, that I wouldn't find a job. As the other commenter said, I made it my full-time job to find a full-time job, and I did. I received my first offer after multiple interviews, and 84 customized application packets had been submitted. It was a ton of work. But within six months of graduation I was making $51,000 and working as a Credit Risk Analyst at a large bank. The work sucked, but the lesson stuck. Don't let any kind of bad economy be an excuse. If you're landing interviews, you're doing something right, but if you're not getting the job, you're doing something wrong. The thing to recognize is that the technical stuff is only half the equation--if that. Much of the time what they're looking for at least as much is "fit" and an analytic mindset which demonstrates an aptitude for solving problems. They're looking to see how you handle it when you don't know the answer. How do you think your way through it? Or do you just give up? Or do you make stuff up?

Most importantly, there are ALWAYS jobs out there. So get out there and make it happen. Go to Meetup groups, network, and be as intelligent about your job hunt as you will be on the job.

Basically, there is no excuse for your lack of success in getting the job you want. If you need more technical chops, figure out what you need to know and learn it. Make some projects on your own time, build a Github repository. And eventually all these things will combine to get you the job you want. There's a ton of demand out there, you just have to find it.
[1] high school students get exactly the education their parents want

[2] high school students get exactly the education their are paying for

I would say you could argue 2 is true, but not 1.
The actual language has little to do with the current widespread use of Ada in critical aviation software. The main reason lies in the certification process and reuse of certified tools. I wrote a little about it here: http://eduardo.intermeta.com.br/posts/2013/2/10/making-aviat...
I think it's because sidecar is significantly smaller than the other two. It's in <=10 cities or so IIRC.
Understood. Thx for the comment. The ability to download your data in a well-documented format (possibly WARC) is coming soon. I hope you will try out PurpleRails in the meanwhile. Thx again!
It's hard to see how this levels the playing field in practice. The "bright lower-income students" you mention don't have access to these expensive services.
Wanna get rich? Don't build an app – CITEworld
> high school students get exactly the education their parents want and are paying for.

Not true. Lots of parents don't have any other options but to put their kids in their local public school.
Their brand image was and is severely problematic and honestly should be viewed as a liability, in my humble opinion at least.

Or maybe I am the only one that prefers simple no-bs customer experiences over kitsch and hipster-bro nonsense. I would pay a $3 surcharge to avoid all pink furry things and fist bumps honestly.

Lyft could really benefit from a decisive and purposeful rebranding.
I don't see anything about science in this essay. Philosophically, it may be a valid critique of essentialism, in the meaning that primitive conclusions Dawkins is drawing - as for rabbits or state politics - are indeed looking invalid. But nobody currently advocates such concepts - i.e. nobody really builds a scientific theories based on the fact that rabbits literally represent the "ideal rabbit" and nobody actually thinks all Florida residents are Democrats or Republicans. We may act as if they are, in order to simplify certain things, such as deciding who will be the president or which pills to give to a specific rabbit, but we know they really aren't.

OTOH, if you drop the concept entirely, then you'd need to throw a significant part of modern science out of the window. Modern science bases on the fact that there are some laws of nature, which are universal and fixed, and by doing certain actions and making certain conclusions using certain techniques we can discover these laws and thus discover how ideal Platonic objects would behave, and by reasoning about those objects we could derive the useful conclusions about real world objects. If you reject this method, then you'd have to make a scientific theory anew for each object, which would be kind of hard to make practical. Modeling is necessarily idealization, and if you reject idealization, not much is left of the scientific method. What Dawkins seems to argue is that one should realize the map is not the territory, but isn't it obvious to everybody by now?
Disclaimer: I've never used Lyft and the following is purely hearsay:

In the area I live in (where we've got Uber(x), Hailo, and Lyft) there was word that cars that had the pink mustache were being targeted by taxi drivers for harassment, so I think they pulled them off for safety.
Perhaps, but when you have large populations that can be mapped to discrete points then it does make sense to label and observe these.
“No Ands” when pitching
I think that Thomas Kuhn would disagree.

The scientific community works within paradigms which adequately explain their experiments. There may be some weird results, but as long as they remain few, new scientists will remain convinced of the paradigm's merits. The areas of weird results are the most interesting, and attract attention and further exploration.

When the weird results multiply after further investigation, ad hoc modifications to the theories of the paradigm might be necessary. This might work for a while, satisfying the scientists' need to explain their results.

However, ad hoc changes may push the paradigm to its limits. Crisis occurs within the scientific community. Scientists may start to abandon core tenets of the paradigm in search for new theories which are better at explaining all the weird results. The paradigm might be so ingrained into the world-view of its scientists that only young scientists who are yet to be indoctrinated might be able to see past it.

The famous examples are of relativity, quantum physics, and heliocentrism. Ptolemaic geocentrism, particularly, had a lot of ad hoc modifications to explain the loopy movement of planets.

In this sense, scientific ideas are certainly retired. More can be found at https://en.wikipedia.org/wiki/Superseded_scientific_theories

If someone understands Kuhn and philosophy of science better than me, please correct me. I know that Imre Lakatos and Paul Feyerabend have different views on "scientific progress", but Thomas Kuhn is the only one I have read on this topic.
Thinking about this further, this might also be a really useful tie-in for Wikipedia. It also increasingly relies on Web citations, many of which fail.

If cited material were automatically archived and submitted to TIA, this could be further useful. The fact that this is an inherent archival of information which is deemed relevant and citable is also worth noting.
Nothing about this reply makes me reconsider labeling it "naive frequentism." I think you'll find that it's hard to do even bread-and-butter statistical tasks like deciding how many subjects to include in a randomized trial without moving beyond axiomatic probability.
I took Uber a half dozen times in the past couple days (on vacation). Since I'm very interested in the Uber vs. Lyft battle, I've been talking to all of the drivers.

All of them except for one drive for both Uber X and Lyft, and none of them really care one way or the other about who wins. Only one had a pink mustache, and it was a little stuffed one on the dashboard, probably six inches wide; he also had an uber sticker. One expressed worry about Uber taking over and not having a competitor to hold its feet to the fire.

The one who only drives for Uber is a new mother that just likes to get out and talk to people who aren't babies, and she gets paid to do so.

To them, at least, the article is right. The services themselves are awesome, yet mostly indistinguishable.

Interestingly enough, I'm 99% sure if I came here pre-Uber/Lyft I would just rent a car. I have a serious aversion to taxis, but Uber just takes the pain away. The drivers noted that tons of people have been saying that.
"And are there any more open alternatives built on CL?"
Shen's predecessor Qi runs on CL, and the first version was released under the GPL...
http://en.wikipedia.org/wiki/Qi_%28programming_language%29
Right now the story is on the leaked photos. I'm interested to see Apple's response and the subsequent backlash around the apparent security fail.
I think the critical difference is that when you pay someone to do the work for you, you do not actually learn anything. When you hire a consultant, you do learn something.

Maybe in a way that doesn't matter since it is not really part of the curriculum, but when I took a biology class at a community college, the professor talked about, I don't know, curving the grade or something and people in the class made some comment about "hey, just give us all A's without requiring us to learn anything" or something like that -- in other words, they were just there to tick off a box towards a sheepskin. And I spoke up to say "Um, what if you actually need to know this for a later class or even a job?"

Yeah, I have always been a party-pooper like that. But, seriously, some folks just want the sheepskin and do not care if they earned it and some folks want the know-how and sort of don't care so much about the public credibility thing. I tend to be in the latter category, and sometimes wonder how much that is to my benefit and how much to my detriment. I know how to accomplish all kinds of things but I seem to mostly suck at getting any kind of credit, credibility, decent pay, that sort of thing.
> If you save a page but someone else needs it, they're out of luck.

There is a sharing feature to solve this problem. :)

But I agree with your point.

I actually looked into WARC earlier but didn't have the bandwidth to do it my first version. When I implement the ability to download your data, I'll try hard to use WARC. Unless there's some brain damage in the format: I hope not! :)
The fist bump was always awkward. This isn't Couchsurfing, you're not my buddy and we're not about to share some profound life experience together. I'm not going to get out of your car in 10 minutes with your contact and a promise to grab a beer.

This is strictly a quid pro quo transaction - nobody is going around riding Lyfts to meet interesting people, except maybe journalists hunting for a story. And nobody is out there driving Lyfts to meet interesting people... except maybe journalists hunting for a story. Let's not pretty it up with SV-style faux-populism.

Friendliness and mutual respect? Absolutely, the same respect and courtesy you'd show to any other human. But let's be real about the other stuff.

The fist bump got dropped because neither the drivers nor passengers cared about the fist bump.
Ouch. My Personality, Reviewed
C++ Primer followed by Effective C++
C is usually supported as well as or better than Ada so it does have to do with the language.
Pandoc 1.13 released
Where do you go after that type of ultra specialized experience?
She writes for anyone who is willing to pay her $400 per essay. It is not just for the children of wealthy Chinese, and many Chinese people choose to write their own.

The system is broken if it cannot distinguish between a fraudulent essay and real one and is using that measure as integral for admissions. Many universities have specialized questions (almost as a CAPTCHA) to make sure students are serious about applying there. Test scores, teacher evaluations, and an applicant's résumé are often much more important criteria.
It means that to be portable you have to wrap symbols that represent functions in (function <the-symbol>) when passing them as arguments. Not doing so will work on some ports but not on others, and should be considered "undefined behaviour".

Portable:

(foldl (function +) 0 [1 2 3])

May work depending on the backend:

(foldl + 0 [1 2 3])
It repulses me. Mustache rides and fist bumps?
Clockwork universe is one prominent idea which was very popular and has been completely retired by now.
Web Apps vs. Native Apps: Round Three
You're not comparing correctly. Your system would only have 96TB if you weren't using any form of RAID-like caching. The guy from the article is using ZFS caching to improve data reliability.
Bigoted commenter is bigoted. Bigoted commenter excuses his bigotry by claiming that "everyone else does it".
These admissions consultants are a lot more attainable than the Ivy-league family members that would be able to give the same guidance.
Maybe they mean to reference the oddities surrounding tons, short tons, tonnes, and metric tons?
That depends on the port. The Clojure port allows this:

https://github.com/hraberg/shen.clj#神-define-prolog-and-defp...
My mother just wrote her phone number on the tag of my brother's shirt. What's the point of the QR code?
Were ever you want?

If you have the kind of skills to write Open GL in Ada for Boeing, then you're not the kind of person who's depending on having rote-learn some latest tech (J2EE, RoR, Node, Go, whatever) and only can get jobs looking for that.
I don't find it difficult to intertranslate at all. Trivial actually: the currying is a complete non-issue. For pure, terminating code laziness/strictness hardly matters.

And dear god do I wish people would stop abusing "isomorphic".
Sounds like you're describing Haskell.

I don't think Ada is that strict.
Wherever you want. I moved on to Ruby on Rails/e-commerce after leaving Boeing in 2006. At Boeing, I did a lot of C/C++/Ada/OpenGL.
Can anyone recommend admission consultants or give any advice about using them? I want to help a highschooler out.
>>> We seem ill-equipped to deal mentally with a continuous spectrum of intermediates. We are still infected with the plague of Plato’s essentialism.

This is contradictory. If we have some kind of mental handicap that not allows us to perceive spectra properly, it's wrong to blame Plato for this. If, however, Plato is the one who steered the whole civilization wrong, that means we are capable of doing better - we just don't do it right now. Of course, it could be that it's both but Plato and mental handicap together wouldn't allow us to realize it :) Recursion is recursive.
> The fist bump got dropped because neither the drivers nor passengers cared about the fist bump.

I hate to tell you this, but not everyone is a button-down or a neckbeard. I liked the casual friendliness of it.

> nobody is going around riding Lyfts to meet interesting people

I wouldn't actively go grab a Lyft just for that purpose, but when some friends and I are a bit tipsy and heading out to the club? Absolutely we'd rather be in a fun environment with an interesting person.
This is an awesome article - there are a ton of interesting excerpts all in one place, that I haven't seen before, such as this one:

One compelling reason behind the extensive pre-testing was Boeing's desire to meet the Federal Aviation Agency's (FAA's) Extended Twin Operations (ETOPS) standards ahead of schedule. The original ETOPS rule was drafted in 1953 to protect against the chance of dual, unrelated engine failures. Unless a newly designed and produced aircraft has at least three engines, it usually had to wait, sometimes as long as four years, before the FAA and the Joint Airworthiness Authorities (JAA) will allow it to fly more than one hour from an airport; after a time, the new aircraft is deemed a "veteran" and is allowed to fly three hours away. A shortened trial period would drastically increase Boeing's sales."

It hadn't occurred to me that a 777 is always three hours away from an Airport. I'll have to look more closely on the map.
Yes it is. It's possible to charge contactless payment cards even when they're in someone's wallet. That said, it is certainly possible for the implementation to be more secure on smartphones. I knew as soon as I saw the fingerprint scanner and iBeacon tech in the current iPhones that this is what Apple would be aiming for.
A model listening to other models? Yuck, that's just wrong. In an MVC application, only controllers should update models. Just because Backbone lets you listen to model events from anywhere doesn't mean it's a good idea.

IMHO Application events should simply bubble up through the DOM, and get caught by appropriate controllers (Backbone.View class in backbone parlance) that then modify the appropriate models. If need be it's the top-level controller for the app, eg:

document.body.addEventListener(function(e) {
modelA.doSomething(e.data)
modelB.doSomethingElse(e.data)
});

I'd take a simple approach like that over an event bus/dispatcher/coolest-new-pattern-since-sliced-bread - any day, and sleep at night knowing if something happens to me, any employee will be able to parse and debug my code.

PS And no, I don't use Backbone, but my own 500 LOC MVC framework that's got zero dependencies and is about 100x faster.
I'd bet a bit part of this is law enforcement targeting these cars in certain cities. The mustache is an absurdly easy way to see which cars should be pulled over.
Security is up to the grantor of the certification. It really can't be any other way. Asking students to be ethical is worthwhile, but it's sort of like the pull-out method of contraception - just not very effective.
I'd forgotten Progress, even better!
Cool, thanks! That's pretty close to my current approach as well. The super important data is replicated into Dropbox, and a few hundred gigs of somewhat important data is cloned over to a friend's box manually every few weeks.
"Guideline 2.9: Apps that are "beta", "demo", "trial", or "test" versions will be rejected"

Surely on their website Apple were promoting a few of their own apps as beta versions (I think Siri was one)?
One things all these stories really emphasize is how much of a hurdle it is for a first-generation college student to get into a top school. It isn't just other bright high schoolers you're in competition with, it is a whole system which is coaching, supporting and, sometimes apparently, doing very professionalized admissions management on their behalf.

It would take an extremely exceptional high schooler to navigate that all alone.

Or perhaps, if admissions offices are looking for exactly that story, all the consultants are just trying to produce exactly what they'd write naturally? :-)
Safety and Reliability are not as relevant for most projects as speed, flexibility, familiarity, availability of frameworks and developers, inexpensive compilers/debuggers,etc... All of these are area in which Ada is not as highly qualified as some of its competitors.

But, for Avionics and Space System, Ada is a well known, and continues to be a well known implementation language.
As someone who used the app a couple of times I am aware of that. I am talking about the public image Uber paints of itself for those not using the service yet. For example, many of my German friends only know about Uber through media coverage of "Uber vs taxi industry" where Uber is always described as ride sharing. To the uninitiated this sounds like Uber's goal is to replace professional insured certified tax-paying businesses with an app-ified version of the gypsy cab industry. More than once have visiting friends given me a strange look when I suggested using Uber to get around SF. I think Uber might be better served at winning new customers and fighting their political fights when they present themselves as a black car service with a ride sharing add-on.
Mustache rides

That never even occurred to me.

Wow.
Siri technically isn't an app