skysight-inc/HackerNews huggingface dataset:
The definition of ZKP is (1), but that implies (2), as explained in this paragraph from the Wikipedia article:

>For zero-knowledge proofs of knowledge, the protocol must necessarily require interactive input from the verifier, usually in the form of a challenge or challenges such that the responses from the prover will convince the verifier if and only if the statement is true (i.e., if the prover does have the claimed knowledge). This is clearly the case, since otherwise the verifier could record the execution of the protocol and replay it to someone else: if this were accepted by the new party as proof that the replaying party knows the secret information, then the new party's acceptance is either justified—the replayer does know the secret information—which means that the protocol leaks knowledge and is not zero-knowledge, or it is spurious—i.e. leads to a party accepting someone's proof of knowledge who does not actually possess it.

That is, if the proof were convincing to the entire world, then non-possessors of the knowledge could just replay they proof without having the knowledge.
@panino, thirdsun makes great points and he hits it square on that the point of the issue is the screen. You have to ask yourself what are you buying for $1200 today that you couldn't have bought 3 years ago? To be honest I wouldn't even buy a new one if I was you; I'd go buy a used one about 2 years old. I've actually been doing this the last 5 years, because there is no reason to buy premium new prices when you are almost literally getting the same product with small tweaks over the last 5 years.

Aside from the screen though I'd read some of the others below. There is a great long-form from another user and I followed up on my initial comment with further detail; I don't mind repeating myself, but others may not take kindly to me adding in blocks of largely replicated answers.
That's why they're using two different stats engines.
besides forcing them to get int his field, what else can you do!
Terraform is great because it lets you treat infrastructure as code, but I don't think it makes any promises about cloud agnosticism. In fact it's the opposite, each provider is specific to the service that they are offering.

Rather than Terraform offering a lowest common denominator set of resource definitions, each provider can be designed to work in a way that most naturally maps to their offerings and API.

In theory you could write modules that provide abstractions over multiple cloud providers, but I don't know how good a result that would give.
Some of the provisions in health safety code prohibit disturbance of remains, except where specifically authorized. [1] There are other sections that require the written wishes of the deceased regarding the remains to be followed without undue delay if they are clear and properly funded.

Upon further looking, I can't find anything to back up my claim on photos. There have been various efforts to provide these from time to time, but it doesn't look like any of them resulted in passed laws, or case laws. There's some case law around heir's right to privacy with regard to photography of the deceased, but that doesn't seem well settled either.

[1] https://leginfo.legislature.ca.gov/faces/codes_displayText.x...
https://news.ycombinator.com/item?id=17510611
Inhuman Resources
I can't imagine most modules need to read or write your .npmrc directly (npm itself does). That should flag a module (with the understanding that I'm sure there's some modules that do legitimately need that access - eg to easily swap which registry you're publishing too).

When a dependency tree starts going too deep, it's too easy for malicious modules to get snuck in. You pull in Popular Library X which depends on well-known module A, which in turn pulls in shim B, which in turn depends on an unpinned utility C. Somebody sneaks a malicious hook into utility C which isn't used directly by anybody really, but propagates the malicious code to all the users of Popular Library X (eg Babel).
Facebook will grant experts access to 1 petabyte od user data..for science
Mice too. I'm left-handed with long slim hands; the mouse I love most is no longer being made (damn it Logitech! get me that G3 mouse back!). Any generic mouse is torture. Right-handed mice are torture.

Generic rubber dome keyboards are torture — chiclet style keyboards surely violate a bunch of Geneva conventions.

Never mind the filth and grime.

I will keep a mouse and keyboard in the office under lock and key somewhere if I end up in that situation.
Assignment expressions are also found in languages like C#, and have proven to be of great practical value.

f-strings was another Python 3 idea that was pre-dated by an implementation in C# [1] ($-interpolation) and it was a popular idea in that language too.

I don't want to proffer an opinion on PEP 572 since I haven't followed the discussions, but these things have been "bench-tested" in other languages and not been found wanting, so I do wonder a little bit about the true cause of the controversy.

[1] https://docs.microsoft.com/en-us/dotnet/csharp/language-refe...
Am I mistaken for not considering this PEP (and all PEPs in general) as strongly backed by Guido? I always assumed they were sort of design-by-committee and that he approved of some more than others. Offline, in private, I've been pretty critical of the change, but to me it was just another PEP.
Also it's 'BD'

Maybe he should have pushed harder on his Royal Prerogative to move things forwards
If they're not actually recording the audio (just a boolean of whether or not the cashier said "did you find everything you needed?"), they might not need anyone's consent.
The margins are meaningless at this point.

https://news.ycombinator.com/item?id=17510611
Clickbait title.

Think about the level of work this requires vs spoofing a fingerprint. It is much higher and requires much more information.

In other words : if you spend a lot of time and money, you can spoof Face ID, but it’s a lot easier to do the fingerprint.

For reference, here’s an article (also from Wired) about how they hacked the fingerprint reader: https://www.wired.com/2013/09/iphone-fingerprint-cracked
It seems like you're just upset that you didn't get the job. If you want to work with your SO and this would enable it then why should you being bitter about trying again?

From what I've seen it takes many applicants several tries to get in to Google, and if that's the case this hasn't put you on any "blacklist". Make sure next try you're aware of these practices and think through the problems before writing your 1st line of code.
Argentina vs. Ukraine – software outsourcing destinations compared
Had to use the cloud storage python API yesterday to retrieve the sizes of many blobs I have stored there.

First time using said API. Creating the client was straight forward enough...oh look, there is a section of the API docs on Blobs, cool - create a blob...and there's a size property.

And it has no data. Scan through ALL of the docs on the page...ahh, there's a "reload()" method, and sure enough, calling it retrieves the data.

Though...why doesn't constructing the object fetch the properties? And if it doesn't, why don't you just write some sentences somewhere telling people the general flow they should expect for how to interact with the API?

From my experience with all other GCloud docs, the answer is - because Google couldn't care less if their customers can figure out how to use their products. You write some minimal API docs on functions, MAYBE give one example of doing one specific activity, and then it should be OBVIOUS how to do the rest.

Having used both - would never, ever choose to use GCP over AWS if given the choice - and the main reason, aside from any technical differences - is that one company seems to care about what the experience of using their product is, and the other just doesn't.
I'm not sure I follow. They update the ones they are aware of that need changing, and often comment when they do. The existence of mods commenting and changing some titles doesn't imply that they see all of the ones that need changing. I've read comments by them stating outright that they don't see everything.

Have you seen comments made by them that indicate a change in policy other than those mentioned in the guidelines? Has there been a substantive change in the intent of the guidelines as currently written over time?

https://news.ycombinator.com/newsguidelines.html
I was waiting for this new update, hoping for a Pro Model without touchbar. Apple lost a customer in me now.

Time to look for new alternatives, the HUAWEI MateBook X Pro is something that I am excited to give a try. I just hope that the Linux support for it will become a bit better.
Asimov’s Foundation series is an excellent commentary on this very phenomenon. One of the antagonists is a galactic empire that is technologically advanced, but has been stagnating and decaying slowly as those in power start viewing scientists with disdain and distrust. Over time the empire loses the ability to develop new technology, and ends up with those who can only maintain/repair existing technology (which eventually becomes so old that it is scrapped).
5 Free Tools for Data Analysis and Visualization
Here's the thing - I am big on ergonomics, keyboard and trackpads are always a super high priority for me.

At my desk I have a Topre Realforce 88UB 45g keyboard that cost me like £200, a Razer Blackwidow for gaming, and a Microsoft Sculpt to switch it up.

I'm fairly big on keyboards, but I do love the new MBP keyboard.

I can't remember the old one enough now (I had the 2014 model previously), but I know I spoke of it as the best laptop keyboard - so I agree I probably rate it more than this one, BUT I am so used to typing on this now that I really don't think about the keyboard as a con in the slightest - you have to sit with it for a few weeks and you'll be flying - I break 120wpm on this because there is practically no travel.

What I DO hate, is that effing touchbar. Worst design decision on this laptop. I am 'over' it in that I can work fine with it and don't feel like it hinders me anymore, but everytime I look at it I get annoyed they are still sticking with it.

The only two cons of this MBP now it has a spec refresh -> touchbar sucks and not having ONE USB-A slot really pisses me off everytime I reach for the adapter...
Meet the Unknown Immigrant Billionaire Betting Her Fortune to Take on Elon Musk
You can walk into any Best Buy or other non-Apple retail location that sells Apple computers and find at least one machine with keyboard issues. The most common one I've found is a left shift key that doesn't work unless you press it exactly in the center or with excessive force.
You're confusing tenses I think, can't not couldn't.

Chinese cars today CAN'T pass safety standards today. That doesn't preclude them form passing in the future. It just means if you bought a Chinese car today and tested it against US safety standards today, it would fail.
Technically I did pay around $60 from Dell to upgrade from the Home version to the Pro version, so in a way I did pay for my copy of Windows :).
I kinda wish they were able to implement the touchbar in some sort of hybrid way, like those Art Lebedev keyboards we all saw hyped (but probably never in person) back in the day.

While I'll admit there are cool things you can do with embedded OLED displays, the keys they sacrificed for it are keys I actually need to press. Regularly.
Magicleap demo
Techs diversity problems start early in school before college. Facebook are just the last mile.

The sex based targeting of childrens toys would be a good place to start , but you won't see results for 20 years.
>Firstly if you are broadly familiar with their product line then you'd know that the Macbook doesn't remotely replace the Air.

It doesn't replace it as in "is the same thing, just upgraded".

It's supersedes it. In the future, it will Macbook and Macbook pro -- the Air in its last legs, and it's just still sold for the profit, not as the direction going forwards (like e.g. the Mini is).

>Mac Airs were more expensive when they initially launched, but afterwards they moderated for much of their time int he $1200-$1500 USD range. This is way way less than what's on offer from a Macbook.

Doesn't matter. New product line is just more expensive. A product doesn't have to be in the same price range to replace something else. Just to cover the same niche ("lightweight machine for less-cpu-hungry-users").

The MBP with touch strip also replace the old MBPs (even though some old MBP models are still sold) and they are also higher in price than the machines they replace.

>Lastly, regarding the Macbook itself, the screen size is too small. This is a toy for a more niche use case.

The "big screen" was never the MBAirs point. The "lightweight, very thin" was. In fact, there were 11" MBAir models as well. Compared to them, the Macbook with 12" screen sits right in the middle.
Phenomenon: a fast 2kB low-level WebGL API
Whenever they say that they either mean they only have 2G connection or they somehow managed to get a Gbit satellite phone so they could be online several hours a day from the woods
Open source burnout is real. I'm sure the allure of giving back by creating something useful fades when people constantly criticize your work, especially when you look at the personal and professional sacrifices you're making to produce free software.
It reminds of the nForce chipset from 15 years ago. It was a godsend. The audio chip had an optical input, rivaled the best consumer-grade audio sound card, true dolby 5.1, etc. and... reviewers tanked it.

When the next generation of north/southbridge motherboard appeared and sound wasn't a priority for motherboard builders only then journalists noticed what they missed.
Couldn't agree more.

From this conversation one thought has occurred to me; what would a new Air in the current context look like and it gave me chills.

Can you imagine a single port Air? Or the removal of it's triangular shape that makes typing long hours on it totally doable versus other chassis designs? I'm just horrified when I imagine the loss of the magnetic power port; which has literally saved me thousands of dollars due to it not being an effective trip wire.
I think that having strong opinions on how others should be developing software is how communities become toxic like this.

"Shooting yourself in the foot is your fault for not using a linter that detects accidental misuse of assignment!"
Critically, it also doesn't leave a trail by running a server anywhere.
I think it's an analogy. The point is that there are deep social and cultural factors at play that bias women against software, so the applicant pool is small, and it can't be fixed by some localized corporate initiative.
The idea is that a prover puts the original page at some random position behind the screen. The verifier randomly decides to force you to punch the hole or remove the screen, but not both. The possibility of doing the latter is what weeds out frauds who try to cheat by not using the original page (or inserting fake Waldos).
Individually, when operating within a greater society that views your actions as wrong, then you are correct.

But as a society? Within its own framework? Sure it does. Another society can view it as wrong, and maybe they will go to war over it - what they used to call an 'appeal to God.' The ultimate winner is the right one.

Why do you think what's 'right' can change over time?
Don't put words in their mouth..
He did a good work -- got it where it is now.

But he also had some specific stickups with some features -- like closures for example.
Maybe because I'm a white dude, perhaps that means I'm not allowed to be a part of these conversations. I fail to understand what the goal of these efforts is. Why did we decide race, and sex are the important immutable factors that we're going to measure?

I grew up in what is today Trump Country. My high school prepared me to work in a factory. Then the factory moved to China, and now the only jobs left in the area are retail and healthcare. I managed to move out, but the vast majority of people I went to high school with are stuck.

Why is economic background not a class we care about too? Shouldn't economic mobility be a part of social justice as well?
That's basically what I'm saying. Anybody profiting from this is too smart to fall for the lie. There might be a lucky idiot out there who's accidentally making money off flat earth stuff, but they are in a minority.
A Macbook is a 12" screen versus a 13.3" screen, so this not even a reasonable comparison.
It says "techcrunch.com" right by the link.
Maybe we'll try something like a triumvirate? As best I can tell there are basically three areas where Python is dominant: web, data science, and academia. A single leader for each of those spheres could form a council where BDFL-level decisions could be made by fiat.

Each community could then form whatever organization they felt necessary to choose who to send to the triumvirate.

As as check on the power of the triumvirate, we could have something like a "Tribune of the Plebs" - a representative elected by open election from the entire community that holds veto authority over changes approved by the triumvirate.
Neutrino observation points to one source of high-energy cosmic rays
Independent of the like or dislike of the keyboard, it is interesting to highlight that Apple will employ the classic PID style of marketing speak.. (as in like PID controller).

what I mean is, if they are selling a ton and its sustained best case scenario), then they talk about that number (thats the proportional term) -- they say things like "we are shipping 1k units per day and projected to hit 50k per month soon".

If they are they aren't selling very many, then they find the derivative of the number sold and see when it is the highest.. "like in a weekend we sold 1 million units!!"

And then if its a slow burn after a period of time they eventually tell you a cumulative number that have sold (integral). "There have been 100 million macs sold to date.." that kind of thing..

So when somebody says "fastest selling", that gives me pause because it basically can mean whatever you want it to mean -- that somehow they have a metric of sales within a period of time of their choosing that was higher than other previous devices. That could literally be because of their ability to fulfill them compared to previously.

Anyway, I'm still holding onto my MBP 2012 and waiting for basically a lighter version of it that has the ability to replace internal M.2 cards (not proprietary), ability to max out my ram and also doesn't have a touchbar.. I mean that touchbar is so lame.. what a waste of effort/time on apples side.. also, talk about fixing something that wasn't broken -- the trackpad.. basically up until the force trackpad people thought it was better than anything else out there by a factor of 10, and apple then changes it and basically everybody says its substantially worse feeling except novice users who know no different..
UX/UI != code quality.
Look at the iPhone SE. For customers who prefer a compact form-factor at a low price point, Apple still make a phone with the body of an iPhone 5 and the guts of an iPhone 6s. It's a niche product, but an important part of the line-up. "Old chassis, new internals" is a standard part of the Apple playbook. Mac sales represent an almost irrelevant part of Apple's revenues, but they're a vital part of the overall Apple ecosystem.

Apple still have the tooling for the 2015 Macbook Pro. The NRE costs to put a modern processor in that chassis would be relatively modes, because it's a much larger chassis with a more straightforward thermal design. The market for such a machine might not be large, but it's extremely important for the health of their ecosystem, because developers developers developers.

Personally, I think that the post-Jobs Apple has developed a nasty case of cargo cultism. Obsessive focus on the user experience has transmuted into obsessive focus on arbitrary design goals - thinner, lighter, fewer ports. They're making record profits thanks to the huge margins on iPhones and the strong vendor lock-in on iOS, but they're burning the goodwill that kept them alive during the lean years. If Apple can't find a way to delight customers rather than frustrate them, they're facing a serious long-term problem.
I don't see much noise about bringing men into female dominated industries either.
On a related note, we've always had the constant outrage, its the internet that allowed it to become more apparent.
I guess 32 gigs can take me through the next 5 years like 16 took me through the past 4.
I really like this discussion! I'm loving all these different points of looking at the situation. Thank you.

A tire bouncing along at 65 mph seems to have a lot of free energy (kinetic), as does one stuck on an icy slanted roof (potential) :). I may be unaware of the concept of "free energy" you are using here though. Can you point me to where I can find out more?

I absolutely agree that abstractions are necessary to efficiently convey concepts in a discussion. I also understand that abstractions are never perfect. What I wanted to really say is that I would be much more inclined to agree with the first and less with the second of these two statements:

Trees can transfer information to each other, and we have the ability to understand these mechanisms.
Trees speak to each other in a language, and we can listen in.

It's a matter of phrasing, nuance, and insinuation. Different listeners may form different ideas when they read the above two statements.
I can't give up that much screen real estate. I need the 13.3" screen that I get. It's the absolute minimum and I shouldn't need to buy a Pro to get a 13" screen; that's not reasonable.
I was with you until I remapped caps lock to esc. It's really an enhanced, bigger, easier access esc key now. And I don't miss caps lock.
* https://news.ycombinator.com/item?id=16393228 * https://news.ycombinator.com/item?id=16763618
Too many people work from home who don't need to. Some people have reasonable commutes and don't bother showing up in the office most of the week. While working from home may help your productivity since you don't have to worry about commute time, it has a negative impact on the rest of your team who walks into a half-empty office.

It's just unfortunate that the commute here in the Bay Area has gotten so bad that a lot of people end up working from home.
I don't think your example applies in the context of a tech company, so I'm going to comment ignoring it.

If it boils down to who applies, then we need to make sure that we're reaching out to communities that are not well represented in our field. It's not about waiting for them to come to us.
> (a := b)

Will `with` start using this syntax instead of `b as a`: `with open('foo') as a:` == `with a := open('foo'):`?

Update: found my answer on the pep. `with EXPR as VAR` actually calls `EXPR.__enter__()` so it's not the same.