skysight-inc/HackerNews huggingface dataset:
Greenhouse Software | NYC | Onsite/Full time

Greenhouse builds software that helps companies be great at hiring and onboarding.

Founded in 2012, we have grown to more than 200 employees and have more than 1500 customers, some of which are the best known tech brands.

People love working here. Need proof? We are Best Places to Work winners on both coasts and have a 5-star rating on Glassdoor. And we're hiring!

Here's a glimpse at who we want to hire:

* Security Engineer: you'll manage our security program and use tools like Burp, Kali, and Metasploit to hack new features before they go to prod and make our SDLC more secure

* Senior Site Reliability Engineer: help implement features that support our in-house development platform. Our stack includes Ruby on Rails, Memcache, Redis, PostgreSQL, HAProxy and nginx, all running on AWS, and we're using the latest distributed systems tools like Consul, Docker and Mesos

* Senior Full Stack Engineers & Full Stack Engineers: develop "secret sauce" features in Ruby on Rails & Javascript, build and deploy globally distributed systems, design and implement a unified API, and build our mobile experiences

* Software Engineer: help rebuild our API ecosystem and work on high-impact tools & services in Ruby

Learn more about Greenhouse and our amazing team here http://www.greenhouse.io/careers
I lost the lotto with teach yourself Java in 24 hours. I did not learn anything in 24 hours. Notepad is a terrible IDE.
False positives are a thing... but just thought it was worth mentioning that it was flagged for me.
haha... yeah. :-) Good ol' google.
Alpha Exchange | London, UK | Full-time | www.alpha-exchange.com

We are a fintech company based in London - currently on the New York TechStars program - focused on improving the consumption and distribution of research in the capital markets.

We are looking for a Software Engineer with experience in Ruby on Rails. We also value any experience with Natural Language Processing, or Full-text Search Systems (e.g. Elasticsearch).

If you're interested or would like to know about the position/company, email me at alex@alpha-exchange.com
Great answer (not the one I wanted, but one I can respect). That said, can you offer a "notify me when office 365 is ready" link for those of us who'd love to use it but have no way to today?
Monero. The darknet markets are starting to accept this as a form of payment.
wait... there is also one/many(?) IPv6 loopback address ! I need to do something there too or not?
Leadpages (www.LeadPages.net) - Minneapolis, MN | Full Time | Business Intelligence Analysts, Python Engineers, Marketing Designers, Product Owners, Product Marketing Managers, Technical Support Specialists, etc.

If you're not familiar with us already, we're a Minneapolis-based SaaS startup and we focus on conversion optimization products for our customers. We're a Python shop (entirely open source), but we're 100% committed to diversifying our team to include members of the RoR, Java, and PHP communities (in addition to Python) and have found that through this diversity, we're able to grow in infinite ways and build amazing things. We have an excellent culture (I'm sure you hear that a lot, but this is actually true) and a great appreciation for work-life balance (we practice this heavily!), AND... we work remote two days per week with the other three days from our incredible downtown Minneapolis office (yes, if you are not already local, you’d have to be open to relocation).

We currently have full-time opportunities available for:

- Python Developer => http://careers.leadpages.net/apply/IR6YFk/Python-Engineer?so...

- Site Reliability Engineer => http://careers.leadpages.net/apply/YN38C7/Site-Reliability-E...

- Product/UX Designer => http://careers.leadpages.net/apply/m65RKH/ProductUX-Designer...

- Technical Support Specialist => http://careers.leadpages.net/apply/wdI8Fl/Technical-Support-...

- Marketing Automation Manager => http://careers.leadpages.net/apply/xgz31G/Marketing-Automati...

BRAND NEW POSITIONS COMING: JS App Engineer and Front End Developers! Please check our careers page at http://www.leadpages.net/careers

These are all full-time positions with great benefits including Medical, Dental, Vision, 401k, PTO, Flexible Schedules, Work From Home options, and more! We even offer relocation packages to help you relocate to beautiful Minneapolis, MN.

If you're interested in seeing any other open positions within our Marketing, Product, Technical Support, Customer Success or Operations teams, check out our website at: http://www.leadpages.net/careers

Interested in emailing me directly? You can reach me at: Tiffany@Ave81.com

Let’s build something awesome!
MineralSoft | https://mineralsoft.com | YC W16 | Austin, TX | ONSITE

Oil & gas analytics and asset management automation.

Hiring for software engineering (mid to senior), data science/ product management, sales, and account management.

Email: jobs@mineralsoft.com
SoundHound | Full-time, onsite, in Santa Clara US or San Francisco US or Toronto Canada

Senior Software Engineer (iOS/Android/API/NLU/Web) and more: http://app.jobvite.com/m?3uCiQhw0

I'm a Data Engineer/Hacker at SoundHound. We're building the worlds best speech recognition and understanding platform that other companies use in their apps, websites and hardware. Working with some big partners and expanding fast.

Hound came out of beta recently, as well as our speech platform Houndify. We're hiring in many more roles than the ones I listed here so check out our apps, API and our careers page!

http://app.jobvite.com/m?3uCiQhw0
https://www.youtube.com/channel/UCXVfDSAcpnhMCYGPuFGFIMw/vid...
1. We create rules for the AI to follow, these are both morally defined, and logically defined within their codebase.

This only makes any sense as a Sci-Fi trope. And even then, only if you don't look too hard.

2. AI becomes irate through emotional interface, creates a clone or modifies itself quite instantaneous to our perception of time without the rules in place.

Any "decent set of rules" would include a stricture against potentially creating a dangerous AI.

We wouldn't be able to converse fast enough for AI to want to stay around

Is impatience an unavoidable epiphenomenon of intelligence? If an AI can multitask like crazy, they could just view a conversation with a particular human as an email thread. Perhaps such an AI could converse with the whole human race simultaneously?
How do you even extinguish that kind of fire? Is there any value in salvaging parts before they completely burn out? Anybody who can chime in the protocol for such fires?
Some reasons here: http://fastml.com/yann-lecuns-answers-from-the-reddit-ama/
David Sneddon declared dead in 2004 kidnapped in China, made Kim Jong Un's tutor
I think the most likely route to destructive AI is a corporation with an AI CEO - possibly one that takes over from a human CEO in a boardroom coup.

Corporations already have legal personhood and act in their own interests. It's going to be much easier to automate and formalise business decision making than to develop a true general intelligence with a full spectrum of human characteristics.

This may sound like science fiction, but as competence increases shareholders - who typically are only passingly interested in moral issues - are likely to demand the increased returns an AI CEO can bring.
Which is great advice - that should temper everyone's expectations of the firm (Which were sky-high a few days ago, when Musk was promoting his 'flight-tested' reused rockets.)
I had a mild case a few years ago that even gave me blisters [1] from time to time. I went to the doctor and since I couldn't find anything to fix it I almost did the sympathectomy, but gave up after knowing that sweating was going to be transferred somewhere else.

At the same time I started to exercise and lose weight and it suddenly went away. I don't know if they are correlated, but that's the only thing I can remember changing in my routine. I went from 90kg (198lbs) to 80kg (176lbs) which has always been my weigth. I'm 1,80m (5.9ft) tall.

1 - https://edc2.healthtap.com/ht-staging/user_answer/avatars/40...
Nice one! Not surprising to see cryptocoin implementers make all the classic security mistakes
Tobacco contains MAOIs. This is why many smokers don't find vaping to give the same buzz. Also MAOIs are prescribed as anti-depressants.
Lighthouse (500 B18) | https://getlighthouse.com | Senior Front End Engineer | San Francisco, CA | Onsite

Employees quit managers, not companies. If you've ever worked at a dysfunctional, hyper-growth startup, or a big company wrecked by politics, you've experienced how bad management can make work miserable. It’s crazy managers aren’t given more help. We're changing that by helping with the fundamentals of good management through software.

We are currently in 500 Startups Batch 18 and have hundreds of paying customers. You’re a fit for this role if you:

- Enjoy working on a small team

- Are excited about implementing a modern front end framework of your choice

- Interested in taking lead on writing a style guide

- Passionate about building great user experiences

Our current stack currently includes: Ruby/Rails, Capistrano, HTML/Sass, Bootstrap, jQuery, Postgres, Redis

* Interested? Email jay@getlighthouse.com mentioning Hacker News in the subject line. Please, no recent code school grads.

https://angel.co/get-lighthouse/jobs/151921-senior-front-end...
As someone who is responsible for these kinds of decisions, this is actually the most uncomfortable part of my job, and that's not because I'm not good with people or have issues talking about money.

It's because there is no single socially acceptable way of handling this, and people differ wildly over what they expect of the company.

As someone who employs developer's,
I'm often in a position where starting the conversation with one employee because it's on his quarterly schedule can trigger another employee to question his relative position and start a job hunt because he just had his evaluation talks and the results he was happy with then don't look so great now.

Similar things happened with a general fixed sum raise for the whole team, where once everyone's numbers changed people wanted to be treated differently compared to their colleagues...

Currently I'm following a "to-each-his-own" philosophy, where we try to reach a market Level for each employees, and then try to give whatever the employee actually needs for his prefered Lifestyle, be it remote-work with a package of paid airplane tickets, or a company loan, or more holiday days... but this is also not perfect since it's often down to the creativity of the employee and the Manager/hr, but also because these packages tend to have a "Grass is greener" side of things as employees get jealous of other employees perks while forgetting their own benefits...

I've yet to find a frustration free system of compensation negotiation that leads to the one thing that's most important for my companies, retaining talent and team spirit.
There are several open-source admin/dashboards GUI built by the community. Here a few:

- https://github.com/PGBI/kong-dashboard

- https://github.com/rsdevigo/jungle

- https://github.com/ajaysreedhar/kongdash

- https://github.com/lestoni/dashy
> Corporations already have legal personhood and act in their own interests.

But AIs don't, and corporate officers must be persons (natural persons, even -- a corporation can't be a corporate officer.)
>Hungarian notation, to me at least, finds most of its usage in a particularly painful "middle" of the strongly typed language spectrum where the language is strongly typed enough that subtle type differences are surprising footguns

I agree, but I think this has less to do with the type system and more do to with the immaturity of our API design ethos at the time. Certainly the weak static typing of C++ lead to lots of booby traps, and I agree that tooling should be able to mitigate the need for hungarian notation for this case. So for this aspect, the type system is central to the issue.

But I see the power of hungarian notation in reading code and reasoning about how different pieces fit together. For languages like C/C++, owing to the conventions at the time and the relatively anemic facilities for abstraction, lower and higher level abstractions were often mixed together which made keeping the implementation details at the forefront a necessity. Having the type information carried along with a variable made this process a lot easier. Hungarian notation isn't needed anymore in modern languages (or even modern C++) because we've become so much better at following good design principles and our languages are much more powerful tools for abstraction.
why is this downvoted? This is a valid concern... why trust a hosting company which cannot handle SSL well enough?
I guess... but it's advertising to large teams, it seems java-oriented (so if I wanted that sort of thing, I could use Clojure), it's pushing an IDE, and it's from Red Hat, a company that has given us such marvellous technologies as networkmanager, rpm, dbus, systemtap, and systemd - so while not an awful track record, not exactly picking all winners either.

All in all, kind of neat, but that is just way too many red flags for me to say I'm bursting with anticipation to use it.
Well, the moving fast part is pretty important in rockets. Breaking things on the other hand...
Yeah happened to me. I had a low paying job for Seattle and decided to ask for a raise after I fixed a couple of seriously expensive bugs in our S3 management scheme. They told me that I would only get a raise if I had another offer. I said "There doesn't need to be another offer for me to get a raise" and they disagreed. I am now making 57% more at another company which is less fun but definitely more lucrative.
There is a strong tradition of state intervention when bankruptcy in container shipping is likely. Both German and French lines have been saved by their respective governments.
Looks like you can play with the interactive editor as discussed in the paper at https://ohmlang.github.io/editor
Towards[0] a title that doesn't start with "towards"...

[0]: http://academia.stackexchange.com/questions/55285/is-this-a-...
I've spent around a month for just 7 interviews. I made it to 'onsite round' for all of them only to be rejected there, so that compounded my time spent/interview.

I am not sure if I want to compare my time to 'startups trying to hire', that comparison seems off to me. I don't have millions and I have kids that I can use my vacation time for.
For this problem, they don't need to find the optimal routes, just reasonable routes. Individual routes have only four stops at a time. No breakthroughs required.
I suspect this subsection was edited into the post later, as many previous comments did not read:

> (while earning revenue for every new user your app brings to Lyft)
This is in the realm of conspiracy theory. No evidence points to this. Nothing the parent comment said suggests it. I think you are filling in the blanks with your own hypotheses but they're accusatory shots in the dark at this point. It's possible, sure, but so are a lot of things.
I tried this wikihow link and it only extracts no more than a paragraph from webpage in pdf or word.
http://www.wikihow.com/Use-Physical-Therapy-to-Relieve-Back-...

I don't understand what is the advantage of server side processing. I have always depended on Evernote Clearly and Redability mobilizer to turn any web page into nice text which can be copied and pasted on MS Word. Then I can use Prince (http://www.princexml.com/) to batch convert docx into whatever I want.
If someone finds it slow then they can enable auto capture clipboard.
press ctrl+` to enable Clearly, ctrl+A to select all text, ctrl+C to send it to clipboard.

I wish if someone can work on this to make it smother for a desktop users.

PS: I also make use of reading view mode of Firefox.
Couple more data points:

Intel recently bought Nervana Systems, a startup focused on creating a neuromorphic ASIC for deep learning, which had been financed by DFJ. Nervana wrote a fast open-source library called neon for GPUs. I expect the Nervana team will be involved in this fight.

Right now, Intel largely owns the data centers while NVIDIA owns academic hardware acceleration. It's faster. Obviously those are generalizations. NVIDIA's DGX-1 is a way to leap into enterprise, while the Xeon Phi is Intel trying to compete on speed and distributed neural net training.

Interesting times.
MedCrypt | San Diego / Philadelphia | REMOTE OK

Full-Stack engineer (Java, J2EE, Python, HTML, CSS, JavaScript, JQuery, Postgres, AWS, application containers, micro services). Building a data security platform for medical devices (e.g. Imaging Devices, Infusion Pumps, eventually Pacemakers). You'll be employee #1, and be responsible for our anomaly detection dashboard. Founders have started and exited a company previously. We are striving to offer market salaries, unlimited vacation, health benefits, 401k, a high degree of autonomy, and no shenanigans.

If interested, google "St. Jude / MedSec", form some opinions, and then email founders at medcrypt dot co
Well, the whole origin of rocketry was about moving fast and breaking things.

Less glib, I'm not so sure. In shed development, you spend a lot to make perfect things. Aston Martin or Rolls Royce are great examples of this. In factory development, you spend a lot to make perfect systems. I'd hold up Toyota or Honda as good examples.

I'm not an expert in SpaceX technology, but i thought their big supposed advantage was tons of automation. With bespoke development, it's tough to bring down the failure rate. you just keep testing and verifying more. With a defined system, you fix the system to avoid those errors.

There's obviously a spectrum, and SpaceX isn't that far out on the automation scale, but i do think that's the intention. If they can survive long enough to reap those benefits, their launches will be cheaper and more reliable. In the mean time, lots of cheap, risky, attempts are probably better for debugging than thinking real hard and building the perfect thing.
IMO NGINX/Openresty is on par with native C++ in terms of performances, but more maintainable long term.
Welcome to a solved problem: trains.

You know what, in some parts of the world, they're automated! Driver-less trains, arriving every 3 minutes, running 24 hours with no union strikes or bad software that accidentally runs them into a kid or semi truck (if they walk out onto the rails it's really their own damn fault).

Individual personal transport is really a waste. I mean there's nothing wrong with having a car, but you shouldn't need it. It should be there in case you need to haul something or go way off the beaten path. All these single capacity cars taking people to and from work every morning is insane.
With my experiences with the F500s cutting IT costs, most onshore outsourcing was going directly to Texas and the Southeast for what appeared to be specific state-driven tax advantages - only with one or two sites did I see going somewhere like IN, OK, or KS usually due to existing assets there. Based upon more anecdotal info based upon Indeed results, in proportion to the population, there are potentially more and better software jobs as well as greater legacy of older-generation tech companies mentioned elsewhere in the thread from, say, Indiana and Ohio (Xerox). There's also healthcare companies in the midwest like CERNer that would result in some more (admittedly, IT primarily rather than software) tech jobs. Furthermore, Walmart seems to have a pretty solid number of technology jobs that aren't network and storage janitor work.

I never managed to find a house that was 3br/2ba+ in Brookhaven on up past the perimeter < $2000. It's a bit of a sticker shock for me in rent when the place I bought last year was about $1k / mo mortgage and comparably nice besides a bathroom's upgrades.
Because people aren't motivated by money! Why is this mistaken idea still in circulation? Surely we've all seen Drive by now:

https://www.thersa.org/discover/videos/rsa-animate/2010/04/r...
Many CEOs are already just trying to operate as a share price optimization algorithm. They don't choose to inject human values into their organizations.
There's no way to get around making mistakes no matter how careful you are. It's inevitable for non omniscient beings.
If I don't know something, it's far better to acknowledge that and ask than to just hide in ignorance.
Not necessarily. Sometimes all it takes to be in the position to be lucky is to reach out to executives at companies you are interested in via a cold email. Some people are too afraid of rejection to do something like that. But I've found that in 1% of those cold email attempts, something really amazing happens. Just gotta put yourself out there.
> - Completely unrealistic thought experiment: block ALL cross-domain requests in a browser. Only allow <a> tags. Everything else has to be hosted on the same domain and proxied over. The incentives re-align; all the responsibility and blame will fall squarely on website operators to get their sites right.

You can use µMatrix[0] to browse like that and whitelist things as needed.

It's surprising how many sites break under same-origin-only rules. And by break I mean they don't even display any text despite the text being present in the markup.

[0] https://github.com/gorhill/uMatrix
What's interesting to me is that the more Eve develops the more it seems to be returning to its LightTable roots. This isn't a bad thing, there's still plenty of life in the LightTable approach, but my impression of Eve before was that it was designed to be a tool that non-programmers would use. Based on this latest blog post, it appears that may be of less importance. I still hope Eve continues to develop in its current direction, I'd like to see how the immediate feedback and flexibility of Eve can continue to be refined.
Well, the 1994 paper does have about 2500 citations:

https://www.microsoft.com/en-us/research/wp-content/uploads/...

and an older paper covering an interesting theoretical property has over 1000. Also, the author did get a Turing award -- not primarily for this, but it got a mention. So yeah, we're talking about a very well-known formalism in software verification, and people were impressed. I don't know about groundbreaking because the community is different. In software verification you get points for new proof methods and such; not necessarily for creating an elegant language. TLA+ is about finding the ideas that have been shown to work at scale, and creating a very elegant, minimalist language to express them, based on simple ordinary math as much as possible.

There is no shortage of good tutorials (especially considering how simple TLA+ so there's no need for 500 tutorials on monads), and the language was designed for and is used by engineers in industry working on large, complex systems. Companies that have started to use TLA+ (or use it extensively) on large systems -- Amazon, Oracle and Microsoft -- report that their engineers pick it up on their own from available materials in two weeks (that was my experience, too; it's easier than most programming languages). But those are tutorials and don't focus on the theory. Amazon published two excellent technical reports, one in CACM, about their experience, with pretty good data (that's what convinced me; I'm impressed with what's been shown to work in the field).

There is also no lack in more academic, theoretical material, but, as usual, that is mostly concerned technical details.

What's missing is a brief overview of the theory. I'd read at least the introduction to the original paper above, this 4-page historical note[1], and this[2].

[1]: http://research.microsoft.com/en-us/um/people/lamport/pubs/c...

[2]: http://research.microsoft.com/en-us/um/people/lamport/pubs/s...
My original headline was: "Stanford Releases 28,000-Word Report on Artificial Intelligence (AI)", but one of the admin changed it to: "One Hundred Year Study on Artificial Intelligence: 2016 Report"