skysight-inc/HackerNews huggingface dataset:
one definition of a convex function is that its epigraph

{ (x, y) : f(x) <= y }

is a convex set. Another is that the line segment between two points on the graph lies above the graph, i.e.

(1 - t) f(x) + t f(y) >= f((1 - t) x + t y) for all 0 <= t <= 1

known as Jensen's inequality.

Convex function must be defined on a convex domain (no holes) and continuous at everywhere except the boundary of the domain.
Well, you're looking for reasons to exclude someone. Instead of judging each case on its own merits, you apply a sweeping filter to all cases.

Think of all the things that make you instantly hate someone vs instantly like someone. Which list is longer?

It's easy to argue abstractly that a whole class of ideas are bad just because one instance is unfashionable. But if you only use terms because they're trendy instead of accurate, you're restricting yourself from coming up with the best ideas.

If "Uber for X" is the best way to describe something, then it's the best way. There's no reason to use euphemisms unless you're nervous about public opinion. I think it's more respectable to stick with "Uber for X" even when it's unpopular. People will always hate you for one reason or another, but at least you can resist bullies.
Oh I totally agree. I can't even tell you how many times I have had degreed folks or people with certification do the dumbest things that break stuff that someone who didn't go to college but spent age 8-25+ with computers, and hacking, and living technology come up and go, "um that breaks X because of Y".

I've always personally favored self taught over degrees.
Temboo | New York, NY | Full-Time | On Site

At Temboo, we build software that helps people connect embedded hardware to the internet, enabling them to develop any type of physical computing system. Temboo ships on hardware from Samsung, Texas Instruments, Arduino and more, and our customers build everything from offshore shrimp farming monitors to metal detection systems in industrial bakeries.

You can find our open positions here:

https://temboo.com/jobs
I can give you all that with imperative mutation:

https://www.microsoft.com/en-us/research/publication/program...

Of course, I'm a researcher who deals with this field daily, I'm not going to be your ideologue functional programmer who meets your ideological criteria for twisted language with a poor understanding of the wider field.
I'm assuming you mean 1/6 of $150k (150k was salary plus benefits, the salary was only 100k).

25k is very badly paid for any area in the US (outside of a few territories) as a software developer. If you're not in the US, then obviously that changes things.
I don't usually insure a few thousand dollar risks... I would use a cleaning agency if they credibly promised workers comp... Fixing a damaged human is way more expensive than a damaged dog, or any object I own.

The problem is that as far as I can tell, the maid agencies all use independent contractors, so while they will replace my stuff, I see no evidence they will cover the expensive thing.
SoundHound | All roles available in Santa Clara/San Francisco. Engineering roles only in Toronto. NLU only in Sacramento/Baltimore | ONSITE | http://soundhound.com/careers

I'm a Software Engineer on the Natural Language Understanding team here at SH. We've just raised $75 Million from NVIDIA, Samsung, KP and others to take on Amazon and Google in AI with our "Collective AI" Houndify platform. Our open Houndify platform has the world’s fastest speech recognition and most sophisticated natural language understanding. We've had a lot of interest from partners and there are a LOT of really interesting projects being worked on requiring complex problem solvers who can work well independently.
Things have come a long way since our leaked demo video took the top spot on Reddit a year ago!
https://www.reddit.com/r/videos/comments/38fdyl/this_is_insa.... https://www.houndify.com/ https://soundhound.com/careers

We're hiring for roles spanning mobile development, front-end web, SRE, data engineering, backend C/C++, design...

If you have any questions you'd like to ask an engineer here just email me: scotth at (company name) dot com. I will respond to all emails but please, as the thread says, no recruiters! We have hired from this thread in the past.
I think you mean "so", not "but" :)
Uhh, what? Reddit and Twitter have completely different models. Twitter is very person-oriented ("what is this person saying") while Reddit is very topic-oriented ("what are people saying about this topic"). They have completely different use cases.
I tried on the Lenovo X1 carbon and had the opposite experience.

Did you manage to solve the fact that, when plugged to an external monitor, if screen is turned off and back on (or the computer sleeps if you walk away for 20 minutes), upon logging back in all windows are in different workspaces than you had originally set them in? If so I'm very curious, it was the thing that made me switch back to mac (and I irrationally hate mac).
> What value does this add over stocking various drinks, in containers, in a refrigerated case with no machine?

You can market it as "fresh".
Google did chime in. Clearly you didn't read the article you linked to me.
> never take a job for which you meet all of the "required skills and experience"

Is there a way to do this without knowing someone who can get you through the HR firewall, then being known as "That Idiot" until you figure it out?

EDIT: Difficulty, you must be an average programmer. Linus could probably get a job wherever.
Hopefully the peeps at Google are wise to the groups trying to game the +1 system for their own PageRank
Its really just a practical application of the lambda calculus. Making it a different model of computation proven to be equivalent in power to the turing model.

Its requirements are to have functions of input variables to output variables, where variables can be functions themselves. And the ability to apply functions to values.

It contrast the turing model, which says instead that you have infinite variables that can be uniquely accessed. And a set of instructions which can read the values of variables at a given location, transform it, and write it back at a given location.
http://www.anandtech.com/show/9959/samsung-announces-14lpp-m...

https://semiaccurate.com/2016/09/01/intel-finally-narrows-14...
Yeah, it's a pun on the word 'liquidation'.
i am making software for nearly 30 years... yeah all that technicals, peoples, methodology, philosophy.. and i keep doing it. Gradually became more interested in People than machines. Mentored a number of people during the years (and 1-2 right now), for last 4 years enjoyed teaching about 50 people Python. Some of them now work with me.. as best teaching is by doing.

topics: python and architecture and languages-everywhere and software-in-general and life-as-programmer-in-general, maybe other stuff too.

http://en.svilendobrev.com/rabota/
She was there as an employee/representative for Forbes, not an independent journalist.

"...Hill was a cub reporter at Forbes..."

Forbes agreed to an NDA not to publish information. Information she uncovered working for Forbes.

"...Google representative suggested that Forbes would be penalized in Google search results if it didn't add +1 buttons to the site."

Suggested how? Like, this is going to be popular, our algorithm may begin to nudge up sites with +1's versus sites without if the network effect of having a +1 is nudging sites up in popularity/visibility?

Or "Larry and Sergei will login and change your rankings?"

Big difference.

Let's not pretend journalists aren't susceptible to misunderstanding technical topics.

None of this is a shock! This happens ALL THE DAMN TIME in business.

There's a lot of hit pieces being pushed by Google's competitors and those that may be threatened by them.

None of this is discussing how Google screws the public in general, but about how it screws Forbes, or might screw liberals and conservative power players, or Amazon.

I'm not saying Google is a saint, they're pretty crappy. But look at the messengers here, and the "issues" being raised. Google can't use their investments to run their business their way.

The only concern is how it is screwing with other big wigs, however!
I can't really speak to recruiting because I haven't done it (at least in tech).

It's useful for people to be able to self-assess, I think. It helps round out your assessment of a) where you are in your career, b) where you are in your field, c) question if you're satisfied.

I'm not sure it's something that should be forced on people, but it's nice to know it's there if you go looking. Once somebody's looking for answers like that, then usually there is dissatisfaction already rooted... or just plain curiosity. Nothing wrong with curiosity.

But where it's largely against the rules, or a faux pas, to discuss salaries with coworkers, it can be hard to gauge your situation if it's a concern.
[Interview] CTO of Breaker (A YC Comp.) on Podcast Tech and the Future of Podcasts
How are you dealing with the liquidity problem though? Are you just leaving the coins in your wallet(s) or are you actually cashing out regularly (i.e. selling the coins for $)?
#1- I've found that rubber ducky problems get solved fairly quickly.. but I can't schedule a duck until 3 days out as of 9/1 2:15 PM CST.

#2- If you won't sign a custom NDA, I would certainly feel better if you presented me with a stock NDA that all of your ducks have agreed to.

Edit: #3- To protect yourself and your customers I'd suggest that you make sure you have a no-PHI and no-real-payment-info (PCI) requirement :)
The fascinating thing about this writeup is that it's even necessary.

The analysis it presents is a pretty straightforward one. It's the kind of basic contemplation of product-market fit I'd expect anyone starting a new business to undertake before spending a significant amount of time or money on it. In other words, it's a simple sanity check.

What makes this one fascinating is that apparently so many people out there have tried to start "Uber-for-X" businesses without even doing a simple sanity check first that it's necessary for a third party to do it just to prevent even more lemmings from marching off the cliff.
"Without any evidence"??

I think first-hand accounts of conversations should count for something. I know it's not as good as a recording, but journalists frequently report on verbal answers to their questions.
Mapistry | First Sales Executive | Berkeley, CA | Onsite

Mapistry is Gusto for environmental regulations.

Mapistry is looking for a sales leader that is inspired by the builders, the doers, the folks that manufacture cement, mine the ingredients in our toothpaste, and drive our buses. Our customers use Mapistry to ensure they are protecting the environment and complying with all the rules, so they can get back to doing.  It’s not sexy and it’s not flashy. But if you want to really make a difference for the companies behind all the products you take for granted and protect the environment at the same time, Mapistry is the place for you. Mapistry is a post revenue startup, in fact we are profitable, our customers range from small "Mom and Pop" to Fortune 100 companies.

Mapistry is looking for a sales exec with a demonstrated track record of sales "hunting" success with large, multinational commercial and industrial customers as well as sales team management. You’ll have a seat at the table working alongside the founders and take ownership for building, optimizing and managing the complete sales and success function. The ideal candidate is on a trajectory to grow with the company and become the Head of Sales, leading a larger sales team.

More details: https://www.mapistry.com/careers
I think the future of food is different - it's about restaurant quality meals, for cheap, large selection, with zero effort. maybe via online ordering, maybe Whole-foods/Walmart. And you may need some fancy oven like combi-oven or solid-state microwave.

And even if we're talking cuts of meat, i think technology like MATS(microwave assisted thermal sterilization) may give you high quality meat that doesn't spoil for very long, so that won't be an issue.

And as for suggesting recipes based on fridge content or restocking (are those such big problems for consumers?) - there are probably other ways to solve that , like AI + camera, no need to reshuffle the whole supply chain.
The main problem is the digital to analog conversion has to happen in the phone. DACs involve trade offs and they aren't all equivalent. With the 3.5mm jack you get whatever your phone has.

The early conversion to analog has other implications. Distortions in the signal can more easily affect what you hear than digital, which can do error correction.

Also, you might want your headphones to do signal processing. That probably needs to be done digitally, so if your signal is analog you'll have to digitize, process, then convert back to analog.

And the 3.5mm jack doesn't deliver the power. So if you want to do any processing or amplification you'll need a battery that you have to charge or some other power supply.

3.5mm also allows for only very basic controls.
Ryzen plus IGP products are not available yet.
well Uber copied Lyft that in turn had copied Sidecar (that even had a patent)

You can even make a strong case that what fundamentaly differentiates the three outcomes it's the CEO.

http://fortune.com/2016/03/16/sidecar-uber-innovation/
Not only to avoid enforcement, but also because some customers will only select products where a https://en.wikipedia.org/wiki/Second_source is also selling them.
Stanford, UC Berkeley and MIT Produce the Most Startup Founders
Real estate marketplace | Fullstack web | San Francisco, CA | ONSITE

We're building a marketplace for new types of real estate created by changes in car ownership habits.

We're a team of two, looking to add two more full time engineers, skewing towards front-end, but the ideal person is comfortable working across the full stack.

Stack: Python, Django, MySQL, React

If interested, drop me an email dk@sednia.com
You also have to consider the opportunity cost of the higher construction costs.
> Before you can even consider verifying something, you have to be able to talk about it in some formal language.

Sure, but it doesn't have to be a programming language.

> Preferably the one you're programming in.

Who says so? Programming languages (justifiedly) optimize for the ability to express computation, not the ability to express proof.

In spite of Curry-Howard, there exist important differences between proofs and programs:

(0) Proofs are primarily for humans to understand. Programs are primarily for computers to execute.

(1) Proofs are sometimes allowed to be non-constructive. Even when they aren't, an easily understandable proof beats one that corresponds to an efficient program.

(2) Allowing non-terminating programs is actually a good thing: it allows for proofs of correctness that use techniques not anticipated by the language designer. OTOH, if your logic lets you prove a contradiction, it's the end of the world (for your logic).
Not doubting you, but what instances were there of Apple threatening to retaliate against the press? Nothing is coming to mind when I try to recall such incidents and I imagine you have some specific ones you could point to.
Has that ever happened before in the history of mankind with something significant?
> Burns’s future plans —of varying uncertainty— include [...] multipart films about [...] the African-American experience from the Emancipation Proclamation to the Great Migration.

No need to wait on Burns, check out Henry Louis Gates's version http://www.pbs.org/wnet/african-americans-many-rivers-to-cro...
If the tread is user-removable, I suspect it will come off in the course of normal usage.
There's quite a bit of literature on putting quasi-newton methods like BFGS in an online setting, but I've never actually seen anyone use them except in the papers that present them. Maybe a few theoreticals are still being settled or maybe no one has written a robust piece of software for the folks who aren't optimization experts?
Maybe a more general reflection would be interesting to people.

A tension of this site is that its core focus (intellectually interesting stories/discussions) makes for an interesing place for people to gather, giving rise to lots of additional opportunities to add value, e.g. connecting people who are interested in the same things. Some of those are very valuable! Helping people find mentors, for example.

Nevertheless, we're pretty rigorous about moderating this sort of thread out, because it's not the core focus of the site. HN's core focus is the goose that lays the golden eggs. Taking care of HN means taking care of the goose and (mostly) foregoing everything else.

To switch poultry metaphors, it's a case of Andrew Carnegie's line "Put all your eggs in one basket and watch that basket." [1] From that perspective, it's not great for HN to have threads that are lists of contact info, even though the contacts themselves have value.

Staying focused isn't fun. It means making unpopular decisions and seeming like we don't care about things we actually do care about. But over the years the moderation has stabilized to a bunch of standard practices and this is one of them. It definitely isn't personal or specific to a given post.

1. https://quoteinvestigator.com/2017/02/16/eggs/
WARNING: The page immediately shows you a picture of the affected man's hand. You might not want to see that, it's quite graphic.
F.D.A. Approves First Gene-Altering Leukemia Treatment
The 37 Software Tools We Use to Run Our 7-Figure Ecommerce Business
BCG Digital Ventures: Engineers and Scientists
Mountain View, CA & Los Angeles, CA - BCG Digital Ventures - ONSITE Full-Time - VISA transfers

Interview Process: 1. Technical/Coding Video Conference Interview 2. Full-Day Onsite Interview 3. Decision

BCG Digital Ventures - We invent, build and invest in startups with the world’s most influential companies.

Currently Hiring for: Blockchain Engineers, Data Scientists, Data Engineers, Full-Stack Engineers.

Full listings found here:

https://careers.bcgdv.com/
Ask HN: Good remote developer workstation setup?
I've been trying to setup a remote developer workstation environment on an Ubuntu server (behind an lxc container, accessing with a Mac client), but the results are far from satisfying.

I've tried the following: native X forward, vnc (with and without xvfb), xrdp, x2go, even guacamole (with both vnc and rdp), but some things seems to be hopelessly broken across the board, e.g. there is no clipboard sharing/sync, non-US keyboard layouts do not really work, and TAB and other special keys usually don't work the way I expect them.

Do you have a remote workstation setup that does not suck?
I used to love teaching people things, but as I've gotten older I've gotten more jaded. We all want to work with people in the bottom right square - those with potential and tenacity seeking to accelerate their progress. But the reality is that the vast majority of people (I'm guessing 95%+) are on the left side - they just want to be sold a dream.

At least for me, it's too soul crushing to work with people who completely lack motivation.
But how is it sustainable to grow fruit, pick it, wash and peel it, then cut it up and put it into some sort of disposable bag, then ship it to each individual who wants it, then require them to own an appliance that likely runs on fossil fuels to get the product out? They could have just shipped bottle of juice to the local supermarket and cut out the machine entirely. The waste would have been less because the bottles would have been recyclable, and they'd own the machines and use them in place in bulk. The shipping would be more sustainable because of the scale of doing all shipping to fewer grocery stores than all their customers (or at least all they hoped to reach eventually). The whole thing is wildly wasteful.
Clearly you aren't doing your makeup in that mirror.

However, no, 4x80W bulbs aren't needed. When someone does need to do makeup, replace them with 4 1200 lumen 5000K bulbs (15-17W each).
Yesterday's discussion: https://news.ycombinator.com/item?id=15145176
Guide: Your First Crusader Kings II Mod
simplesurance GmbH | Berlin, Germany | Onsite, Full Time https://www.simplesurance-group.com/

We are building one of the world’s leading platforms to make insurance accessible. Since 2012, we are proudly “Made in Berlin”: we are very international with 150+ people from over 30+ countries working daily in our central Berlin office. Our internationalism is reflected also in our business since we are active in over 28 countries.

InsurTech is just taking off https://blog.ycombinator.com/thoughts-on-insurance/ and we’ve been there from the beginning.

What we are looking for:

- Golang Software Engineer (f/m): For hardcore gophers.
- Language-agnostic Software Engineer (f/m): For pragmatic developers always looking to learn new things.
- Manual and Automation Test Engineer (f/m): For people with proven experience in Quality Assurance testing methodologies.
- DevOps Engineer (f/m): For lovers of infrastructure as code and service orchestration.
- React Software Engineer (f/m): For the interested in the React ecosystem, from web to mobile native.
- Full-stack Software Engineer (f/m): For PHP and Javascript allrounders.

Email: jobs@simplesurance.de | https://www.simplesurance-group.com/careers/
How the US government spies on people who protest – including you
> How can a non-linear function even be convex in shape?

I'm not sure what you mean. Apart from the linear case (which is weakly convex), most convex functions are non-linear. So yes, it is not only possible, it is the norm (in a colloquial sense). Refer to this for a mathematical definition of convexity:
https://en.wikipedia.org/wiki/Convex_function

> Also, what about the case where the function isn't continuous or where it's not defined everywhere (the surface has holes)?

There are two different cases:

1) Discontinuous functions: these are by definition nonconvex e.g. step functions. Gradient-descent methods cannot handle these directly; typically they are modeled as mixed-integer problems.

2) Non-smooth functions: are convex but do not have derivatives defined everywhere. e.g. abs(x). Gradient-descent methods don't work well on these types of functions. These typically require subgradient/bundle methods, or can be modeled as discontinuous functions.
Ember user here, looking for a breath of fresh air from the limitations of Emblem/Handlebars and the endless layers of complex objects.

I am enrolled in Udacity's React Nanodegree, but recently took a closer look at Vue. It seems to offer everything React does (VDOM, one-way data flow, centralized state management, support for JSX), but without the patent drama.

I previously took a nuanced approach to Facebook's unfair patent license, and will probably never need or want to sue them for patent infringement. But Vue is quite a viable alternative, so I see no reason to reward Facebook's unwillingness to play fair.

I plan to finish the Nanodegree, but will probably be skipping React and using Vue for my own real-world projects.
It's used just to assert properties of a function, for example if you have a function `rot13`, you could say "for all string `input`, input == rot13(rot13(input))".

And the test library will generate that input string randomly (or with a seed if you have a failing case you want to put in a regression suite), and if it finds a failing case it will search for the minimal input string which also fails.
Personally, I buy into the 1 service, 1 repo argument. The fewer interferences between services the better.