skysight-inc/HackerNews huggingface dataset:
For most people, the PBM is just a department of the managed care organization (MCO, aka health insurance company) that deals with medicine. So not much of a middleman in those cases.

UHC has OptumRX, Elevance Health has Carelon, CVS has Caremark, Cigna has Express Scripts, Humana has Humana Pharmacy Solutions, etc.

The biggest PBM not owned by MCOs is probably Prime Therapeutics, and they are hired by all the smaller BCBS plans that are not big enough to operate their own PBM, I presume.
My kids are both actively playing TOTK on their profiles on my switch with a single digital purchase.

There have been other games where this has been problematic (Animal crossing I think limited some features per device instead of per account).
Which is a good thing unless you happen to be first world working class.
I found Thunderf00t's video on LK-99 to be funny because he pointed out something no one else did: In almost all applications of superconductors, they don't use high-temperature ones for one simple reason: Material properties. Most high-temp superconductors (including LK-99, he was assuming it was one, since he's not qualified to say one way or the other) are a ceramic. The ones that see use in the LHC, for instance, aren't. They're metallic, so you can form them into the shape you need without having to manufacture it in that shape to begin with, since you'd need another superconductor to join pieces like glue, which we don't have. That alone doomed LK-99 to the department of "cool, but not super useful", since most of the really interesting uses were for large things, not small ones.
Thank you! I had shared a photo I had seen of an Amazon warehouse painted this way, but couldn't find the source of it. In this picture specifically, the warehouses in the rear perfectly blend into the sky to the point where my brain thinks the horizontal stripes are JPEG artifacts in the photo.
My complaint with esbuild is it doesn't use `tslib` nor does it have its own sharable helpers like it that can be shared across builds, so you have all this repeated code that doesn't treeshake away.

If it did, I'd use esbuild in a heartbeat for libraries.

It also uses generic polling for watchmode, I'd like to see something more robust
"We thus provide the first set of open-source LLM-based theorem provers without any proprietary datasets and release it under a permissive MIT license to facilitate further research."
> MO this phenomenon seems to be kind of an artifact of modern media -- I feel like in the old days, peers would have settled it among themselves, and we would have never heard about it

That’s what happened here—peers settled it among themselves.

> there is a lot of stuff that people talk about, that ends up being worth ignoring

Of course. The thing is, you never know whether it’s worth ignoring or not unless some people pay attention to it.

> How many people spent time and energy on that, and how do they feel about that now?

Pretty good that we didn’t go to war with North Korea?

> Media is adversarial

In some cases it’s adversarial, and in some cases it’s complicit. In that case specifically, sabre rattling was part of Trump’s negotiation tactics, and media playing up the possibility of war was his intention.
I'm not sure what in your comment actually contradicts what I just said. OP argued that the court was out of line, I responded that the court was doing its job in interpreting the Constitution that the people of Montana put in place. What the grandparent poster may or may not have implied about people being ruled over seems immaterial to the question of whether the court was making policy or interpreting the Constitution.

The way these systems are set up is that if the will of the people is united enough then they can modify the Constitution. As it is, the people of Montana clearly indicated their intention to protect the environment, and state laws prohibiting experts in the executive branch from even considering a specific class of environmental impact are pretty obviously out of line with the intent of the Constitution.
Inflation is 25% over 2019 so the only people celebrating the economy got a 25% raise.

The rest? Debt piling up, some teetering on the edge of homelessness.

But that doesn't matter because the president in office can't have bad news. I think we can sum up Biden's presidency with "no comment"
Retrieval Augmented Generation in TypeScript live code review
In this 2 part video series, we step through a Vercel starter template written in TypeScript that demonstrates how to do Retrieval Augmented Generation (RAG) - using a website crawler and converting the HTML into embeddings.
Very easy to figure out. It's a cool concept, but I think it'll take some time to get this right.

Here's a tip, humans will just say they don't know an obscure topic. You should add in a randomness factor where 1 in 6 times the AI will just say I don't know.

The lobby music is really nice.
You cannot please these people, simply put. These folks STILL want the ESSENCE of a shared respect and excitement from the common man for scientific progression - and these folks are the same people, mind you, that speak loudly on the ignorance of the cluster groups within the "anti-science" big tent. But when these same folks see a glimpse of collective curiosity for science and methodologies among a lot of people, they long for the days of opacity and "mature handling of scientific consensus". Which, ironically, was the path in which almost ALL scientific progressions that spawned anti-science sentiments had taken.

You can't win.
> That is a battle that will be tied up in the courts for 15+ years.

All the more reason to get started ASAP.
Of course, it has to display text, images (gasp!), and needs working links (oh!!). Thats at least 150 npm packages already.
Science communication and being connected to the general public is meaningful.
I don't follow LMG too closely but I don't think you are being fair.

> He went from university, straight to being CTO

The CTO of LMG role is pretty recent and not a "in name only" thing. Judging just on that alone, to be C-suite at a $100M company with 100s of employees and no options? Oof, not that common.

In terms of experience, he has been the COO of Floatplane, running a dev team and SASS, shipping product for what 6 years or so and that's a more real qualification than most. I've seen him comment sensibly on development. Sure I've seen him not know some things but not enough to ding him. I'm sure he is highly employable now precisely because he does have real world experience in the trenches of something very successful. He is a popular known face and has industry connections.

They were basically cofounders and I hope I wouldn't have to explain, here of all places, why it sucks for someone in a startup to take 100% of the equity themselves (Linus and his wife). That goes without saying right? I'm not saying 50:50 but 100:0 is not cool.
> stock compensation is really not to be relied upon at its face value.

This is a fantastic realization to have. Getting stock as compensation is a bit like getting lottery tickets as compensation. This is triply true if they're options rather than actual stock.

I learned decades ago to ignore the stock component of compensation packages when evaluating an offer. I'll never turn stock or options down, but they will also never be something that will "tip the scales" for me.
I think you overestimate the tech savvy of your average restaurant
> But I could imagine algorithm changes could ruin somebody's carefully constructed bubble and that could be upsetting.

Well...yeah. That's social media for you. At the end of the day, you have to give people a reason to visit, it can't all be ragebait and crypto-scammers.

By all appearances, its utility as a social space has tanked, and that's not a hard sentiment to find even in this comments section. Twitter remains king of being a de-facto centralized RSS feed, but that position is very precarious.
"but the hype only serves to obfuscate the truth"

Is that true? Do you think the Koreans or anyone would have made more progress finding the truth without the hype?
https://www.statista.com/chart/17194/pedestrian-fatalities-i...
But if all that existed at the restaurant was water? The food or better drinks werent released yet.
These rarely are "software companies". They're companies in other industries, that happen to need some software. Sometimes it's a pretty plumb gig: Good, but not great, pay, often in relatively lower cost-of-living areas, a relatively light workload, a good amount of autonomy as one of a maybe a handful of software devs, and in their blindness to good practices (like source control), they're also untouched by common bad practices in software, like whatever bastardized version of agile/scrum that your bosses heard through an extremely lossy telephone game.

But there's also the bad: Software isn't the company's focus, so you aren't the company's focus. That means no "Senior FAANG" salaries, no best practices to keep things sane, and often you find yourself working on a codebase that was originally hacked together in a week by a chemist who may or may not have been deliberating huffing reagent fumes.
Maybe China could do us a solid and file a WTO case?
UK contracting market is pretty much dead. Full-time/Perm hiring pretty much still very quiet as well. They might have stopped layoff but we have a lot to catch up to be back at the bonanza days of 1-2 years ago, the market is now flooded with ex-faang people working for pennies on the dollar. The ride is still bumpy ahead
The ancient technology keeping space missions alive
>What you "think" doesn't have any value to me. You are some anonymous person on the internet who might be just another Telegram fan.

No need to go off topic. This is from your own linked article.

"We can confirm that our moderators took down several channels sharing personal data. However, we can also confirm that no private user data was requested from Telegram and that none has been shared."
> So you admit your argument is predicated on the number of people who are harmed.

What, yeah, of course it is. What on earth are you talking about, which part of "your math is wrong" didn't you understand?

Lack of privacy hurts people. Not one or two people, it hurts a lot of people. It might hurt you one day. And that's worth caring about. It's worth caring about because it's a lot of people. If you didn't realize that I was talking about risk/harms then you really didn't understand a word I was saying.

Yes, I'm talking about risk. Your math about the risk is wrong. It's not a gotcha that it's apparently taken you to this point in the conversation to understand that "your math is wrong" means "your analysis of the number of people that are hurt by lack of privacy is incorrect."

> and since then, society has improved in gigantic leaps and bounds.

Society has improved slowly, via heavy investment from anonymous activists and advocates who put themselves in harms way to improve it. Every single one of those activist movements relied on privacy. Quite frankly, there really aren't many examples of social movements that have improved society that haven't heavily used privacy and anonymity to aid them. Certainly at the very least this displays a startling lack of knowledge about the history of race and gender in America.

> is no longer possible in the western world

:) Citation very, very much needed. We have a political party in America with members who are openly calling for the extermination of transgender identity, headed by a political ideologue who's currently being prosecuted for (essentially) attempting a coup. Despite that he's still favored to be the next presidential nominee of that party because the majority of that party doesn't view attempting a coup as disqualifying from office.

It is incredibly naive to believe that we are no longer capable of doing terrible things in America to oppressed identities or capable of building political and social apparatus to do those terrible things.

> Every time in modern history western society has started down the path of outlawing some form of existence, we self correct.

And as I said, that self correction is of no benefit whatsoever for the 6 million Jews that died. Self correction is not protection. Privacy is protection.
Made a site like thisiswhyimbroke that did fairly well.
Affiliate links 10 years ago could get surprisingly lucrative.
Sold it after awhile for 50k and moved on to the next project.

Most any passive projects either going to require significant up front investment or some regular re-investment so sometimes it's better to cash out when you can.
I think I spent more days fighting with Linux power management than actually using my laptop back then. My first Macbook was a dream.
Any solution to climate change will take decades to implement.
There is no turning this around quickly.

CFS are working on their first prototype reactor to be finished within a few years, but their factory to begin mass producing will take another decade.
It is of course possible CFS will fail. However they have been on track for a while now.

https://m.youtube.com/watch?v=KkpqA8yG9T4&pp=ygUhZGVubmlzIHd...
> By contrast, superconductors that levitate over magnets can be spun and even held upside-down. “None of those behaviors look like what we see in the LK-99 videos,” van Gennep says.

Aren't they confusing Type-I and Type-II superconductors?
Compensation matters, don't lose sight of that goal. Technologists contribute an outsized impact to the profits of technology companies. We should be fairly compensated and its on each of us to push for it.
If you do 90% dev and 10% ops, and we call that 'devops'... are you devdevops?

I am really puzzled by the terminology.
Don't tell that to the crypto market.
At least superconductors are a real thing.
Even more annoying is the way iOS, iPadOS and macOS turn on Bluetooth and WiFi after every single system update even if I turned them off.

There are hacks with Shortcuts to properly toggle them on and off. But why do I need such hacks in the first place?
> Not everyone is cut out for every job.

Not every job should hire people. From the thread, it seems that she was belittled and harassed, and when she tried to address the issues she was dismissed and even reprimanded. This isn't an issue of her being a bad fit for the job, this is an issue of the workplace being so toxic that she was backed into a corner.

> Good on her for ducking out if it wasn't manageable for her.

They have a whole team doing the work that she was doing. She wasn't given the resources she needed to do her job (computer was underpowered for the editing they assigned her, they wouldn't buy her a $15 notebook, etc) and yet she was constantly told that her job was an easy one. The only way she was able to use sick time was by self-harming so badly that she needed to be hospitalized. It sounds like the position wasn't manageable for any sane human who wants a work-life balance at all.

Maybe that isn't the tone that you meant by your comment, but both sentences seem to place the blame for the misfit on her and not on any of the legitimate issues she brought up. Could this be a case of her being opportunistic with the recent news? Possibly. We haven't heard from Linus's side of things, but honestly her account and the handling of the recent events make it seem unlikely that we'll hear anything trustworthy from LMG regarding this.
This is such a great comment, which I didn't expect to find in this thread at all! I've been thinking about application "phases" for a while and I wasn't aware that there was research being done in this direction. Do you happen to have any more references beyond Racket and the link above?

> IMO it's better if the language allows the programmer to express phases as a language concept.

Yeah, not just to make life easier for the compiler, but I suspect it'd also make it easier to read & reason about the code.

I mean, performance gains are nice but sometimes performance isn't really the bottleneck but reading & maintaining that unholy cocktail of application code, bash scripts, schema files & specs, build scripts, code generators, Dockerfiles, and Gitlab YAMLs is.
Tailwind is extremely polarizing, yes like frameworks, and yes like politics. This polarization tends to happen on the two sides of "reality distortion fields", where someone's propaganda on one side, doesn't match propaganda on the other side. It's like Russians believing the West is the worst, and Putin is there to save them from The Gays. Or the West casually ignoring their impact on Russia with NATO advancing to the doorstep of an old, imperialistic, paranoid regime. What are they supposed to think?

But describing this as merely "both sides have equal merit" is really crude. Because more often than not, one side tends to be closer to the truth. Maybe Tailwind has some neat ideas. In fact I'm sure it has some neat ideas. Placed carefully somewhere in the calm eye, the dead center of this tornado of bullshit that is Tailwind overall. But then again, we can't ignore the tornado of bullshit.
> There's just no reason to do it because C++11 and C++20 are forwards and backwards compatible, so you might as well compile everything with C++20 if you're already going to compile it all from source.

This isn't exactly true. The programming language version is one dimension of the problem, but there are a few other dimensions. For instance, some projects enable/disable features based on the language version, and that leads to unexpected errors. I recall that Boost caused a bunch of problems when upgrading a compiler version on a old legacy project just because the subproject enabled constexpr on C++11 which caused obscure linker errors out of nowhere.

There is far more to language version upgrades, and even compiler version upgrades, than flipping a switch.
Is there a technical difference in considering an RSU to be a stock option with a $0 strike price?
"flOw" certainly seemed novel (and really nice) when it was released back in 2006 (not the last decade, obviously):

https://www.youtube.com/watch?v=tTVDSOnPLns

It's a pity nothing else since seems to use the same mechanic / concept.
Error correction. Abrading one character in a URL will break it (or make it subject to a MITM attack via lookalike domains or whatever).

QR codes are insanely durable and redundant and can survive a lot of wear and tear. It's also a binary works or doesn't, as opposed to a OCR algorithm with probabilistic correctness.

And UX. People know what to do about a square barcode (thanks to covid). Nobody is gonna know to take a picture of a URL (they can in fact already do that and have it OCRed on many phones, but who knew?)
What is your estimate of the amount of work needed to create a minimum usable version of this extension?

If the answer is "a month's worth of Sunday afternoons to make it work, plus about double that to make it polished", then it is definitely worth pursuing, even if the only benefit you would get would be some name recognition on your resume.

If the answer is "a year of development by a mid-size team of highly skilled developers" then it seems very unlikely to me that you will be able to bring such a project to completion, much less make it profitable.
HN discussion did not particlarly have "reasonable skepticism".

This is probably because people (i) were not aware that there had been many other hypes about RTSC before but less publicly visible all proved to be false, (ii) not being able to accurately judge the technical quality of the initial evidence, (iii) uncritically believing that the data in the initial preprints was proof for superconductivity because their authors said so.
This is basic software/systems validation that's required in many industries (my experience being in life sciences, but have also seen this in aerospace).

Is there no analogue in the physical sciences?
To understand the skeptic's perspective: imagine watching people excitedly discussing a sighting of bigfoot.
A smoothed out device ID makes more sense. Thanks.
Because a room-temp, amb-press superconductor, that can be made from readly available cheap materials, would be almost on par with the discovery of fire in terms of importance for our species technological capabilities.

Even the simplest example of what that would mean is already amazing to our society: Imagine a power-grid that no longer loses power to electrical resistence in the wires.
There was also a study out of Yale showing effectiveness with a combination of guanfacine and N-acetylcysteine (NAC), an anti-oxidant also used for the treatment of TBI.

https://medicine.yale.edu/news-article/potential-new-treatme...
> With JS you must use JS or TS and the steam factory that comes with it. With htmx you can use any language.

Can you elaborate on what you mean by this? Front-end framework don't care what language back-end logic is written in. For example, I have a Vue/Vite site that calls back-end functions that I'm gradually migrating from one language to another, and no front-end changes have been required.
However, of all the people I would complain about if called a psychopath, Koch brothers aren't in that list.
isn't CLOS OO based on generic functions and not objects? as far as I know Lisp doesn't have objects in the OO sense either.
There was also Adpative Programming by Karl Lieberherr at Northeastern University (https://www2.ccs.neu.edu/research/demeter/). He had both a C++ and a Java compiler to implement what he called traversals, features that would span many classes but you could implement in one traversal file. His tools were so powerful that in one of his classes I was able to add synchronization primitives to Java as a class project.
Summary: this person stopped taking photos and uploading them to Wikipedia because public photos of urban areas that contribute to digital archives are now abundant.

Given the title, I was expecting something about why they stopped photography as a hobby, which is not what this article is about.
Ask HN: Best tool to proof-read technical documentation?
I have around 80+ pages of technical documentation in markdown (with mixed in HTML where needed). Best tool to proof-read them? Mainly looking for spelling/grammatical errors. ChatGPT used to work great for this, but I've noticed today that it misses simple spelling errors.
That’s just the natural outcome of needing to emulate anything. x86 machines running any OS have similar issues emulating other architectures — see how much muscle it takes to competently emulate the now-ancient Wii U for example. It just so happens that emulation of other platforms on x86 isn’t necessary all that frequently. There’s other issues with Docker on macOS, but those can be worked around (see OrbStack for some such improvements).

This should become less of a problem as it becomes more normal to maintain dual-architecture Docker setups. There’s also the possibility that “shipping the jungle” will fall back out of favor, which would fix various other papercuts that result from Docker’s tight coupling with Linux.
Vacuum-jacking
I agree with all that. If you have the idea that philosophy is irrelevant cloud-talk, that is not my intention or usage of the term. To me it's about the principles you bring to a topic, including principles of risk and cost-benefit analysis.

I think we should be transparent as to the reasons why we're going after this risk. If we don't know very much but feel the potential implications are sufficiently grave, let's be honest about that. Rather than latching onto alarming but potentially low-quality studies as providing us the truth, which leads to whiplash, loss of scientific credibility, and polarization, as we've seen during the COVID pandemic.
I’m not exactly a Jane St. quant, but people piling into SPY at a time when 40+ PEs for mature businesses are the order of the day and bond yields are spiking via open-market operations doesn’t smell right.
it sounds like they did this:

1. person tweeted a paper

2. nature looked in the paper for authors w/ email addresses

3. nature cross-linked the author name / email address w/ persons name on twitter account
It was the techbros hyping it on twitter.