skysight-inc/HackerNews huggingface dataset:
> The notion of a function having any inherent complexity is rather at odds with your earlier assertion that putting any sort of meaning on the result of running a Turing machine is strictly human interpretation rather than a hard fact of computation

I don't see how. That inherent complexity is precisely that computed by the machine (provided that you're talking about a function in the ordinary, set theory sense, rather than in the type theory sense, in which case a function is a set-theoretic functions plus a proof of set membership).

> and of course, you also turn around and favor certain interpretations over others based on the cost of embedding them in your favorite computation model

No, the complexity of evaluation differs in the different models by a small factor (polynomial at most), that is much smaller than the complexity differences of the representation. There is no room for (significant) interpretation here: the typed formalisms can perform computations of possibly arbitrary complexity during their validation stage. They aim prove something and proving something comes at a cost. There is no interpretation by which proving a possibly complex theorem is considered of having little complexity.
Unsurprisingly, this results in the infamous 4 chords C, G, Am, F.
What’s up with the Beep driver in Windows 7? (2010)
Tesla will release Autopilot update 'in weeks': Musk
L2 Is Hiring a Data Quality Assurance Manager
Quilted Northern Celebrated National Toilet Paper Day with Tiny Pop-Up Shops
"But if you continue and success in the 12th, it is no luck. In fact if you never succeed your behavior will be called and obsessive compulsive and pathologic."

You say that if you eventually succeed after many failures, it's not luck. But then you also acknowledge all of the people who never succeed despite their dogged persistence. How do you reconcile those two statements?
More like NSA/CIA/NRO spy satellites.
Concur | Bangalore, India | Full Time | On-Site

Concur - an SAP group company, is one of the largest SaaS companies in the world. Based out of Seattle-US, Concur is the leader in integrated travel & expense with over 30,000 enterprise customers & 100 million end users. More than 75% of Fortune-500 companies use Concur as their Travel & Expense solution.

Concur's rapid growth requires a scalable, resilient, internet-scale backend. The Core-Services team based out of Concur's Bangalore office works on scaling the Concur platform by writing resilient, scalable, backend-services.

The Role: Senior Backend Engineer

We write backend-services that make up the 3rd largest SaaS platform in the world. We focus on authentication, authorization, identity, sso stacks, token services etc. We design, write & deploy to AWS - with complete end to end ownership. We are obsessed with performance, metrics, resiliency, failure proofing & scalability.

Clojure is our poison of choice.

We are looking for programmers with experience in writing scalable services.

Prerequisites:

* You speak Lisp. Any dialect.

* Proficiency with functional programming techniques.

* Strong Data structures and Algorithms.

* You have shipped production code.

Contact: ravi [dot] sharma [@] concur [dot] com
SEEKING WORK - remote only - contact@emilburzo.com

Location: Romania, Europe

Willing to relocate: No

Technologies: generalist but mostly experienced in: modern Java webapps, native Android apps, Linux Sysadmin -- always open to learning new stacks

Résumé/CV: https://www.linkedin.com/in/emilburzo

More about me: http://emilburzo.com

Recent personal projects:

- https://graticule.link -- privacy conscious Android location sharing app

- https://hnjobs.emilburzo.com/ -- search frontend with advanced syntax for the "Who is hiring?" thread

- http://ambient.emilburzo.com -- DIY ambient monitoring (temperature/humidity so far)

- https://templater.emilburzo.com/ -- a tool for those quick one-time templated text generation needs

- https://play.google.com/store/apps/details?id=com.emilburzo.... -- utility app that enables SMS use on the Nexus 7 LTE tablet (regular SMS functionality was hidden/disabled from the user until Android 6.0)
SEEKING WORK

Southeast MN - Remote OK

I've been an Android Engineer for ~2 years for a startup in San Francisco. I am working full time right now but am willing to fill another 10-15 hours in the evenings/weekends if the opportunity is right. LinkedIn: https://www.linkedin.com/in/jessedbuss
Scala Backend Engineer | Tally | San Francisco, CA | Salary range: $135K - $178K + equity | On-site - Full-time | No resume needed | www.meettally.com

Hey HN, I'm Jason Brown, co-founder and CEO of Tally. We just closed $15M to tackle some of the hardest problems in FinTech and we're looking for an experienced backend software engineer to act as the glue between a very complex backend and a gorgeous front-end. We embrace and enjoy functional programming on the JVM using Scala and use modern technologies that are fun to work with.

If you're up for a quick chat to learn more, shoot me a note at jason.brown@meettally.com. Please include a description of your functional programming experience and any relevant links (resume optional).

Job descriptions: https://jobs.lever.co/tally/4f6b044f-9110-4d2e-bbb5-ba7cea27...

Articles:

https://techcrunch.com/2016/05/19/tally-raises-15-million-fo...

http://mashable.com/2016/05/29/tally-credit-card-app

http://www.businessinsider.com/tally-is-making-credit-cards-...
Location: Romania, Europe

Remote: Yes

Willing to relocate: No

Technologies: generalist but mostly experienced in: modern Java webapps, native Android apps, Linux Sysadmin -- always open to learning new stacks

Résumé/CV: https://www.linkedin.com/in/emilburzo

Email: contact@emilburzo.com

More about me: http://emilburzo.com

The startups I've worked with didn't have much success, so here's some recent personal projects:

- https://graticule.link -- privacy conscious Android location sharing app

- https://hnjobs.emilburzo.com/ -- search frontend with advanced syntax for the "Who is hiring?" thread

- http://ambient.emilburzo.com -- DIY ambient monitoring (temperature/humidity so far)

- https://templater.emilburzo.com/ -- a tool for those quick one-time templated text generation needs

- https://play.google.com/store/apps/details?id=com.emilburzo.... -- utility app that enables SMS use on the Nexus 7 LTE tablet (regular SMS functionality was hidden/disabled from the user until Android 6.0)
Senior Software Engineer | AcademicWorks | Austin, TX | Onsite (Relocation Available)

----

Solve hard problems that truly matter with a team that's smart, experienced, and kind.

The Company: A small-and-growing (45 members) company using technology to improve access to higher education

The Department: A 3-member product engineering team within a 10-member engineering department

Technical Details: Rails, AWS, Postgres, Elasticsearch, Cassandra, Redis, Memcached, and some internal tooling in Go

----

You find pragmatic solutions to difficult problems, work well with others, and take ownership of entire features from planning to production. Preferably, you're proficient with some of our technical stack, and you'll make the entire team better by being an individual contributor, a teacher, and an occasional foil.

We're piling up accolades for workplace happiness and company growth. We take a lot of pride in accomplishing disproportionately big tasks, and to do that we treat engineers like professionals with clear expectations and regular feedback. Our company values are kindness and respect, engagement, and obsession with our clients' experience, and we all strive to exhibit those daily.

----

The Interview Process: You'll talk to me (Product Engineering Manager), talk to our CTO, do some remote coding to chat code, come on-site and pair, meet the team, and meet a founder.

----

jcody@academicworks.com

https://www.glassdoor.com/Reviews/AcademicWorks-Reviews-E460...

More details: https://gist.github.com/jpcody/f1187d6d0828d6620633f8f6a3b3d...
SEEKING WORK / based in Germany / remote or on-site (Europe/US preferred) I'm a passionate generalist developer with two decades of experience.

My primary interest is in creating MVPs, but I also do refactoring and bugfixing work. Besides backend-heavy web work, I'm also proficient in making browser-based games with WebGL/Pixi/Three.js, as well as desktop/mobile software using Unity3D/C#.

Preferred languages: PHP, JavaScript / Node.js, C#, Lua, C/C++

About me:

* I started my career at an advertising agency
* made a toy programming language called np: http://np-lang.org
and I'm generally a language design enthusiast
* I'm a Ludum Darer: http://ludumdare.com/compo/author/udo/
* Github: https://github.com/Udo/
* My indie game project: http://udven.com/

Profile: http://udo.click/

Contact me at udo@openfu.com
Senior Node.js Developer | Interactive Intelligence | Durham, NC | ONSITE

Interactive Intelligence (NYSE:ININ) is hiring a senior Node.js developer to work on our cloud-based chat service.

We make software to manage call centers. Our chat service is just a small piece of the PureCloud Collaborate product. You can see read more about the overall product here: https://www.inin.com/unified-collaboration

The role on my team is specifically for developing a highly available service built entirely on AWS and use technologies like Socket.io, DynamoDB, XMPP, Redis, & Kafka. The team is currently 4 developers and two developers focused on integration testing.

The interview process is straight forward: 1) phone screen with team lead 2) small coding exercise 3) half day in person interview.

You can email me your resumes directly at andrew.austin@inin.com or read the full listing here: https://www.inin.com/careers/job-listing?p=job%2FovuJ2fwu
I've spent a lot of time pricing low end hardware and online.net is currently the winner for cores and ram per dollar. Unfortunately for me their servers are not on the same continent as my customers.
PrepScholar | Boston, MA | Onsite | Full-time | Full Stack Engineer | $100,000-$180,000

PrepScholar’s mission is to improve education at scale through technology. Our flagship product is an SAT/ACT prep program that automatically learns the strengths and weaknesses of each student and creates an individualized learning program through machine learning. You can think of it as an automated tutor that provides a compelling learning experience at scale. We also have a large web presence with over two million monthly visitors to our free tools and articles.

We believe we have a major advantage over other companies in our space because of our technology-centered and analytical approach to education.
We're profitable and bootstrapped, and you'll join as an early engineer working on products that impact millions of students worldwide.

Our stack:

* Sass, JQuery, Backbone

* Django/Python

* MySQL

* AWS/Linux

Requirements:

* Strong foundation in computer science and software engineering, including competencies in data structures, algorithms, databases, software design and dev ops.

* Strong hands-on experience with our core technologies is a big plus. In particular:

----Python and Django

----JavaScript and JavaScript MV* frameworks like AngularJS, Ember, Knockout, or Backbone

Email us at job.engineer@prepscholar.com, and read more at http://www.prepscholar.com/sat/s/careers.
I never run out of disk space, but I frequently run out of inodes. It's definitely still an issue. And if you don't stop to think about when you're creating your file system, it tends to bite you in the arse at a later date.
I find Google Translate good at translating sentence fragments but generally not full sentences. Also, any Google Translate Japanese to English translation is near jibberish.
Location: London, UK
Remote: No
Willing to Relocate: London, Toronto, Berlin or Amsterdam (will need a work visa)

Technologies:
- Front-End: JavaScript (AngularJS, ReactJS) and CSS3
- Back-End: NodeJS, WordPress (20+ plugins made), PHP (Laravel), SQlite, MySQL
- Cloud: DO, Apache, Nginx

Resume: - https://www.dropbox.com/s/4njryee00mv5mcs/Nish_Resume.pdf?dl...

Personal Projects: - http://formcraft-wp.com/ - https://formcrafts.com/

Accounting drop-out and self-taught full-stack developer with 4+ years of experience, and numerous successful personal projects. Passionate about design and UX. Looking to work with an early to mid stage startup.

Email: nishantagrawal234 at gmail
Wow, I just learned a lot about Muscle Shoals. Thanks. Didn't realize that the Black Keys recorded Brothers there, let alone the history of the place. I just had no idea!
The geolocated audio app is now in beta and it's stupid fun
You should have two very different landing pages for tech and non-tech audiences (charging an extra to do the setup for them - like $20).

Unless you want to focus on only one of them (I would choose non-tech for market size if I were to choose).
Monzo | Backend Engineer | Full time | London or Remote | https://monzo.com/

At Monzo we aim to build the best current account in the world. We are always keen to hear from capable, creative engineers who want to help us accomplish that goal.

We’re still a relatively small company with only 10 people in the backend engineering team and 50 people in total. This means you will need to wear many hats in the beginning but it also means there are many interesting challenges ahead that you can specialise in if you like. Broadly, the work we’re doing covers these areas:

* Distributed platform: We aim to be the first bank without a single point of failure

* Banking and payments: We write code that moves money

* Product engineering: We help our customers by hiding the boring parts of money management

* Financial crime: We need to stay ahead of criminals trying to steal data and money

* Internal tooling: We automate everything so the rest of the team can work smarter

Our backend architecture is composed of hundreds of distributed Go microservices running in the cloud. They are managed by Kubernetes, store data in Cassandra, do RPC with linkerd/Finagle, and use Kafka for asynchronous queueing.

Lots more detail is on our website : https://boards.greenhouse.io/mondo/jobs/244898
I have heard (from cannabis advocates, so taking it with a very large halite deposit) that cannabis itself has anti-cancer, or at least anti-tumor, activity. If true, it may be that some of the chemicals present in cannabis may alleviate the harm from the carcinogenic chemicals present in all smoke from burnt vegetable matter. If the effect is large enough, cannabis may still have a net benefit, even when smoked. Maybe.

But really, no one should be inhaling the smoke from anything that's on fire. Nor even eating food seared at high temperatures or by open flames. Some of those Maillard, caramelization, pyrolysis, and carbonization reaction products (like acrolein, acrylamide, heterocyclic amines, and polycyclic aromatics) may contribute significantly to flavor, but they are also very bad for your body, and are similar, if not identical, to the chemicals produced in smoked plants.

So you don't even escape that risk with cannabis edibles, because as I understand it, the plant matter has to be heated above 100C in order to produce the desired recreational effects, and some (impatient) people accomplish that by grilling it in a skillet, destroying some of the potentially medicinal molecules and introducing carcinogenic ones. This is why you really need someone trained in proper lab technique to test the claims. No two amateur stoners will prepare identical cultivars of cannabis in exactly the same way. The cannabis researcher will isolate variables and devise a repeatable experiment.

It is unfortunate that we have little reliable evidence to confirm or deny the anti-carcinogenic cannabis hypothesis, just because of political interference with the science. Few reputable scientists want to touch the stuff, because the DEA makes it such a pain, and there is also the risk of persecution resulting from politically unpopular findings. It would be really, really embarrassing for the US federal government if anyone were actually able to prove that whole cannabis treatments (rather than just a single purified component, like Marinol) either reduce cancers directly or reduce the negative side effects from proven cancer treatments.
Keep in mind that the systems required depend on the actual tasks, not just whether you can fit the data on a disk. I don't think the FB Newsfeed (show more photos from your cousin because you liked their text post last week...) can be built using only SQL.
Carmack: Why Was Doom Developed on a NeXT?
Why so quick to rush to his defense?
Bauer Xcel Media | Devops Engineer | Full Time | New York, NY or REMOTE

Bauer Xcel Media is the small digital 'startup' arm of Bauer Media, a very old, stable, and profitable German publishing company that operates in multiple countries around the world. We have two main products. A content publishing platform on a large scale for our magazines. And a complex app to run a multi-region sweepstakes business for our magazines.

We have a really great culture, a super positive and friendly team, and exceptional work-life balance. We are based in NYC, though the dev team has a very remote-friendly culture as long as you generally overlap with EST hours.

This role does not include 24/7 pager duty, and since it will be primarily dev-facing, the majority of your communication will be done over slack, JIRA, and google hangouts with a team of bright and friendly people. We're looking for a mid-level person who can help us clean up and automate some things and keep the ship running smoothly and well-documented.

Some technologies we use include Ruby, Rails, Heroku, AWS, Postgres, Mongo.

Email me afogg at bauerxcel.com for more info or please mention my name (Alex) as a referral if you apply.

http://bauerxcel.theresumator.com/apply/RFVucI/Devops-Engine...
Anyone have some recommended tutorials on how to get started working with Unreal Engine? I've done some googling, but curious what the HN community has done/suggests.
SpiderOak | REMOTE

SpiderOak builds and provides Zero Knowledge cloud storage and collaboration solutions, with our Semaphor team collaboration service, ONE backup, and Encryptr password management. We're a growing team of some ~40 people spread across the world.

We're hiring two roles:

Python QA Automation Engineer

We need a junior-level Python developer looking for a growth position inside a company to take charge of our Sikuli-driven QA acceptance tests. Interest in running your own projects, building more and more tests for more and more things, and generally finding out ways to creatively and automatically break software.

Interested? See more here: https://spideroak.com/articles/qa-python-engineer

Javascript App Developer

The front-end to our latest project, Semaphor, is built in HTML5 technologies using Electron on the desktop and PhoneGap on mobile. We need more hands to help bring out new and exciting features to market. If you're interested in joining a small but growing group of amazing developers building amazing secure collaboration software, this job is for you! Some experience with iOS and Android dev is preferred, but not a strict requirement as long as you're open to learn.

Interested? See more here: https://spideroak.com/articles/javascript-app-developer

The interview process involves two videoconf screens, a small coding project, and another videoconf team interview.

Hoping to hear from you!
SEEKING WORK

Remote (based in WB, India; not willing to relocate)

Full stack back-end and frontend developer

Frontend: Javascript, React.js, HTML, CSS (responsive design from scratch)

Backend: Python, Flask, SQLAlchemy, Postgres, Scrapy

Mobile: React-Native, Phonegap

Also proficient in application deployment over linux based servers, using Ansible when necessary.

Github: https://github.com/vivekagr

Email: vivek <at> vivek.im
They do have established business lines and are profitable, so the valuation models are supposedly more accurate. The unicorn startup models would have much higher variance, so that leaves a lot of room for hand waving and personal branding to be factored in.
This is huge. Quoting from a piece linked below.

"Now, here’s my not-so-big bet: Jio will not make its magic number of 100 million customers in one year. The person who offers me the best odds before end of Saturday on a $200 bottle of a single malt is on.

In fact, more from my smoky mirror: Jio will struggle for at least a few years before it starts making a dent in the telecom market." http://goo.gl/hH7Fai
Indeed. In the cast of the VAT mess, they literally didn't even realise that many thousands of very small ("micro") businesses existed. They effectively managed to legislate a lot of those businesses out of existence, because the compliance costs were more than the "extra Christmas present money" level of revenue the microbusinesses were generating. When the relevant officials finally noticed, literally a few days before the new rules came into effect, the initial response was basically "We've been working on this for years, why are people only objecting now?", as if someone selling knitting pattern PDFs from their kitchen table was going to know about EU-level discussions on international tax laws and contribute early. It was like a case study in being totally out of touch and introducing wildly disproportionate administrative burdens, and the officials involved didn't even realise they were the punchline.
An interesting HN comment on vehicle routing from yesterday:

https://news.ycombinator.com/item?id=12400611

My sense is that this problem is solved to a much greater extent than automated driving is.
Join Handshake (http://www.joinhandshake.com)!

We are the fastest growing career services platform in the country, helping colleges and employers actively engage students with personalized opportunities.
Series A, Backed by Kleiner Perkins, True Ventures and Lightspeed Partners, Handshake has already partnered with more than 110 universities (including Stanford, Princeton, Cornell, University of Chicago, Michigan and Texas), and has more than 1.5 million student profiles and 95,000 recruiters on the platform, including 50% of the Fortune 100.

Our unique data on students' interests and the historical career outcomes gives Handshake the rare ability to help students of today imagine, plan and jumpstart their future careers.

Hiring for:

-Full stack developers (we're a RoR shop but open to all types of software engineering backgrounds): http://grnh.se/y3vipr

-Front-end developers: http://grnh.se/euci80

-QA Engineer Lead: http://grnh.se/64irse

-Product (UI/UX) Designer: http://grnh.se/1d650y

Not seeing a role that fits? We have more positions, just check out our careers page: https://joinhandshake.com/careers/
Alternatively, you can email me if you have questions: matt@joinhandshake.com
10 Open Questions for the Techno-Optimist
>The interview process is several phone screens, a take home coding challenge, and finally an on-site interview.

It has become really arduous to switch tech jobs these days. I've been spending close to 20-25hrs/job-application even before on-site interview which is another 2 days of time sink.

I've used up a major chunk of my vacation this point just for tech interviews. Feel angry and powerless.

Maybe next year!!
The shuttle was a vehicle with vastly different capabilities, and technical challenges to overcome, compared to a Falcon rocket.

There have been 133 successful shuttle launches, and 2 failed ones.

There have been 27 successful Falcon launches, and 2 failed ones.
Great code base and makes creating multi-channel chatbots a LOT easier
India's richest man launches 4G network with unlimited free voice calls