skysight-inc/HackerNews huggingface dataset:
Yes. I checked the Azure usage after training.

Beyond learning how it all works and demo, there is not much practical usage. You can train it on current events if you feed that corpus during training instead of just OpenWebText. Shouldn't be hard.
Parsing Awk Is Tricky
So the problem could be expressed as:

* The actors are: Individuals I_1, ..., I_n, businesses B_1, ..., B_m, and a central authority A.

* An individual I_j wants to prove to business B_k that A attests that DateOfBirth(I_j) >= 20060902, and that I_j is in possession of a private key, where A attests that it has verified the linkage of the corresponding public key to I_j.

* I_j doesn't want to provide any information about I_j's identity except for the DateOfBirth(I_j) >= 20060902 to B_k. That means, for example, I_j doesn't want to reveal to B_k their ordinal j, nor a single public key that is used everywhere. This means, for example, B_k shouldn't be able to collude with B_{k+1} to combine facts separately provided to the two businesses and build a profile of I_j.

* I_j also doesn't want A to be able to collect information about the fact they provided information to B_k specifically.

With a ZKP, it is possible for a solution like:

* I_j generates a keypair P_1 (private) / p_1 (public) and proves their identity out-of-band to A. A gives them a certificate C_1 typing p_1 to their ordinal j and their date of birth.

* I_j generates a new keypair P_2/p_2 just for dealing with B_k.

* I_j generates a signed certificate C_2 using P_1, tying p_2 to their ordinal j.

* I_j generates a ZKP that there exists a (private input) certificate C_1 signed by A's public key, and that certificate meets the constraint DateOfBirth(I_j) >= 20060902, and there exists a (private input) public key p_1 which is referenced in C_1, and there exists a (private input) certificate C_2 signed by p_1, and that certificate references (public input) public key p_2, and sends the ZKP to B_k.

Now instead you could imagine a solution where A generates certificates for I_j, but that has some downsides:

* The properties to be signed might vary over time. The date of birth cutoff certainly would, and different businesses might want different properties.

* Just one certificate per property isn't enough, because the certificate identifies which public key it relates to. That allows B_k and B_{k+1} to work out they have the same customer I_j. With the ZKP solution, the customer gives a different public key to each. You could work around this by having A provide lots of certificates upfront (inefficient), or by generating certificates on demand (but the A is needed to be involved online in the transaction, and it risks leaking information to A).

So the ZKP solution is, in many ways, simpler in that it removes a lot of constraints while implementing the desired properties, but there are other workarounds if you don't have it.
>but why not consider the NVidia Riva TNT a real GPU?

Shaders.
Sure, but their economy also depends on it. We could stop importing from them, which would certainly lower their carbon emissions, but it would also crater their economy and cause millions of deaths. Putting the blame for China's emissions on Western countries is a really weird way of shifting governmental responsibility.
They are useful from a mathematical point of view. (And explore the relationship between P and NP, for example.) Not sure if that counts as a 'real use' to you. See also https://en.wikipedia.org/wiki/PCP_theorem

At the moment, producing a zero knowledge proof has roughly a million-fold overhead compared to running a program directly. So there aren't many applications where that's acceptable. So I am very grateful that the blockchain people are more than happy to throw money at the math here. Very generous of them.

In principle, you can use ZKP for privacy preserving compliance work in real (ie traditional) finance.

To quote myself (https://news.ycombinator.com/item?id=41422250):

> Eg Goldman Sachs could encode all their compliance rules in a program, and publish a proof that their books pass the check by that program, without revealing anything about their accounting.

> In a banking context, you could in theory also run your know-your-customer (KYC) rules against customer provided data, store the proof, and delete the original data. That way, you still have proof that your customers don't have ties to North Korea or Russia, but you can't be compelled by anyone to reveal the data later (nor accidentally leak that data, etc).

> Of course, for that latter application, you need a sharp lawyer to make sure that storing the proof instead of the original data is enough for your KYC obligations.

> If you want to go further, you could have your customers run the KYC rules locally, so that their data never leaves their premises.

> (For all these applications, you still have to have a mechanism that connects the real world to the inputs of the programs whose execution you are proving.

> So eg Goldman Sachs would still need an auditor that checks that the assets and obligations they have in their balance sheet actually exist, but the auditor does not otherwise need to make judgement calls or apply any rules.)
Semgrep also a CLI, that can run offline and without a cloud account.

At work, we use it for enforcing a bunch of custom lint rules configured as a yaml file committed directly to our repo, entirely cloud-free.

(I may be overreading your comment as suggesting that these were reasons to use ast-grep over semgrep.)
Steve Jobs agenda for a secret meeting (2010)
This article mentions changing demographics, aging population etc.

While the number are out there, I've always found the below story (to the best of my recollection), illustrates what life was like for someone born in the early 1950s:

- "I went to brand new schools built during the start of the baby boom. All of the teachers were excellent b/c this was before women started entering the workforce"

- "I got into an Ivy League school b/c acceptance rates were around 50% due to the Eisenhower funding getting cut so the schools needed more students to cover the lost funds"

- "I got a job from looking in the paper and started a few weeks after graduating from college"

- "Six months after I started, my boss retired at 55. So there I was at age 22 with a management role and a secretary"

I think about this story often whenever someone mentions demographics and/or the economy and why young people are spending more time living at home after college.
> Sent: Wednesday, January 15, 2003 10:05 AM
I'm an American, so have no brief for either side. I'm happy to believe that Quebec + TROC = greater than the sum of its parts. Maybe that would be true for the US; maybe that means Quebec as territory would be the best solution to satisfy both parties.

But even setting aside the unlikelihood of Quebecois used to having so much say in governing Canada accepting no longer having voting delegates in the national legislature, surely any such benefit for the US would be a lot less, relatively speaking. And, again, why would we bring in yet another ethnic conflict into our country?
That capsule better keep quiet - Boeing doesn't like Whistleblowers ;-)
Not "who" or "what" but "where" can also be saved in the EXIF data.
Statistical Consequences of Fat Tails [pdf]
The only “problem” with the clipboard API is shitty applications blindly trusting client data.
Just another interesting point:

You can entangle two photons in a lab, keep one of them and send the other far away. For example, you can construct the pair in a way that both give the same polarization. If you measure one and the result is horizontal, then the result of measuring the polarization of the other is horizontal. If you measure one and the result is vertical, then the result of measuring the polarization of the other is vertical.

But a trick that is usually untold is that you can put a device in the path of the photon that is going far away to rotate it 90 degrees. The important part is that the photon in the lab is not affected. You can't make any measurement in the photon that you keep in the lab to check if the photon far away passed through the device to rotate it or not. But now if you measure one and the result is horizontal, then the result of measuring the polarization of the other is vertical. If you measure one and the result is vertical, then the result of measuring the polarization of the other is horizontal.
Omeka-S[1] is an open source publishing platform (for museums, libraries, artifact collections etc) that has first class support for Dublin Core.

Dublin Core “clicked” for me when we started using it in Omeka to publish a collection of digitised books online[2].

- https://omeka.org

- https://gpura.org
You want mathlib, the lean library of established results: https://github.com/leanprover-community/mathlib4

They skip steps in writing because they can generally do them and it obscures the flow of the argument to have every thing spelled out.

There is also a book on mechanics by the authors of SICP: https://mitpress.mit.edu/9780262028967/structure-and-interpr...
Hunger is a political problem at this point.

We destroy more than enough food to end world hunger, but actually distributing that food to the people that need it would undermine the authority of lots of well-armed organizations.

De-weaponizing food distribution would do a heck of a lot more than further reducing the percentage of the population that works in agriculture.

Put another way, 10% of the US works in agriculture-related fields (including restaurants, food processing and textile manufacturing), but only 1.2% works on farms:

https://www.ers.usda.gov/data-products/chart-gallery/gallery...

Driving farm jobs from 1.2% to 0% isn’t going to move food costs or availability very much, and it’d barely be perceptible to the economy at large.
Gas is a lot more energy dense. Most people absolutely need to charge an EV every day because the range sucks. I'm a little incredulous you're asking this, because range has always been one of the top concerns for EVs.
Strictly speaking it doesn’t.

It ensures someone else has moved the card to the next status (or, that automated tests have passed and moved it to the next status by automation)

You can permission who can move to what status.

As a random dev, I personally wouldn’t recommend it unless there are legal requirements for such separation (or your org has lawyers that think such requirement exists)
It’s not about 100C vs 90C, it’s about the sudden change from 25C to 95C, versus a gradual change from 25C up to ~70C.
I forgot this is the US, where you probably drive for an hour to get to work. Over here, people don't drive more than 50km a day.
I think this is correct although it points to the crux of the problem, at least in the US I think.

My impression is a pervasive disconnect (again, at least in the US) has started to develop between those types of mandatory credentials and the actual skills required for the jobs, or even for training for the jobs. So say, the credential starts to be equated with the skill in hiring or for training admission, when it only bears some weak relationship in reality.

There's lots of causes of this I think, but the net result is a spurious decrease in competition, increased prices, and greater income inequality and underemployment. I think the article is a little odd but is pointing to these kinds of issues.
You describe exactly what I experience. I can't afford to see specialists so in the past 15 years, I have taken time to listen to my body in an attempt to figure it out. It's been a long journey of self-discovery and healing but the progress I have made have been worth it. I recently discovered that I had bruxism as a child and wonder if that caused the TMJ. I also started eating dates and that helps alleviate some of the tightness I feel on the left side of my body.
FYI, I offered a comment above that might clarify. There are two questions:

1) How can we get a specific group of students who feel helpless started on the path to learning?

2) What should we teach students?

In the post linked here, I tried to be clear that these are instructions for a very specific group of students who are stuck and don't know what to do. I agree that they are not the right instructions to offer to the typical reader of this site.

The comment and the second post that it references address what we should teach.
In footnotes, he mentioned that C level execs are good at managing up rather than down. As I've seen, this happens with a lot of founders who are busy manging VCs and other stakeholders that they completely rely on VPs.
PYTHON @&$!!

The Python community needs to solve this ASAP. This almost weekly pain point has turned a language I used to love in college into one of my most despised languages. The fact that the ML community uses this broken platform is infuriating.

Make a Python version 4 that focuses only on fixing the packaging. 100% per-project hermeticy. No global packages whatsoever. Solve just this issue and bring the entire ecosystem on board. Kill all the various virtualenvs, the anacondas, global packages. All of it.

Learn from Rust/Cargo. That project does it mostly right (sans lack of namespaces and reproducible builds).
Building Python is so quick and easy I’ve built an interpreter per project in some circumstances. Sometimes more if I want to make sure it’s compatible with multiple Python versions.
1M Users
My dad told me stories from early in his career at GTE about replacing barb wire phone lines in the 1950s and 1960s in rural southern Illinois. Most of those systems were hooked up to wooden hand crank phones mounted on the wall in houses and barns. He said they would make piles of those old phones and then burn them all.

One other thing I remember from those stories was a lot of the systems were wired in a way that picking up the phone would cutoff anyone farther down the line - so no party line snooping which I remember doing in the 1970s and early 1980s on the phone at my grandmas farm in rural southern Indiana.
I think it's ridiculous to frame what I said like this.

1) Answer the question. Would you ever steal physical goods from an unmanned fruit stand merely asking for money? If not, would you do it if the company owning the fruit stand was rich enough? Did enough bad things? If the fruit stand was _really_ big?

If you answer yes to any of those questions I no longer wish to talk. We truly do have different values.

2) The fruit stand is an analogy for building a business on the open web. You seem to have missed that. Do you think that the internet, that these companies, got to their importance in our lives because everyone is free to modify their packets? That is delusional. It's a quirk most people aren't even aware of, and the internet is as good as you think it is today in large part because they aren't. It's why the fruit stand keeps coming to your town and is the size that it is. It's why you spend so much time stealing from it. Framing your position as exercising inalienable internet rights is ridiculous.

3) Something else you seem to have missed is the parts where I highlight the implications of your philosophy. I'm starting to think that you are arguing in bad faith. What if everyone acted like you? You think that would lead to a better world? Specifically talk about the impact on your favorite YouTube creators. You think it's fine that you don't pay them anything for their effort? That they probably get paid a hair less when you watch their videos because you take the bandwidth without paying for it by watching ads? Why do you only mention the impact on Big Bad Google? Because its easier to launder your conscience that way?

To be clear, my stance is that blocking ads is theft but petty theft; a few cents. Getting all high and mighty about it, and especially getting _anywhere near_ sounding entitled, is ridiculous. Continue to steal a little but be humble about it.
This isn’t what “life was like for someone born in the early 1950s.”

This is what life was like for privileged white men born in the early 1950s.
I am aware of that. I see it as my task to make sure they leave without that material gap in their knowledge.

Somw of them might know more about files than they wish they would, e.g. the group whom I showed how to manually read broadcast wav file using a hex editor. Of course as an example to figure out where the actual data of an audio recording goes and what role metadata plays.
There's a nugget of truth that Oregon's decriminalization drew people to the state. However, free access to treatment centers wasn't part of that. Badlucklottery is correct that Oregon did not have the treatment programs, even for the people already living in the state.

And there's a lot of reasons for this. Measure 110, which decriminalized possession and usage of drugs, envisioned funding treatment with money from the tax on legal marijuana sales. There are a variety of reasons it failed, but the tl;dr is that it took $100 million from other state programs handed it to the state, and said, "Here you go. Create treatment programs." And the state replied, "But how do we do that?" The legislative branches of the Oregon state government is generally incompetent at administering programs it's been running for years (e.g. public defense). They had no idea how to even go about creating a treatment program or what one even looked like.

And Measure 110 also created a weird bureaucratic structure for dispersing the funds across multiple entities. IIRC 10% would go to the cities. And there's some 200+ cities. I'm sure they tried to allocate the money proportionally, but imagine being a small or medium sized city and the government says, "here's $30,000 for you to establish a drug treatment program." What are you going to do with that? Probably look at it, confused, and put it in a bank account where you'll forget about it.

There were lots of other reasons the attempts to establish treatment programs failed. NIMBYism of people not wanting treatment centers near them, for one. For another, few people ever actually expressed interest in treatment, which became a topic of much time-consuming debate about why we're spending this money on programs addicts don't want. And part of that was because the police basically never enforced the part of the law where they would ticket public users. The users would either pay a fine or call a substance abuse hotline. There are multiple reasons the police never felt it was worth their time to hand out the citations, and that's a topic for another time, but the fact that the treatment centers were being funded by tax money that went to law enforcement before decriminalization probably didn't help.

So yeah, can't swamp treatment facilities that don't exist.
Defining what is and isn't part of a species based on their gut microbiota seems nonsensical.

That would imply newborns start out as not human and then turn into humans when as they develop a gut biome and people that have distinct biomes are a separate species.
> This is 100% bad from a country/market level but is what you get when you let local optimizations trump capitalism. In some sense that local optimization also isn’t bad - it’s not uncommon that that behavior is also what lets efficiencies be extracted.

Is it really 100% bad? Do people really think that the goal of humanity is to work in the most efficient way to extract the most economic value from everything possible? Can't we just be content being 50% efficient and use the other 50% of that effort to chill with family and friends and talk about films or something?
I bet mobility is part of why nursing and teaching remain ultra-popular for women. They offer more flexibility than normal for time off for raising a family, and both are remarkably good as a supplementary job to a higher-earning spouse, because of their relatively high mobility—every place has schools and hospitals, more or less, and if they don’t there are no other jobs there anyway. Good options for the do-both-career-and-semi-traditional-family-thing set, which is probably a pretty large proportion of preferences (not saying a majority, but enough to explain the high interest in those careers)

Nursing’s the better of the two from that perspective, but re-licensing as a teacher in a new state is usually not that bad, and once you’ve got that you will find a job if you’re anything but terrible at it.
Have you tried any video summarization services?
Doing genealogy I've seen a pattern (my own relatives) of moving, post Civil War, to the midwest where I think there was plenty of land to farm.

Then they moved from rural communities to cities around the beginning of the 20th Century. Jobs were plenty in the cities and perhaps they had no desire to continue farming like their parents.

Post-WWII there was some migration westward (California, etc.). Perhaps the jobs and lifestyle appealed to my midwestern relatives. No doubt the interstates and car proliferation contributed.

But college, jobs, and opportunity have continued to send myself, my father, mother, sister to the four corners of the U.S.

Recently I am aware of relatives moving from places like California to places with more affordable housing.
Related:

Show HN: I rebuilt MySpace from 2007 (2 year update) - https://news.ycombinator.com/item?id=33792956 - Nov 2022 (9 comments)

Spacehey: A Space for Friends - https://news.ycombinator.com/item?id=28770637 - Oct 2021 (15 comments)

Show HN: I Rebuilt MySpace from 2007 - https://news.ycombinator.com/item?id=25245740 - Nov 2020 (290 comments)
It's going to be too late then, we can't just pull off these massive engineering projects with crop failures in the background.
> That wasn't the case, the case was "the press" covering criminals.

If the government makes it illegal to publish certain things, that would mean that it is both a crime and censorship. So yes, that would be the case and my previous statement applies.

The government making it illegal for the press to publish certain things is definitionally what censorship is. There is literally no more clear example of what censorship is than that.
Wasn't there some HN post on rule-of-thumb from 1980s Japan about some threshold % of GDP activity or disposable income for first-time homebuyers or starter home cost in terms of years-of-salary that determines when housing market starts damaging or restricting an economy?

(I can't remember the criterion otherwise I'd search it here)
Have you seen CyberChef?
Idk. I am from a generation where my 12 year old peers would blindly type SMS on their Nokia number pads below the table.

I think we massively underestimate what people are able to do – if motivated. Making sure they are motivated is our task. The CLI is awesome and not just for full on nerds.
How did you go about finding problematic nerves? I have had issues with nerve pain in my left leg for about 7 years now, did the full gamut of MRI s, bone scans, CT scans, ultrasound and saw about 5 different specialists including a neurologist and nobody has been able to help me.

Exercise definitely helps but it doesn’t actually seem to turn the nerves off, just desensitize them.

Sitting is very painful as I get pain in my sit bone and shooting numbness down my leg and all the way into my foot.

I have almost given up and accepted that I will be a cripple for the rest of my life. I live in British Columbia where the medical system is OK, but not near world class and all of the ambitious doctors have went to the USA.

I have a very bad bite which makes me suspect that my whole posture is messed up from the top down.
Yes. This is important, rather than treating it as a gospel, each company/founder has to find out a way that work for them. It doesn't have to Steve Jobs model nor the John Sculley model.