skysight-inc/HackerNews huggingface dataset:
I’ve only worked in restaurants that pool tips and the line cooks never got any
Wow, that vector space question is a great example. It’s the kind of thing that should be straightforward for anyone who has taken a linear algebra course, but I can also totally see students getting it wrong. This is especially the case because it’s actually very easy fundamentally (the set of all integers does not comprise a field, and so a vector space cannot be defined over it).

But to my recollection, most of the popular linear algebra textbooks[1] don’t spend time showing why the integers cannot form a vector space because it’s “easy.” Instead they spend time tediously walking through examples of bizarre sets defined over R and C to show which axioms are fulfilled and which are not.

In a similar vein to the way students might overthink the elementary probability question, I could see university students trained to disprove each of A), B), C) and D) - perhaps making a mistake along the way - instead of quickly scanning the options and picking out the one which simply isn’t defined over a field.

__________________________

1. I’m thinking of Friedberg et al, Hoffman & Kunze, Axler, Strang, etc.
Rust has hygienic macros which one can use to build EDSL's. It's not that hard.
A site / business / organization gets big enough, they usually start locking down database access. Even a technical CEO shouldn’t have the ability to go into a database and edit comments on a site like reddit (specifically of its size). If they want the ability to edit a comment’s body, they should have a tool for it.
Get off your high hirse mate
I don't think it matters whether Amazon or the city/state engaged the third party - the personal career/campaign finance incentives of the individual politicians/functionaries who negotiate for the city/state are aligned with Amazon's wishes and against those of the taxpayers.

And the third party's incentives are to please the paying customer in showing a good return on investment.

But if the subsidies won't actually get paid unless Amazon delivers on their promises, I agree this deal is way better than most of its type.
> In return we regulate the prices they can charge.
And then you don't get the expensive drugs.
Suppose there are 50,000 people with a fatal condition. Researching a cure and getting it approved would cost $5B. Therefore each person needs to pay at least $100,000, or there isn't enough money to fund the research. If you say they can only charge $10,000/patient, no cure.
Whatever price you set as the max they can charge, that's the value you're assigning to a human life.

With just a few minor word substitutions, what you just said could as easily be the speech a bank robber, trapped in the bank with a dozen hostages. If that $10,000 reflects the profit motive taken to an extreme rather than anything related to the cost of the drug, then it’s the company placing a number on human life. Specifically they’re saying, “It’s only worth our time if you pay us enough for us to 100x+ our margins.”
This helped me quite a bit, my mental model of how this worked was off. Prefetching only downloads the resources but does not actually execute any js code. So sites doing lots of tag managers or other js loading js likely wouldn't benefit, but standard GA, etc. should be fine.
Do you mean like Buffer buying out it's investors?

https://open.buffer.com/buying-out-investors/
Well — that gets me deleting the DoorDash app with alacrity.

That is a very scummy behavior.
This is neither illegal nor hidden, so I'm not sure there's any case here.

A good portion of the US economy is based on paying workers less because they receive tips. And even the tax system has evolved to guess the tips for workers so that they don't just pocket the money without tax.
Ask HN: What are some technical solutions for ensuring successful ACH payments?
Since ACH transfers take 1-2 days to post, NSF and fraudulent payments are going through uncaught. Venmo has this problem, curious if it's potentially solvable or just chalked up 'operating losses' at scale. https://www.theverge.com/2018/11/26/18112826/venmo-fake-payment-fraud-lost-millions-first-quarter
> When used properly the nested scope provided by lambda calculus allows shared variables accessible from outside a local function thereby accounting for the precondition of Hoare's triples without it being locally present or passed in.

Yes, you can express any Turing complete system in terms of any other Turing complete system.

> This is enough to satisfy both the functional nature of portablity/isolation and the imperative model by Hoare's logic.

I think you're missing the point. It's not about portability or isolation. It's about the mathematical system you use as the foundation of your semantics. Yes, you can implement a lambda calculus in turns of Hoare triples and you can implement Hoare triples in terms of lambda calculus. Or in terms of unification over Horn clauses or combinatory logic.

What makes a language functional is that its semantics are defined as an extension of the lambda calculus. What makes a language logical is that its semantics are defined as an extension of unification over Horn clauses. All the benefits people suggest to using one style or another are theorems, not definitions.
I plan to release it later on.
That just sounds like a more detailed explanation of "war on ourselves".
That's all you need to know as business user except one more
thing: if ever your text contains any word containing "Red"
(red is ok) you must replace this string by "&#82;ed" (in a
future evolution, we'll do it for you.)

..but why? I don't know anything about Red or this, but why on earth?
I disagree with your assessment of what the main point is. I don't think anyone else is interpreting it that way, and can confidently assert that the error is entirely on your end.

Moreover, Hofstadter's study of physics isn't unrelated to his study of intelligence. I personally got a degree in physics to study language and intelligence, because the way physicists use language, analogy, and simple concepts to understand the world is particularly effective and interesting. So I can tell you first-hand that they are related. In fact, anyone who studies philosophy is probably making a serious mistake to not study physics first.
Imagine WeChat as a default Reddit login or client. It’s the cheapest user base that could rival Facebook or google to kick off a global payment platform.

And give China an unprecedented peek into educated Americans’ porn preferences, to boot. The social credit / soft pressure side is more concerning than “censorship.”
The key to getting good rankings for good keywords is really the same as it's always been: writing stuff people actually want to read/find useful and getting it referenced by sites and services with a large audience and a decent reputation.

That's why so many startups and agencies fail miserably with their blogs; because their content is third rate crap that no one really wants to read. They wonder why say, Moz or Sitepoint gets all the traffic, and you want to say "have you actually looked at your own work?" given that the latter two companies offer useful, actionable advice and they don't. It's like they expect the magic Google fairy to take their uninteresting work and hey presto, it suddenly appears on page 1 and get millions of views.

Okay, it's not quite that simple. Sites with a bigger marketing budget tend to do better, as do sites and companies willing to put a lot more time into getting content out on a regular basis. And yes, some people will get temporarily (or sometimes semi permanent) advantages through dodgy things like private blog networks and paid links.

But actually trying and putting in the effort/treating the SEO side as a full time job is really the minimum here, and many don't seem to even bother.
Not really. Perhaps of late, but Sahil was pretty clear that they chased growth (building features that weren't core to the product) to try to get that next round of VC, and that growth stagnated; the company didn't intentionally restrict growth.

https://medium.com/@shl/reflecting-on-my-failure-to-build-a-...
The articles point is that most of the crapping has a strong racist flavor. Which sounds plausible, if not yet statistically demonstrated.

Certainly there are plenty of closet racists and 1/2 racists being drawn out by Ms Kondo.
To be fair, “Tom Douglas” is like sixteen different restaurants around Seattle. A bunch of bars (Optimism) and non-restaurant food stores (Molly Moon’s) have gone tipless as well. I’m actually optimistic that Seattle is slowly but surely beating back the scourge of tipping.
This is also the same argument people make about evidence from seized hard drives, but nobody cares.
Seems like you'd be punishing users instead of website operators since the cause/effect relationship is so unobvious.

User happens to brush over the logout button while using the site. On their next click, they're logged out. Weird. Guess I'll just log in again. Doesn't happen again for some time, but then it does. Weird, didn't that happen the other week? What's wrong with my browser? Oh cool, switching browsers fixed it. You're having that issue, too? Don't worry, I figured it out. Just switch browsers.
There would be another crack in that system. Social engineering, shoulder watching, or an "ohhh crud right", aspect of the operating system, something. The only security is knowing you are not secure.
It's highly deceptive, and more egregious than other practices around tips.

There's already one filed on Instacart for similar practices: https://techcrunch.com/2019/02/05/instacart-faces-class-acti...

And Instacart backed off the policy as a result: https://www.eater.com/2019/2/6/18214354/instacart-delivery-w...

In any case, you don't have to take a class action all the way to court to inflict damage.
Jocko almost certainly has certain genetic mutations that allow him to get by on much less sleep. These mutations have been identified for a while now[1], but they also seem to result in a vulnerability to degenerative mental conditions later in life. It is not clear if it is a direct result of the mutations, the decreased amount of sleep interfering with other processes, or something else.

---

1. https://www.scientificamerican.com/article/genetic-mutation-...
Because you can't pay what other organizations are willing to pay for your information.
Isn’t spotify family plan expensive? Netflix & Amazon prime - both are < $15 per month for HD family plan. But spotify just for music is $15. Is it fair?
It's too bad you're being downvoted. It's a legitimate question.

Looking at the source, a case could be made either way IMO. On one hand the scheduler doesn't have priorities, but on the other, you have to explicitly pin tasks to cores so you could actually guarantee real time behavior pretty easily on a fixed platform...
Breaking the web is not a good thing. Regardless of how you think things should be done.
They have a relationship with the DoD to launch national security satellites.
The Prophet Synthesizer [video]
What about fraud in machine learning and artificial research research? Just to get a high paying industry job these professors do fraud research and claim them self as AI expert. I think the next bubble will bust when these fraudsters sitting in industry won’t deliver anything. Because all the company foolishly spending so much money on fraudulent research without any productive result. Look at Facebook ai research. They can’t even control fake news and their researcher are trying to solve ‘general artificial intelligence’ :)
I don't like Flash Boys at all either. But it's not my argument that all books by journalists are good. Ninety percent of everything is crap.
If a GET request is all it takes for your analytics to be messed up, then your analytics are not reliable in this era of bots pinging everything.

You need to be emitting your analytics events from a rendered/executed page. Preferably with javascript, and a fallback <noscript> resource link to a tracking url can work here.
Perhaps the problem in that case is the government overstepping it's responsibilities.

I firmly believe people should be held responsible for what they say and do but there has to be freedom to say things that are offensive or scary or there's no protection for any speech.
If it’s only for moderates then it’s not a right wing haven.

And extremism is subjective. You could say America is extremist capitalist. Sure we don’t burn books or kill dissidents, but we kill millions through unhealthy food, we have millions addicted to painkillers, porn, social media, and many spend half of their adult lives in a room typing on a computer. All permissible because it’s good for a profit. I’d call that extreme.

Whether you agree with an extreme view doesn’t mean you shouldn’t be allowed to talk about it. Some views that are extreme to you are not extreme to me.
Follow-up by Russ Cox: https://research.swtch.com/name.
About drugs: harsh penalties against drug use mean less drug abuse. And drug abuse is a problem. I've seen a few conferences at Boom festival and even though it may be the most drug-friendly place imaginable, even they acknowledge the need for control and the potential for abuse.

Doing nothing about is it not a reasonable option. Where opinions differ is on how to address the problem. Harm prevention vs harm reduction. Harm prevention is the "conservative" view: drug is bad, do everything we can to prevent people from using it. Harm reduction is the idea that people will try to get high no matter what, and focus on making sure people don't kill themselves or others while doing so. These approaches are mutually exclusive: you can't prevent substance abuse while at the same time helping people doing it "the right way". That's why there is a debate.

About immigration: do you want some stranger to live into your home. Opinion on immigration is just a large scale version of that. One view is "Do not want, he is loud and doesn't pay the rent", the other is "Cool, he is interesting and he cooks really well". Both are true, choose your side, or be somewhere in the middle.
For Waymo's self-driving taxis, humility is key to the company's future
You're wrong about most things but it's definitely cool to see cheese addiction come up in mainstream media. I used to eat whole blocks of the stuff at a time and when I quit I was literally shivering. That stuff might be alright in small doses if you have an eating disorder and need to make food more palatable, but it is not good for adults.
Also, what percentage of people tip? I feel like that number is going down. These apps and services disconnect the service from the tip to such a degree that I no longer feel bad not tipping or feel good tipping well.
High frequency trading loses its spark
But this still needs money for development and growth. I don't see how a non-profit, magically needs less money for that.
Well, making it without proof is a shallow defense.

People do care. And this is a basic trust problem inherent to computing.

Ever notice how there is often redundancy and history present?

This is why.

Another place this shows up is electronic voting. Lack of personally identifiable records leave people in a position of forced trust, unable to know the record is accurate.

Motive plays a role here.

Spez had a childish, bigger dick type ego motive. Untrustworthy.

The same exact thing done to protect someone, and done with rational communication would be far less controversial.

As for the hard drive, the defense must speak to motive and it must be compelling, or we are all likely to trust the person doing that necessary work.

Your comparison is germane, but too simple, in my view.
shaming is not criticism. criticism is an expression of disapproval of an idea not the person. But shaming is personal. This is not constructive to improve.
Using redux v4 with react-redux v5 for a large and complicated project. Was looking into react-redux v6 but it looks like there may be a significant performance hit (https://github.com/reduxjs/react-redux/issues/1164) so will hold off on it now.

react-apollo is very interesting to me, but my understanding is that we'd need a graphql compatible backend, which we don't have
Sorry about that, I neglected to include the glslify transform. It should work in version 1.0.1 now.
It is a BlueChick, from BuildYourCNC.

I recommend it if all you wish to cut is wood. It is not really stiff enough for aluminum. A great starter machine.
Mine is starting to wear out the rails, so I am in the course of building a new one based on 8020 tubing, which is going to have a much larger carvable envelope.
I don't get it. Why would anyone buy a 99,9 return for 100 or 104 return for 104,1. Are the bounds a token for large bills or what?

If 100'000 € bills existed, would founds etc. get those instead?

Is there a tax on cash or something.

Finance always seems like a big scam to me. It doesn't make any sense and the truth is protected by a guild of banksters under layers of complex hard to access rules and what not.
The _degree_ of the Chinese problem is astounding. There are bad apples in all cultures, but the rampant situation in China is something else.
Learning to Fight Made Me Confront the Dark Side of Self-Improvement
I don't have a 3d printer - Shapeways is much more convenient and cheaper!
What about Uber eats?
Ask HN: Which 5 investments of £1k each should I make?
I have £5k to spare and want to make 5 separate investments, VC-like, such that even if 4 fail, one grows 10x over 5 years. What should those investments be?
Ask HN: How do we shift to preventative medicine?
My grandfather, who is in otherwise great health, recently got diagnosed with late stage cancer of the kidneys.

How feasible would it be to build an open source suite of diagnostic programs that people can use to build longer term, longitudinal health system?

The idea is that by building transparent, open source diagnostic models and looping it into a platform where you can track your health data, we could build a preventative system.

Am I being completely irrational, or missing something?
Given the phrase "Intel funded" 'childintime is probably confused and thinks AMD Zen is not vulnerable.
Wait. Do you like the corporate censorship or not?
Many people browse the web from an employer who has rules about what
types of pages may be accessed. For example, a person applying for a
job with my team may include a link to a web page about their
job-related background -- portfolio.html or whatever. HR tells us to
be sure we don't follow links to any other page that may be
more personal in nature, such as a page that reveals the applicant's
marital status (which can't legally be considered in hiring decisions
here). HR doesn't want to deal with complications from cases where we
reject an applicant but there's a log entry showing a visit to, say,
family.html from our company's IP address block. We'd prefer that
prefetching isn't a default.

There's also log analysis to identify the set of web pages visited by
each employee during work hours, and an attempt to programmatically
estimate the amount of non-work-related web browsing. This feeds into
decisions about promotions/termination/etc. Prefetching won't get
anyone automatically fired, but we'd still prefer it isn't a default.
It has been three and a half years. Hardly “just”.
It would take a seriously sleazy group of people to not only come up with this idea, but implement it and continue to defend it after caught.

Apparently the "tech" world has the definition of "innovation" mixed up with the one for "deception". How disruptive!
re: "If a designer..."

No argument from me. There's plenty of title inflation, and turds wearing lipstick.

re: "And to counter..."

I have to push back. Unless there's a glaring technical omission, then whatever you see was likely not the engineer's decision. That all happened prior to construction. And even a technical faux pas might not be the engineer's. More than once I've stuck my neck out and said, "...that's not ideal..." and was overruled and marginalized.
> I feel this fails a user expectation that simply hovering over a link doesn't inform the server of anything.

I would bet 99%+ of web users do not have a sufficiently detailed mental model of web pages that this is something they've decided one way or the other.
Release Radar · January 2019
Love makes us all do crazy things, regardless of how well we may understand a subject or the possible implications.
Words and specifications have to mean something, glad to see this. Corporations can't just change reality to their bizarre whims.
Last week I came across a Usenet post from Kent Pitman (who helped create Common Lisp, and coined the terms Lisp1 and Lisp2 in this paper: https://www.dreamsongs.com/Separation.html) which provides the best explanation I have seen on why Lisp2 is a good idea:

https://groups.google.com/forum/#!msg/comp.lang.lisp/6TkfPLe...

Also as pointed out by KMP later in that thread, block and go tags are separate namespaces, and so are type names. I like to say that it is really Lisp1 vs LispN. Any language with macros and first-class identifiers is going to be capable of having arbitrarily many namespaces.
Hey, you invented crash-only software! https://lwn.net/Articles/191059/
I started development of my own 3D-graphics engine in 2005 as I wanted to create a 'simple' 3D modeller, refusing to learn the industry packages. My first prototype was able to create convex hull meshes over half-edge geometry. Then another revision, starting from scratch, to implement a scene-graph. Another revision for undo-redo functionality and I was sitting already atop 40k loc. 14 years and 12 revisions later have turned my pet-project into a full blown 3D graphics package I am quite proud of. Development has slowed down ever since I became a father but the lesson learned is that developing a 3D-graphics engine (and a game engine ie logic later on) leaves no techique stone unturned. Would I do it again? Certainly, if one would rewind my age back to the day I was as h0rny as 10 apes together ;-)
Getting Started with Google Colab: solving your problems with free GPU
Kilmarnock vs. Rangers Live Streaming 9 Feb 2019
https://qiita.com/Wanted/items/9b58dc6445202228e67c

https://qiita.com/Live24hd/items/d3a0a6d7de967ed6a89f

Is Kilmarnock vs Rangers on TV? Live stream, kick off time and team,Kilmarnock vs Rangers LIVE score as Jermain Defoe leads the line for
Kilmarnock vs Rangers LIVE SCORE: Latest commentary and updates
> I don't think anyone else is interpreting it that way, and can confidently assert that the error is entirely on your end.

The post is very clear that it's talking about expertise in the sense referred to in my comments (which, as also indicated in my comments, I don't fully agree with):

"Rule #1: Prefer books by experts in the field
The best nonfiction books I have read have invariably been by folks who spent their lives researching that particular issue. A couple of books in this category immediately come to mind: Why We Sleep, The Language Instinct, Gödel Escher Bach.

Positive indicators of this in a blurb may include “Professor in [field directly related to the book’s topic]”, “Long-time researcher in [field directly related to the book’s topic]”.

Note how they say "Professor in" and "Long-time researcher in".

The way you're using a term, a 21 year old can have "spent their life researching the topic" if they've been focused on it over the previous three years.
I sit corrected. Thanks. The arc of my point was, the immune system isn't static. I should have done better. Again, thanks.
My PACER bill always manages to end up north of $25 a quarter.

Reforms are sorely needed. Imagine google charging you (and your lawyer) $.10 per search plus $.10 per returned result.
Visual Programming: What Went Wrong and Is There Room for Improvement?
Google doesn't hire losers