skysight-inc/HackerNews huggingface dataset:
We moved everything from SOLR to Elasticsearch about a year ago. We were already using Elasticsearch for data visualizations, but SOLR was our text search. Elasticsearch supported that, and we were able to add more language analyzers to support our use-case.

On the admin side, SOLR was a black box to everyone but one person on the team. If a node dies, there needs be another election, and Zookeeper needs to be updated. Restart nodes too fast and we ended up masterless a few times. Elasticsearch is much much better on leader elections and backups, though status going to red on new index creation is obnoxious. That supposedly will be fixed soon.
I love this concept--I'd be using it daily, but last time I tried it the Sublime Text implementation was unusably slow.

Admittedly, I am pretty picky on what's unusable. Also, this page lists it as an "incorrect implementation".
https://www.ssllabs.com/ssltest/analyze.html?d=www.online.ne...
My take is that a university education is likely to be the simplest and most high probability path to achieving professional engineering competence. Sure it's possible to autodidact anything. But doing so requires creating the structure and metrics on top of just learning all the things a professional ought to know at a time when a person lacks the knowledge to determine what a professional ought to know.

To your advantage, unlike many people entering an engineering curriculum, there's already an interest and some hands on practical experience and knowledge. To your disadvantage, part of the motivation appears to be status conferred by a title/degree [these don't directly translate into competence]. I suspect that the former outweights the latter, and that is a net positive.

In the end, vocational training tends to lead to vocational careers and professional training tends to lead to professional careers.

Good luck.
"How to steal some developer's local database"
This 3rd party is comprised by OpenBSD developers though. While not an official OpenBSD project, the people that provide these patches are the same people that have built OpenBSD packages in the first place. So if you trust those binaries, you should trust these binaries too.
Posting on Meta is available once you have 5 rep. You start with 1 so getting to 5 means you get one upvote on one question/answer, or you make two accepted edits.

Asking a question can be done with 1 rep (i.e. a brand new user) and you can answer questions anonymously. The only thing which requires any rep is commenting at the barrier is 50 points.

http://stackoverflow.com/help/privileges

These barriers seem really low. If you think you need to do months of work to participate that's just false. On the other hand if participation to you means access to more of the moderation tools, site diagnostics (view votes of various sorts), etc. you do need to put your time in.
Why infamous? Aren't most pop songs based on this?
Won't they just relaunch in a few months? Not sure what the rebuild timeline is.
This is why crowd sourcing for anything touching "taste" fails. Even suggestion engines fail with this (I don't like the cliche artists of the genres I listen to).
Sounds like SpaceX just killed multiple deals for this company. Could someone who knows about this kind of stuff (I assume this subset of the population is small) comment on whether there is recourse against SpaceX for losing the payload?
In an age where soap and taking a bath were virtually unheard of, tobacco smoke must have smelled reasonably nice.

And of course, there's http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3001541/ (2010):

"Cigarette smoking has been shown to increase serum hemoglobin, increase total lung capacity and stimulate weight loss, factors that all contribute to enhanced performance in endurance sports."

:-)
Something that isn't transparent in this discussion is the fact that Linux is extremely corporate now.

By that I mean, the vast majority of contributions are sponsored by corporations.

Both Linus and Greg know that. They are keenly aware that if Linux takes a hardline GPL approach it will gain the reputation of being unfriendly to corporations. That perception will kill Linux in the long run.

When they say they "Care about Linux more than GPL" they are really saying they care about corporate Linux since non-corporate Linux virtually doesn't exist anymore.

I have nothing against that and honestly I think they have more clear opinions due to their positions as top-level maintainers. I just think the motivations and incentives behind their opinions should be clear to more people.

The people's Linux is virtually dead. People need to eat. An analysis of that phenomenon would be interesting as well but is beyond the scope of this discussion.
Is there a possibility this was pushed by the banks in an effort to drive them back to the equity markets for more, at a reduced price?

I'm not very knowledgeable about how that stuff works but it almost seems like a power play setup vs just a bank innocently managing their risk.
Show HN: [video] Does this look like your marketing team?
1. Enforcement would not be on "Linux" but would be about a specific section of the code, under which the copyright holder (the dev) is suing.

2. Has no legal basis, something being "Free as in beer" does not make is public domain, that would be easily countered

3. That would probably be more dangerous to the company arguing that then it would be to Linux, since most of the companies that would be targeted by GPL enforcement likely have alot of IP that could also be considered "derivative"
Notebook Workflows: The Easiest Way to Implement Apache Spark Pipelines
Clousure Compiler now in pure JavaScript
Any idea on the algorithm that deepart.io uses compared to this one?

The image from deepart.io looks nicer, although it could just be due to brute force (deepart.io example has 1000 interactions, while the one from this project only shows 50).
Depending on the cost of failure, however for virtually every mission the 600M$ is a winner this is a no-brainer.

That "little" difference has huge huge economic repercussions, cost of insurance, ease of financing, and many other things. Not to mention that a satellite going boom can kill an operator if it doesn't have a backup.
This isn't an insurance case where you get your money and try again the week after, building a satellite is a huge undertaking it takes years to build, years to negotiate the contracts for and you have to do it from scratch all over again if it goes boom.
You're wrong, Sangnoir. The IRS has a 3 year statute of limitations on most audits (beginning from date of filing return or date filing was due), 6 years if essentially the numbers on the tax return are way off, and unlimited if there is tax fraud. There was no fraud here.
We're just past the anniversary of the last mishap: http://www.spacex.com/news/2015/07/20/crs-7-investigation-up...
I also get the feeling that extra sleep and recovery time encourages the kind of creative thinking that recognizes unusual ways for things to go wrong and corrects for them in advance.
While I rarely participate in meta discussions I actively read what's happening and it is very frequent that discussions on meta do result in change to the site in general. It is an effective instrument of change and is often very democratic. Somethings get a big NO from the dev team but you can guess that as a dev yourself not everything is doable/the direction the company is going.
Ask HN: A reasonable deployment solution for small-scale kiosk apps?
We need to find a solution for the deploy, monitor, update cycle for small-scale, multi-platform (mac, windows, linux), LAN-bound kiosk apps. So far we have survived writing our own tooling for specific tasks but it's quickly getting out of hand due to the increasing amount of clients we need to support.

After an admittedly cursory examination of a few popular solutions (docker, nomad, kubernetes) it seems their use is mostly concerned with the big-scale infrastructure side of things, and so far it's unclear to us whether they can be adapted to ad-hoc distribution / versioning on LAN and local storage.

If anyone is able to point us in the right direction it would be greatly appreciated.
To reiterate -- it is a fantastic piece. I went back and re-read it just now, and there's more meat in that one webpage than in many entire engineering textbooks. Terrific piece.
Would love to know what HN thinks of the video itself and the product idea too!
Legitimate customers of the kernel know it's GPLv2 from the start, as well as requirements of that licence. It is not that complex at all.
Well,

Another factor is that Church-Turing "at first order" isn't a mathematical theorem - (notice "thesis", not theorem).

The thesis is that all determinant computation is equivalent to Turing machines and lambda calculus (which are each computable with each other). This is a hypothesis about the physical world (or the "imaginable" world).

Thus Church-Turing is very significant - but not necessarily mathematically significant, as a mathematical theory, it's taken as the equivalence of Turing machines and Church's recursive functions (but that's just a theorem which only suggests the (nonmathematical) thesis.

The thing is, a lot of mathematicians are much more enamored of the mathematical world than the physical world. For an enthusiastic mathematician playing with high order recursive functions, a generalization of the Church-Turing theorem seems much cooler than the statement about the physical world that the Church-Turing thesis implies.
Excellent writeup. The post makes use of the OP's deep learning library Keras, which is utterly fantastic. If you want to learn more about deep learning, I'd recommend getting started with Keras on top of Theano or Tensorflow; the API is elegant and keeps pretty up-to-date on modern tweaks to structure/initializations, etc.
What You Must Know to Build Savvy Push Notifications
Clearhead | Austin, TX & Cincinnati, OH | Full-Time | On-Site

We help daring brands optimize their business outcomes through continuous testing & personalization. Every idea, every product, every experience — driven by data. Imagine that. That’s Clearhead.

Headquartered in Austin, TX, Clearhead was founded in 2012 by former ecommerce executives obsessed with the intersection of design, analytics and product innovation. Today, we provide user experience design, product development, analytics and strategic consulting solutions grounded in pioneering testing and personalization expertise. Our diverse roster of clients includes Adidas, CVS, Express, Patagonia, Tesco, Tory Burch, Ulta, Vitamix and Whole Foods.

Austin:

Digital Project Manager - http://clearhead.theresumator.com/apply/k0LuYZ/Digital-Proje...

Product Manager / Optimization Director - http://clearhead.theresumator.com/apply/WJwaDg/Product-Manag...

Senior Analyst - http://clearhead.theresumator.com/apply/Kynsli/Senior-Analys...

Senior UI/UX Designer - http://clearhead.theresumator.com/apply/4nN45x/Senior-UIUX-D...

Senior UX/UI Design Lead - http://clearhead.theresumator.com/apply/yLiaRD/Senior-UXUI-D...

Cincinnati:

Senior Analyst - http://clearhead.theresumator.com/apply/Kynsli/Senior-Analys...

Senior UI/UX Designer - http://clearhead.theresumator.com/apply/4nN45x/Senior-UIUX-D...
> People who use set theory as their foundations...

Let's not get into this old debate because we'll never get out of it. Suffice it to say that it that there is no doubt that Turing and Church (and Gödel and von Neumann) used set theory as their foundation, and when they said "function" they meant a set-theoretic function, namely a mapping from a domain (set) to a range/co-domain (set). If by "function" you mean a type-theoretic function then you're talking about a computationally harder problem, as you need to compute the underlying set-theoretic function and check a proof. You can certainly ask a TM to simulate a type checker and compute a type-theoretic function. There's actual work involved, and someone must do it. You cannot say that your formalism gives it to you for free, or you'll have a formalism that proves things for free, which is impossible.

> Changing the input type means that you are not, in fact, solving the original problem.

Exactly! But that is precisely what you do when you interpret "function" to mean a "type-theoretic function", and solve a different problem. Any work that needs to be done under the normal meaning of "function" also needs to be done in the typed formalism. If you need to ensure/prove something, there is work and computational complexity involved. Pushing it to a collaborator doesn't make it disappear (let's call this the law of preservation of computational complexity). Someone has to do it, and in no model does it suddenly become free. It's perfectly OK to say that you start counting after much of the hard work is done, but in that case you need to say that your model requires upfront work, and therefore cannot be compared to models that don't. That's my whole point.
Location: Brazil
Remote: only
Willing to relocate: No
Technologies: JavaScript (mainly), Elixir
Résumé/CV: https://docs.google.com/document/d/1h1j4ZHgHeSdRygoPXIPtOBBByVWaftKMO8DNf_E2crE/
Email: jean[at]yiom.com.br

Developer with experience working remote with startups/companies in USA and London. I also made some contracts for small projects like MVP using Ember.js, D3.js, and python. Willing to learn new technologies, and a huge fan of linux here :)
pMD | San Francisco, CA

Software Engineer, and Sales Engineer https://www.pmd.com/careers

If you're interested in health care, helping doctors/nurses/staff take better care of their patients and work on the forefront of new healthcare models and the tools they are beginning to need, come join us. We're a profitable small company < 30 people, with double digit annual growth, no VC, and we move very fast with no red-tape. Stack: iOS/Android/Java/MySQL/JS/Backbone.

I actually found my current job on the monthly HN job post a few years ago, and still here :) This is a very unique position given it's a mix of pure engineering, and a significant customer facing role.

Some testimonials of the software: https://www.pmd.com/reviews

Contact: sbahrami@pmd.com and/or careers@pmd.com

*Unfortunately, we are unable to provide visa sponsorship. Candidates must be authorized to work in the U.S. as a precondition of employment.
Location: Richmond, Va

Remote: yes

Willing to relocate: yes

Technologies: HTML, CSS, JS/jQuery

Resume: https://www.nickshater.com/resume.pdf

Portfolio: https://www.nickshater.com

Github: http://www.github.com/nickshater

E-mail: nick@nickshater.com

Seeking a Junior Front End Developer position with opportunity to develop my skills and transition into full stack.
Don't all those example assets change hands for cash (or equivalents) pretty regularly?
SEEKING WORK (Freelance) - Based in Singapore (GMT+8), work remotely. Will travel for on-site training.

15 years in software industry in development and consulting. Enterprise software experience. iOS/OS X developer. Familiar with Obj-C, Swift and RubyMotion.

* Architecture and code reviews.

* In-person training for iOS app development for developers and non-developers. Separate classes. 10-15 person in a class. Email for details.

* Also interested in one-time engagement for ideation and product scoping.

Example experience: trained existing employees in a company on iOS app development so they are better able to plan their product roadmap/design as well as hire developers

More details: http://hboon.com/hire/
Then you have a differing opinion from me and SEJeff on what is needed to create a good résumé. If all it required were a reciting of simple facts, then presumably the candidate would not need to have copied from SEJeff. I don't have to look at other people's work when writing the school I attended or year that I graduated, or number of years that I have in some skillset.

Perhaps you think that it wasn't actual plagiarism? That it could've been coincidence, or that SEJeff's phrasing is so routine that it doesn't count as something with real investment of thought? Have you tried Googling it?

"Re-implemented the global dns/ldap setup for higher availability. Used keepalived for auto-failover"

https://www.google.com/search?q="Re-implemented+the+global+d...

There are exactly 5 results, 2 of them which originate from this current discussion. That's just one of the bulletpoints, nevermind the same 3 in the same order.

For reference's sake, the odds that Melania Trump didn't plagiarize the following sentence from Michelle Obama -- values that you work hard for what you want in life that your word is your bond and you do what you say -- is about one in a trillion [0]

[0] https://www.washingtonian.com/2016/07/19/we-ran-melania-trum...
TSLA stock is liquid, therefore Tesla giving away TSLA stock to SolarCity stock holders is buying SolarCity.
Micrograph photos reveal the unique beauty of tears
>It was their father's skill that was responsible.

As in, not theirs? As in, they aren't that skilled? As in, they are very lucky to have Sam as a dad?

Put it this way, if you or I had Sam Walton as a dad would the outcome be different?
Juding by the JIRA tickets most of these changes/fixes landed in 2.0.0 and some landed in 1.6.2.

I have been debating if I should go ahead and start switching to 2.0.0 and this is pushing me in that direction.
This should be a concern in the US as well. AT&T Uverse is said to be doing deep packet inspection on all unencrypted traffic unless subscribers pay an additional ~$744/year to opt-out.

http://arstechnica.com/information-technology/2015/03/atts-p...

This should be a concern because such data on individual subscribers would be available to law enforcement and become a potential mechanism for highly detailed mass surveillance.
No, they don't have redundancies for satellites. It's 2 to 3 years.
adjust | Berlin | Full Time | https://www.adjust.com/

adjust is looking for an experienced C developer and a Go Developer.

adjust is a fast-growing mobile marketing analytics company with offices in Berlin, San Francisco, Shanghai, Tokyo, Paris, Sydney and Istanbul. We build business intelligence for mobile apps, placing a high premium on scientific statistics, hand-in-glove UX, and lean, pragmatic product iteration. Mobile is growing faster than any market on Earth, and being part of a B2B startup in this space means you’ll be moving nimbly for businesses large & small and daily punching above your weight.
We offer you some of the best equipment money can buy, an ergonomic and healthy work environment, company bikes, flexible hours, competitive salaries and conferences across the continent. Moreover, we organize twice-yearly coder's retreats, meetings over breakfast or some spare ribs, and of course a proper beer fridge.

Apply here: https://www.adjust.com/jobs/ or via the links below:

Data Engineer (C / High Performance Low Level Development)

https://adjust.bamboohr.co.uk/jobs/view.php?id=10

Go Developer

https://adjust.bamboohr.co.uk/jobs/view.php?id=24
This is a start: https://docs.unrealengine.com/latest/INT/Videos/

Also there are many video tutorials if you look on Youtube.
Many samples included in Unreal 'kit' that is downloadable, which help get you started also.
Sentenai | Boston (ONSITE)
The future of industry requires smarter machines, and to achieve that, they need instant access to both sensory input and contextual data. ​Sentenai connects machines with the data they need to make better decisions in complex environments. ​We're building the machine cloud, redesigned for intelligent systems in the physical world.

--

Platform Engineer

Responsibilities:

We're looking for experienced, highly motivated engineers to help us grow our team of 6 Haskell Engineers into a large organization equipped to tackle some of the hardest software engineering challenges in the most challenging industrial environments.

Requirements:

- Minimum 5 years of Haskell experience in Industry, academia and open source

- 8+ Years of engineering experience in fast-paced environments

- US Citizen or valid work Visa

Candidates with direct industrial Haskell experience, significant authorship (ICFP, etc.) record, or a long
history of open source contributions will be prioritized.

Useful Skills:

- Understanding of networked distributed systems

- Deep knowledge of tiered IO performance in HPC

- GPU computing experience with Haskell

- Academic education in Reinforcement Learning or Unsupervised Structured Prediction

​​This is a salaried, full-time position with ​competitive ​benefits significant equity. ​​Please contact us at: jobs@sentenai.com​.​

--

Machine Learning Researcher

Responsibilities:

We’re looking for full-time or part-time help from experienced scientists who focus on reinforcement learning research.

Requirements:

- Ph.D. in Computer Science or related

- Doctoral or post-doctoral research in reinforcement learning

- Interest in unsupervised structure prediction on streaming data systems

Please contact us at: jobs@sentenai.com​.​
Sr/Lead Test Engineer | Coffee Meets Bagel | San Francisco | Full-Time | On-site https://coffeemeetsbagel.com/jobs/

Coffee Meets Bagel is a dating app that focuses on quality over quantity. We're growing fast and looking for an experienced test engineer to help automate our testing processes and lead our young QE team.

We have top-tier Android and iOS apps and an API layer that needs testing, and you get to build it from scratch and lead a team of 2 other test engineers.

We have a super fun office in SOMA right off the BART line and you'd get to work with a bunch of very smart, driven, passionate, and fun people all dedicated to helping our users find love!

https://jobs.lever.co/coffeemeetsbagel/b360ee49-af37-4d9e-a9...
Insurance isn't magic pixie dust, it just moved the cost around.
Yes— but it hasn't been cost-competitive with a driver-owned car for daily drivers (given free/subsidized parking and roadway space, as we have in the US).
This is probably a really good time to link to Axis of Awesome's _Four Chord Song_:

https://www.youtube.com/watch?v=oOlDewpCfZQ
Location: Minneapolis / Saint Paul, MN USA

Remote: I prefer a mix

Willing to relocate: No

Technologies: .Net, C#, Web API, SQL, Mongo, Elasticsearch, Javascript, React, Node, Azure, much more

Experience: 10 years FTE development experience, leadership roles, consulting services as well

Resume: Please email me

Email: grjrojo at gmail
In terms of browser support: http://caniuse.com/#feat=webgl
myStartup (no public website) | Parent + Child testers preferred | REMOTE

Smart Internet tools for Smart Parents, Internet Monitoring and Learning system.

The Learning system deactivates internet access until your children have made measurable progress on dozens of supported education websites.

Internet monitor:

- Youtube search and view history

- Youtube Ad history

- Google search history

Our mission is to provide affordable, easy to use tools to help parents reduce the time their children spend on time wasting websites and increase the time children spend on education websites.

We need about 30 volunteer testers.

support -at- smartmadre d0t com