skysight-inc/HackerNews huggingface dataset:
It just hit me- this rings of an "SEO racket"!

perpetrators fraudulently offer [...] a service that solves a problem that would not exist without the racket. Particularly, the potential problem may be caused by the same party that offers to solve it

The "problem" is that you aren't the top search result- because they are.

https://en.wikipedia.org/wiki/Protection_racket

https://en.wikipedia.org/wiki/Racketeering
Section 230 of the Communications Decency Act makes no designation or distinction of “platforms”. You have deeply misunderstood the law.

What it does is to make clear that people or organizations who run internet sites that allow 3rd party submissions will not for the purpose of the law be considered the “speaker” of the content in those submissions. It also states that this hold even if they moderate including editing the content to conform to internal standards.

The law specifically allows censorship, algorithms, banning, and editing or anything users submit. The whole purpose is to clarify that content hosts are allowed to do this without being held liable for the content of the speech they are moderating.
GitHub reinstates YouTube-dl library after EFF intervention
> They care if a receipt was generated by the machine, and are a check on the employee.

Aren't receipts used to track the store's revenue, as in the numbers reported to your local tax agency?

As far as I know, it's common for cashiers to have a daily/weekly/monthly slack value that they are allowed to report as a difference between the number reported by cash registers and the amount of cash delivered, because SNAFUs do happen during a day's work.
"we show how to use light to obtain control
over these devices at distances up to 110 meters"

"Command Selection: ...Purchase a Laser Pointer"

Hilarious example

Making other people buy stuff with laser beams... wait until marketing finds out!
> Alternatively do you believe that the real numbers are an artificial mathematical construction which can have different properties depending on which axioms you are willing to admit? Then there will be properties of the real numbers which are independent of ZFC as a result of Godel's incompleteness theorems.

This is actually not correct. The propositions that are undecidable are NOT AT ALL connected to the propositions that are independent. Things like the CH or Axiom of Determinacy have to do with providing a definition to things that have no defined truth value. But the undecidable propositions are already true or false they just can't be listed or computed in any meaningful fashion.
If the immune reaction in the vaccinated was good enough to avoid symptoms but a few still tested positive then those five are surely not the only ones. What are the chances that a random person without symptoms would be getting tested exactly those days that a very mild infection lasts? Those studies don't observe the subjects with daily PCR or something like that (impossible for ten thousands) and most mild infections remain undiscovered. And mild, hard to discover infections aren't exceptionally rare even without a vaccine, as antibody testing studies have shown again and again.

The pressing follow-up question is this: how many of the control group were discovered with (and despite of) equally weak symptoms? The answer could be anything between many more and many less. If it's more (more discovered very mild cases amongst the placebo group) then the vaccine apparently prevents most infections from happening at all, but if it's less then the vaccine doesn't really reduce the number of infected (and infective), it only prevents bad outcomes (which usually remain undiscovered, even in a phase III trial group).

A vaccine that only prevents bad outcomes would still be very valuable, but only to the vaccinated themselves because it would not create a herd immunity effect. This virus is very good at spreading from a mild case, so if the vaccinated still get unnoticeable mild cases they would still serve the virus as stopovers.
Totally agree. Have this issue in most issues. Even Jira does this.
I thought this was an amazing article; thank you for writing it.
To quote the law

“ No provider or user of an interactive computer service shall be treated as the publisher or speaker of any information provided by another information content provider”

It also provides protection for all good faith moderation even if constitutionally protected speech.
Worn-out NAND flash blamed for Tesla vehicle gremlins
Improving on QBasic's Random Number Generator
Other countries used lockdowns to slow down the spread of covid. But since covid is very contagious, it will eventually infect most of the population, and vulnerable people will eventually die from it.

That's one takeaway: lockdowns only delay the inevitable. Sweden just ripped the bandage off fast, and got all the deaths over with quickly.

As a consequence, there is the other big takeaway, the elephant in the room: covid doesn't kill more people than any other respiratory pathogen.
More and more I am coming over to (what I interpret to be) Greenwald's view that the safe harbor provision is fine. I think the attack on safe harbor is a way to make it easy for supranational unelected and unaccountable entities like Facebook to engage in censorship activities which will limit discourse to whatever the power brokers in Washington deem acceptable. The social media companies must be reigned in, but not by suppressing speech. Instead, I advocate for their nationalization so that way the 1st amendment will unambiguously apply to their activities.
> You can turn off the internet and freely use your Mac

Interesting!

Now, how I could fix the problem with the SERVER DOWN of my customer: :)
Most people have no idea how to change preferences, so whatever is default might as well be the only option. This is why Google pays billions to be the default search engine, not even the forced/only option.

It matters so little that it’s kind of odd that these sites don’t give the option, so at least they could use it in their arguments to show they have it. Probably only 0.01% of users would ever actually use it.
BS 2001 graduate here. When I was there, Negative Time Tommy's Run was still a thing (although they did build a Tommy's like 5 minutes away). Also, I wonder how much of the undergraduate culture was visible/apparent to the graduate students.
Dr. Z's Opinions
I've been using Macs for 29 years, only one update has gone bad (El Capitan after updating, the boot would never complete. I restored from Time Machine, and did a clean install, then it worked fine). Hardly "every other update". Meanwhile I've hosed so many Linux installs by somehow getting mismatched package versions
Ouch.

Super sorry about the shitty code in the free project you built your business on ;-).

Anyway, this was a point of huge debate early on in the development of Noms. Some team members just could not accept the constant litter of `if err != nil` no matter how many times I repeated that Rob Pike says it's OK. It goes against deeply held beliefs that all programmers internalize early on, for good reason.

It’s probably why some parts of Go internally have also used panics for flow control (the JSON decoder, famously), and just convert them to errors at the boundaries. This was our plan, but we were not careful about protecting all the goroutine launches. As I said elsewhere in the thread I think we would have welcomed working together on this if the Dolt folks had wanted to.
It doesn't matter if you said anything about Trump; you made a generalization that would include Trump (though of course, Biden was included specifically by name rather than generally).

If your generalization doesn't hold across the Trump -> Biden transition, then there's at least one case that it doesn't handle well.

Since the basic premise is that politics is essentially tribal and supporters will justify any tribal position "at least one case" is being generous, but it's an easy place to start.
>* Strong protections against server failure

I am still waiting for someone providing a plausible explanation as to why it has to be online check and not like AntiVirus where signatures are pushed to the client.

Instead everything were derailed into Apple Data Collection.
Wait a moment! Since when are we talking about only mainstream languages? And how is that even defined?

That's not fair play
FWIW, I found Kaiser's flu shot system to be a nightmare to navigate for my family. There were different appointment times for kids and adults, so it was going to involve multiple trips on multiple days.

We ended up just going to Target, which was much more risky, but actually something we could accomplish.
Parent and link speak to should, not must. I'd assume that they start from a position that current laws are unsatisfactory.
Consistent microtiming deviations or other forms of "expressive timing" are an essential element to "groove" or rhythmic "feel" in almost all modern popular styles of music. Things can get even crazier with world music styles like Samba, and let's not even get started with classical rubato.

And yet notating any of that information in every bar as, say, three-quarters to one-and-a-half hemidemisemiquavers early or late to each offbeat defeats the purpose of having a readable score.

The score is a reduction that's intentionally lacking tons of information that defines the essence of a performance. That's not a bug, but a feature.
For existential quantification, we use the `there-is` function.

Meanwhile, for universal quantification, we... just mention the variable. This intuitively makes sense: `there-is` is a restriction on a variable (the restriction is that there is at least one value for that variable). Meanwhile, the absence of restrictions implies universal quantification.

Specifying universal quantification like this is quite common in math proofs, and it's not too bad to get used to.
Do you really want to nationalize vast troves of private information and sophisticated ad targeting tools?
Take a step back. Why did Moderna founders invest in research and technology? Are they selfless idealists? Probably not, at least that is not the only driving motivator. And even if they are, they still want the company to earn money in order to invest it into more research.

Bottom line is they want the company to be successful, so their long-term plan is to profit from making drugs. If they lived in a socialist economy where no such profit was possible, they would not have bothered, and then there would be no cure. If that is the world you prefer to live in, you have options (North Korea, Cuba and Venezuela currently, the rest having collapsed or transitioned to free market some time ago).
Wait until parents refer their childs as DLC.
This post is completely unrelated to tech though. If you want to discuss various COVID conspiracies they made a whole website for that called Facebook.
The difference is in how the disinformation is propagated. In the past media companies would self censure idiotic or untrue ideas to protect their reputations and while you could find information if you looked hard, the things would tend to spread slowly. Social media doesn’t profit from reputation but from engagement, and untruth is more engaging.
Many threaded languages throw an exception that can be caught and if not caught, kills that thread. Not the whole program. See Java, C#, etc.
We Are Built to Forget
It's all about lithium, I guess.
> I feel like the people who discuss social media policies are people who don't even use it.

Many of the people discussing regulating the fossil fuels industry are people outside of it: when you aren't directly benefiting from a system, it is easier to see what its externalities are.

> I know many who benefit (socially and/or financially) from tiktok, instagram, etc.

Again, this fails to factor in the externalities to people off the platform (or even the harms to other people on the platform). The cost benefit analysis can't just look at the people who actively use (and benefit) from something; if you had asked only people who worked in the refrigerator/aerosol industries in the 70s whether CFCs were a bad thing, you'd get a pretty skewed answer. See also:

"It is difficult to get a man to understand something, when his salary depends upon his not understanding it." - Upton Sinclair
I didn't realise clicking on the name lead to the profile for 2 months after I started lurking on HN. It's not that obvious...
Make a secondary market for algorithms and split part of the revenue with twitter. I'd love that.
ELO inflation is a real thing in chess.Caruana ELO is 60+ points over Fischer. Polgar reached top 10, Yifan will never be a top 50 player. A top 10 player is in the rounds for the candidates tournament, a top 60 player is lucky if she or he is invited to a 19+ category tournament.
Negative Time must have been new jargon!

And true, the only interactions I had with grad students was with TAs.
He's likeable, non-offensive and casual. Watching people try too hard at a game is draining sometimes.
AWS Graviton 2 ARM instances are more cost effective for most server loads. This is a gateway to saving a lot of cloud spend.
That's pretty rude of you. I didn't read that essay, but I did reference about 4 essays / books that I did read :).

Went through the quanta article -- it seems reasonably different (doesn't go deep on how proof, subst, work, etc) -- I suspect the similarities stem from both of us reading Nagel and Newman's book.
https://abcnews.go.com/Health/predictions-suicides-overdoses...

There's been tons of articles and research supporting this if you care to look. And honestly, while citations are always good, this claim is so common-sensical that the knee-jerk "Citation needed.", as though OP were suggesting that there was a teapot floating in space halfway between here and Mars, comes off as unnecessarily disrespectful.
If I can watch a video on my computer for free, it's not too difficult to capture it. There is software I can download. There are browser plugins. This is just one of many options available.

I do fear though that this is going to lead some more and more paywall content and less and less publicly available content.
News flash, the government already has it. They either siphon it off into the NSA database, they employ spooks at the companies, or they have data sharing relationships with law enforcement. If we nationalize them, we can also kill the profit motive and eliminate the advertising.
Neat project. I requested github.com/magikarp successfully. Glub glub.
I don't want x86 Docker on ARM.
Tesla uses more workers per car in assembly than other major manufacturer. By a lot. They are not the people to look for in terms of automating auto assembly anecdotes despite their PR efforts.
The parent seemed to imply that there should be no permissible moderation at all, which strikes me as undesirable. Also the use of “provider” is common to factually incorrect descriptions of the law.

I would also add that no one prevents the original poster, or anyone else from using other services. I mean, here we are on a narrow social media site discussing the topic.
The nice thing about looking at excess deaths is the specificity and finality of the metric.

“Case” is problematic due to testing errors and sampling bias (and the fact that “case” in the medical sense generally means you are under a doctor’s care).

“Hospitalization” may mean “with COVID”, to manage hospital resources for infection control, or “from COVID”, the popular interpretation to assess how serious the illness is and how quickly the serious illness is spreading.

We can all agree on what death means. There is still the forensic issue of untangling how much COVID contributed, and that has been a focus of CDC work. But it’s a cleaner metric than most. Another post here gives the CDC site link, but here it is too (gives State-by-State info as well)

https://www.cdc.gov/nchs/nvss/vsrr/covid19/excess_deaths.htm

Might be nice to have a QALY-based assessment at autopsy...how many more good years would this person have had without the COVID-associated event? Admittedly a guess, but insightful nonetheless.

https://en.wikipedia.org/wiki/Quality-adjusted_life_year
Social media companies should be publicly owned and regulated, paid via taxes, not for profit, with strict regulations for privacy and security. A partially federated design would help to further realize the original intention of the internet.

This seems unlikely to occur anytime soon, however, not even considering the bureaucratic complications with ensuring a fair design and implementation, in full consideration of the needs of NatSec and LE relative to civil liberties. A good start might be to consider the types of governing bodies necessary to ensure that every interest group is satisfied (if such a thing is even possible).

The current gross monopolies on search/social/ecommerce are anththetical to American values. These monopolies yield gross concentrations of power and wealth for parties not properly accountable to the public. This is fundamentally wrong and a danger to the fabric of our democracy.
> It's very unlikely, but wow it would be great if I could build a server using an M1 processor. Just the power saving alone would be phenomenal.

Mac minis are designed with a stackable form factor, and in fact one of their selling points is to put together server farms for stuff such as running build jobs with Xcode.

If I'm not mistaken, mac minis with the M1 chip are sold starting at 700$ a pop.
Doesn't mean they can't time a non peer reviewed marketing announcement right before said pre-planned date right?
I was a big fan of Stratego/XT as well. Expressing optimizations was very straightforward.
This comparison makes no sense whatsoever, I'm pretty sure if you looked at the data 100 years ago the student body was significantly smaller and with few PhD's across the board.

So you can't compare a current day number to a 100year average
You are adding nothing to the conversation, I already said that. It's curious though that most of the unrealistic scenarios are the ones who portray the Americans are great and never the other way around. Ideology masquerading as entertainment.
Open source security tools list
The ability of a spy agency to gain access while deeply troubling to me, is quite different than turning it over to politicians. Would you trust you own favorite political villain with access to all of that?
Eh, mabe they don't quite have the same feel they did when they had more regular, long episodes, but they still made the "Missing Hit" episode after being bought, which was excellent and widely popular. The recent-ish qanon episode was also decent and interesting, IMO.
The majority of players come for the campaign and the space fantasy narrative.

The competitive scene has been stable and has kept sc going forever.
> When we got there it turned out the glowing reviews were all written by the owner's son.

How/why was this revealed to you?
maybe BalinKing IS from MIT and the joke's on all the caltech readers.
Your thoughts are approximately correct.

The Godel sentences are of a different character than the continuum hypothesis (CH) because the Godel sentences are simple first-order arithmetic statements, while the CH is a higher-order, a.k.a. analytic statement. A Godel sentence can be assigned a truth meaning via Tarski's definition of truth independent of the axiom system in a way that is much harder to do with the CH.

Basically a Godel sentence says something about whether a given piece of software terminates when run on an ideal computer (specifically a piece of software that hunts for a proof of a contradiction within a specified axiom system). I'll argue that whether a specific piece of software would halt or not when run on an ideal machine has a definite truth value independent of any axiom system. Whereas CH doesn't really afford such a software interpretation.

I do respect the fact that there exist models of PA + ~Con(PA) but these models are non-standard and we don't use such models to reason about software, specifically because they are unsound in this sense.
I suppose, _hypothetically_, if you were a restaurant owner and didn't violate audio recording laws, and you got this, you'd have a good case against Yelp for fraud or dishonestly obtaining financial advantage by deception.
I like how Egan goes through a lot of history of scientific discovery-- with classical experiments that can easily be recognized, ... which get opposite results in this universe.

Everything has to work differently-- not just biology. Thermodynamics, electromagnetism, etc. The speed of light depends on wavelength.

Sometimes a fictional work is written as a "single point of departure" from another work or some real event and the author explores the consequences of this change. Orthogonal merely changes a minus to a plus but the consequences are extremely far reaching.
I'm complaining now.
> Can Docker on x86 run ARM

Yes. There are ways to set up Docker to seamlessly run arm containers on x86 using CPU emulation.
I just finished staying in an airbnb for a month in China and didn't have to go to the cop shop. I've now just rented an apartment and did the registration no issues, they didn't highlight any gaps on my travel record so I assume it was all above board.
If "vast troves of private information and sophisticated ad targeting tools" are too dangerous in the hands of government, then why aren't they too dangerous in the hands of a corporation?

The former is democratically elected. Facebook and Google aren't even controlled by their shareholders.
But then the problem was not the language but the people who worked with it. This could happen with every language, even the venerable holy grails.
> that Rob Pike says it's OK.

I should say, Rob Pike didn't put in the language the features that would have helped alleviate the pain of writing 50,000 times the exact same statement littering Go code bases like a plague. Go errors are purely a convention that is no better than C style error code returns. Not good enough in whatever year Go was designed. There are solutions to that issue that are much more composable than that (options, sum types...).

People come to Go for performance and concurrency (although context is another one of these tacked on horrors) and they leave the language because of the crazy ceremonial boilerplate it incurs.
This reminds me of the story of a competition at a university to solve some problem using a computer the fastest. The winning solution wound up just overwriting the memory where the solution would be output with a hard coded answer. If anyone else remembers this event, please correct me and provide a source please.
I’d recommend checking out the Kui Framework [0]. You can add a kubectl plug-in and get a pretty sweet CLI+UI hybrid experience.

[0] https://github.com/IBM/kui
Nature's Masterpiece: How Evolution Gave Us Our Human Hands
Elm (not mainstream, I concede) wraps list and array access in a Maybe (aka an Option if you're more familiar with ocaml) so there's no throwing or erroring when you try to get what's not there. Kinda pleasant.
> Just like there are a myriad ways to 'book a hotel room' - there'd be a myriad was to book your '6 room place'.

I doubt that. I'm not sure I can justify my doubt, but I doubt it.

Also, the "myriad ways to book a hotel room" works only because more or less every hotel is on more or less every such way of doing it.
Anyone else Ricketts House? Caltech '04 here. I miss that place sometimes.
> Would you trust you own favorite political villain with access to all of that?

Yes. Information asymmetry benefits those in power.

Better an even playing field, where everyone has access to everything.

Or, you know, don't use social spy platforms if you care about privacy?
It's quite a fun effect! Hofstadter's claim that "I" (our conciousness) is an epiphenomena was very eye opening for me.
Technically, it would be an undefined number of times easier. n/0 is not infinite.