skysight-inc/HackerNews huggingface dataset:
LBYL can easily be enforced by Maybe types, leaving exceptions for really exceptional things (which a nonexisting file definitely isn't). So we see how not having a real type system hurts and deforms a language in ways unrelated to types.
Brazilian President Jair Bolsonaro reportedly tests positive for coronavirus
Request-based autoscaling for machine learning workloads
Update: Fed just committed to unlimited liquidity injections through money creation. USD debasement is now a guarantee.

Welcome to the new normal.

https://twitter.com/apompliano/status/1238463895095869440?s=...
Geekbot is a cornerstone in our transition to remote. Remote is all about good asynchronous communication
Jack Ma Foundation to donate masks and testing kits to the US
Short Selling: Making the Ban
> So exceptions should be exceptional, unusual or rare, much like a asteroid strike!!

That's a super huge misread of the text recommendation.

I watched a live presentation directly from Jeffrey Richter at the bay area .net user group, oh god about 15 years ago when he described how he came up with this text. In fact it was a call to use exceptions a lot more than we used to, and to avoid error codes. So no, exceptions are not supposed to be rare like that.

His main point was to throw if the method name was not achievable, except in specific situations where that breaks user expectations too much, like getting null from missing map entries.
You might consider going through the git commits, find authors, and investigate where they work.
I apologize for the naivite of my line of thinking but wouldn't the locality of Relativity slot in at that point? Other realities could all be real, but only a subset could be real/accessible from the perspective of a given measurement device. As a guy who reads popular books on the subject to fall asleep, that seems like the obvious place for the two theories to couple. What am I missing?
Love that it's lego instead of a 3D printed housing
So you think they will not roll it over indefinitely? It didn't exactly end well last time they tried to "normalize" the situation, in December 2018. It's very likely that this $1.5T (or however much will be eventually used in the market) will stay here forever.
When the Cv of a diatomic gas goes from 3/2R to 5/2R there is an intermediate part that is complicated. A photon gas has also a strange Cv. I think it's not easy to dismiss superdeterminism using just the Cv, because sometimes Cv is more complicated.

[Disclaimer: I really really dislike superdeterminism. I just think that Cv is the wrong reason to dismiss it.]
Your PIN can't be used because it is the smallest number not on our list of PINs that are too easy to guess for other reasons + the smallest previous number.
This definitely resonates with me. These sorts of constructions have been an obsession of mine for as long as I can remember. There's a very specific feeling they conjure that I've never been able to put into words either, and I'm guessing it's similar to what you're feeling! There's definitely a morbid curiosity aspect to it which is why seemingly sinister things like this (or my fave, 33 Thomas St) have even more appeal.
This is a court ruling I would have expected to see in America, not western Europe. WTF is going on over there?
Just relax and prefer to behave and do as ordered instead of creatively distinguishing yourself and sticking out. The former works better.

My day started out okay, the week passed really fast, perhaps because I had a day off on monday. Ordered a great pizza yesterday, doing steady work today, nothing pressing, regular copywriter/content stuff I always do.
Most of the major brokers have free trades now for stocks and ETFs - Schwab, TD Ameritrade, IBKR, etc. If you're trading something more advanced like options or futures, you'll pay some small fees (options at Robinhood are free, they don't do futures). But when you're trading options, it's probably worth it to pay the fee for a more stable broker so you don't get wiped out by a Robinhood. The fees are very small by the way, for example I use Schwab and it's just $0.65/contract, which basically means for each share I pay a $0.0065 premium.
I'd be interested if this lens would transmit more light than a traditional lens stopped down to f/13 and focussed to hyperfocal distance. If that's the case, it could find application in photography for low-light photography.
Rust has a thriving embedded ecosystem[1]. You have access to an ever growing number of HALs[2]. There is an embedded operating system written entirely in Rust called Tock [3], and it can run things like OpenSK, an open source security key application. [4]

[1] https://www.rust-lang.org/what/embedded

[2] https://github.com/rust-embedded/embedded-hal

[3] https://www.tockos.org/

[4] https://www.tockos.org/blog/2020/hello-opensk/
> Withing the next 10-15 years 95% of household appliances and furniture will have a chip in them, to enable some type of IoT functionality.

This is already happening. I work in an engineering consulting, specialising on consumer electronics. I have to admit, the wider industry is becoming a part of the issue: everybody wants to become like Apple.

We have an enormous tide of new clients incoming, with prime majority of them having no previous experience doing anything with electronics whatsoever.

If we ignore customers with out in the clouds fantasies, we will be losing like 3/4 of the new business, on another, we will be loosing our engineers who will be leaving to work on something more interesting and merit worthy.

The hottest buzzword among Silicon Valley accelerator bred entrepreneurs I see is "product-as-a-service," which basically you buying a product, but still having to pay to use it even after you already own it.

We have a joke that soon even toilet paper rolls will come chipped, and the paper will not work unless you pay somebody on the internet.
IRA in Ghana: Double Deceit
What's interesting to me is that while the divide may be somewhat along pro/anti Trump lines, I've met people on both sides of the Trump issue who believe that current social distancing measures for Covid-19 are much to extreme given the economic costs.
The absurdly simple guide to backing up your PC
Not to mention influenza has a segmented genome that makes it exceptionally good at mutating, whereas Corona viruses have much more stable genomes, comparatively.
Incidentally, back in 2016: https://www.infoworld.com/article/3109150/linux-at-25-linus-...

> What do you think of the projects currently underway to develop OS kernels in languages like Rust (touted for having built-in safeties that C does not)?

> That's not a new phenomenon at all. We've had the system people who used Modula-2 or Ada, and I have to say Rust looks a lot better than either of those two disasters.

> I'm not convinced about Rust for an OS kernel (there's a lot more to system programming than the kernel, though), but at the same time there is no question that C has a lot of limitations.
As much as I love Rust: As long as Rust doesn't support all platforms which the Linux kernel supports, it really is a no-go for kernel code in general.
One fallacy that seems universal with healthcare folks is they think the false positive rate is the chance that a given positive result is erroneous. If an illness is rare, a positive result in a test with a 1% error rate might have an overwhelming probability of being a false positive. This is why prior probabilities need to be taken into account in making decisions.
I've seen this used as a location in movie/tv show. It was used as the wall/barrier/border. I can't remember which one though. If it was not the actual Russian site, it had to have been the source of inspiration for the artists working on the show. I had to pause the show to look up images of the antenna array for comparison, and it was spot on. Just wish I could remember the title to look for screen shots.
Variable Speed Foot Pedals
Funny, that's what your government thinks about you!
There are many good points about KDB/Q the product (most of all simplicity) and it certainly was well-engineered. But K is not a modern language and its performance is only impressive as an interpreted language; and these gains come at a significant cost (various limits on expression sizes / variable counts / branch sizes, no closures, poor error messages). It's only really "fast" on bulk operations, much like Python.

If you want to see what a modern K or Q might look like (with static types and an embedded JIT compiler!), checkout the excellent Hobbes project from Morgan Stanley:
https://github.com/Morgan-Stanley/hobbes
Assuming you can't move due to family or other reasons, maybe. You certainly won't have as large a pool as in the major cities. But if you're an engineer in a major tech hub, you really have no excuse. It's never been easier to interview and find, if not an obviously better company, at least a different company with a team that has a chance of being better than where you're at.
A man passes a builder who is using a hammer to drive screws into a plank of wood.

"You should use a screwdriver for that," says the man. "It's more suited to the job, you will find it easier and you will be more productive as a result."

"Thank you," said the Builder, taking the screwdriver.

The builder then hits the screw as hard as he could with the handle. His results are not impressive. "I think I'll stick to the hammer," he says, throwing the screwdriver away.
I was reading through their slides wondering when they’d realize that the blacklist was stored in the IPSW…I guess it took them two dead phones to realize ;)

As an aside, Apple’s related MDM password policy is utterly bonkers, as it prevents passcodes with ascending or descending numbers adjacent to each other if you disable “simple” passwords. This was frustratingly humorous when I tried to use a long numeric code and it would constantly run afoul of that check due to statistics while a 6-digit “pattern” passcode would be accepted just fine.
The Last of Us II – Crunch Time
Have you ever written any papers or blog posts regarding your thoughts on free will? I'd love to dig deeper into your perspective. I had assumed you would consider free will to be an illusion.
My personal theory is that in places like England in the winter people close the windows and cough at each other hence spreading colds, flus etc. In the summer they open the windows, go outside, the cough outputs blow away. I was recently in Bali and Singapore and noticed no colds in Bali where everything is outdoor and transport is mostly scooters and a lot in Singapore where everyone sits in aircon boxes - offices, busses etc. Also there's a fair bit of coronavirus in Singapore and not much it seems in Bali in spite of Bali having many Chinese tourists.
There are too many unknowns regarding the economy and virus to really understand what’s going on.

I think we’re going to enter a period of “virus time”. When we’ll have enough understanding of both the virus and economy to see the economy reduced but stable.

Earnings for Q1 and Q2 should be telling.
White House official in charge of pandemic response exits abruptly (2018)
The reaction here over the last couple days to the Fed's move has been disappointing to say the least. No one seems to care about educating themselves why the move was made and instead proclaim a "wall street bailout!", "we have 1.5T for the market but not for single payer healthcare!?".

Half seem to not even be aware of the Federal Reserve's job in the economy or even that it's not run by the government.

The level of expertise and knowledge on Hackernews for some subjects is incredible but for sure not on this topic
Absolute lack of testing, the real number could be 10,000 or 50,000. Nobody knows.
Yes! I settled on the Goldenrod 505 oiler which has a simple straight neck. Thank you very much.
Have you ever seen a child whose parents make nothing but empty threats? Shock, horror, the cold figures it out pretty quickly and those threats lose any value. So there are no consequences.

I feel like this is the situation financial markets are in now. Bailout after bailout. So markets have learned that they can take big risks (the bigger the better) because they can enjoy the rewards without any of the risk.

Now there are special circumstances here but there are always special circumstances. Post-1989 Japan should’ve taught people you have to let banks fail when they’re insolvent.

Some companies made what turned out to be bad decisions would otherwise fail. This argument that not bailing them out will make the recession worse gets pet tired after you hear it for the 100th time.

Whatever the case, I’d bet money on the stock market dropping significantly over the next two weeks irrespective of these prop ups s as the reality sets in that you just can’t contain a disease where the contagious routinely are asymptomatic and the number of cases continues to climb.

Some will point to China’s ability to flatten the curve in Wuhan and but they do this by essentially combining everyone to their homes in a way that’s simply not possible in the US.
There's a big difference between someone saying "I'm a repair shop that is capable of fixing Ford vehicles" and "I'm an official Ford Certified repair shop". Both are allowed to fix your car. The third party shop can order parts to repair your car.

And nobody curses Ford's name when they go to a crappy shop and spend $2 on a new headlight that fails in a week. That's the shop's fault.

Nobody is saying anyone can call their junk an "official apple product". Why would this not be the same as the car scenario? If you don't want to risk issues, don't go to sketchy repair shops.
You still need real time for this. Without real time that particle can't move.
And thus by induction we know that there are no valid PINs.
>If an illness is rare, a positive result in a test with a 1% error rate might have an overwhelming probability of being a false positive.

Can you elaborate on this a little more...?
> most teach rather outdated jobs no companies are hiring for anymore.

Could you please elaborate on this? What do they teach?
Folding@home is using distributed computing to help develop Covid-19 drugs
TL;DR; when all you have is a hammer, everything looks like a nail

Although I like your version also. Haven't heard the full story before like that
If you meant DWD (=government) did it at double the cost, then this makes sense.
And they do have their uses but they are not good enough by their own. Having both exceptions, result types and maybes is a lot better to have and to use appropriately than only have one or the other.
Yes, for the indexer scenario dict[key] that is an exceptional failure (equivalent to indexing list[index] wher index >= length). The method to get the value of a key only if the key is in the dictionary is TryGet...

I think this design is the best one. It lets you have the program blow up quickly in all cases where the presence of the key is a requirement for the program to be in a valid state (which is common). Otherwise you'd be doing

x = dict[key]
if (x == null)
throw("Unexpected this is. And unfortunate");
I'd like to second the diet bit, namely that it can be an effective tool in some cases. Specifically, I have a relative who has trouble maintaining healthy kidneys. The primary tactic she uses to mitigate things is to avoid meat.
Based on what we've seen, I'd be pretty comfortable having the Gates Foundation take over the WHO, if the world would accept it.
Data from the China CDC shows the mortality rate (not the infection rate) is strongly correlated with age, especially above the age of 50.

https://www.statista.com/statistics/1099662/china-wuhan-coro...
Uhhh the numbers are what renal docs use to determine dialysis soon or now. Is that not right?

Cause what your saying above is the numbers don't matter? WHich contradicts all renal docs usage of the numbers!

Further yes my creatine is down and my eGFR is up, as well the fluid symptoms i suffered in 2019 are gone. My renal doc advocates plant based diets and has patients who has thwarted off dialysis for more then 20 years. Please tell me why I shouldn't follow all this data including from my primary care who advocates such diet change?
It was very real. One of the reasons there was not widespread failure was due to the creation of software that scanned for two digit dates and fixed systems at scale. That and people spent years preparing for it. A few systems failed, but nothing on the scale of what was predicted.
I think if this law is passed, companies will start subscription service where you'll be renting phones instead of owning then. Then onus and exclusive right for repair/replacement will stay with the smartphone company.
OT: Why can't I put ssh://nethack@alt.org in my browser? Why isn't the browser a ssh client?

I'm sure there's an extension or some such, and I know there are a lot of admin portals that have ssh accessible from the browser.

edit: for instance here's is one such extension: https://chrome.google.com/webstore/detail/secure-shell-app/p...
How did they estimate this? If anybody can read the actual paper, I’d love to know.

If false positives dominate true positives then you’d expect total positives to depend primarily on number of tests given, right? Which sounds wrong to me, but I’d be interested in hearing other thoughts.
"in general" is a bit strong; the maintainers have said:

> I spoke with Greg Kroah-Hartman, and he said he'd be willing to accept a framework in the kernel for writing drivers in Rust, as long as 1) for now it wasn't enabled by default (even if you did "make allyesconfig") so that people don't need Rust to build the kernel, and 2) it shows real benefits beyond writing C, such as safe wrappers for kernel APIs.

https://lwn.net/Articles/797828/
I don’t follow but am interested in your point. Please elaborate.
This is a classic result in Bayesian theory.

Here is someone else explaining it.

https://betterexplained.com/articles/an-intuitive-and-short-...
No, I think it should be illegal for companies to sell new products. Which has the same net result as a buying ban for the new goods markets (and used goods market over time).

Now the question that needs careful consideration is what constitutes "unrepairable" legally? It has to be sensible and legally ironclad.
That's the whole point right? The hope is to figure out what the hidden variables were, to make better predictions than quantum mechanics could. To un-hide them, as it were.
Java is here since 1995 and going nowhere in near future.
> I asked, “ Can you name a single positive result in all of philosophy that there is any consensus for across the field?“. I’ll take your answer as a no.

Molyneux's Problem. Even then, so what if the asnwer is "no"? What would that mean? Solving a problem is not an indicator of progress, anyway.

More solved problems are listed here: https://www.philosophyetc.net/2008/02/examples-of-solved-phi...

>Often they’re extremely counterintuitive and difficult to communicate in any way except mathematically.

You're talking about specific claims, not kinds of claims, which I was discussing. The claim that something has been observed to work in a certain way in one situation and therefore must work that way everywhere is a kind of claim. That's the universalist principle. Physics, like all sciences and possibly all knowledge, is victim to the Munchhousen trilemma[0].

>No, it would probably mean that philosophers were all full of shit.

So if results are inconvenient to you or against your intuition, they're invalid? "Gravity is inconvenient, so physicists are full of shit." On what basis can you argue that intuition is shaky, when you use it yourself for that result?

[0] https://en.wikipedia.org/wiki/M%C3%BCnchhausen_trilemma
What is a “Black Triangle” moment? (2009)
No Bootable Medium Found in VirtualBox: The Best Solution Is Here
Heh, this sentence seems particularly relevant to this whole discussion...

> This method works fine for the year 2000 (because it is a leap year), and will not become a problem until 2100, when older legacy programs will likely have long since been replaced.
I was a phone hater, and always had good reasons why. It’s synchronous, requires meetings to be setup in advance, is cumbersome, and is painful.

But I’ve come to the realization after having the company switch to alternative means (slack) that these issues are its greatest strength. The universal annoyances of setting up a phone call means that people only reach out for it when it’s absolutely necessary. Instant messaging means that others will ping you for the slightest of things. And the expectations around instant message means that if I don’t respond within 15 minutes at most, the assumption is that I’m not actually working at the time.

And email works great for everything else that can be done asynchronously and requires a written record. And email has far fewer expectations about immediate responses (in fact, the spate of email is bad commentary over the past few years means that saying you check your email once an hour is not considered bad), being open means it fits into your workflow with the many clients and tools available for consuming it, and is immensely flexible. Good threading and search capabikities, the fact that each mail contains the entire discussion thread which you can then save as a file allows you to then incorporate that information in any alternative workflow using existing tools everyone is comfortable with.

Compare this to the new email replacements, which instead of fitting into your workflow require you to fit your workflow into them (because you’re limited to their clients to use them), and have expectations of not synchronous but almost immediate responses, and take up a lot of your time.

Some caveats though. If you regularly communicate with sales types, they love being on the phone and are willing to call you for anything. My way to avoid that is to basically insist on a calendar invite that I have accepted to take a phone call. The invite must contain a high level agenda so I can make a decision whether it’s worth taking the call, or can potentially be resolved in an email.

TLDR: I agree phone (not necessarily through phone calls, but usually through Skype or Google Hangouts) + email is easily my preferred universe of work communication tools.
If a given test has a 1% chance of returning true, even when the actual result is false, then from a sample of say 1000 tests we would expect at least 10 trues, in addition to any actual true results. If the chance of having the disease in the general population is low (say 1 in a thousand for this example) then we would expect 11 true results in our thousand samples. Of which 91% are incorrect results - false positives.
Huawei Kunpeng processor gets a major backer in China
You didn't meaningfully address the parent which was talking about rewarding this exploitation. Imagine you are a college and instead of investing into high quality education you try to get as many students to enroll through concessions even if it means that they cannot repay their loans because of bad job prospects. If students know that their loans will be forgiven then they might go for the "expensive vacation" college instead of the "boring nerd" college with those super strict professors.
Manual work like that should be more expensive than buying new.
You're thinking of TARP which was a federal government thing and didn't even involve the Federal Reserve. Further, TARP was used to purchase toxic assets and not over night lending. So, no, it sounds nothing like 2008.

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

edit: don't mean to be a jerk, i'm taking a 3 day break from hacker news starting now.
Yeah, I want a complementary version too which would support OP's "Email and phone is sufficient".

Something like Alanis Morisette's "10,000 spoons when all you need is a knife". If you're only opening a tin of paint you could also use a spoon.
Airforce One 747 to be replaced with Russian plane
Could this be used for glasses?

Could the same glasses serve both as reading glasses and as long-distance glasses?