skysight-inc/HackerNews huggingface dataset:
Memrise | Software Engineers, Data Scientists, Designers, Product Manager | London UK | Full-Time, Onsite, Visa sponsorship and relocation available | https://www.memrise.com
Memrise gives people learning superpowers. We aim to help anyone achieve confident, real-world language skills in just a few short months; our product is innovative and fun, and it delivers the goods.

Last year, we won the "App of the Year 2017" at the Google Play Awards. With near zero marketing spend we've grown organically to tens of millions of users, and we're already profitable with a team of 55 (comprising 37 nationalities).

Engineering-wise, we are a small but very ambitious team and value generalists that like working end-to-end, across the stack, owning their services in production. We have unique and interesting problems to solve in scalability, big data, machine learning, and interface design.

We are expanding and looking to fill the following roles immediately:

* Senior Software Engineer - Backend

* Senior Software Engineer - Web

* Senior iOS Engineer

* Senior Android Engineer

* Engineering Manager - Mobile

We use Python 3.6 / Django / MySQL running on Kubernetes for the backend and React/Redux on the frontend. The iOS and Android apps are regularly featured native apps written in Obj-C/Swift and Java.

We are also hiring data scientists, marketers, designers, and product managers.

If you're interested in any of these jobs - or if you are just awesome and think we'd be a good place to show off your talents - please apply at https://www.memrise.com/jobs/

If you don't see a specific role on the jobs page that you fit, please apply for the "Speculative Application".
Credit was no longer available as a result of cascading failures triggered by defaults. The house of cards came tumbling down.
It is perhaps ironic that your primary objection to my line of thinking is that it gates out smaller players and startups, potentially, but then you mention trusting google.com because it's baked into your browser, which of course, gates out everyone but one centralized monopoly deeming itself trustworthy. (Note: I have removed a litany of malicious Chromium-based browser installs from people's PCs in the last year, I am not sure convincing the average user to trust their browser is a good plan.)

And what about https://www.xn--80ak6aa92e.com/? How is the average user supposed to keep up with the latest and greatest ways to pretend to be someone else's URL? I mean, goog1e.com is likely to still be a reasonably effective deception to the average user. Should nobody ever click a link from anywhere, and solely find websites by memorizing the URLs and typing them in?
Does this also mean compressing/decompressing water can generate an electric field?
> Furthermore, much of this energy consumption is generated by coal — even ‘green companies’ will often buy carbon offset credits rather than invest in the energy storage required for 24/7 solar or wind power.

Plain bullshit. One of the reasons Facebook and Google have datacenters in Oregon (FB at Prineville and Google at The Dalles) is the availability of cheap renewable energy from the Columbia River.

And the companies don't buy carbon offset. The author has no idea how electricity markets work. They buy renewable electricity contracts, for example:

http://www.datacenterdynamics.com/content-tracks/power-cooli...

The author seems more preoccupied with the sesquipedalian loquaciousness than with actual facts.
They never answer the follow-up emails. They tell you we will get back to you in few weeks, but they never do.
@OP: If you are not actively hiring, please don't post here.
You're assuming that C runs on the Burroughs the way it commonly does on x86, with arbitrary access to all memory within its address space. This is not specified in the C standard, and it's not the case for C on the Burroughs. In particular, since C was not the OS implementation language, but was mainly uaed to port programs from other architectures, the C heap lived entirely within a single memory block and C code could not interfere with other programs. See: https://en.wikipedia.org/wiki/Burroughs_large_systems_descri...
Okay, but most Scheme code doesn't use call/cc, and even when it does the vast majority of the continuations in use are also "abstract function call stacks."

You said it yourself- a stack is a useful tool for implementing these non-C-like languages. Its presence does not force you to "buy into the C model to some extent."
if your kernel is doing ASLR correctly, i'm not sure doing it again in each virtual kernel will meaningfully increase the entropy of the memory layout.
Virtual Drug Discovery to Even Playing Field Between Big Pharma, Small Biotech
I think maths is relatively unique in that it is a really old subject that mostly doesn't depend on hardware. Sure computers have moved maths forward, but there's a lot you can do without.

High school maths is pretty much Antiquity level, though much more formal.
First couple of uni years are mostly 17-18th centuries maths.
Last 2 undergraduate years is 19th and early 20th centuries.

A few areas have changed though, particularly statistics I think, also computer science if you consider it part of mathematics, but have a look at a textbook from a 100 year ago, and you'll feel right at home except for the style.
I always used xpdf and never had an issue, although i use the Motif versions (xpdf4 seems to have switched to Qt).

As for a browser with a normal UI, Firefox comes hamburgerized out of the box but you can easily bring it back to relative sanity by making the menubar always visible and choosing the "compact" mode from the density option.
This is a really great book! I read it on an awful business trip when it came out and it was the only good thing that week.
> in multivariate thinking, there has be other factors that compensate for the low GPA.

And the fact that it’s hard for a company to determine what those factors are is a problem in itself. Was the student immature at time of college (partied too much, disinterested in academics/chosen subjects are two problems that come to mind)? Did he work a full/part-time job while taking classes? Did he have a child? Did she care for someone else’s child or a younger sibling? Catch my drift?

Overall, I agree with most of what you are saying, but I also agree with the previous post. You seem eloquent and well-spoken, in fact it’s a bit off-putting.

> The fact is, determining a good hire requires multivariate, nonlinear thinking.

I understand your argument, but this colorful language only weakens your argument, unless you’re writing a paper for class. In conversation, you’d be better off rephrasing in a less formal manner.
I think the hardware they are referring to is the physical arms/grippers, not the computers.

In the field of robotics I'd say the hardware still has a lot of room for improvement, although I'd still say software is the bigger bottleneck.
How to be smarter about developing smart contracts
The story of the internet is all about layers
They're vilified here, but "here" is an unusual place that doesn't represent the vast majority of Google users
It isn't just technically worthless, it is technically wrong. I know that none of it is even the point, but that's where the article loses itself: there is no point but to make an appealing critique of nothing in particular.

It isn't even wrong.
SEEKING WORK
Location: Boulder/Denver, Colorado (CO), USA and San Francisco Bay Area, California (CA)

Remote: yes

Technologies: JavaScript (React, Native, Vue, NodeJS), GraphQL, python (Django, Flask, AppEngine)

Résumé/CV: https://www.uplift.agency

Email: hn@uplift.agency

---------------

We are product-minded engineers. Build full-stack sites or native-mobile apps and take them to market.

Marius & Paul are former engineers turned freelancers who started Uplift to build amazing software and solve complex problems.

As experienced consultants and former founders, we understand tech companies. Running a business is hard. You have to wear many hats. Let us wear the ones we're great at!

We specialize in React, React Native, GraphQL and Django/python.

We’ve worked with companies like Credit Karma, ClearCare, NerdWallet, MIT, Humble Bundle (W11), FlightCar (W13), Mozilla and more.

For more details, previous work, testimonials, please visit: https://www.uplift.agency
KI labs GmbH | Munich/Lisbon | ONSITE | Full time | https://ki-labs.com/

At KI labs we design and build state of the art software and data products and solutions for the major brands of Germany and Europe. We aim to push the status quo of technology in corporations, with special focus areas of software, data and culture. Inside, we are a team of software developers, designers, product managers and data scientists, who are passionate about building the products of future today. We believe in open-source and independent teams, follow Agile practices, lean startup method and aim to share this culture with our clients.

Our current positions are:

- Lead Engineer - https://ki-labs.com/job/?id=4026760002&gh_jid=4026760002

- Backend Software Engineer - https://ki-labs.com/job/?id=4006626002&gh_jid=4006626002

- Cloud Engineer - https://ki-labs.com/job/?id=4006624002&gh_jid=4006624002

- Data Scientist/Engineer - https://ki-labs.com/job/?id=4025177002&gh_jid=4025177002

- Frontend Software Engineer - https://ki-labs.com/job/?id=4019602002&gh_jid=4019602002

- IOS/Android Software Engineer - https://ki-labs.com/job/?id=4006632002&gh_jid=4006632002

- (Senior) Data Product Manager - https://ki-labs.com/job/?id=4024455002&gh_jid=4024455002

- (Senior) Technical Product Manager - https://ki-labs.com/job/?id=4020328002&gh_jid=4020328002

- Talent Acquisition Partner - https://ki-labs.com/job/?id=4033776002&gh_jid=4033776002

Send us an email to career@ki-labs.com should you not find a matching profile above; we love outliers!
> You could also imagine a CPU that does not support general pointer arithmetic or which has some form of built-in array bounds checks, which would all be fine if supporting C were not a requirement.

I am happy to correct you, C does not require that. But also, array bounds checks are not a thing that you can implement physically. There is not necessarily corresponding only a single array length to any given address.

Imagine a virtual machine that just allocates a chunk of ram using malloc to provide virtual memory to the emulated machine. Now add another level of memory management on top.

Or imagime a function tha gets just a subrange of an array, for example to search an element therein. But the actual "array" might be much larger. It might be unclear even to the compiler how large the array is!
>"we’re beginning to think previously unthinkable thoughts"

What made it so previously unthinkable? AFAIK, there was a rough correlation between presence of these plaques and certain symptoms (by "rough" I mean some people with the AD symptoms have no detectable amyloid beta plaques, others without AD symptoms have a lot). Then a bunch of studies where they figured out how to get amyloid beta to kill cells in a dish or make animals sick (or at least p-hacked such).

Was there ever a definitive prediction derived from this hypothesis that was then tested on new data? What is it that makes people have such strong belief?
You didn't mention your specific skills, but no matter what, start building a decent profile on linkedin and a portfolio ( take projects on upwork, fiverr, toptal, crossover... whatever ) right now. Heck, write a "how to" tutorial on medium....

Also look for a roommate, to decrease your fixed costs without breaking the lease. This could give you some ideas too: https://andrewhy.de/how-to-live-comfortably-on-36-a-month-fo...

Buy a second hand bicycle, and ditch uber... and, as soon as you can afford, go see a doctor !
Please do. It would be great to hear how a company took a pragmatic approach that worked well enough for them. The mindshare right now seems like people are pushing for using combination of five different technologies to do simple aggregation queries. Sometimes knowing a single tool really well is all you need...
I remember that article being posted on several sites months ago, stating that sleep might clean out many of the chemicals that would otherwise lead to plaque buildup. Here's the NPR version, but if you do a search you'll find several editorials on the same study:

https://www.npr.org/sections/health-shots/2013/10/18/2362118...
> Should we be categorically rejecting a class of application?

What you mean, "we"?

I categorically reject any third party getting their nose in my email, including Google.

> How much value is privacy vs. value of those services?

Correcting the question to "is the loss of privacy worth the value provided", again, my answer is absolutely not.

On this point, though, it is less about 'privacy' than it is trust. How much do you trust some random startup techbros with more entitlement than sense with everything in your inbox? Not that that's every startup, but it is enough of them.

But in general, I frankly don't understand why anyone invites random third parties to read their mail. That's crazy to me. Maybe select family, or (if I were way richer) agents with a contractual relationship.
The American subways I've been to seem to all suffer from the realization that you can put advertising anywhere you could put a map.
It is classic postmodern text: it is supposed to look well informed, intelligent, but it lacks any coherent meaning. Simply fashionable nonsense.
> The Stream API has to be one of the ugliest warts in .NET, and it's been around since the beginning.

While true, at least it was less ugly than Java, and that was the initial design goal.

I agree though. Lots of things have changed and been further improved on since then, and maybe it was about time these parts got fixed up too.
"It's counterintuitive, but inflation is a good thing."

Inflation is neither bad nor good - it has costs and it has benefits and we as a democratic society need to decide where we would like to (attempt to) set that dial.

"Thankfully, average Joe American doesn't even know the Federal Reserve exists, so the FED is able to operate ..."

The degree to which average citizens are unaware of the fed is the degree to which it can behave outside of the bounds of our democracy - and that is negative.

Further, their ignorance which you so deride does not keep them from noticing when they are getting screwed. A great many elderly folks on fixed incomes and inflation adjusted COLAs have felt just that way for a decade.
Running a business is 80% marketing and only 20% product
I use Google/Gmail account to login into multiple apps. All the apps have some of these three permissions - (1) View your basic profile info (2) View your email address (3) View your phone numbers.

Are these permissions strictly enforced? I know that Google employees can read my emails (under some specific cases), but can third party app developers also read my emails?
Software is the main bottleneck in ML at the moment, imo. That and data. The hardware problem, which the author discusses briefly, has been more or less solved in the industry

I'm only a casual long time observer, but I think there's an opportunity here for haptic teleoperation. Data could be gathered from haptic teleoperators in much the same way that Tesla is gathering data for self-driving AI. Back in the 90's and early 2000's, Sarcos corp's website used to have a crappy realmedia video of a full-arm haptic rig operating an over-sized hydraulic arm casually holding an anvil like a beer mug. So evidently, we've been able to do full-body haptics and human-level agility manipulators for quite awhile. (Research in that stuff actually started in the 1970's!) On-orbit teleoperation from the ground could have interesting applications.
Yep. There have been lots of studies starting in the 1950s showing that journalism wasn't as objective as they wanted to be starting with White's study on "The Gate Keeper" and implicit bias in stories
(http://www.aejmc.org/home/wp-content/uploads/2012/09/Journal...).

But then everyone immediately forgets.
Your first line is a bit confusing in the context of other posts here -- made me think that the job had something to do with Series B funding and the pay range was 15-30 million dollars a year.
Its a common misconception that proofs by contradiction are not constructive. Take the proof that √2 is irrational. What you are trying to prove is that √2 is not rational, or, constructively speaking, `√2 ∈ ℚ => ⊥`. So a proof that constructs such a function must construct a contradiction given the fact that √2 is irrational. This is both a proof by contradiction and a constructive proof. The same can be done with both of the proof you mentioned. Where you really start to run in to trouble is double negation. Evidence of ~~P comes as some function `(P -> ⊥) -> ⊥`, so there isn't really any way to create evidence of P from that. The lack of LEM really stems from this fact. If you try to run through the proof that `P v ~P => T`, you get stuck on double negation. However, it is true that `~~(P v ~P) => T`, which satisfies the gut feeling that LEM can't _not_ be true.
Continuous Delivery with AWS Beanstalk, CodePipeline and Terraform
This is my third post in a 30 day blog post marathon about building production applications. It describes how to build a full continuous delivery pipeline on AWS. I'd love to hear your feedback!
It is very telling to me that very large animals that we would consider much less intelligent than a human (elephants, sperm whales) still have much larger brains than us. All that grey matter is needed for something! (not that all of it is going towards locomotion).
Knack | US Remote | AWS Engineer | https://knack.com/work-at-knack

Knack's goal is to democratize data and make it easy for for anyone to unlock the power of their data with apps, workflows, and integrations.

We're hiring a AWS/DevOps engineer to help us build and manage a container-based infrastructure for deploying thousands of database-driven applications.

You'll be diving deep into AWS and containers. Other tech we use: Node.js, MariaDB, MongoDB, Redis, Ceph, Fission, Salt, Sensu and Graylog.

We've been 100% remote for over 4 years. You'll be joining a small team that is just as focused on enjoying the journey as the destination.

More info: https://knack.com/about

Apply: https://www.knack.com/devops
For me when I was reviewing CVs, if it wasn’t there, I would wonder what they are trying to hide. If it was there, as long as it wasn’t especially low (for the school in question), then I would ignore it. There is no difference between a high and normal GPA, but a low GPA is probably some kind of flag.
I don't know about KWin, but there is a BeOS-like XFCE theme [1] so you might be able to swap KWin with XFWM and use that.

[1] https://i.imgur.com/emP3Jk4.png (not my shot)
> Buses being at the whim of traffic while costing only 15-20% less than Uber Express for 5-10miles while offering none of the live-information means its a no-go for me.

In Seattle, buses have had GPS trackers for years. A lot of stops use that data for "time of arrival" displays. There is also a publicly available feed of that data, lots of apps out there that remind people when to leave their office to go out and catch their bus.

More bus only lanes would be nice!
Grasping the art of grasping.
Is the Amyloid Hypothesis related at all to Prions?

Is there any research or drug research going into Prions and Alzheimer's?
Woopra | Backend Engineer, Frontend Engineer, Integration Engineer | San Francisco, CA | Full-time, ONSITE

Based in San Francisco, Woopra is a customer journey analytics service that delivers a comprehensive view of the customer to help companies create better experiences. Woopra unites customer data from your company's web, mobile, CRM, email automation, help desk, and more, to build a single and complete profile for each customer and their entire journey through your products. This data is then used as the foundation for creating better customer experiences through optimization and personalization.

CTRL+F:

Frontend: React, Redux, Babel, Webpack, ES6+, Apollo, GraphQL

Backend: Java, SQL, Cassandra, Docker

Integration: Node.js, Express, Java

Email Ramy at ramy@woopra.com or see https://www.woopra.com/company/careers for open positions. Please mention HN when you submit your application.
When we “washed out” our HIV clinical trial it was because we had insufficient efficacy, I.e. we couldn’t prove the new test was significantly (or any) better than existing tests (luckily also ours).
Mira | Software Engineer For VC-Funded Startup | New York, NY | Full-Time | Onsite

Mira is reinventing the $650 billion life insurance industry, with a unique focus on the "specialty risk population". We use technology to digitalize the buying process and build machine learning powered models using medical, wearables, behavioral and financial big data to enhance risk underwriting. Mira is backed by the world's largest reinsurers while selling for 19 of the nation's top-rated insurers. We are funded by prominent Silicon Valley, NYC and European investors. www.MiraFinancial.com

Mira is looking for a Software Engineer that can take ownership of existing products and help drive new technical innovation. You will be responsible for managing and developing new features that help our customers across the entire life insurance value chain, from marketing to underwriting and policy administration. As a Full Stack Software Engineer you will wear many hats. Whether it's building out new frontend React components or creating real-time stream processing engines in Spark, you can do it all.

The ideal candidate has a Bachelor’s Degree in Computer Science, 2+ years of software engineering experience, Knowledge of professional software engineering best practices, Understanding of Node.js or other server side languages (Python, Java, etc.), Strong understanding of AWS and cloud applications, Ability to create and deploy applications in the cloud using automated methods such as Docker, Terraform and CICD platforms.

Please apply at https://mira-financial.workable.com/jobs/739656
Learn more at https://www.mirafinancial.com
DevOps Engineer - Cloudsoft - Edinburgh, United Kingdom or Remote

We are looking for engineers passionate about DevOps and cloud best practices, with a focus on automation. Our DevOps engineers design, build, run and evolve highly available applications in the cloud. This involves integrating with a wide range of systems, including networking, containers, cloud-native services and NoSQL. Programming, AWS, CI/CD, chef/ansible/etc expertise advantageous.

jobs@cloudsoft.io - https://cloudsoft.io/company/careers/
I've worked for a few small businesses that used suse as an alternative to RHEL. I've never worked for a large company that has. I also know a few individuals who use it for personal projects. But that's about it.
I remember the golden age -- when it seemed like every week there was a Lifehacker.com post about a cool way to use and customize Gmail, GReader, etc. I gladly guzzled the Kool Aid.

It was magnitudes more effective than any marketing I've ever seen Google do. Ethics aside, you could argue that Lifehacker writers should have gotten Google CMO level stock grants.
> The O ring was a necessary pressure valve (...)

Do I understand correctly that you're saying that the O-ring would be necessary even if the SRBs were constructed as a single long tube, instead of segments that are assembled together?

If so, would you mind expanding on that? I was under the impression that the only reason the whole O-ring and caulking of the joints was necessary was the existence of the joints.