skysight-inc/HackerNews huggingface dataset:
I'm surprised no-one linked to pg calling it a dozen years ago: http://www.paulgraham.com/submarine.html
Anybody know why companies like cloudflare use nginx versus haproxy as their public facing infrastructure (https://github.com/cloudflare/sslconfig) ?

It always seems to me as if haproxy was the superior tool with worse UX/configurability than nginx.
Do you really think regulatory decisions are made based on which side gets more public comments? And that that is so obvious anyone who disagrees is silly?
Remember Android One program? Google has commitment issues to their products/programs
I agree in a lot of environments, but web/js build tools seem to have a high frequency of fragmenting and becoming abandoned before any real long-term maturity is established.
The controls are right next to each other, unlike with a separate timer and oven. You're trading one annoying thing for an even more annoying thing. With voice-only control, you add the annoyance of dealing with voice confirmations on top of that and have no way to glance at a timer and see how much time is left.
It's a way to fund new infrastructure construction by only charging rich people instead of charging all users (e.g. by raising the gas tax) or everyone (income tax). It removes no options for existing users.
For those of us who have used the internet 1989 to present, and who are dubious anytime we are told government is taking broad sweeping actions to "protect" us. Please explain the need for this regulation to exist.

1. Please define "network neutrality" - if possible do so without using hand-waving nonsense words, but technical definitions. What strictly defines a "neutrality infraction"?

2. If the internet existed for ~20 years without the need for regulation, why now?

3. Please explain how is the very same government who allows the communication monopolies to exist, supposed to also ensure that they are "neutral"? It seems awfully convenient that the solutions to problems that government creates is to have more government.

4. Wouldn't more competition be a better course to ensuring a freer net?
> npm is require to run many command line tools (grunt, gulp ...etc)

You seem to be looking for the ability to run JS tooling (builders, transpilers, minifiers) as common command line utilities. That seems to be entirely possible and I'm not sure why you're making the distinction. I can pipe input between all of them, include them in bash scripts, make files, whatever else you're used to.

There's no meaningful distinction between a "standalone command line tool" and a command line tool that is written in node. If I added webpack (for example) to an ubuntu package repository, you could do `apt-get install webpack`, and have a "standalone" command line utility without ever downloading it from npm. It would have to pull other ubuntu packages as dependencies, but that's standard practice for installing something these days.

Unless you're wondering about packaging it into linux. In which case I'm just as confused as you are.
Most manufacturers also have a phone app. I use Phillips Hue light-bulbs, and they're OK. Sure, there are still privacy implications (NSA can tell if I'm home or not), but not as bad as having a bunch of microphones. My daughter can also control the lights with her tablet.

Main downside: it's annoying to unlock phone, open the Hue app (which is oddly sluggish), wait for it to connect to the hub, then control a device. You can also write your own tools, for example, if you want to turn off lights when there are no mobile devices connected to the wifi (i.e. no one home).

Otherwise I agree that those voice devices have big advantages for people with a disability, elderly, etc. I can't help thinking of old "clap on, clap off" ads from the 80s.
We use Lambda for our event processing pipeline and also for our GraphQL API consumed by our clients (frontend management application, mobile applications, etc).

The GraphQL API is backed by DynamoDB and is served via API Gateway. The frontend was built using ReactJS and Relay. I am currently seeing anywhere from 200-450ms per GraphQL request on the frontend, which is more than acceptable as it's just a management frontend application...and of course it may be optimized using techniques such as prerendering, caching, etc...but these applications being super optimized is not a requirement.
This would probably only work in urban areas where you can justify the infrastructure cost. In low-traffic rural areas the gas tax is much more efficient.
> If we set aside the dystopian concern about tracking

Sorry, but that's a pretty large thing to 'set aside'.
>this would definitely lead to a more efficient use of the public roadways and more equitable distribution of the maintenance burden.

Efficient use of public roadways is a sideshow to a well running society which is the big goal which is why all mass transit (like highways) are publicly subsidized to some extent whether profitable or not. Raising the cost of any method of transportation across the board does not further that.

A tax that only poor people are hit strongly by (many here spend more than $50/mo on buying alcohol at bars and other luxuries) hurts far more than it helps. Congestion provides its own congestion charge anyway. Nobody wants to be in a traffic jam or packed into a subway car. Those who can avoid it at a cost (money, time or otherwise) they can justify do so.

I would rather live in a society that has traffic jams (regardless of the medium of said traffic) than one where people get stuck with a reduced quality of life because the cost of getting from A to B is artificially increased so that getting from A to B is more convenient for those who can afford to do so.

Would you support a congestion charge for subways, buses and bike rentals?
It would be fascinating to see a graph of historical price information for the 495 express lane tolls, even over just the last few days/weeks. A cursory examination of Google results didn't yield anything unfortunately. Maybe a fun weekend project?
How do you overcome the argument from some that the cables/infrastructure/etc are owned by the Telcos who should therefore be able to control what data flows through them? The argument is that if they take that right too far, the market will attempt to react to fix the problem, without government oversight.
Blockstack raises $50M in initial token sale
As long as we eliminate the gas tax in the process.
Bitcoin could cost us our clean-energy future
My parents were poor. I went to school for dirt cheap at a state school. My cousin went to Princeton for free because his parents didn’t make enough income (the income limit was quite generous, at less than $100k per household in NY).

Being poor, in hindsight, was a blessing.
See above comments by me. Unfortunately I cannot go in to much detail regarding the nature of the application, but I've shared some extra details.
There is a referee in business: the court system.

What your proposing is more like a league which will solidify the rules as they currently exist. An example of this is banning innovations like Aluminum bats.
How does it work with ingress? Does it ship with its own ingress like istio?

We tried istio a while back and it was too slow and hungry. Reverted back to no service mesh and it worked fine. I'm gonna be trying this next!
Multiple environments with Angular and Docker
health insurance companies are not perfect, but id argue they are more a product of the imperfections of the us healthcare system than a cause of the imperfections

private health insurance is needed as we do not have public insurance for everyone. even in countries like the UK, which tend to have better outcomes and lower cost, private health insurance exists. it gives people more options if they are willing to pay and can afford it

health insurance companies are easy to scapegoat, but in reality they are not usually price gouging, but usually only responding to cost increases by hospitals and health systems. health insurance companies under the ACA must pay out 80% of premium revenues as medical claims. when you add administrative costs, health insurance companies have a structural profit ceiling of like 5%. however increasingly consolidated providers are getting more pricing power and charging more, so the insurance companies have to increase premiums or lower costs (claim denials) to protect their structurally thin margins

insurance companies certainly do terrible things like not paying things and literally inventing coding errors to deny payment. however, in many cases this is mitigated by the healthcare provider taking assignment of insurance and dealing with all this on your behalf. although insurance companies can and do make life harder for docs and influence behavior. but even in countries with "socialised medicine" doctors are influenced (perhaps more strongly) by payers.

tldr, dont hate the player hate the game
I'd be happy to see full time employment re-defined as 20h/week.

On a good day there's 4 productive hours in me. Cut my salary in half but release some of my time so I can live a little.

. At least for certain occupations / productive superstars who can do full day's of work in 4h.

Upside would be

- 20h a week to invest into family, hobby & entertainment.

- "more jobs" are created ...

- limit supply of labour solving unemployment (no need for UBI anymore?)

- Salaries would creep back up somewhat due to higher productivity per hour
Check out DAVdroid if you are on Android (there are other options too). Provides CalDAV/CardDAV to sync with Androids native calendars and contacts.
Housing prices didn't crash after many years of vastly disproportionate negative sentiment.

Housing prices crashed after most of the negative voices capitulated and bought into the speculative fervor, until there were no more buyers.

Today, nearly everyone's gut instinct is that cryptocurrencies are scams, frauds, bubbles, Ponzis and tulips.

Popular sentiment has been negative for years. How will this thing unravel before the majority capitulates?
Hmm, maybe I'm just doing it wrong.
To a large extent, yes, often. See the dot-com bubble, for instance.
Baltimore is Rust Belt?
Computer Scientist at Forefront of Sensing Revolution
So it's cheap for people in the cities, but expensive for the majority of people?
I'm very much a newbie when it comes to F# but as far as I can tell this isn't an example of what's traditionally called dependent types, but rather is a way of providing a set of helper functions and types for "smart" constructors, that is providing a validation/verification function that takes in some raw type and gives back an option of either the type you want or none.

As a litmus test (and I'd be happy if either the OP or someone else chimes in), as an example of dependent types, I'd expect to be able to compose constraints, e.g. having a type called

And<'A, 'B>

and

Or<'A, 'B>

that would then let me compose constraints e.g.

And<GreaterThan3, IsEven>

and crucially have their verification functions automatically compose as well, instead of having to invent a whole new type

GreaterThan3AndIsEven

with a whole new verification function.

As far as I can tell right now, that's not possible with this library and I need to go down the route of making the custom GreaterThan3AndIsEven type.

Another good litmus test is whether literals also need to be passed through the verification function or not (or whether you have to pass them through the verification, get an option, and then unwrap the option with a comment indicating that it's safe to do so); for a usage of dependent types I would expect the answer to be no usage of the verification function would be required.

The crucial thing that dependent types let you do is that you can manipulate types and values with many of the same tools. Composition (the and and or from above) is one hallmark of this ability. Another is being able to call a value-level function in a type signature. For example a type signature that looks like

x : if (a + b == c) then Boolean else Int

FWIW I don't mean to take away from this library; the practice of using smart constructors is something I'd love all expressively statically typed languages embrace wholeheartedly.
> You can still use dependent types to offload as much as possible to the type system, but at some point you'll have to deal with receiving user data.

Of course you have do deal with receiving data at run time, but I think very few people appreciate that it's actually possible to do the "input verification" at one specific point in your program and then have a "proven" safe input and then never have to do any validation/verification again. This even goes for things like "give me a vector of integers between 1 to 3 of size exactly 9 as input". Of course you still have to handle the invalid cases in that one specific place, but that's no different from how you'd ideally do validation anyway. That stuff already should be in a single place, and dependent types make that utterly obvious at compile time :).

(I think I may actually be agreeing with what you're saying, but I though it worth expounding on what dependent types can do for you.)

Btw, AFAIUI Liquid Types, at least as far as LiquidHaskell goes, is still a thing, though it's definitely quite "researchy" and who knows whether it'll become 'mainstream'.

Liquid Types also seem to be somewhat orthogonal to dependent types since they usually just rely on an external solver that works by "magic" (SMT) and which has built-in knowledge of e.g. arithmetic whereas most attempts at dependent types seem to want to avoid building in any of that knowledge in favor of induction + a more general "tactics" or "elaboration" type solving where the programmer guides the solver along. (Idris is an example of the latter, I think.)
Leanplum Releases Campaign Composer to Drive User Engagement
Don’t they pay per article you write? Is there any vetting?

I once tried to write an article for Motley Fool (for ~$50) and they kicked it back to me and said I didn’t have enough stock tickers in the article.

It seemed that only spelling and referencing a bunch of stock tickers are what they care about (probably due to SEO). In the end, I didnt re-submit my article because I didn’t want my name on it.
It's not a great fix, though, because less-blatant PR groups just send out draft stories or note lists which can be easily converted into news stories. So even professional, non-bribed journalists who need a quick piece will often end up writing the obvious story based on someone else's script.
Yahoo owned (before the spin off) a much larger stake in Alibaba both on a relative and an absolute basis than Tencent in Snapchat. And Alibaba is a much larger business with a dominant position.

Baidu, Alibaba and Tencent are all largely owned by foreign investors, even though they are operated by Chinese personnel.
Who fault is that really? The banks and gov for over extending risky loans? Or the people who borrow? Probably both, but if the banks do not know the risk of over extending risky loans Im not sure what will ever be done.
A popular virtual keyboard app leaks 31M users' personal data
"For the rich" is simplistic thinking. $34.50 is the marginal cost (https://en.wikipedia.org/wiki/Marginal_cost); in other words, the price paid at the time the decision to use the lane is made. Consider the situation of person who has an early meeting he needs to get to, or a job interview on some particular day that he wants to arrive at on-time. Or a person who needs to get their kid to a tournament on a particular day. Studies show that people of all incomes prefer this sort of thing for these situations (in particular, and perhaps surprising to some, lower income people with multiple jobs who need to get from one to the other on-time), because sometimes you'd rather pay and get something of a guaranteed travel time that risk arriving late. Also, you may choose to only use the lane in the mornings or afternoons, or certain days of the week, etc.
The problem with Philips' OLED displays around 2000 was that they were monochrome and for several years (97-2001 or so) Philips' marketing promised color ones "next year".
Yeah, good luck. They only recommend using a few exchanges, only one of which seems able to get your money back into USD...
Or we can have those that cause damage to the roads actually pay for it, instead of regressively taxing the poor. A semi causes 1,400x more wear on the same stretch of road than a car! [1]

[1] https://www.lrrb.org/pdf/201432.pdf
It's a fantastic argument.

If China wants 'special rules' it shall have 'special rules'.
You need to be basically educated in algebra, literature and philosophy/civics to be a productive, contributing voter and citizen. Forget vocation.
Epic developer fails of 2017
I think a fuel tax is superior while electric vehicles are still in the minority. Not only are the privacy implications much less severe, but bigger, more damaging and more polluting vehicles pay more per mile. Congestion charging should be zone based rather than road based, because of the perverse incentives that would create for rat runs on otherwise quiet streets. And doing it using concentric zones again decreases the privacy damage.
My personal highlights:

> he cold called them with my resume

> Not even sure where he found my name in the first place

> I only became aware of this company via this recruiter

> His finder's fee is very high, and it wasn't disclosed until after the interviewing took place.

This sounds like one of those LinkedIn/Dice recruiters who messages/emails you out of nowhere trying to pressure you into a job for their precious "finders fee". Also, the recruiter seems to have not had any prior contact with the company before and is trying to pressure the both of you into payment.

IIRC, this is why most job apps have "NO RECRUITERS" in big bold print on the applications. I'm surprised that the employer even offered to interview you knowing that the recruiter cold contacted you both.

> They never signed an agreement with the recruiter in the first place, he cold called them with my resume. Likewise, I never signed any agreement with this recruiter.

This is the most important part. If nothing was signed, then nothing can be truly enforced. So OP/the company could get away with not talking to the recruiter anymore since there's nothing to enforce payment of the finder's fee. That being said, the recruiter could become very evil if he/she finds out his payment isn't coming (threatening, even).

I personally spent a year out of work after college and learned the hard way just how low the bar is for someone to call themselves a technical recruiter. After creating an account on Dice, I was called daily for months about "technical opportunities" by recruiting firms with hastily put together websites and disconnected phone numbers (as well as the occasional McDonalds as their listed address). Now that I'm on the job market again, I'm having to be very careful about what sites I use and what information I leave online.

Bottom line about OP's situation: RUN AWAY. Although it is legal for you to cut him/her off since nothing was signed, the scammer (let's call this recruiter for what he/she really is) would probably start threatening OP, the employer, and their respective families. This guy is nothing but scum, and is a huge reason why people have trouble finding good jobs. The fact that you were actually interviewed is also a red flag since it illustrates that the company has no idea how to handle these sorts of "recruiters". It's possible that they're trying to be nice to you. But, based on personal experience, they're usually hiding something as well (but that's another story for another super long HN post).

TL;DR: Both OP and the employer are being scammed. OP needs to run away now before it gets worse.
I don't understand your point of view. You work in tech, right? Do you want tech companies to pay their employees less?
They expanded HOV times by 90 minutes. Before I could get to work before 6:30am. I-$66 is not the same.
Using Async Await in Express with Node
Just one person's idle speculation. It is not clear why the person has particular insight into Tencent's intentions.
Both. First any cheating athlete of course, and second the IOC having to ban an entire nation.

I'm sure there are many current Russian athletes who had nothing to do with the doping scandal. I'm going to miss the Russian ice-hockey team and figure skaters, for instance.
Hi Mr. Schneiderman:

If the FCC publishes rules intended to repeal NN and Title-II regulations, as is expected, will your office petition Congress to invoke is powers via the Congressional Review Act, to consider overturning said rules? Thank you.
You sure do care about US national security a lot for having the username "Canada" :)

I think your argument makes some sense, but I don't think the world needs an escalation of isolationism. Isolationism breeds war, and it only escalates significantly when multiple nations take part.
Labels are one of the very few things I miss when I switched from Google Apps to Fastmail, but labels sometimes do not work well with IMAP. Google Mail exposes labels as IMAP folders, but in an IMAP client, you will have identical messages in different folders. And since traditional IMAP clients are not really equipped to deal with them, label management gets annoying.
Built to Scale: How Great Processes Drive Business Growth
What about "He'd'd problems with spelling..."? Theoretically it seems fine.
The problem is that many people do believe his bullshit.
Until electric vehicles are more prevalent, the gas tax is essentially a utilization tax.
Yes, which is why I was asking.

I have had bitcoin since early on so I am aware of increased trading volume.

Thanks for the explanation.
These guys write Mac malware for a living and use nefarious tactics to fool users into installing it, while making it really hard to uninstall. I've seen it on the Mac of many less technically inclined people.

Things like: “your Mac has been infected, click here” while the user is downloading some torrent or watching porn. Faking the system's dialog boxes, using chatbots “is your Mac slow?”, etc.

I'm amazed Apple hasn't banned them from the Mac App Store. I don't know how these people sleep at night.
If BYO, be sure to test your parts immediately after assembly.

memtest86+ for the RAM.

bonnie++ and badblocks for the disk.

Finding defective parts early can save you a lot of time and money.
I find this whole set of crypto-currency experiments fascinating. It's a grand libertarian experiment -- what happens if you create a new market, without any government regulator? It looks like you initially have chaos (makes sense), and I think there are now groups of people working together. The one thing we definitely don't have is transparency. I'm a bit worried that the groups of people working together are manipulating prices, but without transparency, I have no idea.
Also, please give a way to version the API specs and specify different environments to hit with the said spec (mock, test, stage, etc.) when trying the service.
Add to which, "We have no obligation whatsoever to exchange your Tether for USD, and you have no right of redemption for this, either."
They also buy way more gas and as a result pay more taxes.
Hi AG Schneiderman,

I have an unusual last name. I searched it on your FCC comment site. Someone with my last name as their first name was the only result. Their comment was against net neutrality. Due to our unusual last name, it seemed odd it was someones first name so I decided to do my own research. By searching google, I came across a variety of social media accounts all of them were inactive with little to no followers or in some instances they were spamming links to other sites.

I have little reason to believe this "persons" anti-net neutrality response was genuine.

Is there any way to report this sort of expected fraud?
Society benefits when people get more educated, period, including better voting decision, more civic engagement, and ability to build social ties across class, ethnic, and ideological lines.