skysight-inc/HackerNews huggingface dataset:
"Arbitration is ubiquitous because even at the cost of hundreds of dollars per hour arbitration is a lot cheaper and faster than going to court"

My understanding is that arbitration is only a thing in the modern world because there is a law allowing it, and the law only allows it because of "activist judges" interpreting it, although of course we don't call them that.
State Farm is in theory a mutual company, i.e. owned by its policy holders. Years ago (like more than 20) I used to get the occasional profit distribution check, but that stopped happening in the 2000s. Apparently they discovered the concept of Hollywood accounting.
> It is one thing to "prove by induction that this loop will end" and another completely to write a specification for the compiler to find a proof for you.

Lean is an interactive proof assistant, not an ATP. If you're actively using Lean (or for that matter any other proof assistant), you're definitely "learning how to make proofs". Induction-based proofs, specifically, are notoriously hard to automate.
I can only speak for sure about what he's said about physics.

The fundamental problem with talking about highly technical things (like theories of everything) to a popular audience is that it's totally one-sided: he could spout nonsense and none of his listeners would have the slightest chance of noticing, as long as it sounded complicated enough. It's just like how you could talk somebody tech illiterate into installing malware.

I don't know about his other opinions, but for nontechnical topics, the audience can check for themselves whether the conclusions make sense. So if you think they do, it's probably fine.
I'm unclear why the author sees the collapse of OneWeb as a bearish sign for SpaceX; this is a competitor falling away, leaving Starlink with only Amazon's recently-founded Kuiper as competition. COVID-19 is indeed a challenge, as it is for the rest of the economy, but it's not particularly more affected than any other business.

In terms of cash flow, it may be somewhat insulated by the advance deposits that the article describes as a kind of numerical gimmick; SpaceX can and is still landing contracts for future activity, even while some launches have been delayed, meaning there's still some cash flow even if it goes partially idle for a few months.

This resilience, of course, requires the customers who put down money for future launches to have healthy cash flow themselves. Since those customers are mostly telecommunications corps and governments, I don't foresee them running into cash flow issues. They'll still be awarding contracts based on long-term prospects.
Also, there’s probably A/B testing that shows orders of magnitude less engagement if you put any blockers in the way of seeing the product.
Phage Therapy: the Thorium Reactor of Antibiotics
We use https://babylon.house

It's got all these features built in.
"much more cooperative relationships between unions"

Sure, cooperation sounds good in theory, but don't we have examples (in the US) of where management of a company and management of their union ended up very friendly at the expense of the workers? I'm pretty sure I read about stuff like that in the context of the recent automotive union corruption scandals.
A practical guide to writing technical specs
> You even vote without ID which is extremely weird for the rest of the world.

The system they use actually works pretty well. They have a list of registered voters and when you vote they cross your name off the list. You have no way of knowing who has already voted, so if you give someone else's name you risk their name already being crossed off, and then you may be in for some questioning.

If you want to do something that would actually impact the election results (i.e. vote thousands of times and not just twice) then you would also have to come back in over and over using different names, which creates the obvious potential for the poll workers to recognize you. Avoiding that would require some kind of large conspiracy so that each person doesn't reappear enough times to be recognized or use the same names as one another, which then makes it much more likely that you're caught because one of your co-conspirators turns you in.

So the risk of getting caught is pretty high even without ID, especially if you're doing it with enough scale to really matter. Meanwhile the penalty is typically something like a year in prison per offense, which is a pretty high price to pay for one extra vote.
Real-time effective reproduction number in Hong Kong
Korea has released all of their data and I think this is possible to cross check

https://hira-covid19.net/
Tell the truth: if you went to a website, browsing for something you might buy; and, before you were shown their catalog, you were required to enter your postal information (can’t just be zip, since you might be in another country), and you couldn’t even see prices, would you stay on the website? Or close it?

I know what I would do. They’re putting too many annoying barriers on my idle browsing.
> The singular form is used to designate the whole feature and also as a qualifier as in "cgroup controllers". When explicitly referring to multiple individual control groups, the plural form "cgroups" is used.

They're free to say this, but since it violates the rules of the language they're never going to get any significant level of compliance.
It takes a long time to review 1 million lines of code and even longer to fix bugs that will be found.
I feel like I know enough about the internet that I almost don't need google anymore. (the search algorithm is great, but not the sources it provides)

At this point, I have built a set of "sources I trust" and use google as a tool to internally search their websites more than anything else.

site:source.com "search query"

Is pretty much how most of my new searches go. If anything, I have stopped trusting 1st page results on google.

1st page guitar tabs are the most vanilla chord strum patterns. 1st page recipes are some "americanized - SAHM blog" version of the real thing. 1st page news is a sensationalized link to CNN or Fox, that doesn't quote 1st sources. 1st page game reviews are IGN and 1st page movie reviews are Rotten Tomatoes. For anything more niche google results wikihow or quora, when reddit almost certainly has a better answer somewhere.

The 1st page of Google search returns perfectly average results. But, I have stopped expecting any 'perfect' or 'great' results from it.
I live in an area with aggressive drivers in the best of times. these last few weeks, it's been more like mad max everytime I get on the freeway. plenty of room to go as fast as you want in the left lane, but people are weaving across all three lanes at 95+ in their old civics.
Given the uniformity of recipe site design I'm starting to wonder if there isn't more going on. Like maybe they are all run by the same company or maybe there is a template that every person that wants to run a recipe site is somehow pushed to use.

I mean literally, search for any recipe, click the first 10 links. Screens and screens if large pictures and superfluous text with actual recipe way way down the page.
Butthole recognition is now here
Also anecdotal: I have to admit I went down a one way road next to my house the other day. I have driven past it thousands of times. I needed to take the following turn. I got to the next intersection where the stop signs were facing the opposite way and was simply confused. Every time since that I’ve been hyper aware (hopefully) but it really only takes one mistake in a car to have a fatal accident and I’m very lucky no one was around when it happened.
I’m not too familiar with AMD/XSX architecture, but why wouldn’t ROP scale with number of GPU cores? Why would MS design something with lower ROP/core? Also, where did you get these details from?
Or it was written assuming that people may read it in the future when this whole situation we are in (I hope) has blown over.

Also, Phil (original author), if you're reading these comments, hi!
Click buttons? There are no buttons to click. And no indication clicks are being received or being used.

It looks like a fun thing to play while a build is running, I'll check back if it crosses my radar again.
In uni, I learned digital logic from Brown and Vranesic[1] who explicitly differentiate gated latches from flip-flops, the latter being defined as:

> A flip-flop is a storage element based on the gated latch principle, which can have its output state changed only on the edge of the controlling clock signal.

I also just pulled out my Fairchild Pocket Designer Guide (published circa 1985; inherited from a retired former colleague) which explicitly differentiates 74/54 series flip-flops from latches both in section and symbology. So there's at least 35+ years of industry convention without citing standard.

To cite one industry standard, from ANSI/IEEE Std 91-1984[2] § 4.2.1:

> Cm should be used to identify an input that produces action, for example, the edge-triggered clock of a bistable circuit or the level-operated data enable of a transparent latch

...or from § 5.9:

> The symbol for a bistable element (for example, a flip-flop) does not contain a general qualifying symbol. ... When a bistable element is controlled by a C input (Symbol 4.3.7-1) it is necessary to indicate whether this element is a latch, or an edge-triggered, pulse-triggered, or data-lock-out bistable.

In fact, symbol 5.9-2 labeled "D-type latch, dual / Part of SN7475" is distinct from symbol 5.9-7 labeled "Edge-triggered D-type bistable / Part of SN7474"...the former being what the blog discusses.

So no, this designer begs to differ.

[1] 3rd Edition, § 7.7 Summary of Terminology

[2] https://doi.org/10.1109/IEEESTD.1991.81068
That's debatable.

https://en.wikipedia.org/wiki/Rimshot
The upvotes on this post say something else. Personally, I value the discussion more than the post itself, so as long as there's a healthy discussion the post checks out.
Investors fear more big hits for bonds backed by US consumer loans
Yes, that's how it works. Memorize all the problems ahead of time.
It's not $3 per vote though the math is much more complicated. For starters not everyone is registered or votes on any given election (even a presidential). Next you have to factor in the primary and electoral college. Votes in Florida and other swing states are much more 'expensive'.
This was my experience as of a year ago. Nowadays when I do a search on DDG (my default choice) the results are terrible. Then I add !g and the results are even worse. I’ve had so many recent searches for information on technical subjects result in abject failure, leaving me to throw my hands in the air in frustration.

It’s gotten so bad that I’ve installed BasiliskII and SheepShaver [1] just so I can relive the nostalgia of the days when I had my first Macintosh, before I’d even had access to the Internet for the first time. The help system and the documentation for software back then was so much more exhaustive than it is today!

[1] https://www.emaculation.com/doku.php/mac_emulation
Be sure to enable a SIM PIN on it, in the event that it's stolen/taken an attacker can't simply put the SIM in a new device to request the code.
The Market at Edgewood (Embarcadero at 101 in Palo Alto) has an online order form and brings the order out to your car.

https://www.marketatedgewood.com/delivery
I think the origin of this idea comes from the time when personal computers started becoming available, and a generation of then young people started tinkering with them.

Some of us then went on to do some version of this hobby/passion professionally. In that case, having software side projects doesn't seem so weird.

Analogies that come to mind are folks like climbing instructors and mechanics, who also may have had these activities as fun hobbies before making a living at them.

Nowadays there is a higher percentage of folks who got into software (or hardware or whatever) the same way the bankers, lawyers, and doctors did; it was presented as a good career choice if they learned it.

I agree that expecting those folks to have side projects is unreasonable.
This can’t be true or arbitrators would be able to openly ignore the plaintiff’s testimony, say so in writing in their judgment and condemn the plaintiff to death for being a minute late to their job at WalMart.

The law does not work like that because judges don’t work like that. There are rights you can’t sign away. No matter what the contract says non competes are not valid in California. You can’t agree to be someone’s slave if you can’t pay your debts and have the court enforce that.
But what if the arbitration clause says the plaintiff will pay? I believe that's what the parent comment was talking about.
It's a silly artificial dichotomy they made up so they could have a catchy headline. They do define it, as CPU/GPU vs SSD, but it's a fairly contrived way of framing the two consoles.
Overall I agree, but I've found it wise to cross-reference their part numbers as they are sometimes wrong for lower volume models. Eg: offering standard Ford Focus brake pads when the model searched is a Focus ST
Exercise outside, walk the dog, learn the piano, prepare meals. Most of the day is spent on front of the screen though, even learning the piano from YouTube so I don't have great answers for you. I don't really enjoy video calls with friends or family because it just means more screen time.
Well, the guy who ordered the hazmat suit had the right idea it looks like.

I remember reading balajis take apart this article on twitter soon after it was written. https://twitter.com/balajis/status/1228447944287932416

We should have paid more attention then...
18 months for a vaccine, and then another year to actually distribute it to everyone
You wouldn't hire anyone who says "I know Java"? That seems extreme. Some people do know Java and are completely justified in saying so.
It's a lesson taught through hip hop. As demonstrated by one Mister Scott Ramon Seguro Mescudi:

All I do is try to make it simple

The ones that make it complicated

Never get congratulated
Not true. Once the R is reduced below 1 (even to 0.99) the pandemic will disappear in weeks (an exponential reduction).
Ask HN: Resources for learning to teach remote classes effectively
I have made many YouTube educational videos but this is my first time teaching (high schoolers) live over video and it's new. Any resources or advice would be helpful.
Please stop supporting sms for 2FA. It's not better than nothing, it's worse than nothing. Given the extent of technology workers on hacker news please work to remove this antipattern from your products.
This is just my hypothesis: news networks discovered that they can cater to 30% of the population with an extreme message and get more viewership than they would have catering to 50% or 100%. A side effect is that the permissible extremity increases over time as radical becomes the new norm. Both sides can play off each other's increasingly radical messages.
I believe that when Capital One does that they somehow match your name and address to the phone number. A VOIP or prepaid number doesn't seem to work.
Why would unlocking unused value lower prices? Doesn't make much sense to me
Lowe's shopping site is an abomination, a tome of anti-patterns to be researched in design classes on what not to implement in e-commerce. It is a shame, because I really would like to purchase more from non-Amazon sources.
In your opinion, will mass-arbitration become more and more common?
each movement (left, right, top, bottom) generate a new state, the algorithm goes around searching the whole game for a "win" state
Let us hope. Ultimately not all need to go 7nm. The question is whether a small fab (not home) will work and the minimum order.
The problem is that the SMS is being used not to implement 2FA, but 1/2FA where you can get into the account with just one of the two factors, rather than requiring both.
I hate SEO. Google's ranking algorithm is basically an accretion of scar tissue built from years of SEO bullshit mitigations. If you make a ranking algorithm that does right by the user, and you're successful, it won't be long before SEOs come along and poison the well.
I'm sure corporations will fight tooth and nail to equate mass-arbitration with class-action. Very interesting how this might play out.
The Jones Act Is American Self-Sabotage
I do expect the travel industry to be in shambles for at least a year if not several, which will effectively slow down every national economy and the global economy as well, thus practically guaranteeing a major multi-year recession on that basis alone.
> Io was created in 2002 and actively developed until 2008.
Thanks to everyone that made contributions.
Patches are still welcome.

> A JS/WASM implementation might happen some day...

From http://iolanguage.org/about.html
The parts that matter are Jan 11th to the 30th.

> Jan. 11–17: Important prescheduled CCP meeting held in Wuhan. During that time, the Wuhan Health Commission insists there are no new cases.

> Jan. 14: WHO announces Chinese authorities have seen "no clear evidence of human-to-human transmission of the novel coronavirus."

> Jan. 20: The first case announced in South Korea.
Zhong Nanshan, a top Chinese doctor who is helping to coordinate the coronavirus response, announces the virus can be passed between people.

> Jan. 23: Wuhan and three other cities are put on lockdown. Right around this time, approximately 5 million people leave the city without being screened for the illness.

> Jan. 24–30: China celebrates the Lunar New Year holiday. Hundreds of millions of people are in transit around the country as they visit relatives.
David Spivak and Brendan Fong have been doing lots of work at MIT to evangelize applied category theory. See their recent books/classes:

Seven Sketches in Compositionality: An Invitation to Applied Category Theory
https://arxiv.org/abs/1803.05316

Applied Category Theory mini-course:
https://ocw.mit.edu/courses/mathematics/18-s097-applied-cate...

Programming with Categories mini-course (with Bartosz Milewski):
http://brendanfong.com/programmingcats.html
The whole world sometimes feels like it's held together with duck tape. I think people invest in things until they're just barely not falling apart.
The vendors foot the bill for credit card fraud, and end up paying transaction fees both ways. I used to work for a company whose website was found by some entity in the stolen credit card ecosystem to be convenient for making small purchases to validate stolen cards. The bank / credit card processor was in a much better place to make fraud decisions, and yet somehow all of the risk was on us and the credit card processors actually made better profits due to the fraud. Incentives are badly aligned.
”You can't stop the bum-rush!” — Ice-T
because I'm a garbage person, right after I upload this one I was already working on something new.

I'll trying my luck as a indie game dev for now, and this is not a game that people would buy or spent a lot of time playing. so, after I thought I had enough for a "game" and released.

Tomorrow I'll start working on a new game. This next one I'll put more thought into it.
Quibi’s Mobile-Only Viewing Is Already Frustrating Some People
Why would it just disappear? There are reports of secondary waves of infection and long-term health impacts for those who managed to recover.

Also public health is separate from the economy which is on the edge of another great depression with 10M unemployment claims in the US alone.
Generally speaking, what does "a resolution, not a settlement" mean? Or is that not a general legal term?
You learn maths, and also formal specification -- an almost wholly different field -- and ultimately enough engineering to ensure your proof checks finish before the heat death of the universe (itself hastened thereby).
did you try the google play version?
I use a bunch of Chrome extensions to block out tantalizing content.

I use StyleBot to remove all YouTube recommendations and home page videos. I use Web Time Tracker to see how much time I spend on each website. I use BlockSite to block out YouTube, Facebook, Twitter, IG, etc -- I still go to the websites in Incognito but I am forced to log in every time I want to look at content.

I also have insanely long passwords which makes it even more of a pain in the ass to get to the content.
Show HN: Shipping a free relaxing sailing game
If you ever wanted to try sailing for free, now you can :-)

This is a PC demo of our "virtual reality" sailing game, VR Regatta.

Greg
Hey man!

Ya it was written to be more evergreen content...hoping that the world reverts to normal at some point.
Layoffs sometimes signal an abrupt change in strategy rather than imminent collapse. For instance, if the business was on a sharp upward growth trend for years and hired aggressively to expand into a new market, but then that market disappeared over night and isn't expected to reappear for a few years, then it may be easy to see that the investment in this new segment might be better redirected into existing verticals. Doing so may require layoffs even if the immediate health and survival of the company is not at stake.

With all that said, there's no doubt many of these companies were uncomfortably on the edge of stability and success even in one of the strongest economic periods of modern US history.
Where do you get that number from? Not that I disagree, I’m just curious.
I am slightly surprised by this story, mostly because I've heard that Luke Nosek quit his job at Founder's Fund to start a fund, Gigafund http://www.gigafund.com , with just one company in mind - SpaceX. They've led their rounds since their formation. However, my information might be out of date or wrong.

Nosek's Gigafund is one of the more interesting funds out there with their incredibly focused thesis and the amount of money they're looking to put into one single company.
That's brilliant :) The last level was really fun.
They added the ability to take build artifacts now which is great. I haven't used it yet, but I plan to use it for my static gen site eventually.

I'd love to be able to use my own image, though, I feel bad everytime my build script has to use 3 minutes of build server slot time to download and install a bunch of packages before it actually builds my project, if I could make a custom docker image to build in, or there was caching, it would use less time.
You probably will. But I wrote the post so that people don't feel like becoming a sales person is this impossibly hard thing to do...
I'll disagree again.

The market price for shipping a table across the country is more than what Amazon charges. They have built shipping into their pricing through different methods.
In fact, the class action filing management could also be automated using the vendor's same system.
Outlook breaks e-mail threading. It's really quite annoying. Forget "e-mail clients could do this" most e-mail clients written prior to 2000 did do this, and many after do as well.

I think part of the point of TFA is that the fact that you don't control if other people top-post or use crummy clients means you, in practice, can't get this with e-mail, even though you theoretically could.
Can militaries around the world even operate without fossil fuels? Some of the larger ships and submarines are nuclear, but pretty much everything else is fossil fuel dependent AFAIK.
Exit unicorns, pursued by bears
UK mobile carriers politely ask people to stop burning 5G towers
Yeah, it's an excellent course. That is typically the unfortunate downside of self-studying courses, but AFAIK the tests aren't that sophisticated - you can mostly test it yourself just by running the test suite over and over again, making sure that it _really_ works 100% of the time and not just 98% of the time (given the nondeterministic nature of distributed systems failures). This is basically what students would do before submitting their labs, and most people got a full score if they ran it enough times :P