skysight-inc/HackerNews huggingface dataset:
>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.

Which is true in any language.

Having a hierarchy of integration tests helps to offset the combinatorial explosion, as does sanity checks that eliminate invalid code paths. These perform a very similar function to static types but you don't have to use them in prototype code and you can add them retrospectively in production code.

>The great thing about types is that they're guaranteed to cover all code paths.

Types are something every programming language has.

>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.

Inserting type and sanity checks can achieve virtually the same guarantees as static typing when you have a comprehensive test suite.

When you don't have a comprehensive test suite, static typing may seem more attractive but it's a false sense of security.

>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).

Given that you have untested code, you have a higher likelihood of bugs. Period. In statically typed languages too. In dynamic languages those bugs are likely to manifest a bit differently. Yay?

>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.

Arguments that argue best practice that start with with "given that I have poor test coverage..." are not especially convincing.

>Not to mention that runtime assertions can be costly

Runtime assertions are costly in CPU time. Static typing is costly in programmer time. CPUs are cheap, programmers are not.

>unnecessary and very repetitive if added for every method.

Oh yes, which is why I don't add them to every method - just methods where I am convinced they will be useful.

>Comparatively types are free in terms of both performance and programmer effort

Static typing never comes for free and it is often highly inappropriate (which is why many statically typed languages have dynamic typing bolted - e.g. see reflection in Java).

>In short, tests cannot replace types, just like types cannot replace tests.

You were arguing above that static typing was great because it caught bugs in untested code. That certainly sounds like you think it is replacing tests.
SEEKING WORK - REMOTE / New York City

I am an independent software consultant that can help your development team reliably and sustainably build and deliver amazing software. With over 15 years experience in operations and application development, I now specialize in helping companies automate their infrastructures, adopt and operate container orchestration platforms, and establish automated, repeatable deployments.

My services include:

* Infrastructure automation with Terraform / Ansible on AWS, GCP, Digital Ocean, or other IaaS cloud providers.

* Terraform training.

* Container orchestration solutions using the Docker stack and Kubernetes.

* Backend development (Golang).

* Establish the processes and tools needed to ensure fast and reliable automated deployments and move your organization along the spectrum towards continuous delivery.

more: http://ryaneschinger.com | https://github.com/ryane | ryanesc 'at' gmail 'dot' com | @ryanesc
So no one will see the tweets you already aren't tweeting?
Garfield’s a boy right? How a cartoon cat’s gender launched a Wikipedia war
You're making a big assumption that he could have achieved the same result using the techniques that failed for the rest of the team.
Comcast | Sr Developer | Philadelphia PA | Full Time Onsite $110K+

Like what Amazon is doing with their AWS toolset? (current S3 troubles notwithstanding) Think you can do better? Want to get in on the ground floor of that effort?

If you can get over the fact that we’re not a very popular topic at dinner parties then we can make it worth your while and challenge your ability to channel and organize data streams for ourselves and our partners.

Comcast is -very- motivated when it comes to putting together tools and environments that leverage the literal crap-ton of data (yes, thats an official SI unit) that arrives on our doorstep every second. We’re not stuck on must-have tools, languages, or mindsets since we know that the most effective ones will eventually show themselves regardless. The same applies to the likes of yourself. We’re less interested in languages you code in, if you’re competent then you’ll be adaptable regardless.

Now, that said, our current toolsets include: Spark, Terraform, Ansible, Genie, Docker, Kubernetes, Kafka, Java, Scala, and a few others.

Tell us what drives you, what you’re passionate about.

Ping me at: br24 at comcast dot net I can tell you anything you need to know.
Stitch (stitchdata.com) powers ETL for hundreds of customers, and we provide the Singer integrations as part of our product.

ETL definitely existed before Singer and Stitch, however, and two of the most well known enterprise-focused products are Informatica and Talend.
I'm saying, making sound investments[0], requires good economic skills, long-term planning capabilities, and an understanding of the risks.

Here Uber changing policy or pricing is a risk! In this case, to make a sound investment, you need to calibrate the rewards against that risk.

Only looking at the potential upside, not realizing that the risk exists, is foolish.

Faulting Uber, for being flexible to market forces, is naive. Not faulting the driver for making an uneducated investment, that is unreasonable.

[0] Either to facilitate driving for Uber, or something else
10% Happier | Lead Developer or Director of Engineering | Boston, MA | ONSITE | Full Time

A clear, simple approach to meditation with a NY Times bestselling author and some of the most respected (and cool) meditation teachers on the planet. Launched last year, 8 person core team, venture-backed, growing quickly. (Here’s the app: https://itunes.apple.com/us/app/meditation-for-fidgety-skept... )

We're looking for a lead developer or director of engineering excited by the challenges of building a fast-growing + consumer mobile + meditation startup.

You're likely a full stack generalist with mobile experience, ready to tackle anything from architecting the back-end to coding our consumer apps (currently iOS only, Android coming soon). In addition to leading the technical direction of the company, you'll also help establish a strong engineering culture - mentoring, recruiting, development process, etc. Last but not least, you'll work on a product that actually makes people's lives better. (If you don't believe us, take a look at our reviews on the App Store.)

The product (for now) is our iOS app. It’s built in Swift & ReactiveCocoa. Our web-back end is Ruby on Rails and Postgres, all living atop Heroku. If you’re interested in functional programming & clean, readable code, we think you’ll like what you see - but we’d prefer it if you helped us make it better still.

The interview process involves a 30min call, and two 2hr interviews (followed by reference checks and conversations to answer any questions you have).

Email me derek@ (10percenthappier.com) if you’re interested.
Ha. I think just about everyone with a pet has thought of that..

But, if actually given the opportunity, I doubt most people would take it!
I would argue that this is a questionable conclusion, given a sample size of 2 (or 3 or 4, for that matter)
Microsoft Azure Stack TP3 is available – and why you should care
New Zealand has a talent vacuum in tech. Highly skilled Kiwi born talent often move overseas to Australia, London, or the US to go after higher wages.

It's this vacuum and the growing tech needs that allows for these programs to happen, or for somebody to get a 5 year work visa on work experience alone.
Exponent | Software Developer | Palo Alto, CA | ONSITE, FULL-TIME | https://getexponent.com

Exponent lets web developers build truly native apps that work across both iOS and Android by writing them once in just JavaScript. It's open source and free and uses React Native. Several of our engineers are core contributors to React Native, and we regularly collaborate with Facebook and other companies on the direction of the framework.
Our technology is built around an Android/iOS application which allows developers to load their JavaScript projects on the fly with no native build dependencies or waiting period for store deployment. Out of the box, developers using Exponent get access to native mobile APIs like push notifications, camera, maps, and more (https://docs.getexponent.com/versions/v14.0.0/index.html).

We have a lot of irons in the fire, and we're looking for engineers who can comfortably own and work on multiple projects. Some examples of recent projects at Exponent:

* Creating cross-platform APIs (like our new WebGL implementation) that provide developers native mobile functionality within JavaScript

* Building our not-yet-released JSFiddle for mobile apps

* Designing and implementing a community front-end to explore applications built on Exponent

* Building the foundation of a scalable infrastructure to host our take on a new mobile web

Some projects that are underway or on the horizon for us:

* Rethinking developer tooling for React Native projects

* Greatly expanding the functionality available in our SDK's API

* Improved monitoring and alerting for our infrastructure

* Increasing our test coverage and improving overall reliability

Some buzzwords:
React Native, JavaScript (ES6/ES7, Flow), Android, iOS, Node.js, Electron, Go, Kubernetes, Google Cloud.

We don't expect candidates to already be proficient in these, but it's what we're currently using day-to-day.
Please send an email to jobs@getexponent.com and mention this post if you'd like to start a conversation with us. Definitely include links to applicable resources: resume/CV, your blog, GitHub profile, recent projects or open source contributions, etc. Typical interviews with us include remote pairing, small take-home projects (1-2 hours), and we usually finish with some more traditional in-person interviews.
I suppose the more important question is, does it really matter? Use what works for the individual patient, every patient is different.
Agreed. About a year ago I began the process of migrating away from Google/Apple/Microsoft/Dropbox services. It's important for the web to remain a decentralized network of servers, not a few walled gardens.
Exactly, they have their niche and their own unique games. The scene for the most powerful gaming device is already pretty saturated with the Xbox and Playstation, and let's not forget, the PC.
Not all uses of VoIP are done with software clients, mind you.

I manage SIP setups for myself at home as well as at my aunts shop, both of which have physical IP phones instead of softphones. While softphones are certainly useful, most people on a VOIP service of some kind are probably more likely to still use a physical handset, headset, or proper conference phone where echo cancellation is less of an issue since it's either handled by the hardware itself or non-existent in the case of users on a headset.
Do you plan to open-source any of your targets (e.g. BigQuery)?
+1

Much of language derives its meaning from its context. In the context of this blog a title of "The Other Half" can have a very different meaning than a title of "The Other Half" on Hacker News. Lifting the title verbatim to a new context can change its meaning. Even though the intention may be good to be faithful to the original, purely by being in a new context, the title has been effectively changed. In fact, using different words for the title in the HN context can well be more faithful to the meaning than the using the same words.
Yea, let's see, $35 for content interrupted incessantly with commercials vs $8 Netflix where everything is on-demand and commercial free?

That may only be economical for me if I ran out of things to watch on Netflix, and with the rate at which Netflix is producing stellar content that horizon is moving out further every day.

Personally, I value this kind of "TV" service around $5 a month, and I estimate it will reach that pricing in ~15 years, at which time I will purchase a subscription.
Take a stab at our little challenge and ensure your CV gets reviewed by our team: curl https://challenge.curbside.com
Curbside is enabling a new way to shop, built for the era of instant mobile commerce. The Curbside app makes it easy to find, buy and pickup products at nearby stores. Curbside searches realtime local inventory across retailers and uses location-based technologies to alert stores when a customer is arriving for a pickup. Curbside helps consumers quickly get what they need and helps retailers better serve their increasingly mobile centric customers. The Curbside Merchant Console enables alerts to staff as customers arrive to pick up orders and also manages online order workflow.

Curbside’s investors include Sutter Hill Ventures, Index Ventures, Jerry Yang’s AME Cloud Ventures, Qualcomm Ventures, Eric Schmidt’s Innovation Endeavors, O’Reilly AlphaTech Ventures, Gil Elbaz & David Waxman’s TenOneTen and Chicago Ventures.

Tech Stack: Clojure, Python, Javascript, iOS, Android, Elasticsearch

Problem space: mobile commerce, big data, search, machine learning, reverse engineering, distributed systems, location services, user experience.

https://curbside.com/jobs • Palo Alto, Ca. • Relocation Available • Sorry at this time we cannot sponsor NEW H-1B’s, but we can transfer existing visa’s and sponsor new E3’s, TN’s, and O-1’s.
100+ Data Science Interview Questions, Broken Down by Company
Of course automation will inevitably be capable of displacing all human acts (jobs and art). The author concludes with the same tired, naiive and unsatisfactory outlook: 'you don't need worry about it because robots will just kill off humans'.

However, it seems obvious that humanity will handle this like many cultures have - by choice. Just like some people chose not to eat GM food, and others (Amish) generally elect not to use electricity, humans too will reach a point where they will simply choose to either accept that their lives are 100% sustained by autonomy or, live a life free of AI-generated products (i.e. food, services, art, etc).
Tenable | Vulnerability Research Engineer | Columbia, MD | REMOTE, http://app.jobvite.com/m?3RC1riwI

The team I work on at Tenable is currently looking to hire another Vulnerability Research Engineer (http://app.jobvite.com/m?3RC1riwI) to join the Nessus Research team. Primary responsibilities include researching recently published vulnerabilities and then writing plugins for the Nessus vulnerability scanner.

This is a remote position and does not require relocation. The job description linked is a decent summary of what the position entails, but if you have any questions, I'd be more than happy to answer them as best I can (jsebree@tenable.com).

The interview process for this includes contact with a recruiter, a short skills assessment (via hackerrank), and interviews with those you'll work with on a daily basis. Travel is not required for interviews.

If this position is not of interest, there are many other openings to be considered as well (dev/research and otherwise): http://app.jobvite.com/m?3OV2riwZ

Disclaimer: Both of the above links are referral links
Y Combinator (yes, the people who run this site) is hiring hackers (San Francisco, ONSITE)

Y Combinator has a very big vision. This recent article talks about our plans to build a 21st century university: http://www.newyorker.com/magazine/2016/10/10/sam-altmans-man...

Here's a secret most people don't know: software is at the core of our plans for how to do this.

We're looking for a couple of great hackers to join a small team in San Francisco. It's not a job for everyone, but it would be a good fit for someone who loves startups. Working at YC, you won't just write code, you'll be involved in everything YC does, from our dinner talks to demo day.

Here's an example of something interesting we built recently: http://themacro.com/articles/2016/08/investor-day-software/

If you're a hacker, send us a note here: http://bit.ly/1Od0T2l. You can also email me with questions: jared@ycombinator.com
Visual Studio code is great for JS and TypeScript btw.
Non-lexical lifetimes using liveness and location
Why fuchsia needs color management
Brianna Wu claims companies could destroy cities by dropping rocks from Moon
There aren't enough details about but there are a lot of touch points between discrete mathematics and calculus. If you read Knuth's AOCP you'll see a lot of other examples where things like integrals are used in discrete math problems...
"I want this as a browser plugin"

Haven't tried such plugin myself, but I know it exists: https://antcpt.com/eng/home.html
Scribie | Data Scientist | San Francisco/Bangalore | ONSITE

Scribie is an human powered audio/video transcription service and we are looking to build an speech recognition system using our own data.

You must have hands-on experience with the following:

- TensorFlow

- Acoustic Modeling

- Language modeling

- Deploying models in production.

Drop me a line at rajiv@scribie.com if you're interested.
> Think of non-forklift lifting/moving of heavy stuff, we don't really need people doing this manually, robots should be able to do it. But we see with the Boston Dynamics robots that we are many years or decades away from commoditizing lifting robots.

Perhaps if we keep insisting that robots need to look like a human in some form factor.

Otherwise, we are already there. We already have fully autonomous forklift robot systems in warehouses and other similar jobs. I know such robots will also be used in construction and elsewhere, if they aren't already (all of the heavy equipment manufacturers are working on such systems today). Smaller lifting tasks (think in a grocery store or other retail outlet) could be done by smaller but similar machines.

Change the shelving system and/or the packaging to accommodate the objects being lifted and put into place, and the entire thing can likely be automated. I can easily see stores like Walmart or Costco doing this. Right now, the only thing stopping them is the cost (the robots themselves are one thing, changing the shelves, packaging, stores, etc - that's going to be a great expense). Perhaps as time goes on, they'll do it first in new stores being built.
Instrumenting high volume services with sampling
Newfound 3.77B-year-old fossils could be earliest evidence of life
Nested method calls via two-phase borrowing
This sounds more like a mobile security camera than a replacement for a security guard. I'd be surprised if a large chunk is taken out of that employment market anytime soon.
I believe there is a subset of gamers who spend this kind of money for cultural reasons. But I build expensive beasts once and drive them until they run into the ground. My dual 690s handled "everything I could throw at them"[0] for years and years. I only just upgraded to dual 1080 FTW editions (also very expensive) and expect to run those for quite a few years as well.[1]

[0] Caveat: I only ever run a single monitor on my gaming rigs.
[1] Turns out I get VR sickness something fierce, so VR won't really be a driving need for me.
MittMedia | Software Developer | Sundsvall, Sweden | ONSITE https://translate.google.com/translate?hl=sv&sl=sv&tl=en&u=h...

== WHAT WE DO ===

Main stack: Ruby on Rails, React/React Native, PostgreSQL

Data platform: Java, TitanDB w. Cassandra

We do innovative web, app & big data development on local news media in central Sweden. We are the biggest local media organization in Sweden and reach 1.9M unique browsers per week. Sweden has a 10M population.

== HOW WE DO IT ==

As part of our hiring process we do pair or mob programming after initial screening depending on what the recruit feels comfortable with.

We do development with User Experience in focus and have a large and strong UX Team that drives a lot of our development.

Sweden has great social benefits, including health care, sick leave, 25 days paid vacation(33 from us), 480 days parental leave per kid. Language training is free from the government if wanted.

I personally work in our app team. We're energetically looking for Front End developers.

== CULTURE ==

We pride ourselves in being inclusive. We focus on an open and constructive dialogue and have people from the Netherlands, China and Germany. We strive to achieve different backgrounds, genders and cultures as we believe different perspectives are key to a successful business. We have non-Swedish speakers on the teams and are moving to using English as our main language.

The organization employs 1500 people but in the development organization we are 28 people with a direct connection to the company board. The board places an incredibly high trust in our department and we help form the board strategies.

== APPLY ==

Via email to my boss at:
mathias.nylen mittmedia.se
We are currently beta testing a device that can take your EKG and provide some level of analysis on your phone. If you are interested, we have currently have a private beta and have a few more openings! Of course we have much more planning in our production version. Please feel free to take a look: www.grektek.com. As the other reader mentions, cardiologists are the ultimate judges and even that can be difficult, but we have found helpful information can often be gleaned using our device and App.
Man that's young.. What are the best ways of actually reversing blocked arteries/artherosclerosis? Excercise? Statins?
This is short-term pessimism, inline with the common dystopian future of sci-fi. It is really difficult to predict human behaviors and technology in the long term.

Humans have the ability to steer things to their advantage so interesting things can happen.

Just for kicks here's a more hopeful approach that I've heard...merge AI with the brain like Kurzweil was predicting. Imagine if everyone was a genius and telekinetic so then we get the neural internet from that. We would actually be less divided, more connected and more productive as a human race. Our current sense of self is too selfish and our intellect too limited. I'm sure it would be very difficult to hold on to beliefs devoid of reason in that case so everyone could make better decisions, not just about themselves but about humanity, etc. because they could perceive things at a grander scale.
It doesn't have compile-time type checking. When many people say functional code they really mean code that can be and is strictly type checked at compile time. Clojure is functional, but it's not what most people want when they say "functional".