Hacker News new | past | comments | ask | show | jobs | submit | rscho's comments login

The docs for the Rosette language used to write their verified interpreter:

https://docs.racket-lang.org/rosette-guide/index.html

A talk presenting the language by the author (Emina Torlak):

https://m.youtube.com/watch?v=nOyIKCszNeI&t=3245s&pp=ygUOcmF...


The sister's answer is the answer pretty much any doc knowing the bare minimum about flu would give. This was already the case before the last pandemic. The flu virus is closely monitored for this exact reason: medical authorities and the WHO have been expecting a problematic flu pandemic for at least two decades. No one can know when the 'big one' will appear, but this one's a good candidate.

Not unique to the US. This develops to a certain extent everywhere private insurance is sold. It is a completely logical consequence of the insurance company raking in the most when selling you insurance for everything that won't happen, and deny you any coverage for stuff that will happen. At that point, it is a mystery to me why so many people still think free market theory works for healthcare.

It doesn't work at all for anything without strong regulations.

Well, docs have seen this coming from miles away. I don't think anyone having substantial experience in clinical medicine is surprised by those developments, unfortunately. But it doesn't stop here. Insurance companies will be (are) building models to overcome legal barriers. Imagine: you're 20 and healthy, but located somewhere suggesting a higher risk of developing some chronic disease in the future ? Then no insurance covering this particular condition, for you specifically. A real-world application of the 'fuck you in particular' meme. This of course extends to all sorts of sensitive matters, such as your ethnicity, sexual preferences, etc.

Now this is a really scary application of AI, but you won't hear those wanting AI regulation such as Musk complain about that, right?


That's one reason (among many) the preexisting condition part of ACA is so important.

Without it, health insurance companies would have every incentive to do what car insurance companies do -- buy profiles and records from third parties and use those to adjust rates and willingness to insure.

E.g. the obvious step of buying genetic information from 23andme, because it isn't covered by HIPAA


GINA prohibits health insurance companies from using genetics to deny coverage or set premiums.

https://www.hhs.gov/hipaa/for-professionals/special-topics/g...


I'd feel a lot better with customer-centric privacy protections around the collector and storer, a la HIPAA.

Instead of regulating only some of the uses.

HHS already had to administratively extend to cover gaps (we'll see how that goes, post-Chevron) and Congress attempted to repeal it for workplace purposes in 2017.

And there's still the gray market question about 23andme -> Equifax-alike packaging it into a blended proprietary risk score -> insurance companies using that (of course 'without knowing that genetic information was included').



Remember when the NYT published a high-res, straight-on photo of the TSA luggage master key? Good times.

It's not like you can't find them on Amazon for cheap. There's also more than one master key it's a whole set. That said, when the lock picking lawyer bought a bunch of TSA locks, they all used master key #7 I think.

Eh. Wasn’t a big deal honestly.

It takes little effort to reproduce the key by disassembling the lock to get access to the plug.


I assume the original was a lot higher resolution, else that stinks of parallel reconstruction.

The article also mentioned the whole platform he was using was cracked by police. They might have been able to get the metadata but not want to explain that to others still using that platform.

The BBC made a good podcast about the busting of Enchrochat.

https://www.bbc.co.uk/programmes/m001v9ds

Possibly/probably only available to UK IP addresses.


Here's a direct podcast URL you can add via your favorite podcast app:

https://podcasts.apple.com/ca/podcast/gangster/id1562843329


I think most audio-only BBC programmes are available globally, even if they sometimes have ads inserted into them which aren't present if you're in the UK.

Plays fine in France.

The ads under that article are about as funny as the article itself. Lots of hilariously bad AI generated images and stuff

You don't run an adblocker?

Clearly they don’t.

Maybe his comment is an opsec deflection strategy.

I don't buy that they got his fingerprints and palm prints from that photo.

Why not? Seems like a pretty clear shot of three of his fingers and a good partial print of his thumb. I assume the original was higher resolution than the version in the article.

The CCC made a point a couple years ago by publishing finger prints of high ranking German government officials extracted from photos


I think they went even further and 3d printed their thumbprint and unlocked their phone with it, if I remember correctly.

Just change your thumbprint after a leak, no problem.

A dedicated criminal wouldn’t have fingerprints.

Fingerprint tech is ridiculously advanced. I saw a documentary where they lifted a print off a pillow case decades later.

I did fingerprints from a digital photo in 2012 maybe earlier. Old mate was holding up drugs to be photographed. Bit of contrast, blew it up, sent it to fingerprint bureau and what would you know, we had those prints on file. Not the crime of the century and not absolute proof, but a damn good start for a case from a simple post on socials. More useful than most intel/hearsay that ends up in crimestoppers or similar channels.

No longer a friend?

"Old mate" is an Australian/NZ colloquial term for someone who you either don't know or don't want to name.

Health culture in the US and Danemark are complete opposites. I mean how common people think about the system, and their expectations. Americans basically do not want to pay for anyone else than themselves. Europeans expect a strong social safety net, and accept higher taxes. So, you can't apply the danish system in the US. It would be anathema for a large part of the US population.


This is the crux.

Rich people in Europe have "noblesse oblige". Yes you have to pay for your neighbour who is on welfare and a drug addict. Deal with it.


The problem is that in the US we also pay for our neighbors who are on welfare and drug addicts.

Welfare -- my 30%+ federal income taxes

Medicare -- my income is taxed for it.

MediCal(California only) - my 10%+ state income taxes.

Uninsured/homeless goes to emergency room and hospital writes it off -- my 30%+ federail income taxes and my 10%+ state income taxes

City spends millions on homeless -- my 10% state income taxes and probably a bit of my property taxes.

On top of it, thousands per year of monthly medical insurance premiums for family of 3, thousands per year of "deductibles" before insurance kicks in.

This cannot be better than just paying high taxes and receiving high benefits for it.


While technically true, hospital sticker prices actually are extreme because hospitals try to impress insurers with gigantic discounts off a fictitious base price, which no one pays except the unfortunate middle class person who finds themselves in an emergency without adequate health insurance.

This is critical. I get these "Explanation of Benefits" from United, and they always show some enormous sticker price with a "discount." Something is clearly whack with these discounts.

It would be too much credit to call it "financial engineering". Do you know who mostly benefits from these (basically) fraudulent "discounts"?


I think US has a much larger need for welfare than Denmark, or actually maybe all Western nations. So, welfare and care for the homeless is super pricey. IMO, this a byproduct of the extreme form of capitalism practiced in the US.

In what way? I'm curious, because I'm a European doc, and things are gravitating towards the US model around here.


Obviously not. It's right in the name, isn't it? LLM = limitless model...


Catch 22: you don't become rich without some good old evil first!


Well, of course the ongoing war does make for poor PR and bad rep, but when things will have settled down people will see it again as the truly compassionate way of thought it promotes.


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: