skysight-inc/HackerNews huggingface dataset:
Qualys Inc. (qualys.com, NASDAQ: QLYS) | Foster City CA | Full-time, ONSITE/REMOTE | $110k-$125k, RSUs, 401(k) matching, bonuses, health benefits
Qualys is a provider of cloud security, compliance and related services for small and medium-sized businesses and large corporations.

We are looking for a capable, motivated engineer to help us update and maintain our backend infrastructure. The ideal candidate has good knowledge of Ceph. A demonstrable ability to learn new and complex technologies is a substitute for this requirement. Must have a good knowledge of Linux, VM infrastructure, databases, and preferably some experience with an S3-compatible object storage system. Solid programming experience in a language such as Java, C, Go, or Python is required as is experience with networking, logging, and monitoring.

For consideration for a remote position, the applicant should provide references that will verify he/she is capable of working remotely efficiently and reliably. Remote applicants must be willing to meet off-hours occasionally, as we have offices in several countries that we sometimes need to sync with.

Please send a short cover letter and a resume to jdavis@(our domain). Interview process will include a short coding exercise. No recruiters.
RolePoint | Software Engineer | London | Full-Time | https://www.rolepoint.com/

At Rolepoint we help companies hire and retain talent with our SaaS product. We're looking for experienced engineers that will work with mostly python codebase within a distributed company. We use Elixir, Elm, Heroku, Google Cloud and many other tools. We love open-source and care deeply about code quality. A bonus having experience working with Applicant Tracking Systems ;)

We work on flexible hours, offer unlimited vacation days, go out for weekly team activities and once a year bring the whole company together on an international gathering to reconnect outside of our work. We attend local/international conferences.

Apply: https://hire.withgoogle.com/public/jobs/rolepointcom/view/P_....

Contact me directly: gordon@rolepoint.com

More info https://www.rolepoint.com/careers-engineering.html

API docs https://rolepoint-connect.readme.io/v1/docs

https://github.com/rolepoint
The reality is that it is the only tool they have. However they should require more evidence than just an ip address.
You can specify the number you want to appear to be coming from when terminating a SIP connection, depending on where you're connecting to the network.

https://en.wikipedia.org/wiki/Caller_ID_spoofing#Technology_...
From the article, it looks very promising! Forgive me for my lack of understanding, but the article made it sound like it could supplant the notion of quarks and/or other elementary particles. Is that correct?
My main gripe with Atlassian products is the execution - the ideas behind the products are usually sound, it's just pretty clunky to use.

For me, I'd love to have a flexible-enough tool for small to medium sized orgs that encourages a modern lightweight process and discourages ad-hoc process sillyness. Sometimes having a tool gently encourage better practices among all participants is a useful thing.
Because ordering a redundant set of tests generates revenue. Just consulting another doctor wastes both of their time better spent ordering up redundant tests and quickly moving on to the next victim that can have tests ordered.
Correct. Both terms do, however, refer to Baron von Munchausen's levitation technique.
Can someone help me understand.

If a block chain (or whatever you want to call your token of choice) doesn't have any fees, how is it different from just having a database. No fees mean that every transaction has the same value so there is no transaction prioriization other than time. This seems like a glorified eventually consistent database synchronization algorithm. In a fee based blockchain, I can pay more to get my transactions through before someone else.

Again... I'm not a PHD, nor am I even that smart so can someone break this down.
> but a non-negligible number of smart people think that these integrations are worth a lot

Just throwing something out there... But I wonder what the spread of these "smart" people is across "development" and "management"? The parent comment seems related to this...

> JIRA is like Excel or Word -- 80% of people use only 20% of the functionality (or less), but it's a different 20% for all of them. And it's really-really painful to realize that Trello/GH Issues/etc. works great with a slick UI, except that it can't do that single stuff you'd really need because of your special situation.

Also, just throwing something else out there... But I wonder, at what point, do we stop building tools that can work for 99% of the use cases and start actually having opinions on which specific use cases are "good" or should be encouraged? Because, like some of the other comments have said, a lot of those workflows that "only use 20% of the functionality" aren't exactly appealing.
Smart move by Mapbox, given that Tesla use Valhalla.
I love this article. I feel like it gets down to the real root of the problems with the complexity of Western culture. I feel like this perspective applies to a lot more than healthcare. It matches my own thoughts that technological complexity is getting so high that eventually it will be beyond our own understanding, both individually or in a group of any size. We as a species simply won't be able to make use of our own tools and systems because they are so complex.

Ah, the hubris of humanity...
Has there ever been a precedent for this? When there were major bugs in Intel CPU's (or drives, or RAM, or motherboards) did the likes of Amazon and Google invest in diversification? And has it affected stock prices meaningfully? My guess is that they'll see this as just another one off issue that can be fixed with software, then move on. For a large enterprise, monoculture that works is actually better than diversification.

When you think about your own workstation, it's not a big deal to build an Intel or AMD system. But when you buy 100k motherboards and spend the time adjusting your tooling to those, from packaging to power, to cooling, to support, to OS code, etc. and then you on a whim decide to get another 100k motherboards of a different architecture, you spend a non-trivial amount of time and money to support those as well. Again, if AMD provides better hardware, it's absolutely worth it. But I personally wouldn't do it based on this bug.

I don't own shares of either AMD or Intel.
I know this is going to be controversial, but at this point:

> My mother’s mild dementia began accelerating rapidly a year ago. I’ve been picking up pieces of her life as she drops them. That has grown from a part-time job to a full-time job. In the past month, as she’s developed unrelated serious medical issues, it’s become a way-more-than-full-time job.

I would have kept my mother out of the healthcare system and let her pass at home or in a hospice. You can't save someone from dementia and old age, don't even try, you are just prolonging their pain. Let her drop the pieces of her life and leave them there. Lymphedema treatment? She's 84 years old with dementia, she isn't going to get up a run a marathon, why would you treat this?

I say this having never have dealt with a dying parent, so this may be ignorant on my part. I am sure it is difficult standing by while a loved one fades. I think it would be better to spend a few stress-free, happy months in a hospice than years running around between the confusing, painful, stressful mess that is the healthcare system.
Pre-orders = liability.
This Search Engine Helps You Find What Google Is Missing
We are going to need a POC for that. Here's a rock, there's ice in Alaska; go survive. Oh, and you have to do it with mittens on.

Good luck!
I would too, but this is the Cryptocurrency space; When has anything ever been balanced?
Top 5 AOS 5.5 Favorites with Chris Brown
People don't realize how onerous and expensive it is to run a mapping service (even if you use OSM data). For example, the Google Maps API and the Bing Maps APIs are most likely totally subsidized services. Google/MSFT are able to justify the cost because the mapping tools are used in so many other products. And since the cost of development is spread over multiple places, the true cost of the geo services are not reflected in the prices of the services. Whereas someone like Mapzen has to recoup all of their costs on just the services.

Additionally, companies like Mapzen make this mistake in believing that because Google (and a few others) have this massive Maps API ecosystem that there's a ton of money in this market. I've seen similar investment slides and their argument boils down to something like, "well Google/msft is aggressively going after this market so that means there MUST be money here" and that's the bulk of the justification. Honestly, I don't even think Google/MSFT know why they have been going after the Maps API market so aggressively. For one, Google has completely and utterly failed to leverage the Maps API to transition or segue customers onto Google Cloud Platform where there is obviously a lot of money to be made. So like what else is there? There's no way the geo services business matches the cloud, ads, youtube, or chrome/android business. Not to mention all the other shit going on.

In conclusion, I feel like we will see other services fail as well. I would be SHOCKED to see MapBox continue on or even IPO. They will most likely be sold once investors realize what I've just discussed or shut down. I also predict that Google / MSFT will just limit their interest in this product unless they can find a way to help it drive GCP/Azure business.
So the solution is to regulate the assignment via phone numbers via VOIP providers. Which I perhaps, naively assumed was already happening. WTF?
I always assume the range is $80k - $225k for companies that don't explicitly say. Compensation is typically dependent on experience, and if they're hiring for multiple roles, it's also role-dependent. If someone can provide more value to the company, s/he will always be able to negotiate for more even salary/equity.
Rich Dad, Poor Dad is really terrible advice. There are much better books on personal finance that don't give misleading or outright illegal advice. The Millionaire Next Door is a good one.
Wow you needed a throw away to post that? Is there a story behind that?
> Maybe I should've said TLA+ w/ model checking since that's definitely lightweight versus full, formal verification.

Why do you say that? Model checking is the most common form of full formal verification. It is true that because most TLA+ specifications -- unlike most software that's verified with model checkers -- has an infinite state space and that TLC, the model checker that's packaged with the TLA+ toolbox is an explicit state exploration model-checker with not support for infinite state spaces, then most of the time it is used on a finite-state derived specification and so doesn't fully verify the spec. But that is, AFAIK, not what is normally meant by "lightweight formal methods" (although I am not sure there is a very precise, well-accepted definition). But people take all sorts of short-cuts when working in Coq, too, and very rarely fully verify every aspect of the program. In fact, the only programs that were ever "fully" verified was 1. very small (much smaller than the vast majority of programs used in industry; I think jQuery is several times bigger than the biggest program ever "fully" verified end-to-end), 2. were heavily simplified in terms of algorithms used, and 3. took a loong time and required experts. So if that's how you'd classify "lightweight", then "full" doesn't exist in any meaningful sense.

> Far as Lean, it's specifically designed for proving stuff about "complex systems."

No, it's a Coq-style, general-purpose proof assistant. In any event, Coq, Lean and Isabelle are all designed for researchers. They are not aimed at industrial use at all. I know that the people behind Lean -- all accomplished experts in formal mathematics -- have made some claims about its suitability for verifying software, but AFAIK, none of them has any practical experience in software verification in industry, and so I find their claims to be entirely hypothetical. It's a beautiful proof assistant, but pragmatic software verification is not its first nor second goal. In contrast, TLA+ was designed with the help of actual "ordinary" industry engineers (at Compaq), who were using it for a large, real-world project, as it was being developed. That's the main difference between TLA+ and Coq/Lean -- it was designed as a product for engineers, not as a research tool for logicians.
Already regulated, considered legal. Next move would be to propose legislation through a US congressional rep and move it through Congress.

https://en.wikipedia.org/wiki/Caller_ID_spoofing#Legal_consi...
Long story that I’m not fully familiar with short: the phone system suffers from the same trust issues that the internet does. That is, it wasn’t designed with things like adversarial users in mind.

EDIT: Am I incorrect in this statement? I'd love more feedback.
Why, start with e.g. $1 the first year, and double it each subsequent year. For Star Wars, even after 25 years the sum would still be worth paying; maybe even after 30.

For the vast majority of other commercially successful works, the original 20 years would probably be a very reasonable cutoff: few would generate seriously more than $1M in revenue to justify the copyright extension.

Same should apply to patents.
When you give them something better to identify people with. Which is probably worse.
Petal | Software Engineer | New York, New York | VISA, INTERNS | Full-time 100k-160k + equity

We are on a mission to reinvent consumer lending by intelligently granting credit to those who traditionally have been shut out of the market. We're using cutting edge tech and a world-class user experience to build a credit card experience that fixes long-standing industry problems. We're looking for a talented engineer to join the team and continue making the vision reality.

https://www.petalcard.com/

https://jobs.lever.co/petalcard/878fa199-d312-4c83-acc4-ada7...
SEEKING WORK - REMOTE /w TRAVEL AS NECESSARY

---

Backend programmer. Specialize in automation, performance, and working on legacy codebases. Languages: PHP, JS, C#, SQL.

jdrich on github, email jdrich@gmail.com.
We can complain about capitalism all we want, but at the end of the day, in America, we still live in a capitalistic society. Good deeds that cannot happen profitably will not happen here en masse without subsidies, period.

Given that our government has proven incapable of subsidizing healthcare in a way that promotes a combination of efficiency and effectiveness, it makes total sense that people would try to make a profitable business that meets the needs of our citizens. That's just how capitalism works.

Edit: To those downvoting me, can you please explain? What flaw do I have in my logic?
The same way telemarketers fake phone numbers. More surprising to me is that the deeper routing data (as in, the real source of the call, which the phone company necessarily has) is not available. I understand that you want to allow anonymous tips, but it would make sense that if the caller ID data is faked (i.e. the purported number's exchange doesn't match the source), then the data should be made immediately available.
I'd seen this before:

http://www.instructables.com/id/Turn-cell-phone-and-tablet-i...

..but it uses a prism shape, not a cone.
Of course it does but the impact on your life is minimal in comparison. Compare "I need to pay this financial adviser thousands a year to handle my medium and long term financial goals" with "I need to make $500 for a car repair appear out of thin air or I'll be forced to walk to work in the middle of the winter, and if I miss work I'll be fired in which case the money problems will increase tenfold."

While I've never been rich, I've been objectively poor and I've been comfortable, and the difference in mental load is unbelievable if you haven't experienced it.
I really can't agree with this paragraph:

Are the confused rules Anthem’s fault? I imagine that the 1600 pages try to reconcile federal, state, and local legislation, plus the rules of three federal regulatory agencies, nine state agencies, and fifteen local agencies. All those are vague and conflicting and constantly changing, but Anthem’s rule-writing department does their best. They call the agencies to try to find out what the regulations are supposed to mean, and they spend hours on hold, are transferred from one official to another and back, and eventually get directed to a .gov web site that says “program not implemented yet.” Then they make something up, and hope that when the government sues Anthem, they don’t get blamed for it personally.

Anthem doesn't do their best to help people navigate their insurance and get solid answers. Individuals within the company may do their best but the company itself chooses how to fund those departments, how to run them, etc. Healthcare is confusing because 'healthcare explainers' and 'insurance navigators' are cost centers and so our privatized system places no real emphasis on them.

Besides it's not like these rules emerge from the ether either, they exist as a response to shady tactics by insurance companies. Surely we're not so far removed to have forgotten all the abuses of pre-existing conditions by insurance companies?

I might be able to say this isn't the fault of healthcare and insurance companies only so far as it's the fault of government for not just ending the charade and making the whole thing public.
Coalition | Back-End Engineer, Full-Stack Engineer | San Francisco, CA | Onsite, Full-Time

Coalition is working to solve cyber risk. We are a small, well-funded team of security experts, insurance professionals, and intelligence community veterans building a better cyber insurance product. Coalition is automating risk assessment to make purchasing this insurance easy, and using our knowledge to educate clients and mitigate risk where possible.

We are currently a team of 15, and are looking to bring more back-end and full-stack engineers on board. These roles come with significant amounts of responsibility and autonomy. Our front-end is in React, our back-end is in Python 3.6, and our infrastructure is on AWS. We are also always open to new technologies: we believe in using the best tool for the job.

Email jobs@thecoalition.com for more information.
There are places where the incoming work is pretty high volume...so you need a "ticket" system just to make sure it's all accounted for. Jira isn't perfect, but I can't tell if you just generally object to tracking work, or if the particular environment you're in just doesn't need that sort of thing.

And, of course, it's configurable, so any local installation of Jira can be tweaked in such a way that it's a pain in the ass...or not.

I've worked places where there was a high amount of incoming work, and no tracking, and it wasn't healthy. Lots of "squeakiest wheel", "who is working on this?" and other issues.
Hi Rich. On my iPhone, I get a 3-second delay between when I “swipe to go back” and when the page is usable/scrollable on the Sapper HN. When I first went to the site, via the link above, the top nav links did not seem to work reliably, and it may have been the same 3-second delay, but I’m only getting now when swiping to go back — maybe because the page is being reloaded from the server? It’s still quite a delay, though.
Yeah, IANAL, but that sounds like a textbook pump-and-dump.
> The last part is only true because most of today's organizations and processes are organized this way. Objectively, there's very little (outside of the individuals ability/willingness to work) that can't be optimized for remote work using modern technology.

Only the most important one: communication.

Its like saying you dont need to meet someone in person before marrying them, because all you need to know can be asked on an email or a skype call..

> I've been working remote for many years now and even many large enterprises I have worked for recently have adopted tools needed for working remotely efficiently (easy video/chat/screen share, collaborative productivity tools etc.). At this point, my impression it's mostly mental barriers (managers!) that stall any progress in this area.

I have been mostly a remote worker and I'm positively confident in-office working is more productive than remote, the same way going to the gym is more effective than working out at your home for the whole.
There are exceptions and deviations, but the generality is true. Thats my model, but reality also matches with that idea: othterwise remote companies would be eating in-office companies, but they arent.
Founders Fund Makes Bet on Bitcoin
Top DevOps conferences in 2018
Onai | | Silicon Valley | FULL TIME, CONTRACTORS, GRADUATE INTERNS, POSTDOCTORAL FELLOWS, ONSITE, VISA

We have hired multiple people through HN and look forward to more.

Interview process: Video calls if you're presently distant or an in-person visit if you're local.

We're tackling exciting technical challenges and building offerings relevant to interesting real-world problems in a variety of fields (including for NASA). We have particular strengths in dispersed computation and deep learning.

We're currently open to engineers with solid experience in Haskell (especially with Liquid Haskell), distributed systems, Rust, and/or Clojure, as well as to enthusiastic developers who might lack this precise experience but are eager and able to learn. We also welcome interest from postdoctoral researchers or senior graduate students.

We do not presently have openings for undergraduates (B.Sc. students).

Send your resume to info@onai.com and we'll let you know if there's a potential fit.
Oh, thanks. My fault then. I haven't read the arm patches, only the summary.
China's Ban on Its Domestic Ivory Trade Takes Effect
Location: Boston

Remote: Yes

Willing to relocate: maybe

Technologies: LAMP/HTML/CSS/JavaScript mainly but I have played around with other stuff and I open to taking a junior position in another stack

Resume: andrea.codes

Email: andreasalkey@gmail.com
Well, then, fix it.
Is that a requirement? Let say a big startup announces to cease operation with hundreds of paid customers. I think it is totally acceptable for a short announcement like Mapzen’s, but with a seperate page about migration and refund. Then the next is making sure everyone in the company will help taking customer calls.

Unless stated otherwise, I think we can assume whenever a company goes out of business, the reason has to be $$. There are special cases like political pressure etc.
You are correct; I didn't know about this for Hawaii: https://www.hawaiianelectric.com/clean-energy-hawaii/clean-e...
According to some people I knew who worked there, they were owned by Samsung
You can't just write "typical" and not explain.

Typical for what? SF? Your company? CA? For people with your level of experience?