skysight-inc/HackerNews huggingface dataset:
I'd say WeWork and Uber provide real services that people want-- they're just not doing it profitably.
I haven't seen Friends, but supposedly Fat Monica had to be made fatter and fatter as she appeared over the years.
You don't buy the data directly. You buy access to who you want data and tracking info on.

The only difference is that Google/Facebook/Similar get to pretend to be clean, even though they are the enablers.
This is admittedly a trivial example, but ideally you want developers who understand why we're doing this.

Is this a quick thing somebody hacked in for a special, one-off, tax-free month in Kerplakistan as the country celebrates the birth of a princess?

Is this a permanent thing? Will there eventually be more weirdo tax rules for this country? Will there be others for other countries?

Knowing the "why" would help a developer understand the business, and reason about how best to work with this bit of code... should we just leave this ugly little special case in place? Should we have a more robust, extracted tax code module, etc.?

Commit messages help to accomplish this too, and can offer richer context than inline comments. Each has their place. Sifting through hundreds of commit messages in a frequently-updated module is not a great way to learn about the current state of the module, as the majority of those commit messages may well be utterly stale.

Ultimately the cost of having some concise inline comments is rather low, and the potential payoff is very large.

Remember that the longer term goal (besides the success of the business) of software is to have your developers gain institutional knowledge so that they can make more informed engineering decisions in the future.
What about privacy regulation? Why is that not also feasible?
Paid 13200 USD (they don't publish the price on their web page any more, but I suppose it didn't change much). Supposedly their price is one of the lowest (and you get the best care).
Unfortunately you are not the target audience
Yes, but it seems intellectually dishonest to go after big tech (where, often, the "product" is free) yet avoid going after -- say -- big telco or big cable or big pharma -- where you come out of a retail store feeling disgusting because you got ripped off so badly.

By ripped off, I dont mean, I over-spent, but rather I was forced into buying something due to having only a single choice, while not even knowing the ultimate price I will pay.

Where I live in the US -- there is ONE and only ONE broadband provider. If you ask for the price, they give you the three month promotion price. If you press them really hard, you get the ultimate non-promotional price. Then you get the bill and there is a "wire fee", "regulatory recovery fee", "line charge" and all manner of all surprise charges that you didn't agree to except in some blank-check-fine-print fashion.

Say what you might about privacy etc, but my immediate, acute pains are with real monopolies like my broadband provider -- not with which free photo sharing app I need to use
The line is not 'you are not allowed to ever do this' but 'this particular instance is hurting competition'.

If the vast majority of people shopped at one supermarket, and that supermarket's most popular products were largely it's own brand products, and most industries that competed with such products had largely shrunk to providing specialty alternatives or cheap knockoffs because it was so hard to compete, then there might be a case for breaking that supermarket up.
Reminds me of dye chromotography, I wonder if you can get different salts to turn up at different places on the edge? Might be able to get useful concentrations of lithium out of it that way.
Emulating successful startups is folly. It's the myriad failures that you will never learn about that you should be concerned with.

I'll just leave this here. https://en.m.wikipedia.org/wiki/Survivorship_bias
“Yesterday we found an encyclopedia from the Late Victorian era“
Have you tried to operate an excavator? That thing is complicated compared to a car... But you know what? That is specialist tool. If you cannot operate with specialist tools you should not get a job of a specialist.

I just had to write that rant out: https://wordpress.com/post/squarebits.wordpress.com/76
And not just a few days of zero sales they went through a whole month's worth of gas in that period and presumably sold through a fair amount of their non gas inventory as well.
Did your WBC come back as elevated?
I think you may have misunderstood the post.
You're projecting a lot more onto the hypothetical just to make it seem like something it's not.

What if it's not fun stuff?

What if it's not really a request?

This is a transaction. Step out of your feelings for a bit. Be a little more empathetic towards them. Don't take a simple answer so personally. Because when you get down to it, you're taking offense that Bob didn't genuflect enough to your taste.
It leaves it out because it isn't relevant. Amazon pays no federal tax (or close to none anyway) but it pays a shitload in other taxes.

Amazon reinvests revenue into the business which is discussed tons on this site. It also has the effect of eliminating certain types of taxes... and massively increasing taxes in other areas (like sales, use, B&O, payroll, etc...). Somehow I don't see discussion of how payroll tax at Amazon is exploding, though.
Does Google Penalize Sites That Are Not Mobile Friendly?
Only one homicide, which is pretty good for an average NYC day circa 1977, let alone a blackout.
I use JetBrains IDEs a lot, and on my full size keyboard (kinesis freestyle pro), the key combinations are an uncomfortable for my small hands. Haven't done anything about it yet (and I'm not sure what I'll change), but I could really benefit from shortening how far I have to reach.
The Democrats are going to explore how many "liberals" in their party are really "libertarians" -- myself included.

Way to keep your eye on the ball, Elizabeth.
Peer review is so shit at major AI conferences that his paper was most likely rejected for nonsensical reasons
Exactly. Moreover, a construction can be seen merely as a proof of the consistency of the set of axioms (i.e. it is the axioms rather than any particular construction that define what the reals are).
Walmart has an online marketplace, and has 500B in revenue. I'm not sure who this wouldn't apply to. Costco, Target, even Macys would fall under this?
Warren and Sanders have made it clear that they dont understand economics or the constitution. They have just resorted to making promises and elaborate plans to capture media attention, and gain voters.
Maybe the position of VP of AI at other FAANG companies was already taken, and there were no other alternatives at the similar level of prestige and compensation in the job market.
I generally believe that Taxation is the problem, not the other way around.
TIL authorization is malware apparently.
Is there a torrent around anywhere? His site is being slammed.
> It has not shown that at all. That you can encode arbitrary propositions with dependent types has been known for many decades. That doing so is a feasible, affordable way to verify software correctness has yet to be shown by anyone, despite decades of attempts.

Well feasible is definitely a way I would characterize dependently typed deductive proofs. Compcert was a large achievement and produced a formally verified compiler back-end. Therefore it is definitely feasible to design software that is correct by construction using these methods.

I think it's pretty reasonable to say that it's not yet affordable to verify all compiler back-ends this way. However I don't think the future where it is affordable is far off. Folks in the Lean community are making head way and learning from Compcert about how to model the semantics of C-like programs using new advances in type theory that will make it easier to verify such systems.

Therefore I wouldn't discount Dependently Typed Haskell so completely. Verification methods work in a continuum and I use a few depending on the needs of the project. I often use TLA+ and sometimes I use Lean. One day I'd like to see synthesis get better for large-scale projects. That would be super cool.
It won't even get that far. This proposal will be watered down and will be implemented in such a way that Google, Facebook etc will be protected from any harm and this law will only serve to hamper new entrants and protect the incumbents position.

At this stage of the election cycle a few presidential elections ago Obama was promising socialized medicine if elected, what we got from a democratically controlled house and senate was Obamacare. This is what always happens.
"No Bill of Attainder or ex post facto Law shall be passed."

- US Constitution, Article 1 Section IX Clause 3

Undoing the mergers sounds like ex post facto law. I'd appreciate it, Senator Warren, if you would amend the constitution first. And I can't wish you luck with that amendment.
I made a discord chatbot for interacting with gpt 2: https://github.com/itsmehemant123/gpt2-discord-bot
> Companies with revenue of twenty-five billion dollars or more that provide an online marketplace

I think Walmart fits that definition. Any sufficiently-large brick-and-mortar business inevitably expands to have an online marketplace, whether it's their main line of business or not.

Your average grocery-store chain would only not fall under these regulations for lack of size.
> Wish we had a gland that got rid of excess salt then we could just drink sea water.

We've got those - they're called kidneys. Unfortunately, they can't get the output dense enough to be useful for drinking saltwater...

(Maximum saltiness of urine is less than that of saltwater, which is why drinking saltwater dehydrates you)
We need to stop how big companies are growing. It's not sustainable. If we don't implement new strategies we are going to live in a well known distopic future.
You all have seen the results of a company that dominates an specific market without limits.
For people who cannot open Reddit on mobile :

"if you take the last character from each part, top to bottom, left to right:

因果由國 容港治己 義憤民誠 - Cause and effect came from (or depends on) the country, allow Hong Kong govern itself, righteous indignation came from people being honest."
This is pretty common in Hong Kong and San Francisco.
You're missing the fact that it's actually in the interest of pandering to voters with no understanding of technology or economics.
Or they could just give stable dividends and stop growing which is honestly completely reasonable for a company that makes most of its money on super passive activities like google.

Google is growth oriented because it has so much money that it can experiment with things. Maybe that’s dumb?
Birds have figured it out:

“Animal metabolism produces about 110 grams of water per 100 grams of fat,[1] 42 grams of water per 100 g of protein and 60 grams of water per 100 g of carbohydrate.
[...]
In mammals, the water produced from metabolism of protein roughly equals the amount needed to excrete the urea which is a byproduct of the metabolism of protein.[6] Birds, however, excrete uric acid and can have a net gain of water from the metabolism of protein.“

https://en.m.wikipedia.org/wiki/Metabolic_water
> Bork’s consumer-based theory had many flaws. One of the most obvious was that it did not anticipate the rise of online companies such as Facebook and Google, which offer their products to consumers for free.

Not entirely true [1]. For one thing there were close and similar models at that time. For example yellow pages were given out for free and advertising was sold. Second there were (and still are) many local newspapers that make money solely off of advertising. And along those lines I would argue that even paid newspapers are close. Why? They give a great deal of value for the small amount that is paid in exchange for viewing advertising. Ditto for tv broadcasts the content is free (as long as you have a tv set) and they make money off advertising.

[1] And I wouldn't call something that in no way could have anticipated the future in the way it rolled out 'a flaw' anyway.
I agree that a lot of shows are cut off after 2-3 seasons, and that there are fewer external shows, but I disagree that there's no replacement. There are so many new shows added every week or month. Sure most of it may not appeal to you directly, but generally I've found that there's at least 2-3 good new shows/specials/movies per month for me.

Again, most of the shows I named in my previous post were from the last year alone. It is sometimes hard to find good stuff though in the huge pile of shows.
...or...it might lead to where we were in the 90s where you installed un-trusted apps from the web and took your risks with viruses or spyware. I actually like the idea of a central app store where at least there is some process. Perhaps we can have a better process, or more fine grained permissions rights, but to open up the gates seems like a big step backwards.
Wow... I've been waiting for this for over 10 years now. The previous version was an example of a loss when Flash started to die. Since I don't install Flash any more I've been unable to use it. So glad to see it back.
I can definitely see that happening. I wonder if that would reduce the amount of unprofitable/unsustainable but heavily VC-invested companies. The big players we all think of (Uber, WeWork, etc) aren't looking to get acquired anymore, but would investors have been more cautious to invest in these companies if they knew the only exit plan was IPO'ing?
GraphQL Placeholder – Fake GraphQL API for testing and prototyping
What? The base level intervention here would be to require stations to have a generator capable of powering the pumps (and maybe the computer systems to accept payments). That's not that big of an ask actually a generator able to do just that won't be very large and it could be fueled directly from their existing storage tanks.
As do Facebook, if I recall correctly:

https://engineering.fb.com/core-data/scaling-mercurial-at-fa...

That's from 2014, but I don't believe they've moved away from it since. In 2018, there's this:

https://news.ycombinator.com/item?id=16565299
Question for the HN admins: What was the impact of removing vote counts from comments? What lessons did you draw from it?
The part where 20 years of natural selection by markets has resulted in a few ginormous companies owning the Net?
I was surprised to learn than 50% of Europeans are also overweight (vs 75% or so in the US). It doesn't feel that way. It's crazy.

https://ec.europa.eu/eurostat/statistics-explained/index.php...
>It's the AMD GPU that remains essentially useless, as of 2019.

This appears to finally be starting to change. See:

https://github.com/RadeonOpenCompute/ROCm

https://github.com/ROCmSoftwarePlatform/tensorflow-upstream/
Does anyone care about intellectual dishonesty? I mean look what has happened to this country.
I don't think so. You're implying that people who say "they have poor social skills" are in fact giving away their own poor social skills. I am saying that is not true.
>On thing that it would do is force the companies to innovate themselves, knowing that they can't just acquire every innovative company that challenges their dominance.

I don't know man?

My reading, at least how I understand it, they wouldn't be allowed to claim that they "innovated" their way into those other markets either.

I think if they are "platform utilities", they just can't do any of the other stuff period. Doesn't matter if they write the code themselves.
Unfortunately we're conflated addresses with coordinates, but fundamentally addresses are not geo-coordinates. Addresses are really just an ancient (500+ years!) short-hand for giving a person a set of rough directions to a "place", with the person supplying that last mile of figuring from context exactly where they are going. It is impressive how far we've taken this technology, but it is really starting to falter as the information age has matured.

From my perspective any solution, like this one, that tries to solve the problem of addresses through the lens of coordinates is doomed to failure. The reason is that there are just too many use cases that raw coordinates cannot supply context for.

For example when I ask for directions to a restaurant, the context of who I am and what my relation to the restaurant is matters quite a lot. A set of coordinates handed out uniformly to all who ask does nothing for my particular use case. Plumbers, health inspectors, and delivery drivers don't use the same entrance, or parking, as ride share or pedestrians.

I think it would be more productive to move to a system that is capable of capturing and relaying these kinds of relations, or at least taking as them as input. Better geo-coordinates miss the forest for the trees.
> Further, AWS had Amazon as its first customer. Eat your own dog food and all that.

Is that true though? I've read many stories about internal Amazon teams not being allowed to use AWS and that, for the longest time, it was for customers only.
Yes, most of the components and files in a default Windows installation are built from sources in the main Windows OS git repo.

Some parts of Windows have split out into their own repos and CI build and test pipelines, but splitting is a process that takes people's time and has pros and cons, especially when changes in the main OS repo are needed to give the separated components a complete, coherent API surface.
Discredited and debunked are words that desperately need to be retired. The vast majority of the time, they much more accurately could be replaced with "unpopular" or "disliked by the authority I'm about to appeal to".
Hundreds of extreme self-citing scientists revealed in new database
So Costco doesn't have to spin off the Kirkland brand even though they operate an online marketplace (Costco.com), but Amazon does with AmazonBasics? So many things wrong with that.
It never devolved; the mainstream split off from the genre, which remains underground and still has a couple dozen labels actively producing music, as it has for the last decade.

The genre is actually evolving constantly and there's a fair amount of interesting material and new artists. But it's back to being a niche much like jungle is nowadays.
But why buy such a tarnished trademark which has garnered so much ill will over the years for horrible practices? Is it a form of "all PR is good PR", that it's better to have a recognized but hated name than to have a name nobody knows of?
I really doubt it as they are not on any state of the art leaderboard from both NLP-progress and paperswithcode.com
Probably support for CUDA over OpenCL.
I started to see the same trend in technology hopping. New language's or frameworks are barely around long enough to develop long term maintainability best practices borne from experience, so everyone's blog posts are just well intentioned speculation.

You end up seeing enough contradicting information said absolutely that you realise no one is ever 100% right.
I said 'all inputs' for a reason. If I give you an infinite sequence that is sqrt(2) you cannot in finite time say it actually is.

Now in practice this isn't a problem, but it reveals the problem with finitism.
Paywall. But how does the author deal with replies, which are a very strong metric?
Even worse, almost all real numbers aren’t definable
They would still have business relationships with the other entities they were split from; they'd just be only business relationships, done in public and appearing on the balance sheets, and able to be regulated "between."

An example of the type of business relationship Warren probably wants to encourage: the way Google pays Mozilla to keep Google Search as Firefox's default search provider.

So, if Google were split up into Google-the-search-engine and Google-the-ad-agency, Google Search's main source of revenue would still be from ads—but it'd be via the separate company of Google Ads, paying Google Search for ad placement.
As mentioned (in large print!) in the article:

> “How the exploit happened is impossible to determine at this point, as the machine in question has been decommissioned."
Most of the comments here are about Lyme's disease in deer ticks, but what really terrifies me is the Lone Star tick. This alpha-gal syndrome epidemic appeared out of the blue in the 2000's and gives you a lifelong allergy to red meat.
And that's easily countered by having franchises and not subsidiaries
“We choose to go to the moon”: Lessons from X
I have been working remotely for 3-4 years, and I am currently job hunting.

I did not like working remotely honestly. As an extrovert, I did not like the isolation. However, the major drawback was not being able to steer any of the tech/political discussion because I was remote. I had poor managers/CTO that needed a good smack to the head because they were too scatterbrained, but I was not there to do it. Impossible over Slack.

Now that I am job hunting again, I am wary of remote jobs. Of the three roles I am pursuing now, only one is remote. I have a good feeling about this one since there already is a sizable part of the office that is remote.
What does it mean to open source an instruction set? What can we do now that we couldn't earlier? (genuine doubt)
It's intellectually dishonest to pretend Warren isn't going after the telcos and pharma too.

Telecom: https://www.wired.com/story/elizabeth-warren-unveils-plan-ex...

Pharma: https://www.vice.com/en_us/article/kzvy4w/elizabeth-warren-i...

Warren's entire shtick is having a plan for pretty much everything.
I want you to be right, but the truth is we already have that _with_ these centralized platforms.

The centralization benefits are not geared towards consumers, and they never were.
Can you elaborate on "write stuff down"?
Many people would live in conditions like that for affordable rent.
> I don't know if that is current the "Chorme" Edge or not.

It's not. But hey! Good news! When this Beta will become stable Edge release, all you issues will be solved!
Where do interrupts happen?
Why cut the writer so much slack? Musk went to business school period. Undergraduate, graduate doesn't matter. Doesn't matter what classes he took either. That is not what is talked about in the statement.

Curious why it even matters what is written by the OP given such a glaring and easy to figure out wrong mistake.
I love how the sick and handicapped are in the category of "those who couldn't be bothered".
Is the average grocery store online? I wouldn't expect so..
Well, one of them wouldn't be an Alphabet company anymore, much like AT&T had to divest from its Baby Bells.
Uhh, he never campaigned for a single payer model.
CuBLAS and CuDNN are just better libraries than what exist on OpenCL right now. Until that changes it'll be hard to switch for numerical work.
Does she have a plan to win the Senate?
Seems like it should be possible to make a credible disparate impact case in response.
No one who works in tech should be supporting these kind of initiatives or the people that come up with them. Yet looking around, it seems many people in tech don’t really understand what’s at stake.
I was terrible in english I couldn’t stand the subject
Exactly, which should illustrate just how pointless this calculation is. Obviously spending 99.9% of national resources on tax collection would be a colossal waste from the public's point of view despite the "positive ROI". The IRS supposedly exists to benefit the public; maximizing the amount transferred from private citizens to the government is not the end goal here. The benefit to the public from having that money spent by the government rather than by those individual members of the public who earned it is at best a small fraction of the total amount of tax collected, and may even be negative.
The latest IRS changes prioritize low income over high income audit targets: https://www.google.com/amp/s/www.forbes.com/sites/rachelsand...