skysight-inc/HackerNews huggingface dataset:
Sorry, many dynamic languages prevent against this. For example:

$ perl -Mstrict -E 'say $foo'
Global symbol "$foo" requires explicit package name at -e line 1.

Also, his comment about properties on objects is very debatable, too. Ignoring that the term "property" is overloaded and not defined, since I use roles (see: http://www.slideshare.net/Ovid/inheritance-versus-roles-1799...), I find out at compile time if my classes are missing an attribute or method (actually it's composition time, but that's splitting a hair that most will never notice). In short, I don't get frantic 2AM phone calls about a batch process trying to call a non-existent method.
Pica9 is hiring PHP developers in NYC
-We are currently growing and looking to build out our Campaign Drive product.
-We use the Zend framework and a lot of jQuery

http://pica9.com/careers
44 percent of all Spaniards under 25 are currently jobless.
Spotify's Service Infrastructure (SI) team in New York City is hiring.

We, the SI engineers, are on a mission to act as force multipliers for all Spotify engineers. We build and maintain software components that allow our feature teams to move fast without breaking things. Some examples of what SI engineers are currently working on:

- Core authentication systems for Spotify

- High-performance inter-system messaging software

- Core storage technologies (Cassandra, PostgreSQL)

- Service discovery and orchestration

The NYC-based SI team is just booting up and we're still quite small. New team members can expect to have a significant impact on our projects. Our mission is to revamp how Spotify deploys backend services and while we're currently looking at LXC, nothing is set in stone. As the team grows we'll start to branch off into other areas of the Spotify infrastructure universe. Lots of fun will be had.

If we are the right team for you, and vice versa, then you're probably a bit like us. Here are some of the traits that we share:

- a passion for programming and computing in a large scale distributed environment with millions of users

- significant familiarity with GNU/Linux or other UNIX-like systems

- knowledge of a couple of programming languages, typically including Python or Java

- an urge to KISS, to iterate, to deliver and to produce high quality software in the process

Does this sound like a place for you? If so, please reach out to us. We'd love to get to know you. Send us your CV (if you have one), a link to your hobby project or github and perhaps a short message to further explain who you are. Mention HN and we'll pay extra attention to your application.

https://www.spotify.com/se/jobs/view/omlBWfwY/
The Future Of RSS Is Microdata
One thing I've only come to appreciate during my professional development is that there are huge differences in the kinds of software people write and what's good in one scenario isn't necessarily good in another. A lot of people around here fall into the trap (myself included) of thinking that web programming is the entire universe of programming. That's not so, and the difference matters greatly.

If you're going to write a physics simulation, you're really going to benefit from some language features over others. I would argue that you especially benefit from static types because you control a lot of your stack and type checking can make your code very robust. On the other hand, if you're going to write a webapp, think about what you're doing: essentially slinging text around and taking random inpust from users, casting all of it to actual types, and shoving it into a data store (casting it again sometimes). What is the type system providing you in that scenario? Everything is cast at runtime somewhere.
There is a shocking amount of anti-hacker sentiment on this forum. There are so many people here that are desperate to make money out of the big new closed ecosystems that they are only too eager to badmouth open alternatives at every turn.
Bournemouth, UK. Base are looking for a full-time Midweight Front-end Developer to join our team.

About Base:

We build user-centred digital products and services for businesses, using data they already have. Every business generates data. We help our clients uncover the stories hidden in their data and transform them into something new and valuable. Clients include Timex, Garmin and Nottingham City Transport.

At Base you will be part of a team of makers and doers, working across a variety of projects and clients. We're agile, but not dogmatic about it. Our process evolves to suit our needs.

We value and support CPD, actively seeking clients with a like-minded desire to push boundaries, providing you with an opportunity to build your experience and skills. We practice a sustainable pace, recognising that we each have lives and families outside of work. Late nights and > 40 hour weeks are rare by design.

About the role:

1st class front-end. You will be used to working as part of an unsilo'd production team, where designers work alongside developers, in agile sprints where they're useful. Your main skill set is bringing concept artwork to life, turning designs (as Photoshop & InDesign files) into working HTML/CSS, using JavaScript. You'll be comfortable with canvas, SVG and graphical JavaScript libraries such as D3.js (and may have dabbled with WebGL). You'll be familiar with PHP and have experience with front end development for dynamic content/apps, using JavaScript libraries like Backbone.js, AngularJS or Ember.js.

Visualising Data. You'll have a keen interest in visualising datasets, with a good understanding of what makes information beautiful. You'll know that an infographic is only as good as the moment it was created. Turning great designs into live visualisations showing real data will be something that excites you.

Open all hours. You'll have a keen interest in the way openness in technology (and in particular open data) can change things. And you'll have ideas that mash one set with another, whether you've realised them yet or not. Our developers come up with projects for our clients, rarely the other way round.

More details: http://www.wearebase.com/BaseJobSpecificationMidWeightFront-...
Bad programming practices (which usually come from the business, in the form of unreasonable deadlines, untrained or unskilled programmers given high positions, and politically mandatory use of terrible legacy systems) are unmaintainable. I've seen static typing fall down just as hard when the developers weren't good.

Static typing is right for some problems, but the idea that dynamic languages are inherently unmaintainable in some way that most static languages aren't is one that I find incorrect.
"...instead of a better editor like Sublime Text"

Made me cringe.
It should be "most people who blocks JS". Just have look how blocking in Chrome and NoScript Firefox extension works.
> If there's one thing I do admire about Apple, it's that they seem to really only release stuff that's 'fully baked'

Unfortunately, they overbaked Maps.
"Coffee was made illegal in the Ottoman empire because people in coffee shops were suspected of sedition, not because they were having caffeine ODs and dying. Comparing it to heroin is just silly, and I say that as a supporter of legalization."

I think you're right about why coffee was illegal. Regardless, when coffee was illegal my understanding is that every Thursdays there was an event where they drank as much coffee as they could, to the point where there was actually a very real chance of ODing, in order to enter a mystical state. I can't find a real source right now, but here is an unsourced reference at least:

http://www1.lavazza.com/corporate/en/coffeculture/legends/ar...
automaticly inputting passwords is a terrible idea, please use ssh keys (and password them!). Pageant makes doing this not a pain, plus stuff like filezilla will automaticly use pageant keys to login for sftp!

http://the.earth.li/~sgtatham/putty/0.62/htmldoc/Chapter8.ht...

http://the.earth.li/~sgtatham/putty/0.62/htmldoc/Chapter9.ht...
I just counted, and The Verge takes 20 seconds to show any content on my computer with a cold cache. With a warm cache, over 10 seconds. If I disable JS, it's less than 5 seconds either way. And I'm sitting in the headquarters of an ISP (I broke http://speedof.me/ but I'm getting over 150Mb/s).
Oh yeah! That was probably what was stopping it from working. It did open up the opponents window though. I think the score raised to 2 after some moving around and then stopped (I guess it was my turn then).
Show HN: Track your projects on Twitter
Google cache: https://webcache.googleusercontent.com/search?q=cache:www.ne...

Though it doesn't contain any images :(
Am I missing the smoking gun here? It's not unusual for users to review several apps in the same area surely. What I tend to do is install 2 or 3 apps that look likely and choose which works best for me; usually I'll leave a review too [especially if the app is really bad].
I would also argue that you can get the benefits of a static type system with hardly any cost. Usually when people talk about dynamic vs static typing they imagine something like Ruby or Python vs Java, but there's no reason why you can't have a high-level, expressive language with static types.

All you need is a sophisticated type-system and smart type-inference that works everywhere (not just locally) and you'll be able to be just as productive as with today's popular dynamic languages but get all the benefits of static verification.
<i> can also just ask a human "please make me a sandwich" without specifying anything, and (most) humans could proceed to do so without more details</i>

Depends who you ask. My mate and a few close friends would know to make me a sandwich without bread, but hardly anyone else would get that right.
SEEKING FREELANCER - Central London UK - On site preferred

Two experienced PHP contractors required for three months to assist with the development of new internal systems.

I am posting on behalf of a second tier data and communications provider looking for a contractor on a short term basis to help develop new systems to assist with
the day to day running of the business.

Stack

* PHP 5.4/5.5

* MySQL / Maria DB

* Symfony/Silex frameworks

Desired experience

* Creation of RESTFUL apis

* Experience with test driven development

* Strong object orientated methodologies using SOLID design patterns.

* Use of a version control system ( git / mercurial / svn )

Please send CV to

CarolAnn.Connor [at] 6dg.co.uk
> So you can point out legitimate owners of the soil? Was there a contract among some folks? Maybe you have some theory of property rights. ... Btw, slavery once was legal too. It must be covered by your theory of justice.

[EDITED:] Your questions aren't especially helpful. "Legitimate" is merely a label. It's meaningful only insofar as it influences human behavior.

No doubt some so-called Native Americans still view the current "ownership" of the North American landmass as illegitimate and unjust. But you'd be hard-pressed to find many others whose behavior has been (or will be) the least bit affected by that view.

As to a theory of property rights, and for that matter a theory of justice, try this:

* A right is no more and no less than a personal desire that -- in a time period that's meaningful to you -- you can effectively cause to be enforced, either alone or in collaboration with others whom you can persuade to share that particular desire; and

* Justice should be regarded as consisting of scalable, sustainable happiness -- but unfortunately (1) many people regard justice as more or less identically equal to what they want at any given moment, and (2) we operate in a not-inconsiderable amount of ignorance as to what scalable, sustainable happiness entails. (In that regard, John Rawls's famous "veil of ignorance," from his A Theory of Justice, can be a useful decision-making tool.)
How to Respond When Someone Doesn't Need Your Help
Sending browsing statistics to something like Google is already happening regardless of if you have Javascript enabled. When you are on Google search and you click on a link it's tracked that you went to that link.

But besides that and besides that your usage statistics are being logged on the server itself regardless of what you do. Expecting Mozilla or any company to figure out how to block a javascript put request sent to Facebook, but not other put requests which are there by design of the site will only result in Facebook finding a workaround.

It's unfortunate that some people use Javascript in ways that slow down their site. For example with horrendous 'sharing' widgets. You can use plugins to disable those items from loading but it wouldn't be Mozilla's place to decide that on everyone's behalf.

These days Javascript is as much a part of websites as the HTML itself.
As someone who uses strongly, statically typed functional languages (dependent ones like Coq no less), and who rarely writes unit tests, I downvoted you because you're wrong. Specifically:

> the type system of the program proves the program correct.

Is not a valid statement, unless you're actually writing proofs in Coq. I bet you aren't.

"The type system of the program proves many simple properties of the program correct" is much more correct.

Also:

> Because my code has no mutable state

No, that's not why. The type system you use may be incapable of reasoning about mutable state, which coincidentally serves to indicate that it most likely can't reason about such things as "this list is sorted", further supporting my initial counterpoint.

Check out ATS or Why for examples of languages that permit reasoning about mutable state.
$ cat err.py
def a():
print b
$ pylint -E err.py
************* Module err
E: 2,8:a: Undefined variable 'b'
> "native performances" still makes sense if you are talking
> about building physics engines or whatever kind of heavy
> simulations, but not for 90% percent of the smartphone
> apps today.

You have no idea what does it cost to have 60fps scrolling of the non-trival view.

Update: after watching this video: http://www.youtube.com/watch?v=Iu8q-oISbas I do not understand how anyone can call UI responsive and maintain a straight face. Or I do not know what are you comparing it to. Just take a look how the contacts app works :(
Yup, we're a recruitment company (amongst other things). However, we're very specialized. We focus on international IT recruiting where companies are willing to sponsor you for a work permit (or the local equivalent). This is because my wife and I are both serial expats and we believe that people should be able to live anywhere in the world they want (we're not saying it's practical, but it's still our dream).

Thus, since we have a lot of background in this area, I'm moderately well-known in the IT world and I keep getting companies contacting me to help them find people (because of my "how to become an expat" blog http://www.overseas-exile.com/), we decided that we'd create a company to help people live their dreams.

We're proud of the fact that we help people move to other countries. We're particularly happy with one young developer who escaped a violence-filled, high unemployment country. Of course, since we're "just recruiters", we're stereotyped and there's no easy way to shake that, but I'm proud of the work we do.
SEEKING FREELANCER - Remote

We need someone to help us edit our documentation. You need to be a native English speaker with excellent written skills and experience in writing and reviewing technical documentation.

We're based in Paris, France. This isn't a one-time job, we're looking for a long term partnership.

Send us a resume, work samples and your rates at info [at] bureau14.fr.
Some people also block colors and fonts. I have not seen webpage with white background for couple of weeks now :-)
My first guess is that the downvoter(s) think this is for booking.com...I initially did (but I didn't downvote, because on second look, it isn't clear).

There are a lot of bad stories about working at booking.com...one of those things you don't even know how you know, but you realize it must get brought up a lot for that association (and only that association) to exist with the company.

edit: now I did downvote it for posting a duplicate where a simple list of countries would have sufficed.
No I meant coffee. But tobacco was the similar. Back when it was banned by the pope people were using it for entheogenic purposes. Essentially they would be completely fucked up for 2-3 days, also to the point where they were very near death.
let me help you with that:

http://www.dropbox.com
Literacy is a dying skill
I also run with JS off by default and use the NoScript addon to control JS whitelists and blacklists. I find it useful to remove all the tracking, analytics and social bits that infest most websites. I get more speed and far more security from drive-by infections.

Surprisingly I have found that quite a few websites look better with no JS, probably due to their fancy fonts being disabled.
SteepRock is seeking a full-time, experienced Python engineer based in the US to help us deliver high quality applications to the pharmaceutical industry. This job is REMOTE only.

We are a fast-paced, client-focused company; we want to continue our success and don't mind working hard to get there. We're looking for someone who's got great attention to detail, loves writing Python code and solve challenging problems on sometimes challenging deadlines. Sounds good? Please apply to join our energetic team!

SteepRock (http://www.steeprockinc.com) is an established software and services firm in the Pharmaceutical industry that has an immediate opening for a Python developer. In this position, you will be working closely with the CTO and other senior developers.

REQUIREMENTS:
- 2+ years of enterprise scale software development experience.
- Extensive direct experience developing, delivering and maintaining a multi-user browser-based application
- Commercial Python experience and complete command of the language
- Ability to write and read SQL, including complex joins and optimization
- Solid understanding of JavaScript fundamentals
- Solid understanding of HTML and CSS

Apply to jason.cater@steeprockinc.com. Please include resume and salary expectations.
http://clojure.org/
That the code is doing what you wanted it to do, instead of what you actually wrote?
SEEKING WORK - Remote

UK based web dev, looking for small chunks of web development - most interested in Django and Angular work, but I'm quite prepared to dust off my Ruby, C# or even Wordpress development if the project is interesting.

I'm good with relational data and if you need someone to bounce a design off, I'm happy to be a sounding board.

I'm reasonable on the front-end, but not terribly original, happy to hack up html and css for you to predefined designs.

email in profile - say hi :)
There are like 4 different NAT port translation models. In some of the models, the NAT algorithm will actually preserve the ephemeral port number in the NAT mapping. This falls apart quickly when you have a few NAT clients. But it can make legacy software work a lot better. We have weeded most of that software out at this point, or at least provided application gateways that inspect the content of the packet and tweak little things - consider how you need an extra kernel module for FTP and SIP and stuff.

The models are detailed nicely in this diagram. https://en.wikipedia.org/wiki/Network_address_translation#Me...
Why are you people downvoting his comment? He expressed his opinion and provided arguments. Granted, I don't agree with him, however, I am not going to downvote just because it says something I don't agree with. :)

As for Firefox OS, I am really excited, because more competition == lower prices and more to choose from. Hehehe!
I said "work unit" and I'm talking about government employees :) The government gives them the car and they use their connections to "qualify" for subsidized housing (the kind they are building for the poor!). So the result is a lot of Audi's parked around public housing.

Whatever works.
Certainly, but they aren't living in poverty. For example,
http://en.wikipedia.org/wiki/Unemployment_benefits_in_Spain Person with no children: 497.01 / 1087,21 euro which is $650 for doing nothing.
> I would imagine Firefox's OS would be welcomed by the
> public and promoted by privacy advocates.

You can have the same level of privacy on the other platforms. Just turn airplane mode on.
My point is, it is not about OS, it's about services. Unless Mozilla offer their own GSM, Search, cloud, whatever, it does not matter.
Uff, I got spoiled by Python's simplicity last week when I checked its page... Java is way more complex to follow through.
London, UK - Microco.sm - Front-end Developer

We want to fix forums. We don't think it should require any technical knowledge to create one, be a member of one, and it should work on mobile, and be accessible, and be a joy to use.

We've built a killer back-end http://microcosm-cc.github.io/ and we're looking for someone to help us build a killer front-end for it.

We've got out first pass done, and it uses Bootstrap 3, a sprinkling of jQuery, some nice HTML forms, all basic stuff. Help us make that great, help us improve the UX, help us make it work everywhere, and help us then iterate faster and improve it.

Contact details in my profile.
Can There Be A Medical Hub In Chicago?
SEEKING WORK - Remote (NYC)

I want to help you with your mobile development! I design and build mobile apps, both for native iOS and web. I'm comfortable working anywhere on the stack, from design to front-end development to server work. Some of my favorite tools include Ruby/Rails, CoffeeScript, Backbone, and Sass (and obviously Objective-C/Cocoa), but I'm much more about picking the right tool for the job at hand. I'm also big on practices like test-driven development, but above all it comes down to what you need and what works for you; bove all, I'm about collaboration and open communication.

My site: http://lazerwalker.com
SEEKING WORK - San Francisco Bay Area or Remote

Hi, HN! I'm a full-stack web developer, looking to take on interesting freelance projects. I enjoy using Ruby, Rails, PostgreSQL, SASS, RSpec, and CoffeeScript/jQuery, but I always try to find the best tools for the job at hand. Recent projects of mine include a GitHub recommendations service and a rewrite of the Open Library gem.

GitHub: https://github.com/pemulis

E-mail: john.d.shutt@gmail.com
Show HN: Backbone-Fill-Collection, fill with mock data for prototyping