skysight-inc/HackerNews huggingface dataset:
I studied in Berlin (Berlin has very little money) and while nearly all my undergraduate education was in the form of black board lectures (which I like very much), all my homework was corrected and every lecture had a tutorial session where homework was discussed and you could ask questions about things you didn't understand in the lecture.
In most real world software, performance constraints are part of the specification, and thus, performance is part of correctness by the definition you cite.

(And where they aren't part of the formal specification, it often is later discovered that that was simply a failure of requirements gathering/analysis, in that the specification did not completely capture the expectations of the entity that the software was being built for.)
>dorms

If efficiently managed, dorms shouldn't represent a significant burden on students above the price of living in off-campus housing.

>restaurants

Generally make a profit.

>coffee shops

Generally make a profit while employing unskilled students.

>fitness clubs

Okay, these are probably excessive, but fitness is fairly important.

>green spaces everywhere

I'd be really surprised if this accounted for an appreciable percentage of institutional expenses, except maybe if the campus was located somewhere with very expensive real estate.

I'm guessing that the real story is that German universities bring in a lot more taxpayer money and employ fewer people.
You will probably learn more at Stanford or Caltech or MIT -- not that you won't get a great education at Princeton or Harvard, quite the opposite, but the real advantage of an Ivy League degree is the chance to network with the children of presidents and such.
Usecases with multiple users on one piece of hardware make no sense? Is there a reason (besides the previous question) you are ignoring the ability to use containers as an alternative to virtualization for all of the perks they provide?
San Francisco - iMatchative - Director of Engineering, Director/VP of Product, QA, Dev/Ops, Data Engineering, Web Crawler Engineer and about 15 more.

ALTX is connecting the right investor to the right fund. Founded in 2012 as iMatchative, we’ve built a state of the art, two sided, cloud-based network that helps investors and funds alike find stickier, more satisfying investments with innovative algorithms, behavioral and traditional statistics and analysis.

Founded by hedge fund expert Sam Hocking, our team is made of software engineers, bankers, marketers, psychologists and operations experts. We’re challenging the norms and learn from each other, and we’re determined to make our way of matching qualified investors to the right funds the new standard for institutional investing.

We have a product out with customers onboard including some of the world’s largest endowments and major financial organizations, a very active board of advisors including Harvard, Stanford and the London School of Economics, and we’re set to double our engineering team. Join us!

Help us develop data pipelines, use NLP and machine learning to process and analyze all of the worlds financial data related to Hedge Funds. We utilize many different technologies including JAVA, Python, Hadoop, Storm, Neo4J, Elastic Search and more.

We just received our Series B from the largest financial institution in the world and the richest person in the world.

You can apply here: http://grnh.se/p4nl70

http://www.imatchative.com
http://www.getaltx.com
Yes. To oversimplify, it seems like there are two schools of software: the car-mechanic school and the math-professor school. I happen to be of the car mechanic variety. That doesn't mean I'm not borrowing energetically from people pursuing the math-professor approach, but by now I'm pretty sure where my strengths lie. And given that computers (and cars) are mainly used for practical outcomes, I'm totally ok with that bias.
First Blood Test to Diagnose Depression in Adults?
Don't know. A downthread post (https://news.ycombinator.com/item?id=8393911) links to the Dec 2010 Intel patch which introduced the bug. It may have originated with a RedHat KVM patch in June 2009, https://lkml.org/lkml/2009/6/29/205
Umame starts private beta. Enroll now
Location: Vancouver, British Columbia, Canada.

Remote: Yes.

Willing to relocate: Yes, for the right opportunity.

Technologies: Preference for low level, backend work: C, C++, C#, Java, Ruby, Python, Erlang, JavaScript. Fair knowledge of web technologies including HTML, CSS, jQuery, AngularJS.

Resume: Upon request.

Email: dmunoz_hn at outlook.com

About me:

I have a B.Sc. degree with a major in computer science from the University of British Columbia. I did plenty of elective credits in mathematics, physics and philosophy - mostly the philosophy of logic.

I'm constantly investigating new languages and technologies. I have played around with languages like Go, Rust, D, LISP-like languages, and Lua. I pay attention to language standardization and development such as C++14/17, C# 6, ECMAScript 6, Rust heading towards 1.0, and others. I sometimes investigate the implementation of languages like Ruby, C#, Rust, Python, and JavaScript.

I have made code available on my website and on github. I program for fun whenever I have a scratch to itch.

My HN alias is a pseudonym. Upon contact, I can make myself available through email, irc, and phone. Please include a little about the opportunity when making contact. I will reply in either case, but if I wouldn't feel comfortable in the roll I will let you know quickly.
Don't use anything now but am interested. So I made a list of alternatives used/recommended by HN citizens in this thread and thought I'd share.

Copy
Wuala
syncthing (foss)
Bittorrent sync / btsync
Seafile
Box
Expandrive
rsync.net
pcloud
Tresorit
Google drive
Hubric
Amazon S3
onedrive
SafeMonk within Dropbox
Spideroak
owncloud
Tahoe-LAFS
> Their philosophy, as is pervasive in the hosting industry, is that they have paying customers so whatever they are doing must be right. Obviously Amazon often also seems to act this way, but this particular maintenance was handled well afaict, and availability zones showed their value.

This could explain why Rackspace was shopped around by Morgan Stanley. They may be profitable now, but Amazon and Google are going to eat their lunch.
HackerBracket was something totally different originally, but I couldn't think of a new name. xD
Hashrocket - Software Developer - Chicago || Jacksonville Beach, FL

Hashrocket is a software consulting company that builds solutions for web and mobile, specializing in Ruby on Rails, iOS, and Android.

We are hiring experienced Ruby on Rails and iOS developers to work on-site in our Chicago or Jacksonville locations. We look for a certain set of qualities in our development staff since we interact directly with non-technical clients and keep a very rapid development pace. We practice pair programming all the time, keep our project teams small (2-6) and focus on constantly delivering value to our clients through daily standups, rapid deployment and an agile mindset. We have a highly collaborative environment with no cubicles and no management hierarchy, which allows us to focus on delivering the best products possible for our clients.

We take care of our own and offer great benefits to all our employees.

* Salary based on experience

* All expenses paid when you speak at an event

* Annual budget for conference attendance

* Company paid family healthcare premiums

* Full 401k matching with no vesting period

* Relocation expenses

* Sustainable pace: 35 hours billable client work and 5 hours of open-source contributions per week

Apply here: http://hashrocket.com/contact-us/jobs/developer/hacker-news
Vim async infrastructure is 'less polished' then emacs. That is why even Vim fans (like me) consider learning emacs for Clojure development.
Monetate - Conshohocken, PA (Philly suburbs) [REMOTE or ONSITE] - Will help with relocation to Philadelphia; also remote (Americas timezones preferred, must speak English) Monetate helps digital marketers make their content more relevant. We turn data into action on our clients' sites by doing real-time data analysis and DOM manipulation to put the right experience in front of their users. We’re looking for engineers who want to do highly visible work on great brands and solve tough problems with great coworkers.

What we're looking for:

- People who like to ship - we're focused on building and shipping great products - if you like to see your work in production quickly you'll see it here. We ship often (every two weeks), and iterate.

- People who like hard challenges - we have great problems across our products - huge data sets, UX, 3rd party Javascript, high volume / low latency APIs - we have no shortage of fun problems to work on.

- Problem solvers who like to code - we take things apart, figure out how they work, then build software to solve our users' problems.

About us:

- Founded in 2008

- Open source - Google Closure, Python, AngularJS, Javascript, Pandas, Redis, Hadoop, Mahout, Solr and Lucene - we're open source across our stack

- Respect - it's our core value. We have a great team built on trust, and we work well together. Our vacation policy is the same as Netflix (we don't have one). Our technical project teams are self-organizing and have full authority over (as well as responsibility for) the problems they work on.

- Funded by First Round Capital and OpenView

- Market rate salaries

We've hired great people from HN before, and we're looking for people not positions. We have people who have joined the team with no background in our primary languages and people from non-traditional backgrounds. Check out our blog at http://engineering.monetate.com/ Send me a message if you have questions or want to apply: karl at monetate dot com
I go to one of these elite schools and the primary benefit is in the connections you make. However, the worthwhile connections are generally only available to those who would have been successful regardless. For example, when I look at my friends who've landed the best jobs/internships they overwhelmingly got their interviews due to who they knew at the company already, which mainly came back to either who their parents knew (largely related to how wealthy their parents were) or what social club they were in (again, largely correlated with wealth).

So yes, the connections at elite schools are great, but they primarily serve to reinforce the same social structure that already exists. That said, there are certainly exceptions and it is possible to make these connections if you come from a less privileged background, but the odds are against you since you 1) don't know where to look to make these connections and 2) aren't like the people who you want to make connections with and so you're less likely to connect in the first place.
It really depends what libraries you need. You might be interested in: http://pkg.julialang.org/pulse.html (also a searchable package list).
Taking a step back, doesn't it seem strange that there aren't more concrete answers to these questions - the debate devolves pretty quickly into anecdotes / commentators' perspectives, as opposed to hard data. Sample sizes should be big enough to at least answer the economic questions (the experience of those four years is of course subjective)!
Sure, but then you'd have to put the declaration before the function call.
Hey Evan, I have immense respect for your work, but this is surprisingly armchair quarterbackish.

> "The competition has millions of man-hours invested". Who cares? On a day-to-day basis I execute maybe 3% of the code paths in my editor

This is the Microsoft Office argument and the problem is that no one uses the same 3%. If they did, sure it'd be "dead simple", by that of course I mean take many, many years of work. Sublime which attempts to do far less than we wanted to took 5 years to get to today and I'm not sure it really is a commercial success capable of supporting 3+ people.

> "Programmers don't pay for software". I'm sorry, but this is a poor excuse

It's far from an excuse, it's the truth. It doesn't matter if developers as a class have a lot of money. They don't actually spend it. I don't know a single person who has ever personally paid for Visual Studio. Github is a service and the vast majority of their money comes from companies not individuals. How many people run stuff only on the heroku free tier?

Or here's a direct example: when we launched the kickstarter people \freaked\ out about us pricing it at $50. We had to drop it all the way to $15 and folks still complained endlessly about it. It is well known that short of a service targeted at companies, it is near impossible to sell developer tools. After all, it's a group of people who look at a piece of software and say "I can build that".

If there's some secret, we're missing it. There's an entire organization [0] that has grown up around trying to help dev focused companies figure this stuff out. It's led by James Lindenbaum (co-founder of Heroku, invested in us), he knows his stuff and he couldn't figure out a way to make this work out either.

[0]: http://heavybit.com/
Which is why we have community colleges, which are heavily subsidized, focused mostly on paying careers, and affordable to people making little money.
"No-one is claiming that virtualization makes a system magically completely secure, but do people actually believe that it makes it less secure? (Compared to, running the same software on the same hardware using a single OS). I don't think so."

However, common virtualized platforms such as EC2 encourage you to run your whole server setup in an environment where a (possibly malicious) neighbour could be running arbitrary x86 code in an instance on the same physical machine. This is not an attack vector that is remotely possible in the traditional, non-virtualized setup.
Clean My India – Pune
Offline and Falling Behind: Barriers to Internet Adoption – McKinsey and Company
Carnegie Robotics, LLC | Pittsburgh, PA | http://carnegierobotics.com

Software Engineer, Mechanical Engineer

Full time, US Citizens or Permanent Residents only.

== About Us ==

We started 4 years ago and build everything from autonomous vehicles to 3D stereo heads to GPS-denied pose systems to custom vehicles. We have moved into a new (old) warehouse in Pittsburgh that has undergone a total overhaul:
http://carnegierobotics.com/crl-construction-progress

Fantastic team, very interesting products and projects.

== Position ==

We are looking for software and mechanical engineers who have hands-on development skills to work on a variety of interesting and challenging robotics perception and control projects. We seek candidates who take pride in building solid, rigorously tested systems.

Please contact me for more information:

Chris Osterwood
Senior Engineer
osterwood@carnegierobotics.com
Immutable and interned!

(This may or may not be an issue, but it still offended me somewhat, since you're getting all of the compile-time cost at runtime, combined with none of the expressiveness. Not a tradeoff that impresses me, personally, even if the speed is fine - but it takes all sorts.)
This site looks great!
> but is this a human extinction event?

Seems like there's no prognosis as to what consequences a GRB event may have on humans specifically in the paper quoted on Wikipedia:

“The greatest danger is believed to come from Wolf–Rayet stars, regarded by astronomers as likely GRB candidates. … if WR 104, at a distance of 8,000 light-years were to hit Earth with a burst of 10 seconds duration, its gamma rays could deplete about 25 percent of the world's ozone layer. This would result in mass extinction, food chain depletion, and starvation.”

I suppose this topic is hard to speculate on, as it requires substantial knowledge on a variety of disciplines.
It's a big and complex project. Not that easy to just jump in and finish IDE.
You're missing my point. Have a look at what the EFF has to say (with cool test too):

https://panopticlick.eff.org/
Are there any plans to add git branch/commit intergration?
Don't they have practical courses? Do experiments?

Soviet and post-soviet education systems were modelled after german ones, but lab practice makes around 30%. For more abstract topics, practice/discussion/seminars.
Patching Vulnerable Servers While Crawling the Web
Essentially, we fed audio out from an Android phone through a mini audio amplifier, then soldered from the amplifier directly in the Furby's speaker.
US
We are making the world fitter, healthier, and happier through the power of communities. We are looking for someone with a passion for creating software that delights users. We are hiring expert developers.

YOU
You are excited about making the world fitter and healthier. You are detailed-oriented and believe the little things matter. You're passionate about our mission and you have a history of doing great work, even if not professionally, then I'd love to talk to you.

See more at: https://angel.co/fitmob/jobs or feel free to reach out to me directly at <hn-username> @ fitmob.com
What kind of stuff are you guys writing in Haskell?
Not if you can trust everyone employed at your ISP and every company they peer with.
Especially if you're not even using real JSON.

An actual JSON compliant expression spec would be somewhat interesting, to capitalize on existing parsers and tooling. It would be even more interesting if it had a 1-1 mapping to scheme or some other Lisp. This accomplishes none of that.
That is exactly the problem.

There is a generation of young people who grew up believing that education is a right rather a privilege and are now complaining that they spent all this time educating themselves and now there are no jobs.

You would be surprised how much airtime this kind of entitlement gets in the press in Denmark.

The sad truth is that education isn't what it used to be because educating one-self in a world where new information is added in ever increasing quantity is a never ending process. And so if you only think you need to really learn and study when you are at the university you couldn't be more wrong it starts in your childhood.

This unfortunately is lost on most.
>> "treat them like the Statsi agent they are, spit in their face and tell them they're not welcome in your life."

The HN hivemind is mentioned in a negative context quite often. If the parent's view were institutionalized as part of the orthodox/mainstream belief system around here, it might 1) genuinely constrain the NSA's operations and 2) be a socially beneficial application of groupthink.
Evernote's radical plan to kill files
I know exactly what happens.

But I think we have a disagreement on who that employer is. The employer stays the same,
no matter which artificial side, the "employee", takes.

I thought that much was clear, in today's world. Maybe it isn't. Maybe I am way too
cynical. Who knows.
Caltech or MIT, sure. I'm not as sure about Stanford though. Everyone I know at Stanford got in largely for legacy or athletics. While I have no doubt they'll be successful (based on their personalities and other intangibles) they're far from brilliant.

Additionally, as I wrote elsewhere on this thread, the networking benefits of an elite education primarily benefit those who had a good network in the first place. If you look at the type of student who lands a top finance or consulting job I'm sure you'll see the truth in this as well.
Law enforcement (and the powers it necessarily must be granted) is intended to be harder. That's the whole point of the various requirements and procedures that make up "due process". Yes, we could catch more criminals a lot faster if we relaxed those requirements, but history shows that always increases the error rate.

If the situation has changed and there are legitimate law enforcement needs that simply didn't exist in the past, then they should request a change to the social contract through legitimate channels and propose the necessary amendment to the constitution. Law enforcement's failure to even try going through proper channels speaks loudly to how little they actually respect the law.
Correct me if I'm wrong, it's an open version of Producthunt?
URX is hiring! San Francisco, CA

URX is building the Mobile App Search API for Developers

[ http://developers.urx.com/ ]

We're hiring Senior Software Engineers:

=== The Role ===

URX is looking for an experienced software engineer to take URX’s architecture to the next level by working on projects that touch all components in URX’s technology stack. As a polyglot organization, URX looks for versatile problem solvers with strong CS fundamentals who are excited to learn new languages and frameworks. The ideal candidate will not only build solid systems, but also excel at sharing knowledge with teammates and guiding the architecture of systems developed by the team.

=== Responsibilities ===

* Scale high-traffic web services
* Build distributed systems and data pipelines
* Design and own end-to-end, multi-tier architectures

=== Requirements ===

* BA/BS in Computer Science, or a related field
* Strong knowledge of Python, Java, Go, C, and/or Scala desirable
* 3+ years experience building distributed systems
* Experience designing, documenting, and building an API in a production environment
* Understanding of data flows and data integrity
* Interest in machine learning and information retrieval
* Experience with Lucene is a plus

=== Where to Apply ===

http://urx.com/careers/engineering
Oh its totally IRC bot and you get full access to their IRC channel for free![1] How cool is that :-)

[1] All the passwords/usernames and addresses for their c&c network are in the perl code so help yourself to some botnet I guess.
I love the idea of Open Source applications being distributed this way. Here's our application.... and everything required to run it in a virtual machine.
"the vastly smaller attack surface of something like Xen"

Um, citation needed. The exact behaviour of the entire x86 supervisor mode instruction set is not remotely a "small attack surface".
Oooh, "twenty minutes until three". I typically use until or shorten it to 'till. But I've seen/heard to as well.
This might seem counterintuitive but if this company is juggling invoices...stopping work is the worst thing to do because you fall off their priority list of people they need to pay.

while i don't think you should work with struggling companies and you definitely shouldn't work if there is a high likelihood of not getting paid..

but if you want to get paid...the best thing you can do is show how it's in their best interest to prioritize paying you over other outstanding invoices...
Looking at Github activity I don't think that this will be the case. You can clearly see that guys are busy with Eve now.
Possible. It was a little short in my opinion and the reader could get the impression, that the US model is superior, because so much "wonders" are coming from it. But the wonders do not have anything to do with the education system, in my opinion.
The browser is constantly repainting the polygon background at the top of the page, even when you've scrolled past it.
If I had a nickel for every IDE that promises to reinvent programming, I'd probably have $2.3m.
I love my big TV. Playing games on it on a Saturday evening after my kids have gone to sleep puts an ear-to-ear grin on my face.
Start getting paid upfront.
You don't have to be a selfish prick, merely deluded if you thing much of your taxes would end up in parties for people doing art degrees.
Hardly a u-turn. They went from no fees, to negligible fees (uproar) to no fees.

Also note that "fees" in the German context is a little bit different than other countries. e.g. Some of the compulsory costs are the equivalent to a transport season pass. Whilst I've got mixed feelings about that it sure seems more tangible that X amount of money disappearing into the general varsity fund.
Yes, but this is meant to be intuative and well designed.

Snarky comments aside, where odoo falls down is that it tries to be everything and do everything and unsurprisingly falls short if you compare it to a single purpose application.