skysight-inc/HackerNews huggingface dataset:
No. This is the "just doing my job" defense. If your job is to kill people so you can make a buck, then you are a garbage human and I'm not going to cry if someone hunts you down in the street.
What is it about cold temperatures that makes something superconductive?
OCR makes sense, but it is another asking for a summary. It is not there yet, gave a lot of incorrect details.
I wonder if reporting on this stuff will also be called "stochastic terrorism".
I believe "Privacy Pass" uses blind signatures, so the token that the TokenResponse contains can't be correlated to the one provided in the search query, if I understand it correctly.
He did say that you tune them to minimize false negatives.

That's a bit hand-wavy for something that appears to be the core issue with "test early, test often", isn't it?
Birds have developed complex brains independently from mammals
That's apparently explained in their citation [1], the paper about cryptographically anonymous token protocols. It's not a simple plaintext token.

https://petsymposium.org/popets/2018/popets-2018-0026.php ("Privacy Pass: Bypassing Internet Challenges Anonymously")

I think Cloudflare implemented the same thing? At least the HN comments link to the same paper,

https://news.ycombinator.com/item?id=19623110 ("Privacy Pass (cloudflare.com)", 53 comments)
Actually they have a device support page: https://asahilinux.org/fedora/#device-support

I can't imagine then what's his problem. I don't get offended by people that can't even read. I don't normally call them people let alone entitled :\ Set up a bot that links them the device support page, and problem solved? I don't get it
Some of that vagueness is intentional and not always for nefarious reasons either. When getting my the FCRA cert, there definitely a few requirements that were obviously very open ended so the gov could either pursue a potential unforeseen circumstance or not stifle business. The vagaries in laws has always been interesting to me. Unfortunately, I don't remember any definitive examples since I took the test years ago now.
Yes! this is a point people need to remember.

At the same time, a large number of people who voted also opposed this. So its both people kinda doing their thing? People who arent in power discussing their fears online. People in power doing their thing.

That sounds fair right?
Will the extension eventually be made available for Firefox on Android? Right now the Firefox extension link says that it's not compatible.

P. S: I don't use the Kagi app in Android.
Yeah, we can definitely judge anyone's behavior, we just should not do it blindly and we can despite or love someone for their actions, too, like why not? I despise cheaters, but I do not care, it is their life.
How long until masks, COVID boosters, and flu vaccines are banned outright, I wonder?
>I'm pretty sure I would pay 2 dollars to not have to deal with any of those consequences.

Those 'costs' to society are 'profits' to the banks. You don't get to have a choice about it. Elon is in charge and he's going with the banks.
Side note: Medicare advantage is the worst. If you have an elderly relative, make sure they stay on traditional Medicare.
> I don't see why people keep directing their hate toward the corporations...

> The hate and effort should be directed toward the politicians who prevent the implementation of changes that people want.

Who do you think is hiring the lobbyists to pay off the politicians?

Who do you think is paying the media to make sure people don't know that we're actually pretty agreed on this issue?

I have enough anger for 'both' political parties, the corporations that buy them, and the media (social and corporate) that runs cover for both. And I'm not remotely apologetic for that; I believe it's the only rational and humane opinion to have about healthcare in the US.
It’s your job, and you’ve put more time into this than I will ever put into it. True. You (hopefully) understand the law better than me and the commenter you replied to. But you certainly haven’t convinced me to read the GDPR legislation cover to cover multiple times to decide whether and how I can comply! The EU can’t tell me what to do with my Discourse website. I put it online. They can block it for their residents if they don’t like it. That is not my responsibility.
If all it costs them were never having access to those chips again the chinese would've taken Taiwan already.

The chinese want to invade Taiwan because they think it's a rebel province, their only consideration is whether the US will oppose them militarily if they do.
This is why I think it's so crucial to move Rust into the Linux kernel. It's not about new-school-cool vs old heads. It's not about getting off someone's lawn, it's about solving a really basic but important problem. Sure we can just get not into accidents and be rid of seatbelts, airbags, crumple zones, and ABS, but it's not a real world.

Any solution that just adds to C, will make it a new C, that will take years to prove itself and still require relearning and push-back.

I'd love a real world suggestion that does it better. The best I can imagine is annotations on C that are checkable formal methods... but that just sounds like reinventing the borrow-checker.
Yeah but now I just switch my perspective from thinking of it as a formal deductive system to thinking of it as an optimization problem.
This is false. FAA702 collection provides full content.

This was disclosed by Edward Snowden; the internal codename for such collection is PRISM.

The line between foreign intelligence collection and domestic law enforcement no longer exists. This is why parallel construction is so common today.
This seems entirely hypothetical, since nobody has ever observed a delivery rider stopping at a signal.
The terms "OSS" and "open source" do not appear in the licenses associated with them.
Show HN: Dev SSO IdP, a mock single sign-on provider as a development aide
Hi HN!

This project grew out of my want for the development of my web UIs to not get hung up on integration with OpenID Connect single sign-on. SSO was only available in our stage and prod environments. Getting this integration laid down and tested fast, without having to jury-rig something in stage, would've been huge.

And so I decided to build a solution myself. Hence, Dev SSO IdP. The vision for it is to mock all the features of an OIDC SSO server that would be pertinent to the development of web apps.

To try it out:

1) Create a file called `.production.env` and paste in it the following 2 lines to start with:

DEVSSOIDP_PERCENT_ENCODED_REDIRECT_URIS=http%3A%2F%2Flocalhost%3A5173

DEVSSOIDP_CLIENT_IDS=my_cool_app

2a) (with Node) Clone the repo with `git clone https://github.com/bencase/dev-sso-idp.git`, then overwrite the project's `.production.env` with yours, then in the project's folder run `npm install`, then `npm start`

2b) (with Docker) Run `docker run -p 3000:3000 --rm --env-file .production.env bmcase/devssoidp:1.0.0`

You can then see it at (and have your app redirect to) http://localhost:3000/authorize?response_type=code&client_id...

You can add or change environment variables in `.production.env` in the likely case that its defaults don't apply to you. The GitHub readme goes into more detail on all of this.

They say "be flexible in what you accept and strict in what you output". But Dev SSO IdP is intentionally strict in what it accepts so that I could catch issues faster. It raises an alarm in dev so you don't later get one in prod.

This version I am comfortable designating v1.0.0. It has all the features needed for the OIDC code flow.

I'd appreciate any advice, and in particular am interested in:

* Would this actually be useful in your projects? Is there anything else it would need?

* Do you use the OIDC implicit flow? I've never had reason to, and I understand it's regarded as a bad practice. But I worry I may be in a bubble and so I want to know if there's in fact a lot of folks out there who use the implicit flow.

Aside, I'm open to work, and would be interested in bringing my full stack skills to your team (or the team of someone you want to do a favor for), in the Austin TX area or remotely. I'm happy to hear from you by email (ben@benswords.com) or LinkedIn (https://www.linkedin.com/in/ben-case-46465472/).
> As patient you need to track who is in an out of network

It's worse than that, there are also "tiers" within a network, even for different physicians under the same health group. We were actually debating moving our kids to a different doc (but in the same office!) because of this.

The whole system is madness.
The tokens are "generated" on the client, and the server just gives the client enough information to make that locally generated token become "valid", without being able to link that token to a specific validation attempt
First of all, I doubt it. Trump will likely blame economic damage on everyone else (namely, the Fed), and his sycophants will eat it up. Second, even if they are ejected, the damage will already be done.
They succeeded last time; all that has already crumbled just very few realize it.

We agree— there will be more elections. Only one party will ever win them however. I’d be beyond pleased to be wrong about this.
The "taxation is theft" right wing talking line is about as intellectually honest as the "property is theft" left wing talking line.
I'm stuck in a Kafkaesque situation w/my insurance company (Anthem). I currently get infusions of a biologic for Crohn's. These are incredibly expensive as well as inconvenient. I'm lucky, in that my insurance company pays for almost all of this.

The same drug is now available in the form of a self-administered pen which is far less expensive and more convienient. However, that falls under the purview of CVS Caremark, who Anthem has designated as its pharmacy benefits manager. CVS Caremark is denying the pen, saying I have to try a whole host of other meds which do not work for me first.

I talked to Anthem yesterday, and they have no idea how to get this approved. Their best suggestion is that my doctor schedule a call with the CVS doctor to argue with them. My doctor is not motivated to do this, as I'm already getting a treatment that works for me.

So I'm stuck wasting hours every few weeks for an infusion that could be replaced by an injection I give myself. And the hilarious part is that the insurance company stands to benefit the most, as they would pay far less.

This is the kind of thing that, if we had actual socialized medicine, I might be able to appeal to a government official to fix. But how can you appeal corporate bureaucracy?
It's obvious many are seething at this news. People, please try to practice healthy coping techniques.
Show HN: The Tiny Book of Great Joys
Hey,

I want to share a personal project: I made a tiny pen-plotted book for my wife. I did everything myself—drawings (with some help from Midjourney), plotting, cutting, and binding. I even used a 3D printer to make a helper tool.

It's absolutely over-engineered, but I enjoyed it a lot. Multi-disciplinary projects, especially those with a physical output, are a lot of fun for me.

The post covers the process in detail, but if you're interested in anything specific, let me know.

Cheers!
I'm just going by what was mentioned in the thread. If that interpretation is wrong, the thread makes no sense.
The first weaponized deepfake I might've seen was with Julian Assange. No idea who created it but it exceeded SOTA at the time (a few years ago).
I worked on warehouse software in the late aughts that did this in the housing shit in the us. Literally it was a bunch of companies buying pallets of shit from other companies. Basically, whomever was left holding the bag at the end, lost.
Someone posted a Google doc in this thread that goes through all of it.
Agreed, good healthcare is a huge part of shackling you to your employer. Every time I think about quitting it gives me pause knowing it means a few risky months until I can get a new job and have coverage again.

Insurance has also skyrocketed the cost of care, I was doing a weekly physio/massage visit and with good health insurance it was a $50 copay. I looked back at what the place was charging my insurance and it was ludicrous. They were billing my insurance $400-600 a week and every little thing they did was getting charged. All the cool like "extras" I thought they were doing for me were becoming $50-200 charges.

I partially tore my achilles last year and most doctors I saw just wanted to check all the boxes so they could send a massive bill to my insurance. I ended up seeing 3 different doctors, a physical therapist and a physiotherapist before I finally found someone who really cared about helping me. It was $2000 out of pocket but he really went all out mapping my recovery and performing all kinds of interventions.

I am scared that universal healthcare would introduce so much bureaucracy that doctors will just process you asap, check off their forms and then shuffle you off. It feels like we are getting further and further from the world where you know your doctor and they can say something like "you only needed a referral, lets just call this $40, see ya in a few months". Now it is someone you may never see again, who has no control over how much you are billed and who has 20 more patients coming in behind you.
JPMorgan CEO: "I don't care how many people sign that f—ing [WFH] Petition"
Because he lied? How was that not blatantly obvious to you?
USAID is the vehicle to paying news/entertainment industry.
Importantly, it's not just progressives that have takes about why we should have socialized healthcare. Maybe some people are afraid of the S word, but when you ask people about universal healthcare, support cuts across party lines. We especially saw this in the wake of other recent United Healthcare new.

It just goes to show, aside from the few who keep beating the drum about this, Bernie Sanders, etc. this is just another issue that shows how the people in political power aren't there for you or me, they're there for their billionaire friends.
Providing a socialized system with adequate funding requires elected officials and voters to have appropriate and matched priorities. Voters, regardless of party in Canada for example, generally all agree that the socialized healthcare system needs more funding and to be a higher priority. I understand that when you remove party affiliation from the prompt a majority of Americans are also generally in favor of socialized healthcare and would like to see it expanded.

Critics of socialized healthcare often point at things like waiting too long for specialists, or understaffed hospitals, presenting them as inherent to socialized medicine itself when it's more often the product of elected officials who simply don't think socialized healthcare deserves adequate funding, or are against the idea of socialized healthcare entirely. Politicians will often piss in your cup and insist to you it's champagne.

There is, of course, the economic arguments around public vs. private health-care systems; but there are also the philosophical, moral, and ethical, arguments regardless of economics. Some things are expensive and yet we still understand they are a good and humane thing to do.
I believe the solicitation put out by the previous govt read "Armored Tesla Vehicles" and not EVs. I think it was changed to EVs recently? And the sole bidder was a company that would acquire the EVs and harden it I guess?
Alien-like field of mirrors in the desert was once the future of solar energy
The post hints at this, but having a shop where one can buy a privacy pass without an account makes sense.

Should support some crypto currency (probably monero), and something like GNU Taler if that technology ever becomes usable.
My Linux laptop can charge, provide USB ports, connect to my monitor and provide Ethernet connectivity from a single cable.

This laptop came out 7 years ago, but I'm sure much older models can do this just fine too.
I just wrote a thesis in Libreoffice, because the faculty didn’t allow to use LaTex. It really impressed me with its features. It is a pro-tool
On the last day that tax payments were due
Related:

Health Insurers Deny 850M Claims a Year. The Few Who Appeal Often Win

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

UnitedHealth Is Sick of Everyone Complaining About Its Claim Denials

https://news.ycombinator.com/item?id=42992121
I wonder how this affects gated features and search limits?
Phind used to be focused on developer questions. Did you guys pivot?
This was the first example that popped to mind: https://www.theguardian.com/technology/2022/aug/22/google-cs...

Not having Google accounts isn't the end of the world, but given the amount that many (most?) of us rely on their services (I think of all the accounts I have tied to my @gmail email and cringe, but still I'm there), this is fairly disasterous.
Pretty cool feature. The unstated downside is that any personalization settings like dark mode, translation, and lens settings are still seemingly tied to account login.
It's definitely bad, but fortunately it has responded really well to immune-suppresers, and it's fortunately only one eye. There's definitely some level of permanent damage, she is unlikely to ever get it back to 100%, but it's certainly not as bad as it could be.

> Tying health insurance to your job has to be one of the worst parts of the American system.

Yeah, it gives companies so much more power than they really deserve. Not only can they cut off my income supply, which is more or less the nominal agreement we have as part of the capitalist transaction, but they also get to decide if I (or any of my dependents) get to get treatment for any kind of illness.

The medicaid system in the US is actually not too bad, I was really grateful for that in the tail end of 2023 and beginning of 2024 when I was unemployed, but it's extremely concerning that (SOME UNNAMED POLITICIANS THAT I WON'T NAME BECAUSE I DON'T WANT TO BE FLAGGED BY SOMEONE WHO THINKS THAT BRINGING UP POLITICS IS SOMEHOW OUT OF THE SCOPE OF HN) want to drastically cut that program.
Anywhere really, it's just the phrase 'there's a thin [or fine] line between...' modified to say the police are that line, between lawful order & disorder.

Apparently it's political in the US, I have no idea, but as I understand it the maintainer just means 'I am here reviewing the change to keep the kernel in good order'.
You don't even need socialized healthcare, really. What you need is a system that doesn't exhibit the insane amount of regulatory capture that's on display in the US.

I lived in Hong Kong for a while. In Hong Kong:

(1) If you want to see a doctor, you just pay cash. Fees are reasonable. (~$50-80 for a GP up to $350-400 for a top specialist.)

(2) There's no other way to pay. (If you have insurance, they might reimburse you later.)

(3) You don't need referrals for anything. (If you need to see a specialist, you call a specialist directly and make an appointment. Many of them will see you on the same day you book an appointment.)

(4) You don't need a prescription for just about anything. (Antibiotics and steroids -- and all the the most powerful non-recreational drugs -- are available OTC.)

(5) ERs, emergency services, and things like childbirth are covered by the government, but the service is generally worse than you'd get if you pay out of pocket.

The US system isn't more "capitalist" -- it's captured by special interests and middlemen to a mind boggling extent. And you don't necessarily need "socialized" healthcare -- you need a system that gives both patients and doctors more agency.
Can you elaborate? What's "the non-logging of useful things" and why is it bad?
Stopping HIV & drug-resistant TB outside of the US borders directly benefits Americans.
>I want to keep Phind honest and authentic

Choosing to violate the copyright of content creators sure is a funny way to be honest or authentic.
> privacy from corporations matters very little, but privacy from governments matters very much.

Historically perhaps, but if you notice what's been happening in America then the line between government and corporation is getting very blurry.

Also historically, when you have a fascist government then companies/corporations are quick to join the party if they want to survive.
The court of public opinion possibly.
I run multiple Discourse sites. You can spin that however you want. People have personal data on my sites for sure. Is that “tracking” in your book? What about in the EU’s book? Anyway, I’m not going to read the GDPR to find out whether that’s “illegal,” no matter what they say.
Why would they be, literally? That doesn't mean anything about whether they are in the category of open source or not.
Thank you. I recognize what you write in my own experience as well.
Sorry you feel that way, but I own it. You're welcome not to take me seriously. I know your background. But I think you've made some claims in this thread that are probably wrong.
> Bazel also obviously uses the system compilers and headers. Nix does not.

Bazel allows hermetic toolchains, and uses it for most languages: Java, Python, Go, Rust, Node.js, etc. You can do the same for C++, but Bazel doesn't provide that out-of-the-box. [1]

Bazel sandboxing can restrict system access on Linux with --experimental_use_hermetic_linux_sandbox and --sandbox_add_mount_pair. [2]

Every "reproducible builds" discussion requires an understand of what is permitted to vary. E.g. Neither Nix nor Bazel attempts to make build products the same for x86 host environments vs ARM host environments. Bazel is less aggressive than Nix in that it does not (by default) attempt to make build products the same for different host C++ compilers.

[1] https://github.com/bazelbuild/bazel/discussions/18332

[2] https://bazel.build/reference/command-line-reference#flag--e...
Jujutsu and Magit: Experience Report
I dunno about Herman Miller but my local Steelcase dealer (an hour away) was pretty pissed when I showed up wanting repairs for a chair I bought on eBay.

(Personally I can't sit in the Aeron, the mesh causes my hamstrings to explode in pain, so I could care less that I have a Herman Miller dealer in town.)
I highly doubt that would happen. There are other ways to make payment, though a bit slower until things are figured out.
I worked in environmental chemistry - commercial lab. We did not do tests on humans nor animals but we were constrained by federal law and commercial liability . If the test you were doing was covered by federal law appeared in the CFR ( code of federal regulations) you needed to make if you said you were doing a test that was detailed in law that you followed that procedure in a documented way. If you changed it in a significant way you were engaging in a felony. Then you had some
Tests that were not covered by federal regulations- so how do you protect yourself
from lawsuits ? ( the fact you could do a test that would cost $100 but the client was making a million dollar decision with the results meant there could be a lot of liability risk)so in those cases where there was no clear regulation you would opt for “industry best practice “ using processes, equipment, reagents that were commonly used for that test by others in the
Industry. If you did that then your insurance provider would defend yourself. If you had good documentation you could prove you did the right thing the right way and win the lawsuit.
Based on that background I suspect the biggest reason for review boards is liability protection.
I would argue that the weaponization is an intrinsic part of the nature of review boards. Not just for ethics, but accross pretty much all categories.

It's been pretty universal in my experience that people will use the power given to them to push their agenda, which is generally only somewhat aligned with the nameplate mission.

E.g. a vegan or vegetarian on an ERB has an obvious, if soft, conflict of interests that will come out in how they treat requests involving animals, or whose results might lead to future testing on animals.