skysight-inc/HackerNews huggingface dataset:
Sure, if you handwave away the real problem, which is how cops make the "aren't a threat" judgment in the heat of a situation, knowing that if they judge wrong they could end up dead. Making that judgment is highly situational, and how cops should judge individual situations is highly dependent on the locality; there simply is no one-size-fits-all set of rules you can give cops that will work.
Microsoft, Google, Amazon, Facebook and so on need to be split and also ordered to delete all personal data that they don't have legitimate need for.
If this is a concern, leave your family instructions how to change the name and the email address on the account. I’ve seen several of my Steam friends transfer their libraries to their children this way (while living.)
In most cases we know history about: the people experiencing disaster and the people retrospectively discovering it have very little social overlap
I didn't dive much deeper, but the header text says "Narrated by real voices". I guess that's why it costs $11/500 words, which is an order of magnitude higher than TTS solutions.
> there's a model that corresponds exactly to that theory: anything that's true in that model can be proven in the theory, and vice versa.

Unfortunately it doesn't work if you swap our "for all models" with "there exists a model."

Take the theory of the natural numbers with the new symbol "Special" and the axiom "there exists a number n such that Special(n) holds." In every model of that theory there will be a concrete n that is Special (say 6). However, the theory will never be able to prove that a specific n is Special, precisely because it is under-specified which n it is.

> Godel's incompleteness theorem tells you that there's no such model for any system that includes the usual "full" version of arithmetic.

No in conjunction with Godel's completeness theorem, the incompleteness theorem would say rather that there is no theory that is strictly only the "full" version of arithmetic. Any theory will always be too broad and have too many models that satisfy it, only one of which is the "usual" model of arithmetic.

EDIT: Ah I see I misinterpreted your statement the first time, around, but my objections still hold with modification. Change "the theory of the natural numbers" to a far weaker theory, e.g. the theory of Presburger Arithmetic, and everything else still holds.
I mean if you talk to a bunch of developers about what they would change in a project you will get valuable feedback. You will also get a lot of stuff that's just wrong, stuff that ignores the big picture and business goals. If you can recognising which is which that's worth a lot of money because acting on a bad idea can be far more costly than not acting on a good one.
Darts - Time Series Made Easy in Python
With gas before noon being ok ? Strange
Some people have argued that hospitals are skewing the numbers to inflate the number of people that are dying of Covid-19 vs other causes, or that these are people that would died anyways. Neither of these arguments are supported by the FT data. To be fair, it's not clear how to quantify people that might be dying due to lockdown-related causes (eg. suicide, untreated health issues), but this appears to be smaller than Covid-19 deaths.

Edit: I'm curious why this is getting downvoted.
"the M1 ties the Radeon RX 560 (2.6 TFLOPS), and it's just a few TFLOPS away from catching the GeForce GTX 1650 (2.9 TFLOPS)" --- https://www.tomshardware.com/news/apple-silicon-m1-graphics-...
I don't think the labels of "tech" vs "hospitality" are exclusive in any way. I think there's a good argument to be made that we should consider Airbnb a "hospitality" company, but ultimately the label of "tech" company is shorthand for a set of characteristics of the business that other sibling comments have called out -- large amounts of R&D, low marginal costs, and low CapEx. Their product is hospitality, but the company has operating characteristics that have more in common with Facebook than with Marriott.
I'm really glad to see this. GCP was really slow to add point-in-time-recovery support to Postgres, it went live just a couple months ago, so I'm really impressed to see Postgres 13 support just a month and a half after it was released.
Yes exactly. I was wondering if I was misunderstanding something. If lactose intolerance (or malabosorbtion or whatever) is the problem, that seems unrelated to an 11am cutoff time. Would seem more reasonable to not drink milk-based coffee drinks at all or drink them towards the end of the day at home, etc. Also the tangent about stopping caffeine consumption at a particular time soas not to interfere with sleep seemed unrelated too.
Well i'm sure building an email list/ data acquisition is a big KPI. Obviously it's worth the tradeoff as this is verrrry common.
Because Apple users allow Apple to manage so many aspects of the computers they sell, remotely, it seems to me getting access to Apple traffic or the data Apple collects and stores about its customers is nearly as informative as getting physical access to the customer's Apple computer.

"Privacy" in the case of the traffic relies on two things: (a) trust in Apple to not get hacked or intentionally share the data with anyone and (b) trust in TLS (not all VPNs use TLS). Apple customers have little control over how Apple operates nor the development/maintenance of TLS. Apple customers can control physical access to their computer but Apple gets a free pass to access/monitor these computers remotely.

What would be a hypothetical "real-world scenario" where it's a genuine problem that Apple traffic isn't routed through the VPN

There is an existing flaw in TLS and Apple does not learn about it immediately, or, some individual/organisation gets access to Apple's private key with or without Apple's consent, a fact which may or may not become public knowledge.

There are a variety of "Apple services" that require TLS-encrytped traffic sent to/from Apple that are initiatied by today's Apple computers, with or without user interaction. Some of the content sent to Apple computers as part of these "services" could come from "fourth party" servers that are part of CDNs who Apple has employed to serve content. To the extent any of this Apple traffic is routed based on geolocation, e.g., from the nearest CDN server, that could reveal something about the user's location.

https://www.richard-purves.com/2016/09/10/apple-services/

The content of this traffic could vary based on the service. Decrypting iTunes/AppStore traffic might reveal the user's AppStore searches and the apps she has installed that have updates available. A full analysis of all the possible data leaks across all the services would be no small amount of work. One more service that the blog post above seems to omit is Apple's NTP service at time.apple.com (Apple performs DNS-based routing). This NTP traffic could produce vast logs of Apple customer IP addresses over time. Some years ago it was said that Shodan.io was using NTP to gather IPv6 addresses to scan by participating in pool.ntp.org.

Decrypting Apple so-called "Push" connections might possibly be viewed with a jailbroken device. Data included in the protocol messages might include connection type, OS version, OS build, device model, etc.

https://github.com/mfrister/pushproxy
In what non-English language is "Cyasyu" easier to read than "Chashu"?

FWIW, I'm a native speaker of a non-English language with a Latin orthography, and while the language doesn't use the English digraphs "ch" or "sh", those are still widely understood and found in loanwords etc.
Ask HN: Can you suggest an app that tracks usage & upgrades users to paid plan?
I am looking for an app that tracks user's usage (number of transactions) in my SaaS product. If the user exceeds the trial limit, I want the app to send email or show warning in my SaaS product, so that the user can upgrade to the paid plan.

Do you have suggestions to achieve this functionality?
Only because you circularly define experts in the field as those who agree with you.
If you know that the next county over has corrupt cops, you shouldn't do business there.

I wish more people understood that the reason the USA was set up the way it was was to allow individual States and localities to compete. Corruption doesn't stand up well to competitive pressure: if all the productive people leave your town because the cops and the local government shake everybody down, your town won't survive. So where you see corruption, the first question you should ask is: what barriers are being put in the way of people just leaving?
Is there a tech available currently to decap and photo chips at home? For example reverse engineering old PAL chips?
Did cosmic rays break my Linux build?
How the heck was Y2K a “media fed panic”? Media barely knew how to report tech at all, and barely knew how to explain what was at risk with Y2K. They mostly reported it as “might be a problem the clock is counting and we shall wait and see”.
"We have incurred net losses in each year since inception, and we may not be able to achieve profitability."

At least they're honest about it!
Not a violin, but on mandolin I can greatly change the tone (which is somehow the overtones) by changing here and how the pick hits the strings. A good violin player can do a lot with the bow.
> Can you explain why you think that this is not a legitimate need to authenticate a document?

Because it is not legitimate for a court to treat something that was not intentionally (ie, with something other than DKIM) signed as a signed contract. If one party did not sign that contract, a DKIM 'signature' doesn't change that. Conversely, if you have a argument that the document should be treated as a valid contract despite not having been signed, the lack of DKIM 'signature' is obviously irrelevant.
Former Harvard Fencing Coach and Maryland Businessman Charged with Bribery
Espresso cereal should be a thing.
MAME 0.227 Release Delayed to December 2020: The Technical Background
Thanks for sharing NanaGram. :)
This is just a quick post I made after I was started working on a small operating system in D and ran into issues with the linker. I wondered how small of an executable I could make without using any unusual tools or anything outside of the blessed language and tool constructs.
Not parent but are you saying wiping it doesn't stop it phoning home to report Find My Mac location for the previous installation?

That's.. entirely good I suppose, but would be news to me.
"How does anyone find a regular hotel these days? That's why you need a website to coordinate"

? So your point is only AirBnB 'can make a website' ?

If regulations were lax before AirBnB existed there'd be 1000 different sites you could list upon and hoteliers of all kinds would charge less. Or at least many would.

Because AirBnb was the progenitor of the lease-your-room modality they captured the market and have a little bit of a natural monopoly in it, as there's some coordination with marketplace, identity, etc..

Just like there are a myriad ways to 'book a hotel room' - there'd be a myriad was to book your '6 room place'.
Tesla had to manufacture and sell $7.6B in cars to qualify for those credits. As such the credits boosted their gross margin from 23.6 to 27.7%.

The credit revenue will continue as long as competitors continue to sell their polluting ICE vehicles which need EV offsets. And after factoring in credit revenue, Tesla will continue to aim for marginal profits just above break-even while investing as much as possible back into growth.

Their cars generate an industry leading margin even without the credits. So if the question is, could Tesla be profitable without that $397mm the answer is obviously Yes, by spending $397mm less on future growth.

Last year Toyota Motors EVP in North America said, “This is going to be a slow evolution in the U.S. market, unlike in China and Europe where there are government regulations. Nobody is selling electric vehicles at a profitable margin.”

The statement was wrong when he said it, but even more wrong now. EV is clearly a disruptive technology that is poised to become superior in every possible metric for passenger cars, and even short-haul trucking.

Honestly it’s past the time for harping on the “Tesla is structurally unprofitable” trope — I think it’s just willful blindness at this point.
Let's Fix a Game Without the Source or Knowing x86 Assembly
Yes it's called Group Policy. Companies can manage when every Windows machine gets updated and what gets updated on a granular level.
the great thing about offering consulting in heavily regulated spaces is that it takes 100 hours to learn/ understand/ complete the process the first time, but only 1 hour every other time. Business's are heavily incentivized to just pay a consultant to deal with the regulatory paperwork than try and deal with it themselves.
Chicago has been and is synonymous with corruption. It's not a surprise.

https://www.vice.com/en_us/article/bn5a55/city-of-silence-11...
yes, some bindings may be different for meta-control like you are pointing out (the editing ones are Emacs)
Why? They're complying with the license. It shouldn't be surprising to see them taking advantage of copyright law when it benefits them, then turning around and taking advantage of copyright law them it benefits them. It's quite a bit more benign than Disney making movies off of public-domain stories while lobbying to keep Mickey Mouse under copyright, since they didn't even lobby for it. The WordPress developers just gave them the code for free.

Free and open-source software isn't subversive. It's innovative, which isn't the same thing. It's certainly a new model, but the way you get a GPL violation removed from GitHub is with a DMCA takedown notice. Free and open-source software is a different and nicer use of the copyright system, but it's all still the same system at the end of the day.

And now that they've had a couple decades to get over their discomfort and they've realized that there's nothing subversive there, people who love copyright are totally fine with free and open-source software, because it furthers their goal of making money.
There's an article from 2000 called Why OO Sucks, by Joe Armstrong:

http://www.cs.otago.ac.nz/staffpriv/ok/Joe-Hates-OO.htm

It was originally discussed here at:

https://news.ycombinator.com/item?id=19715191
I’m a fan of Hashicorp Nomad (coupled with Vault and Consul). It’s a matter of preference though, if you love the kubernetes abstractions and APIs you’re probably better off with k3s/k0s. I personally very much prefer Nomads less obfuscating abstraction layers. This is coming from 2-3 years of managed k8s at work.

It does take a bit of effort to set up ”properly“ - ideally each of vault/consul/nomad server should run on 3 separate instance for HA quorum, for a total of 9 machines apart from the server (“client”) you’re actually running stuff on. For a casual homelab this is obviously severe overkill. You don’t need to. You can run everything perfectly fine as single instance on the same machine.

Personally I went a bit nuts with HA so I have 9 single-board-computers apart from my workload runners. You really don’t need to if OK with downtime in event of server restarts and maintenance, though.
Term rewriting is an extremely interesting topic that’s more niche than it should be.

I plan to start writing blog posts about undergrad/grad level mathematics and physics where all derivations are done via computer algebra system (can’t quite make up mind whether to use SymPy, Maxima, Reduce, FriCAS/Axiom or SymbolicUtils.jl). Just need to find some interesting topics to start.

Also more broadly I believe that mathematical derivations in scientific papers should be done computer algebra systems and term rewriting. They would be easier to check, reproduce and leave no ambiguities. It’s probably still many years from now but I hope to see that someday.
And so it is the e-signature, not the DKIM that matters.
> Maybe just comparing the full hostname? If it's nlsn.cf, don't redirect.

Doesn't work; eg, make http://someothershorten.er/foo -> http://nlsn.cf/1234 -> http://someothershorten.er/foo.
You sound like a child. No one is panicking, the problem is it's killing people and hospitalizing even more people to the point of overrunning hospitals.
In China you are legally required to go register your location with the police though. It's a bit different than lying to the building doorman or whatever.
You should be looking at this lifespan reduction in terms of mortality rate. It is not a median three years’ reduction so much as a small, significant chance of life ending decades early.
Similar anecdote: I deeply believe that Caltech is the best[0] university for me (and that's even while I'm struggling with major burnout due to an insanely rough sophomore year[1]—even though my current situation is decidedly suboptimal, I don't regret a thing).

My particular favorite aspects of Caltech are three-fold (in no specific order):

1) The Honor Code and collaborative nature, for the reasons you've mentioned :-)

2) The breadth of the Core and CS major requirements. e.g. I really doubt that I would have found a fascination for physics, without Caltech having required me to take two terms of special relativity and electrodynamics as a freshman.

3) The theoretical focus. Even though I'm a CS major, my classes are often proof-based. One (non-CS-specific) example was Ma 1a, the mandatory first-quarter freshman calculus class: It spent the first two weeks building up the real numbers (i.e. starting from the Peano axioms). Caltech's theoretical-ness has a particularly special place in my heart, because it's one of the big reasons I recently cared to learn about interactive theorem proving and formal verification (which I love so much that I'm working on a undergraduate research project in Coq).

[0] (among the universities that I know enough about)

[1] I'm honestly a bit hesitant to share about my burnout publicly (since mental health issues can have stigmas and I don't want to shoot myself in the foot re: grad schools or employers), but HN is sufficiently anonymous (at a casual glance) that this feels safe enough.
Also, when going to restaurants is impossible or a real pain due to COVID, having a full kitchen in your accommodations is very nice.
If you'll forgive a bit of shaking-fist-at-clouds...

> Role-aware UI

> One problem with many read-write (CRUD) user interfaces is that they are not aware of underlying access controls. For example, displaying the update/delete buttons is misleading if the user has actually no permissions to modify the resource. So Headlamp checks Kubernetes RBAC settings and displays only those controls whose actions can be performed. So, if the user does not have permission to edit a resource, the edit button will not be displayed.

> This results in a much better UX, because it is obvious to the operator what actions are available based on their permissions at the time.

I strongly disagree. It's quite the opposite, in fact. Hiding UI based on permissions creates an infuriating UX, because there's no way for the operator to tell what actions are possible-but-forbidden, and those they simply can't find in the interface.

Click Edit -> "Access denied" -> Ah, I need to ask my admin for additional permissions

No Edit button at all -> Where the f... -> Ah, this software sucks

Of course, this is not to say the the underlying idea is bad. By all means, check the user's permissions proactively and disable the buttons (with explanation of why the button is disabled). And this is very much a case-by-case thing: it would obviously be silly for Amazon product pages to show everyone a disabled edit button.

But please, if you're designing administrative software for power users, don't dumb it down.
You only argue in good faith with people who are arguing on good faith. People bringing up civil liberties and suicides are just puppetting conservative think tank scripts, trying to "pwn the libs".
Machine Learning Courses on Coursera – Review
>> "In the case of Gorgonzola DOP, lactic bacteria consume lactose during the fermentation that occurs along the cheese-making process."

While lactic acid bacteria (LAB) indeed consume the lactose in cheese curds, not all of the lactose is consumed, especially so in fresh cheeses (like gorgonzola, mozzarella, feta, mascarpone, roquefort, camembert, brie, etc. etc.). Even hard cheeses may have a significant amount of lactose left particularly if they haven't aged for a very long time. Some hard cheeses are made in a special manner that purposely removes the lactose from their curd before forming, for example gouda (these are called washed-curd cheeses). The point of removing lactose in this way is to stop the LAB from fermenting it any further and giving the cheese an acidic, tangy taste; this is why such cheeses taste "sweet" (compared to e.g. gruyere or parmesan).

As to the lactose being "primarily" in the whey, how "primarily" it is, is a matter of perspective. If sufficient lactose was not left in the curds, cheese would never be able to mature. Cheese matures because of the enzymes released by LAB while the cheese ripens (LAB also release enzymes as they die and their cells rupture, but the cause of death is desiccation because of the salt added to cheese and it takes a long time). This is for example why whey cheeses like ricotta, which are made by boiling whey to a high temperature (80C or 176F) do not mature: their LAB flora is boiled to death.

Bottom line: lactic acid fermentation is not a sufficient explanation for the ability of people with "lactose maldigestion" to eat cheese, particularly so fresh cheese.
I want to tell the worlds, that the illuminati is real because i have see the benefit of being a member of illuminati, i have tried to join the illuminati some many times, i have been scammed alot of money, but i did not give up because i know if i find the real illuminati, my life will be changed forever so i did not stop, on till i find the real illuminati official email and phone number, if you want to join the real illuminati, i want you to know that i can direct you to the real illuminati official email and phone number, brothers/sisters who is interested or who have be scammed so many times like me, that still have interest to join the illuminati because you believed that if you join your life will be changed, you do not have to worry about anything because i am here to show you all the right way to join the real illuminati, i want you all to know that to join the real illuminati it is free, you will not be ask to pay for any fee, all the process is free to join the illuminati, because when i joined the real illuminati i did not pay for any fee, when i was totally initiated to the illuminati, i was given so many benefits as a new member, i can tell you some of the benefits i was give an instant $2,000,000.00 to start a new life, house of your choice car of your choice, brothers/sisters that have interest to join the illuminati, this is the real illuminati official email: churchofilluminatiinitiation@gmail.com and the illuminati phone call center or WhatsApp number is +1 (202) 750 0111 you can contact the illuminati official email or WhatsApp number of how to join, it is free to join the illuminati.
Is that actually true? My understanding is that there is still a lot of human labor necessarily baked in, and attempts to robotize everything largely have failed for a multitude of reasons (Tesla most famously so), but the most unsolvable is that of flexibility to change something fundamentally on a dime.
> Mr. Stephenson’s offer letter provides for an initial base salary of $600,000, an initial target bonus of 75% of his base salary, and a one-time hiring bonus in the aggregate amount of $2,400,000

While I've received signing bonuses in the past, I was not aware that you could get a signing bonus that was 4x of your base salary.
one big cons of pgcli appear when we deal with long query. even it support multiline and vi mode. we still can't integrate a formatter for convenient sake.