skysight-inc/HackerNews huggingface dataset:
This is a claim I hear often. I don't think its true. Its possible to have integration tests for every user story, yet still not cover even a fraction of the possible code paths due to an explosion of different possible outcomes and inputs.

The great thing about types is that they're guaranteed to cover all code paths. They can't guarantee certain categories of things, but for the things they can guarantee, they easily provide 100% coverage, something that is impossible with integration tests alone.

They are also a tool to greatly reduce the number of allowed inputs and outputs for most code, which in turn greatly reduces the number of tests that actually need to be written. Runtime type assertions only provide one level of that: if you are sending nonsensical input to a method in an uncommon code path not exercised by your integration tests, the runtime type check will probably fail too late (in production). While runtime assertion can tell you if you call your code wrong at runtime, they can't answer "What are all the places that send incorrect input to this method?" Types can do that.

Not to mention that runtime assertions can be costly, unnecessary and very repetitive if added for every method. Comparatively types are free in terms of both performance and programmer effort, especially in languges with good inference.

In short, tests cannot replace types, just like types cannot replace tests. In the areas where they do overlap, types are a way better, more efficient, more tooling friendly choice.
I would kill all the apps and the twitter.com front-end, and focus on the back-end, making Twitter an open platform again.
Kit | Frontend Software Developer | New York, NY | ONSITE, Full time, https://kit.com

Come build an amazing experience that users will love. This is a rare opportunity to work with entrepreneurs with a solid track record on a very early stage product. If the following describes you, get in touch!

* You are passionate about building and shipping a product that users love
* You thrive on the challenge of how to build a new product experience from scratch
* You care about finding and focusing on the right ideas collaboratively
* You love working in teams and work great under pressure

Kit is a platform for product discovery. We are building a service that uses social connections to recommend products across various categories. We were recently named as one of Business Insider's Top 15 NYC startups to watch. As a part of Expa we sit in an amazing office in Soho, are surrounded and supported by smart & experienced teams, and get early access to cool new products.

Our small team is diverse, inclusive, and fun. It is not required that you identify with a particular gender, race, orientation, national origin, age range, hobby set or belief in order to be a member of team Kit.

We hail from some of the best companies out there including YouTube, Apple, Google, Gilt, and Foursquare. We even count a professional producer/DJ in our midst.

We are also hiring a designer. You can check out our job listings at https://kit.com/jobs to apply.
I didn't call out the source because it contradicted me, I called it out for poorly backed sources, wild exaggerations, and unfounded assumptions.

The article starts with "It isn’t clear if Bill Gates was veiling a threat[1] to help depopulate[2] the planet by 30 million people, if he was simply scare-mongering...". The links go to articles about how Bill Gates dad was the head of eugenics group planned parenthood. That one needs to be backed up, or perhaps they just don't know what eugenics means? Nope, apparently the second link going into the history and details, they know exactly what eugenics is, they just have a hard time between disassociating the (somewhat fictionalized!) history of the group from the current actions. An organization's founding and past actions don't necessarily factor in to their current goals and actions. Tying Margaret Sanger to Nazi policies (which she was against) without backing it up when there's evidence to the contrary[3] is yet one more reason to discount this source.

"[Bill Gates] who has been kicked out of India[4]". The linked article is about how India is funding a key component of an immunization program that used to by funded by the Gates foundation, because there was growing public sentiment that the local government should be handling certain needs itself to protect from outside influence. It goes on to say "[Senior health ministry official] Swaminathan, however, stressed there were no instances of influence found and the decision was only in part prompted by a wider perception about foreign funding of the program."

And that's just the first paragraph.

The trolling accusation is actually the least damning possibility I could come up with as to why you posted that, because the alternative is that you believed everything in the article at face value, and seriously, what the fuck? Do you really think that an interlocking web so self-referencing propaganda blogs, which either never link to a reputable source or when they do wildly misinterpret (or misrepresent) that source are a substitute for critical thinking and actual news? You've linked to the blogosphere version of the Weekly World News, and have done the equivalent of trying explain to everyone the wonders of Bat Boy[5]. Hopefully you were as self aware about it as the Weekly World News was.

1: http://atlantablackstar.com/2014/02/25/10-disturbing-facts-a...

2: http://www.nowtheendbegins.com/bill-gates-and-eugenics-the-w...

3: http://www.nyu.edu/projects/sanger/articles/sanger-hitler_eq...

4: http://www.reuters.com/article/us-india-health-bmgf-idUSKBN1...

5: https://en.wikipedia.org/wiki/Bat_Boy_(character)
DevTools: What you need to know
Is the Sr. Software job in Glasgow? Would love to visit the city but not sure that USians can work there easily.
It's nice, except how they are plugging their own GoCD as a Jenkins replacement. Yes, pipeline builds are nice. But only if you fit their very specific niche, and that's not all that Jenkins does. The GoCD plugin ecosystem is also basically non-existent, the integrations with github/gitlab/etc are all maintained by one guy who refuses to implement bitbucket support even though the GoCD plugins page lists it as the bitbucket plugin.

That's just the first thing I ran into with this radar and it's annoyed me ever since.
Presenting the Structured Sourcing Framework
Nothing's wrong per se (and it has roughly the same goals as mine), it's just that it's pretty much the XML equivalent of M3U, and doesn't have any provisions for stronger identification (it relies on titles), at least as far as I know.

I would really like the MBID to be the main way of identifying songs throughout the industry, and possibly the AcoustID fingerprint, as that's more specific. I think it would be fantastic if each song had its own UUID that computers could refer to, and this spec tries to incorporate that.

Since I don't really gain anything from reusing its format (most players won't support the strong IDs), I thought I might as well create a new format that was better suited to this task.
Exactly, I've been using Jitsi Meet for over a year. It works in all browsers flawlessly, it's encrypted, it's open source and there's no account needed.
The keyword filtering strikes me as the most filter bubble inducing thing I've heard in a while.
Hash it how, exactly? H(s || m)? HMAC(m, s)?

> The only time this fails is if your hash function is broken, and if that's the case you've got much bigger problems

Or if your salt is leaked.

A salt, by definition, is not a cryptographic secret. That's why they're stored (in plaintext) as part of the hash in every password hashing algorithm.

It sounds like you're advocating for an additional HMAC instead, with a secret key used to authenticate these messages instead of a salt. Which is fine.

But to call split tokens convoluted, then turn around and propose salted hashing the entire thing and still not solving the existence of the timing leak? I find this hypocritical, and oddly reminiscent of people who think it's fine to escape-and-concatenate to solve SQL injection when we've had prepared statements available for over a decade.
aside from lack of funding, it might actually be better for the community to maintain this, no? I'd certainly prefer an independent set of developers build this, as principle.

PS: goog employee
'Best ever' view of what a dinosaur really looked like
ComplyAdvantage | Python Engineers | London | Full-time, On-site

Fighting money launderers and terrorists by identifying suspicious financial transactions and stopping them. We work with many of the major financial players and are a key part of their defence against financial crime.
We're currently hiring mid-level to senior Python Engineers to join our new team.

Key Qualifications:
* 3+ years professional Python * Enterprise, highly performant mission critical software * NoSQL experience a plus * AWS & Docker experience * Smart * Enjoy GSD

Please see full job descriptions here:
https://complyadvantage.workable.com/jobs/412005

https://complyadvantage.workable.com/jobs/411952
Not the parent, but all other things remaining the same, population growth alone will drive the need for more cashiers. Since ATMs did not stop population growth, percentage based metrics help account for that.

So the different types of numbers can help drive home different points:

* in absolute numbers, ATMs didn't cause any job losses.

* in relative numbers, there are less job opportunities in this space. (e.g. there used to be a need for 1 cashier per N people, not there is only a slot for 1 cashier per 2N people).

The second type of thinking is what people are worried about - if we keep reducing percentage of people who are needed to do stuff, what the other folks do?
Ask HN: What is the “jquery” of PHP?
I have been using PHP for a while now, but I always did it raw - no frameworks.

Is there an "all purpose" PHP framework that I should know of? Kinda like jquery is a javascript simplifier in a way, that can be used for pretty much anything.
Motion controls actually worked really well for the Madden series on Wii. Only, EA put some bargain-basement coders on the Wii versions, and that, coupled with the below-average graphics, are what made it not as successful a game series.
SEEKING FREELANCER - Remote, Bath, England

I have a legacy Django app that is slowly being modernised and made more reliable but I could do with ongoing help with the process.

A key part of the work is to add minor features and refactor under the cover of tests--a key requirement for anyone getting in touch would therefore be a willingness to write Django/Python tests, and to be happy to take extra time on the work to gradually raise the quality of the codebase.

As the main developer for the project I'll do whatever I can to make it easier for you to do your work, for example you will only deal with me and Github Issues rather than clients further upstream.

If you could help me to increase test coverage and quality of this codebase please contact me at stefan@stallic.com. No agencies please!
> Who's saying anything about prohibiting speech?

> And so Twitter should show them the door.

Um, you just said something about prohibiting speech. I agree, Twitter's not the government, so it's not a First Amendment issue for Twitter to do this. Nevertheless, you are calling for Twitter to block speech.

> I will not bother to engage with you with regards to "oh, threats aren't violence" because that is silly and you should be better than that.

I will not engage with you with regards to "threats are violence", because you're trying to change the definition of words, and then say that those who disagree are silly. You should be better than that, or at least better than your "argument" in the last paragraph.
The SNES was extremely underpowered compared to my desktop at that time. A 3 MHz 16 bit CPU in the early mid 90s like I had in my 80s home computer, except it was 1994 not 1984 and I had a 40 mhz 32 bit 386 and was playing with this new "linux" thing I downloaded as a series of floppy disks from a local BBS.

Nintendo hasn't changed, but the console market has, such that their competitors gave up on the console ideal and now ship what amounts to strange desktops with mid grade video cards.

It seems to just be a cost thing.
Some models of LG G5 have VoWiFi. You can make calls even when your cellular network is not available as long as you have an internet connection. Unfortunatly LG G5 H-860 doesn't support VoWiFi.
It is, though that wasn't always the case in the US; at their peak a third of workers belonged to a union.

And it is unfortunate, because workers in strongly unionized industries enjoy higher wages even if they do not belong to the union. The decline of unions in the US has gone hand in hand with the rise in inequality. A lot of the jobs that US politicians talk about bringing back were union jobs, but even if it were possible to bring those jobs back, I don't think they're talking about bringing back the unions.
SEEKING WORK - San Francisco or Remote

I build high performance, distributed, real-time backends for apps.

15+ years experience building reliable backends for web apps and mobile apps.

Extensive experience dealing with security (anti-web-spam, anti-fraud, anti-troll, anti-account-takeover).

Tech: Golang, MySQL, Cassandra, Prometheus, Grafana, AWS, GCP, DigitalOcean

Will travel.

http://stackoverflow.com/users/1305696/daniel

Email: daniel@GoDeveloper.com
I said my dog :) She wasn't spayed, and in general has a pretty awesome life (for a dog).
Pusher | Software Engineers & Sales Engineers | London | https://pusher.com/

Pusher is a multi-tenant distributed system that allows our customers to deliver billions of messages to their connected users. We operate at massive scale, and this informs everything we do.

Our engineering team is based in Shoreditch, London. We are looking for engineers who want to work on interesting problems in a production environment, and take responsibility for the real-world operation of a large and increasingly distributed system. Our software stack is built around Go, Ruby, Node.JS, Redis, MySQL, Git, Puppet and Ansible.

Our standard interview process is pretty straightforward: two Skype interviews and a half-day onsite technical interview covering real-world problems we've experienced, with travel and accommodation expenses paid.

We are currently hiring Software Engineers to work on our platform, and Sales Engineers to work with our Sales team.

More information at https://pusher.com/jobs.
That's been my experience with Hangouts but everything else I've used seems to work ok for the most part in FireFox.
How would they display ads in email accounts if the content is encrypted? Just pure pragmatic reason.
It runs Cray Linux (based on SUSE) and assuredly somebody is running Fortran on it in some form.

Many people think these large machines are intended for a small handful of users that run extremely large jobs. That's typically not the case; they typically have tens of users per day up to hundreds per week, depending on institution. With diverse users comes diverse software and the challenges based on that.
Exactly...two things that are ubiquitous on modern devices, but aren't on the Switch because of what seems like rushed online infrastructure. Why should we have faith that Nintendo has successfully executed social matchmaking and account services, which are much more bespoke?
The lack of a web browser is I suspect a reaction to WebKit vulnerabilities having been one of the primary entry points for people hacking the (New) 3DS. Omitting this functionality reduces the OS's attack surface.
Black Mountain (blkmtn.com) | Director of Security | San Diego, CA | Onsite, Full Time

Black Mountain is a software company that develops innovative, tailored solutions for data aggregation, process management, and business reporting. We've made the Deloitte Technology Fast 500 List for 3rd year in a row. We're a fun company to work for, and we have great benefits.
https://www.themuse.com/companies/blackmountainsystems

Position Description: We're looking for a driven, experienced and hands-on security professional to own the day-to-day and strategic security initiatives. Your day-to-day activities will range from pursuing security compliance to implementing a WAF solution for our AWS-based cloud offering.

Contact: jcook@blkmtn.com & kbaker@blkmtn.com
Two reasons: first, the earlier post specifically called out that, "...ultra wide 1440p monitors cap out at 100hz right now, not 144hz."

Second, it's all about pixel count. While 4k is still miles ahead of even the 3440x1440 ultra-wide resolution, that resolution represents nearly as big a jump in pixel count as the jump from 1080p to 1440p.

The goal is 4k at a minimum of 60fps. Consistent 100 hz or even 144hz on an ultra-wide 3440x1440 monitor represents a solid step in that direction.
Not yet, but great idea, I've added it, thank you!

YAML is a superset of JSON, so the file can look like JSON if you want, although that's not mandatory. I don't think there are many languages that don't support YAML these days, and one of my goals was to make the format not-entirely-unreadable by humans.
BetterLesson | Software Engineer | Boston, Massachusetts | Full-time, onsite

Work with the latest tech, and enjoy an amazing culture, with laser focus on a great social mission. Join a tight-knit and efficient team as we support our company’s growth.

We're looking for:

* Technical Flexibility

* Development Speed

* Cultural Fit

Our primary stack is Python and ReactJS. We also work with PHP, NodeJS, and Amazon Web Services, such as AWS Lambda.

At BetterLesson (https://betterlesson.com), our mission is to empower teachers (K-12) through personalized professional development, and in turn make a bigger impact on students across the country.

Join us! https://betterlesson.bamboohr.com/jobs/view.php?id=10
You write it off as marketing costs and go on with life. What else should you do?
This is a very good point. Large clusters are typically shared resources, this is a big problem for the US forecasts since we have to balance the time/cpu and timeliness of results.
Azure Stack TP3 Introduces Pay-As-you-Use Pricing Model
SEEKING WORK - London, UK. Prefer Remote.

Freelance developer based in London with a focus on iOS development. I've been developing for the platform since 2008 and have significant experience with both Objc and Swift. Mostly interested in short-term remote projects but open to anything that's flexible.

Stack Overflow: https://stackoverflow.com/users/470763/kjakm

Github: https://github.com/kjakm

Email: kieran [at] hotrodsoftware [dot] com
I wonder how Kotlin's JavaScript backend compars to Scala.js in Li Haoyi's list of fundamental reasons for betting on Scala.js:

http://www.lihaoyi.com/post/FromfirstprinciplesWhyIbetonScal...

I have a few concerns about Kotlin's JS backend:

How much can the complete JS bundle be optimized by an advanced whole-program optimizer like the Google Closure Compiler?

Kotlin for JS has no reflection, and I think JetBrains should not look into that as they said they are. But is there powerful compile-time code generation instead, e.g. through annotation processors?

Is there, or will there be, a healthy ecosystem of pure-Kotlin libraries that can be used with both the JVM and JS?
AllYearbooks | Full-stack developer | St Ives, Cornwall, UK | ONSITE, https://allyearbooks.co.uk/jobs#dev

We're looking to grow our small development team who are working on our cutting edge, custom-built HTML5 <canvas> based yearbook designer. By using node-canvas to generate PDFs on the backend, we share the same Javascript code between client and server.

You'll be working primarily with Javascript, using Node.js as well as PHP on the server, connecting to a MySQL database on Linux servers. Future plans could see React.js and RethinkDB becoming part of our stack. Ideally you have experience with Git, build scripts (we currently use Gulp), general server setup and operation (DevOps) as well as HTML/CSS interface construction.

The job is onsite, in rural Cornwall (UK), right on the beautiful south-west coast :) Excellent surfing in the area!
Black Mountain (blkmtn.com) | Software Engineer in Test | San Diego, CA | Onsite, Full Time

Black Mountain is a software company that develops innovative, tailored solutions for data aggregation, process management, and business reporting. We've made the Deloitte Technology Fast 500 List for 3rd year in a row. We're a fun company to work for, and we have great benefits.
https://www.themuse.com/companies/blackmountainsystems

Position Description: C# / Selenium / JS / TeamCity / Chef / OpsWorks This is an exciting time for an Automated QA Engineer. You get to build the solution from scratch using the technologies you feel best fit the problem space. Help us move towards a Continuously Deployed product.

Contact: jcook@blkmtn.com
FWIW, here's a earlier post about chat architecture and talks a bit more about how it uses Erlang.

https://engineering.riotgames.com/news/chat-service-architec...
Interesting, thanks for the insight.
Have a really large number of circuits. It's the same as how you can use PDEs to model atoms. If you have enough atoms in the collection, you don't have to think about individual atoms.
Nintendo also sold consoles at a loss. The Wii U was sold at a loss, but they specifically didn't want to do that with the Switch (http://venturebeat.com/2016/10/26/nintendo-wont-sell-switch-...). I believe the original Wii was originally sold at a loss, but it wasn't long before Nintendo got the costs down and got profit on hardware sales.
MazeMap | Machine Learning Engineer | Trondheim, Norway | www.mazemap.com

MazeMap provides indoor maps and navigation services. We are a 3-year-old start-up, but already work with customers on all continents. Our goal is making indoor maps as ubiquitous as outdoors maps. The only way to achieve this is through automation. To support this effort, we are looking for a machine learning engineer for our AI team in Trondheim, Norway.

Look here for more details:

https://www.mazemap.com/jobs
It's never too late!

Could you put some examples or make some suggestions? I'm looking for a new hobby, which, apart from being a hobby itself, could help me in other aspects of my life.
They have plenty of upside to allow import through this format, as you can just upload your Winamp (yes, I'm old) playlist to Spotify and immediately migrate to their service. I'm hoping there'll be enough user demand that they'll choose not to appear evil and support export as well.
Black Mountain (blkmtn.com) | Software Engineer | San Diego, CA | Onsite, Full Time

Black Mountain is a software company that develops innovative, tailored solutions for data aggregation, process management, and business reporting. We've made the Deloitte Technology Fast 500 List for 3rd year in a row.
We're a fun company to work for, and we have great benefits.
https://www.themuse.com/companies/blackmountainsystems

Position Description: C# / SQL Server / JavaScript Junior - Mid level We are constantly adding new functionality into our core product. Alongside our core product, we have some fresh new initiatives we are building from the ground up to help us break into new market segments.

Contact: jcook@blkmtn.com