skysight-inc/HackerNews huggingface dataset:
> According to prosecutors, he used that information to seek unjust enrichment through a series of beneficial stock trades that generated $227,000 in profits and avoided $377,000 in potential losses.

This seems like a trivial amount of money for someone that high up to jeopardize their career or spend years of their life in prison for. I would maybe even understand the risk/reward if it was in the tens of millions but this sounds nowhere close.

I am genuinely curious to know if this happens regularly - what is the real motivation for committing a crime that barely pays relative to the penalties?
Reminds me of https://github.com/davebryson/bftdb: sqlite replicated by Tendermint (PBFT-ish consensus)
Original colonization is on steam, have you played it recently?
A few key things you're leaving out.

1. The mortality rate for children is lower than even the flu, and this is likely to do with age-related ACE2 expression. This is fact, and hopefully it leads to something that can help us lower the mortality rate in older folks, too. [1] They can of course spread it to older folks, though.

2. Mortality rate among the young is in line with the flu.

3. Mortality rate in older folks is terrible, and needs to be managed, but it can be managed. Those folks, and those with immune issues can and must be protected at all costs.

These three things together mean the death rate of such a strategy is nowhere near 1%.

> 330,000,000 ÷ 100 x 65 = 214,500,000

Serology studies pin the number closer to 0.6%, but of course that doesn't make the decision any less difficult -- although that is heavily, heavily age dependent.

What you're neglecting otherwise is the thrust of the article: lockdowns are temporary and the disease won't be stopped by lockdowns. Even under the most optimistic projection for vaccination, we may be hurtling towards the 65% number in the US one way or the other.

This article basically documents Sweden's approach. There hasn't been a COVID death in Sweden since August 24th, and at the moment, they continue to see ~150 new cases per day.

[1] https://www.uth.edu/news/story.htm?id=b40ccaec-50c5-465c-b2d...
I can't quite tell, but Kamala Harris might have been the AG in question.

That wasn't what the AG argued; the AG argued that case shouldn't be dismissed on those grounds. The question is closer to if the prosecutor adds incriminating statements to a confession transcript, is that grounds for dismissal.
Yeah, well, we had a frozen dependency tree via `pip-compile`, but `setuptools` is a package it won't freeze by default, so it snuck in as a transitive dependency from https://github.com/googleapis/google-auth-library-python/iss... . . .
What kind of smaller unbundled app would make you quit Facebook?
I feel like most of the people I know who are still on facebook are there for one reason and would quit their account otherwise. For me it would be one private group and maybe a couple event invites a year. This could be replaced by another more privacy friendly app I think.
What would do it for you?
When you say "Rust enums are also enums", that's not true in general. What is true is that _some_ Rust "enums" (like your `Colour` example) can be represented as traditional enums. You don't prove a universal quantification with a single example.
Netflix uses freeBSD does that count?
https://www.youtube.com/watch?v=KP_bKvXkoC4
Well, it's not very relaxing when users like me were using addons on mobile perfectly fine, and then all of sudden there is a new stable version whose lack of support of addons was not considered a bug that should have been tackled before the release, and we are told that the regressed functionality will only be restored "eventually"
This applies mostly to food waste, and in home environments it's better to compost it than throw in a bin and send it to landfills. It takes some effort, but when it's done well, composting shouldn't cause a stink. A self-opening compost bin wouldn't be disgusting.
Isn't there an online check to ensure you have a license?
Cellphones have a lot of peculiar, absolutely undocumented and very buggy peripherals, and tricky system-level power management demands.

Pi's SOC was meant to be designed in to a variety of products, so needed to be documented and understood. Cell phone chips are dumpster fires, as a rule, and are forgotten by their manufacturer within months of first delivery.
Road design and speed limits supposedly goes hand in hand.
Thanks, missed that :-(
I can have cyclic graphs with mutable data without writing any unsafe code: https://docs.rs/petgraph/0.5.1/petgraph/

"Specific buffers/caches" is ambiguous. For embedded systems there are crates that provide safe interfaces to memory-mapped hardware.

You will likely argue that using unsafe code in a library is just as bad as writing unsafe code, even if that library is used and tested by a lot of people and the unsafety is corralled behind a safe API. You would be wrong.

> How do we know that? What are the criteria and the thresholds that lead us to that conclusion?

My current project is 170K lines of Rust code, and has 225 uses of unsafe. That's about 1.3 uses of 'unsafe' per 1000 lines of code. If I could write C++ code and introduce less than 2 exploitable vulnerabilities per 1000 lines of code I'd have an even higher opinion of myself than I already do.

> Is it true for all fields where the language can be used?

I'm sure we're both imaginative enough to dream up some "field" narrow enough to disprove any universally quantified proposition.

> What should we do about inability to express more precise constraints at compile time?

We should adopt proof systems that let us verify safety properties for those little bits of unsafe Rust code. We should not, however, make that a precondition for writing that vast majority of code that can be written in safe Rust in safe Rust.

> Shall we stop on Rust, or try to embrace more powerful tools that already support Dependent Types in low-level systems programming?

That is a false dichotomy.

Safe Rust is a sweet spot where the compiler and tools can verify a strong set of safety properties without the developer having to deal with proof systems and dependent types, with lots of engineering to produce helpful messages when things go wrong. Plus a large library ecosystem that, among other things, provides lots of safe abstractions over unsafe code. Trying to put the brakes on Rust and get everyone to buy into ATS instead is putting the needs of the few over the needs of the many.
I am going to call bullshit on this:

1) Function argument order is not an issue in practice. Especially Elixir or OCaml providing keyword arguments. Also, there are mostly conventions eg search term comes first in replace function.

Elixir, F# all provide Pipes, while little more verbose than dot notation, more universal than methods on objects.

2) IDE support: above points apply, although pervasive type inference may make few things hard. It is best practice to annotate function signatures.

The real reasons why FP languages are unpopular are:

1. immutability is often a bad abstraction and some FP languages often make performance/memory reasoning harder[0].

2. Your 9-5 engineer doesn't want to learn anything more than what they learned in school or bootcamp.

3. The impression created by some FP language communities. There are some people always talking some complicated category theory stuff that's rarely useful for programming, or propagating zero information statement like "If it compiles it works". [1]

[0] "bUt ItS lIKe gRaDuAtE aBsTrAcT mAThEmAtICs it must be good and elegant even if the machine doesn't work like this". Go and learn some real computer science, algorithms, data structures, number theory, probability, instead of touting your definitions of undergraduate logic and set theory.

[1] There is more chance it works, sure. But "If it compiles, it works" is dishonest statements.
Not even remotely as difficult as Swift. Rust can call into C at any time. It is ABI compatible and has no VM
if you value not having to spend time driving to pick things up then a lot of those fails are tolerable IMO

even a 20% failure rate could be tolerable for people who really value the delivery aspect.
paywall, details? curious about which constitutional aspects they look at
So, one experienced pilot will need to make this decision for all roboplanes.
"That's 330 million people, 65% exposed, and 1% death rate."

These are questionable assumptions. Herd immunity thresholds seem to be closer to 20-40%:

https://arxiv.org/pdf/2008.08142.pdf

https://www.medrxiv.org/content/10.1101/2020.04.27.20081893v...

Moreover, fatality rates are not 1%. Current best estimates are ~0.6%, overall, with a strong dependence on age:

https://www.medrxiv.org/content/10.1101/2020.08.24.20180851v...

https://www.medrxiv.org/content/10.1101/2020.07.23.20160895v...

https://www.thelancet.com/journals/laninf/article/PIIS1473-3...

The young (i.e. those under 30), in particular, are at almost no risk of death:

https://www.franklintempleton.com/investor/article?contentPa...

"Keep in mind that 9% of people have suffered a crippling illness that lasts several months."

There is no evidence for such a claim. If you're referring to the people who spend time in ICUs, on ventilators, etc., these people represent a small fraction of the most severe examples of known infections (i.e. less than 9%), which themselves represent only about 1/10th-1/20th of the total number of infections:

https://www.cdc.gov/coronavirus/2019-ncov/cases-updates/comm...

The vast majority of people have mild illness, akin to a cold.
It will be very hard to convince people who oppose Nuclear reactors even though their overall impact on humanity is much better, that something radioactive in a small packet will be safe too. Just a psychological issue but also the fear of it being misused even though Physics might suggest that is not possible.
From the perspective of a lay person, it doesn't to be effective in doing so.

eg. Places like Prenda Law being able to operate openly for years before being shut down, etc.
If it's a neural network it's kind of more accurate, although weird wording. I would find ML-assisted just as attractive to click on though, maybe even more, since it sounds more professional, but that's subjective.
This is the right move by Facebook (and Google) in the face of naked crony capitalism.

It's an effort by the Morrison government to engage in rent-seeking on behalf of Rupert Murdoch's News (which essentially operates as the communications arm of Morrison's government), Nine (which held a fundraiser after the last national election for Morrison) and other media groups.

Yes, there are many valid criticisms of and concerns we should have with tech giants, but this proposed code doesn't deal with any of those concerns.

Australia's former Prime Minister Kevin Rudd, who has stepped up his war against Murdoch's influence on Australian Democracy in recent years, was incredibly perceptive and scathing of this proposed code recently [1].

[1] https://www.youtube.com/watch?v=XiFTT_QgqIc&feature=youtu.be...
Do Indian Muslims Need a Separate Media House?
Small correction: corporations are private military-style top-down dictatorships, not just any kind of government.
> My guess is you won’t see ethnic Uyghurs living in mainland China 15 years from now.

Considering the Uyghur population doubled in the last 50 years, they're not doing a very good job at it.
I suppose they are hoping the social companies (FB/GOOG) do not pull out, so then they get all the listed benefits around data and profit sharing (including algorithms - if Google had to share SEO implementation details or FB with their feed, that would be unprecedented I think).

But if they do call the bluff and pull out, then I don't see how it helps the papers apart from being able to set the narrative on their own platform and limit discourse (comments/critiques) off-site. If you can't share something on Reddit etc and talk about it, then you have to comment on 'approved' venues which will help bolster any cases they make by shutting out dissent. They are probably hoping this is still a win as others will go to the source directly, and pay if they have to because now there will be no other option.

In short they're used to the pre-2000 era and never adapted. They think with the right laws we can turn back time.
> How do we know that a staff member immune to COVID?

Antibody tests are already quite available and easy to get. In the longer term, you'd need to test for T-cell response.
> Empowered by the two-phase design, Coda achieves an average program accuracy of 82% on variousbenchmarks. While the Seq2Seq model with attention and the commercial decompilers yield 12%and 0% accuracy, respectively.

A commercial decompiler yeilding 0% accuracy sounds odd.
Given that she became an informant after the police gave her the choice of becoming a snitch, or getting the book thrown at her, I don't think she had any illusions about whether or not she was a scumbag.
Yeah, I thought the same. But I know a group of friends who moved to a beach side town with dead cheap rental. Of course, I can’t generalize based on that.
Are you in the US? Ocado here in the U.K. is great.
> So if you're talking about electric vehicles, our battery could run for around 90 years without the requirement of recharging.

> Take the battery for a Tesla car, it costs somewhere in the region of US$9-10K. Our battery will cost something in the region of US$7-8K

> battery into the market in less than two years' time.

This is too good to be true. Something's amiss.

How do they stop the decay/ what do they do with the power while the car is not in use?
Maybe once we don't need as much oil we can repurpose the pipelines to pump water from the areas that have no shortage to the rest of the country so we can expand our usable territory?
This is literally labeled as an ad partner content for dish detergent
Former Australian PM Kevin Rudd on the proposed 'News Media Bargaining Code'
But an equally intuitive argument could be made that fiction entertains readers by baffling and eluding their expectations about what, specifically, will happen next.

That's what fiction that wins literary prizes and gets emphasized by literary nerds and academia does. It is absolutely not reflective of fiction as a whole or on average.
I tried AppleMaps for the first time like 4-5 years ago. Feature-wise it wasn't where it is now but what annoyed me the most is that the GPS on map lagged FAR (1-2 seconds) behind my real position. More than once I missed a turn because of that, especially when you are driving in an urban area with a lot of smaller streets.

Fast-forward to 2020 - in the meantime I used Google Maps with no issues at all. A friend of mine suggested that I should try the latest version and maybe I would change my mind. So I used it for a day - same urban area - and it's still lagging behind - mind you: at this time I had a new iPhone and a new carrier. For me this makes the App unusable. I don't want to plan ahead 500 - 1000m (Germany) while using navigation.

I'm really curious, does someone have the same problem?
Covid-19 cannot get to 200 000 still and it will be one and done.

Absolutely baffling that people are not outraged by the doctors killings...I guess not enough media drumming up of the number? Time to have counters on every news media with the murders?
Sole F63 Treadmill Review: Good but No Longer the Best
Ban lawns, or at least watering them. Increase the use of aquifers and natural water reserves on site.
> Union types are basically an anonymous form of sum types.

This is false on multiple levels. First, being a sum type has nothing to do with the type being named vs. anonymous. What makes a sum type a sum type is that it's a categorical coproduct, whether you give it a name or not. Second, sum types are synonymous with _disjoint_ (i.e., tagged) unions, not unions. Consider the union of boolean with itself. The result would be equivalent to boolean, because union is an idempotent operation. Disjoint union, or sum, would give you a type with 4 values instead of 2.

> Technically enums (or more generally tagged unions, which is what Rust's enums are) is a superset of sum types as you can have multiple variants of the same type

That just how sum types work (have you ever wondered why they are called "sum" in the first place?). You're thinking of union types.
Unreadable.

Like trying to follow a story told by a 4 year old.
I've seen this in some forums; you suddenly get a lot of cpu usage; at first I thought a crypto miner was getting through my external script blockers, but after checking the source and grokking the minified code, it dawned on me what it was.
Alberici was caught making egregious errors and was heavily biased. She couldn't even tell that MYOB is a software company, instead calling them an insurance company IIRC.

Her claims that all corporate losses are profit-shifting was similarly egregious.

She deserved to lose her position, she was campaigning for one side and lying to do so.

I don't say this lightly - go look at the investigation into her piece and why it was taken down.
Earlier discussions:

https://news.ycombinator.com/item?id=24332054

https://news.ycombinator.com/item?id=24324684
As an ex-competitive Science Bowl participant, I’m mildly annoyed by the extra stall time allowed by registering with a long last name and being able to prefix your answer with “is it” :/ In Science Bowl you’re referred to by {A,B}{1,2,3,4} and prefixing your answer is an instant stall disqualification. It’d be interesting to see someone go and train them to buzz based on the extra time they get…
My point is that: It's common for reasonably smart individuals to exceed speed limits, despite the fact that:

- the speed limit is 130 km/h

- it only shortens the trip by 1-2 minutes

- it's bad for the environment

I suspect they many of my decisions aren't remotely rational.
I've been lucky (not really, keep reading) enough to take a few classes with professors who are probably the best in the world at what they do and found them really awful. You could tell they didn't want to be there and didn't really give a shit about anyone learning anything. Moreover, I think being really good at something makes it harder to teach, not easier. TAs are usually much better teachers. After all, they can still remember what it was like to not understand the material.

Some of the best teachers I've had were at a community college, actually. I ended up taking community college classes for a couple years instead of going to high school and had a much better experience than at the "real" college I attended when I was older. That could have been a function of age though (by the time I went to a real college I was much more interested in girls and partying than learning anything).
The quality of the product is irrelvant. It will have usage as long as it is the default on Apple devices.
It's a soft requirement, because the witness will be 'necessary'[1] in court in the particular circumstances of this particular crime. If the prosecutor had a stronger case (Say, a different witness, or CCTV evidence, etc, etc, etc), then this particular witness would not be necessary.

[1] In the opinion of the average criminal lawyer, assuming that the case is litigated correctly, and that the jury isn't entirely composed of utter mouth-drooling morons prejudiced against the defendant.
> Dr Nima Golsharifi: Our battery is based on the beta decay and alpha decay of radioisotopes.

um...yeah, couple nuclear RTGs on a car, we do that all the time in Kerbal Space Program, yeah safe and good
Rust without safety isn't Rust at all!
Why not use a passive solar heliograph, e.g. a spinning cubic or dodecahedron mirror? That should last for a million years or more.
Mission statements – Why they matter and examples
Depending on the environment? GPS is still susceptible to signal reflection and LoS blocking.
The essential quality of all large, dynamically typed systems is bugginess.

Another way to say this is that if you need a reliable system made of a dynamic-type language, it has to be composed of smallish, independently testable and very thoroughly tested components. Smalltalk systems tend naturally toward the big-ball-of-mud anti-pattern. The tendency can be limited only by the self-discipline of a master craftsman in charge.
I once asked a high-school acquaintance of mine who had just graduated with a law degree, if she knew someone committed a violent crime, if she would still represent that person in court. Her answer was that even a violent criminal has a right for a fair trial. That sounded to me as evasive as it was rehearsed. I reckoned that this is something they have been taught/justified in law school.
Gemini, maybe?

https://gemini.circumlunar.space/docs/specification.html
The author missed that the whole narrative around herd immunity is based on very very weak papers. The growth dynamics of COVID-19 is following very precise mathematics. Like any seasonal virus it starts strong - and trickles down slowly.

Not doing containment while it is growing will make the situation a lot worse.

Spreading the virus deliberately to get some immunity will make the situation worse.

Using non-functional lockdowns that only slow down the descend and spread the virus more evenly also make things worse.
What else can we expect when 50% Ministers in Modi Cabinet are Brahmin while they're just 3% in India https://twitter.com/0x101/status/1298928597730594816
Running Auto API Tests Using Heroku in 2020
While I'll be first in line to criticize the overall Python packaging-story, you also have to consider how Python itself is being used to implement the underlying platform which the OS's package-manager depends on.

If you allow the pip to make changes to things already present on your system, it make break expectations other parts of your OS may have.

And especially given Python's messy package-management story, combined with the less-than-ideal Python2 to 3 compatibility-story, transitioning a full OS and platform from Python 2 to Python 3 without breaking stuff is no small task.

I'm amazed it even works, and that's before you allow users to mess around with packages using pip.
That's quite impressive. I looked up the German Corona app on the play store and they have 5 Million total installs on a population of 80 million. The Apple store doesn't say.

I'm guessing we don't reach 20% though that Finland did in a day. While 42% of Germans said they would install the app [1]. There's a total of 17.5 million downloads (not installs) that puts an upper bound on current users [2].

I just wish there was more cooperation. In the EU at least there are so many apps and everybody is on vacation right now, limiting the usefulness of these apps.

[1] https://de.statista.com/infografik/22008/befragte-zur-nutzun...

[2] https://de.statista.com/statistik/daten/studie/1125951/umfra...
So sick of it that there's two new books in the series coming out, one this month?
> X | Y isn't so different from 'a' A | 'b' B

Except for the fact that the union of a type with itself (X | X) doesn't add any extra values, while a tagged union can have distinct tags with the same data type ('a' A | 'b' A) and actually sums the possible values for each tag. They are equivalent only so long as the unions are disjoint with no overlap between the members.
> No, but this feels scummy.

I don't get the it's bad implied in the article.

Let's say it's a rape, and the victim dies, what's really changed?

You can hate the idea of plea bargains, but that's a different topic.

They admit they are guilty, so proceed on.

If it means they are screwed in challenging it later or in sentencing it might matter, but it doesn't seem the case.

Otherwise, very boring examples. Nicola Gobbo was a criminal lawyer and a police informant at the same time, but hasn't been charged with anything, I feel like there would be a interesting example in there somewhere. https://en.wikipedia.org/wiki/Nicola_Gobbo