skysight-inc/HackerNews huggingface dataset:
You get my upvote, because I respect your perspective and I agree in principle.

But at its logical conclusion, this idea puts up some serious practical barriers. Even if you only use an OS that you’ve personally audited, and even if you’ve gotten past the potential Thompsonian compiler issues, you’re still left with a minefield of possibly-adversarial pieces of software that might interfere with your computing experience.

Have you audited your BIOS/UEFI firmware [0]? Your CPU’s microcode [1]? Your WiFi/Bluetooth adapter’s firmware [2]? Your HDD controller’s firmware [3]?

I acknowledge that I’m advancing something of a “slippery slope” argument here, but I still care about the question. Where do you draw the line? Obviously being able to audit all of it yourself perfectly would be awesome. But to me that just seems impossible. So how much is enough?

EDIT: beaten by astrodust!

[0] https://www.pcworld.com/article/2948092/security/hacking-tea...

[1] https://www.dcddcc.com/docs/2014_paper_microcode.pdf

[2] https://blog.exodusintel.com/2017/07/26/broadpwn/

[3] http://spritesmods.com/?art=hddhack&page=1
Exactly this. Quality is rarely a selling point when the product is cheap. People are happy to accept very poor stuff if the price is seeing an advert or entering an email address. Thinking you need to make a good video in order to get subscribers is very wrong; you need to make an entertaining video, and that's not the same thing at all.
Maurice Bluestein, Who Modernized the Wind Chill Index, Dies at 76
EFF: Digital Privacy at the U.S. Border
Just don't try testing the nine billion names of God.
Doritos, I presume.
Daimler has new electric trucks and a buyer for them
No, it's bad advice.

If you are at a low level, you move to Facebook/Google and you come back to Microsoft the next year. The world is filled with people who are waiting for a raise and will not get it in the next decade.
> never heard anything like that in my life.

Just yesterday I was whipping a team because they built their own version of Apache (for dubious reasons) and broke the patch management system.

To quote myself "why the fuck didn't you use the distribution packaged version?? Now go and fix that right now, it is your problem"

I think it pretty much covers the case.
Huh, good point, I didn't know about Activation Lock.

I think this design still works if you only allow generating a signing keypair if Activation Lock is disabled? I think that still satisfies the requirements of GPLv3 sect. 6, although we're probably in territory extremely far from settled caselaw.

> “Installation Information” for a User Product means any methods, procedures, authorization keys, or other information required to install and execute modified versions of a covered work in that User Product from a modified version of its Corresponding Source. The information must suffice to ensure that the continued functioning of the modified object code is in no case prevented or interfered with solely because modification has been made.

The "method"/"procedure" is signing out of iCloud, doing a factory reset, and holding down the button. It doesn't interfere with the continued functioning of the modified object code, i.e., of the OS itself, just with any user data present before you started the procedure.
Sure, two partial functions are equivalent over a set d iff they halt on the same subset of inputs and have equal outputs whenever each terminates. Then, if you could decide equality of two functions, f, g, over a finite domain d, then let g be a function that loops infinitely for any input, and check equality of f and g over a singleton containing some input.

If f doesn't halt, then they're equal (since they both don't halt over the same set) and if f halts then they're not equal since the sets they halt on don't agree.
Thats a crappy model; I'd pay for it if it were available.

Especially on my preferred platform. (Linux)
People like different things. There are definitely some things on YouTube that are objectively low quality, but I think the genres/channels you're describing are just things that people other than yourself enjoy. The demographics of YouTube are no doubt different than the demographics of Hacker News.
Audio Worklets are the future of JS audio processing.
Error bounds on complex floating-point multiplication [pdf]
To adapt the joke[1]:

That's fine if you just need a high enough confidence for military encryption or financial transactions. But what if you're trying to prove a theorem about them, and just can't take any chances?

[1] Believe it was in Aaronson's Quantum Computing Since Democritus
Yes both Chrome and Firefox would automatically try the next IP when I checked a couple of months ago. We used to use this for load balancing, returning the IPs of our servers in random order. Even when one of the servers would go down we wouldn't loose any traffic as browser would just use the next one.
> Should institutions always be doubtful bystanders of the U.S. justice system and its rehabilitation guidelines?

In some cases, that's how it works, yes. Many employers refuse to hire ex-cons. A felony conviction will bar you from some professional certifications entirely. And because of sex-offender registries, people convicted of sex crimes find it very difficult to live in built-up areas, since they are required to live away from areas frequented by children.

A serious criminal record is a quick ticket out of basically all of respectable society, including the part that people try to enter by earning lofty degrees from prestigious institutions of higher learning. We as a society clearly don't have anything close to full confidence in the rehabilitation of criminals.
Significantly more rights than who? Christians?
I'm saying that supply of highest-quality coffee may be less elastic than demand.

Certainly we could grow more coffee, and that would likely increase net output of high quality coffee. However, if a company is buying the 'best 10%' of coffee and need to double their output, it is more likely that they buy 80th-90th percentile coffee than reinvest their profits into increase the quality that tranche of coffee to meet that of the top 10%. Even if a company chose to do this, the amount of time it takes to deploy capital in agriculture (~1yr+) is likely much less than the amount of time it takes to deploy capital in manufacturing (months), which effectively would cap growth rate.
The mere fact that <X> was damaged because <Y> happened doesn't necessarily mean Y was a bad thing. We live in a dynamic world, and society reshapes itself constantly.
DOVU Board Welcomes Two New Advisors to Blockchain-Powered Mobility Project
As impressive as this is, it's likely 3-4 generations back from what's currently shipping. It's a switch-on-chip (SoC) set up for 12.5 Gbit SerDes. As pointed out elsewhere, it might have been deployed for 16 10G front panel ports, another 160G to a backplane ASIC and some of the remaining ports for control plane use.

Reading between the lines a bit it might have been used in one of the Nexus 5K's - which would put it at around 8 years old, depending on how we're counting.
> And I don't consider it a five nines solution if only some customers can access it.

Well, that depends on the SLA/SLO, which is really what "nines" is speaking to. Intuitively I agree, but it can, realistically, not be the case and be "valid". Doesn't make it right. Just is.
Thanks for the perspective: I haven't heard VS given as a reason before. It's probably a consequence of the bubbles I've been in, but for every dev I've ever met (incl everyone in my CS program), there wasn't any advantage to Windows for development and disadvantages everywhere you looked. This may be a consequence of the devs I know (esp the good ones) skewing towards having a CS background (though obviously most of them aren't computer scientists in industry).

(Of course none of this applies to personal computing, where I still don't understand Windows usage beyond the need for niche software).
Only somewhat related, but it appears that Apple has begun to use GitLab internally: https://twitter.com/_inside/status/907299327340675072
American ambassador assasinated in Libya, Sean Smith was also a high ranking officer at Goonfleet corp and was playing it for 6 years! A game that is able to attract these profiles is doing something very right.
> I think describing it as a bias towards maximizing aggregate watch time is more accurate than a bias towards "long form" content.
> It's definitely a balance. If a creator only pumps out high amounts of low quality content, they'll never gain a subscriber base. On the other hand, if the content is so short that subscribers only interact with their channel a minute per month, this isn't particularly useful to advertisers.

I agree that the objective is definitely to maximize aggregate watch time, but, the practical implication that I've been hearing about is that longer more frequent uploads are key to getting a video to rise in search and recommendation rankings, and thus become discoverable. It's been a while since I've had any inside information, but this guide mentions as much http://techtipswithtea.com/youtube-tips/youtube-changes-algo...

The thing is, what they're doing is clearly working as far as optimizing the key metrics that they're looking for. It's also not necessarily to call high volume game commentary low quality - it's a lot of fun, it just ignores the many dimensions of great videos that may account for the long tail of viewed minutes, but are still a big part of the soul of independent art. Those videos may never reach the critical mass to become viral and make money for their creators, where before, the algorithm gave them a better shot of being seen and shared until they take off under their own momentum.

To make an unnecessary food analogy, it's like a marketplace that rewards a creator that can pump out $1 cheeseburgers at a huge rate - they're tasty and they're good enough to keep people coming back. Bigtime profits. Win!
But it's sad, then ,if the marketplace is no longer viable for the artisan who can only make one fancy, excellent, but unconventionally flavored, cake per day. Hosting the cake maker may be a loss for a long time, but, if they never had a chance they'll never be around to have their innovative, challenging, masterwork (viral video) take the world by storm some day.

Mr.Weebl, the animator who made the ubiquitous early-internet viral flash movie about badgers, mushrooms, and snakes was recently talking about the issues he's seeing. It doesn't seem like any of the early viral animations could have gotten featured and taken off in the current environment.

Who knows, maybe everyone will go back to newgrounds?
M.2 SSDs are the solution. Many low end laptops support them without listing it on the spec sheet. Look around for service manuals with mobo pictures to determine what one supports before making a purchase.
Clearly they meant significantly more rights than they used to have
Fedora, Solus and technically still ubuntu - Ubuntu MATE or KDE Neon
For shipping, we certainly have what you describe. Amazon and Walmart can get you about everything delivered via parcel service. The important things for that type of business are procurement, storage, and order fulfillment.

Same day delivery of a locally available product is rather different. Typically, it has been tied it to the provider of a service directly – such as FTD delivering flowers, or Pizza Hut delivering pizza. Of course this is most useful for products from companies that don't have their own local delivery service. For a third party deliverer in this local situation, warehousing and that sort of logistics is not necessary. Procurement is very different as well. How do you picture the customer ordering something? An open ended delivery service that you tell them to go anywhere in the city and bring you anything you want? That seems like a different type of business, and a somewhat risky one as well, which already exists as various courier services.

I think specialization is more likely. The value from the services is that they have a some sort of menu on an app or website that provides a consistent, curated selection of whatever product, and trusted vendors that not only do you trust, but they trust.

Anyway, the legal situation in the cannabis market illustrates the need for this specialized service to exist.
I think you'd also have to demonstrate that Equifax "furnished your consumer report".

If I have $1000 in cash stolen from my house by someone not authorized to work in the US, I'm not liable for an employer violation for not filling out an I-9 form...
"Ethnic Russian" != "Russian", though. No matter what ethnicity, they were citizens of Ukraine.

And I completely deny that Russia has the right to speak for ethnic Russians of other nationalities, and to invade their countries on their behalf.
It's my understanding that people who have previously pirated it are blacklisted from every using the sw legally thereby potentially making it impossible to get a job in the industry.
I think having a simple api in addition to the Web Audio API is a great idea. I have no idea what the chances of that happening are though.
OK, so those techniques would work equally well on arbitrarily complicated and intractable code examples -- which is useful in practice but not in the spirit of a formal determination of equality.

From the perspective of an Agda-phobe:
The "2*x vs x+x" example could be a case of a general question about arithmetic expressions, or it could even just be about multiplication and addition. Since multiplication of integers can be defined as repeated addition, proving equality in that particular case for any numeric type just takes a rewrite of both sides in terms of addition only. If the coefficient ("2") was not a natural number, things would be a little more complicated (as other comments mention, you'd have to introduce some way of getting things into a canonical form). I guess that would be an "intensional" approach.

The best story I have about extensional definitions is a true one. At a class on bike repair, somebody asked what a fixed-wheel bike was. The instructor started to give an extensional definition: "It's like... a unicycle." Presumably he could have followed this with other examples such as a Penny Farthing -- but the audience seemed satisfied. It would obviously have been more helpful to give an intensional definition ("no gears".)
Google App Engine only a few weeks ago released an API for managing certificates. Before that, the only way to add or update a certificate was to manually paste the key into a web form.
With sensitive subjects like these it's worth checking your sources before you speak.
Django admin could fill a section by itself.
I have no first hand knowledge, but it is my understanding based on what others have told me that IDA Pro is actually kind of difficult to crack and pirate.

I don't know how true this is, but it makes logical sense - the developers of a reverse-engineering tool are likely far more clever at anti-piracy mitigations than your average programmer.
What's your source on this? And what's preventing users from simply deleting the files/formatting their OS/getting a new e-mail?
This is exactly why switching a Chromebook into developer mode wipes all user data.
Why Don’t We All Speak the Same Language?
Hillary Clinton almost ran for president on a universal basic income
How do I self host this? I can't deal with the type of overhead needed for validating the captcha across the network..
Yandex as a search engine was publicly opened in 1997 by a company called CompTek. In 2000 they split into a separate legal body.
Why not just use /bin/ksh which is installed by default on macOS? Better programming, faster and 'set -o emacs' give it readline keybindings.
He may seem reasonable, but in a lot of cases like this companies seem to take the line of "we're following the rules and complying with all government regulations, we will happily follow any rules limiting X and Y if the state chooses to create them.", but at the same time they have a huge influence over especially local and state governments, but also the federal government. Like a lot of companies, they probably take a hand at writing legislation that is favorable to them, and then try to get it introduced [1]. I'm not familiar with the site in [1], but I was looking for a quick guide to lobbying efforts and it certainly seems plausible but I haven't vetted the info for myself.

The reality is they make huge amounts of money selling something that people can get for next to nothing from their cities and towns and pay next to nothing for it, at the expense of the people living where the water is taken and where it is sold at insane margins. Yeah, it is on us for letting them do it, but like everything they hold a lot more cards than we do, so they are just one more huge powerful corporation that will have to be challenged by the people which will take another gargantuan effort of education and activism.

[1] http://www.mintpressnews.com/nestle-spent-11m-lobbying-congr...
Morte isn't Turing complete.
This is probably relevant: https://en.wikipedia.org/wiki/Total_functional_programming
I found it kinda cool that the foundational difference between Unix and Windows is that Unix returns file-descriptors whereas Windows decided to give out handles.

You can do stuff like putting callbacks on a handle to do async-io when you have a pointer to work with.
Ann Arbor is nearby?
Elections and Strategic Voting – Eric S. Maskin [video]
Ridiculous growth, from what I've been told.
We aren't. Like with any other plant, there's a relatively hard limit on the availability of land suitable for arabica's growth (premium coffee is almost exclusively arabica), which will shift in one direction or the other as climate changes.

Today there is still difficulty in generating enough incentive to get farmers into arabica, but that changes with different practices, which Blue Bottle has historically practiced (direct trade and direct investment in farms, etc.). This model seems to be very sustainable for the time being.

On the buying end, the roasting end, distribution, etc., the challenges in scaling are similar or the same as scaling any other business as far as I can tell.

My intuition is that consumer demand for genuinely premium coffee would run out before the land or the farmers do, but I know the market far less well than I'm sure others here do.
The difference is that, despite being a long trip, sailing to Australia and South Africa and the USA was fairly routine, and did not involve enormous costs, both in material and to the environment (how much CO2 does lifting a person to orbit release to the atmosphere?) How much did it cost to put a trifling amount of men on the moon?

In colonial times for example it was common for a woman to go home to Europe to give birth. Will that really be feasible in mars or the moon?
Korea and Japan actually did this with cars. Enforcing extremely high tariffs on all imported vehicles. It seems to have worked well for their automotive Industries.
what @the8472 said, here's some more context on the implementation details: https://github.com/w3c/preload/issues/32
None of these changes really affect Google, since users typically use their services every day. It's almost like Apple is helping Google get more powerful. It's the smaller ad networks and exchanges that will suffer a lot.
Think of the operational cost involved to satisfy everybody's query.
that would seem to be a extremely stupid way of converting hobbyists into paying commercial users
Or just pay the person who worked hard on the project and not be a selfish prick.
A Curated Repository for Tools, Articles and Jobs for Front-End Devs
Do any good tech worker unions currently exist, or is this something we'd need to create?
I guess in that case they would just break the license rather than complying with the "penalty" clause. As in "we never agreed to this license, we just used the source illegally. So sue us for that." - and if they are sued, settle for a million or so, peanuts.

Now, I don't know if there is any provision in US law that makes you automatically enter a binding contract if you use code that is accompanied by a license file. It is certainly possible, as you demonstrate intent to enter the agreement. But OTOH, this would be too easy to abuse. Just sneakily replace the LICENSE.txt and add "you agree to pay 50% of your income and your firstborn child"... I don't think many would catch that.

We say "this code is under this license", but actually beneath the hood this means "this code is available for license under these terms".

(In Germany at least the hurdle to enter a contract is rather high. For a time, you were able to get on a bus without paying, and if caught argue that you never agreed to the terms of the bus company... so they had to make a special law against fraudently leeching services.)
> You cannot just look the other way and pretend there is still free choice when these people are captive and not even able to search for a new job.

Holding people captive is the opposite of voluntary.

> Here are a few examples to start with

First example: Colorado National Guard massacres workers who refuse to work.

Second example: a company, working together with the sheriff, kidnaps and kills people who refuse to work.

These examples do not show that the dispossessed have to resort to physical violence because that's their only resort left. The physical violence was initiated by the companies working together with the government.

Just read the description on Wikipedia:

> Those who went on strike were promptly evicted from their company homes, and they moved to tent villages prepared by the union. The tents were built on wood platforms and furnished with cast iron stoves on land leased by the union in preparation for a strike.

So far so good.

> Baldwin–Felts had a reputation for aggressive strike breaking. Agents shone searchlights on the tent villages at night and fired bullets into the tents at random, occasionally killing and maiming people. They used an improvised armored car, mounted with a machine gun the union called the "Death Special" to patrol the camp's perimeters. The steel-covered car was built in the Colorado Fuel & Iron Company plant in Pueblo, Colorado from the chassis of a large touring sedan. Frequent sniper attacks on the tent colonies drove the miners to dig pits beneath the tents where they and their families could be better protected.

The workers were using their right to refuse to work! What the workers needed was precisely government enforcement of the law that you can't just go around shooting people. This is the exact opposite of what you implied it was.
The prevailing opinion from White Nationalists is that Jews control the media, banks, and government. As another commenter suggested, they think the Jews, sometimes Zionist, are conspiring to import immigrants and foster a society of white servitude.

How do I know? I go talk to them, both online and off. The vast majority seem to be mentally ill and easily controlled. They are actually usually surprised when a non-white treats them with civility. Once they know I'm not white, they usually are still pretty accepting. I don't try to reason with them, I try to give them something different to see.
Some Polari words live on in modern British English, such as bijou, camp, cottaging, khazi, naff, and scarper.
> The reality is these are contractors who will get dropped as soon as it makes sense. Thats why you hire these services as contractors. I think the real test here will be how long till the union pushes facebook too far and they are just dropped.

That overlooks the whole point of unions, which is to give people power over their work lives and prevent situations like the one you describe. Perhaps the union won't succeed, but they have far more negotiating power when they are organized than when they are not.

> I have never seen a union that could actually compete with non-union shops unless there was a legal force preventing the competition.

That's a powerful claim, but do you have evidence? Particular expertise?