skysight-inc/HackerNews huggingface dataset:
> Air travelers are not expected to have a full understanding of how to operate a jet airplane, or an airline, in order to not be cheated out of their fares.

Correct. But it doesn't matter because the contract of carriage doesn't hinge on that. There's no confusion about what a ticket actually entails. If a ticket covers "one ride at the airport, from Cleveland to Omaha", it's pretty understandable what you are getting. If health insurance was just as simple, and covered "one ride at a hospital, from sickness to health", it would be likewise as accessible. But it isn't that way (although maybe it should be a lot closer)

> Notably, however: most insurance delays/denials will have in common that the patient is represented by an expert (a physician) on their case, while the insurer will be represented by a person who has typically never spoken with or examined the patient and may not have ever practiced medicine. The quality of the argument and expertise of the interlocutor are red herrings.

I understand but that's not what I'm talking about here. I'm talking about a broader information and accessibility disparity.

Having a physician isn't any help if your insurer is deadlocking you on coverage you legally have coverage for, you need a lawyer. That's a contract law problem, not a healthcare problem.

But if you don't actually have coverage for what you need, having a physician argue that you need it, isn't going to help you. Most people buy their health insurance policy all by themselves, without any legal or medical help.
Can you describe your GPU setup? I have been super interested to get some coloc space, but have a ton of questions.
At that time we had no way for users to buy BAT they sent — it was all from our grant pool.

In any event, a creator might not sign or could fail to collect, so those grants came back to us after a 90 day timeout if I recall correctly.
Very soon, the AI generator in your Xbox 2030 could upscale every object to incredible resolution.

This shifts the attention to story development and away from graphic designers. It does not mean cheaper games. It means more successful indie games with fewer team members. It also means fewer games because as I understand it right now, the only reason new games are pumped out is to keep the larger industry perpetually employed and other more time consuming projects funded enough to be developed.
Sunsetting this feature doesn't indicate Firefox has changed their opinions. DNT was never effective, and provided a false sense of security. No tracking company respected it, so it just became a meaningless setting.
>Top-Gun Navy Pilots Fly at the Extremes. Their Brains May Suffer.

https://www.nytimes.com/2024/12/08/us/navy-pilot-brain-injur...

https://www.nytimes.com/2024/12/08/us/navy-pilot-brain-injur...

https://archive.ph/FQ32k
That's not really how MWI works. There isn't some fixed number of universes; actually, there aren't really distinct universes (or timelines) at all. Attempting to count them is about like trying to measure the length of a coastline; they blend together once you zoom far enough in.

Running the quantum computer causes 'new timelines' to be created. Though so would ordinary atoms just sitting there; the tricky thing about quantum computers is making it so the split is temporary.

So the quantum computer gets split into multiple versions of itself, does some computation in each, and merges the results. This isn't map-reduce; there's a strictly limited set of ways in which you can do the merger, all of which are weird from a classical perspective.

You can argue for MWI based on this, because the computations that got merged still had to happen somewhere. It's incompatible with Copenhagen, more so the bigger and longer-lasting the computation gets. It's not, strictly speaking, incompatible with pilot wave theory; but pilot wave theory is MWI plus an additional declaration that "Here, you see this timeline here? That's the real one, all the others are fake. Yes, all the computation needed to instantiate them still happens, but they lack the attribute of being real."

Though that makes PWT incompatible with computationalism, and hence with concepts such as mind-uploading. Which is a bullet you can choose to bite, of course...
There are lots of entities out there that assume consent.
Thank you for your feedback!
I agree that Indonesia is not particularly strong on civil liberties, and this is reflected in our database as well. However, if you have other preferences that align well with Indonesia, the algorithm may still recommend it. If you scroll down, you can see the specific categories that were matched with the different countries. I will work on making the results page clearer.
There was a test with the 1BRC and it was shown that Rust was faster than Assembly (and likely C as well), meaning, a compiler will probably do a better job than a human optimizing code. How sure can someone be that this is indeed performant?
> Carefully crafted/gerrymandered laws that only rent seek from American big tech.

Alright then; who else should have been covered with the DMA in your opinion? Which other companies created unfair tax arrangements that have avoided scrutiny for decades?

Oh, nobody as large as Apple? Huh. Sounds like they're not targeting American companies at all, but instead prioritizing the biggest violators.
I wonder if you would want to use an earlier layer as opposed to the penultimate layer, I would imagine that the LLM uses that layer to "prepare" for the final dimensionality reduction to clean the signal such that it scores well on the loss function.
"Objectively the artists intended the art to be viewed on a CRT" is a very different statement than "Objectively the art looks better on a CRT"
Re-calibrate your sarcasm detector.
Awesome. The book is such a bargain used then on Amazon with this.
DNT was dead the moment some web browsers enabled it by default. No regular user will uncheck this setting, buried in a settings screen.
Dunno. Good luck to them, but I never saw a need to rewrite sqlite.
Ghost Engineers – Measuring Productivity
I’m a touch typist as well but use a combination of swype/dictation on mobile and pretty much all my writing there looks like this. I will bang out a message, then have to painstakingly edit all the mistakes. It’s an annoying downgrade in communication experience.
> ... I could see a jury nullification happening here. It only takes one.

Does a hung jury not just lead to a retrial?
That's exactly one of my project, to use that on my medical anki flashcards, as well as on my many medical pdfs. I'm sure there's a good way to do RAG on it that would be sourced.

I intend to add it in the end to my sophisticated rag system wdoc (https://wdoc.readthedocs.io/en/latest/)
Humans have basically always been cyborgs. We literally cannot survive without technology like fire and clothing.
DNT is legally effective.
A German court ruled:
"According to the General Data Protection Regulation (GDPR), the right to object to the processing of personal data can also be exercised using automated procedures. A DNT signal represents an effective contradiction."

https://cybernews.com/tech/germany-court-bans-linkedin-from-...
shadcn-admin: Admin Dashboard UI built with shadcn/UI and Vite
Bingo. People on this website love Apple products so much that they can't see past their own materialism to admit Apple is a bad business. It's fine to like Jony Ive's designs; fact of the matter is that Tim Cook is preventing innovation with his business decisions. Apple users are being segregated from novel and useful software because the first-party distributor gets cold feet thinking about it.

I guess they'll get their rude awakening someday. If xvectors comments here are any indication, it seems like they're starting to get out of the proverbial bed at least.
That's exactly correct, this chip cannot do either of those things yet. Which is why they use this toy-ish random circuit sampling problem.
> The tax change that causes companies to have to weirdly treat developer salaries as some sort of asset

The salaries are not an asset, they are the cost of creating the asset. They are capitalizable similar to (but on a different schedule than) costs of acquiring software that is not developed in house.
Not a large enough speedup to factor something that couldn't be done on a classical computer.

Well, really it can't run them at all, but a more-general computer this size which could, still wouldn't be large enough.
> There is almost no fraud because the doctor has no real financial incentive to overtreat me

The vast majority of healthcare fraud does not come from corrupt dentists convincing you to get root canals you don't need.

The largest source is billing for services not rendered.

That is: some provider just makes up that you came to see them and charges the insurance company and you don't even know about it.

This is a non-trivial problem to solve.

Even in the NHS in the UK - where the entire system, including the providers, are public - there is STILL a large billing for services not rendered problem!
I just want to know when this thing is going to put me out of work forever with it’s insane and crazy math skills.
They get subsidies, maybe not at the Chips act scale, but sizeable. Possibly indirectly via subsidies to Huawei who then can pay top dollar for SMICs 7nm.

Besides their core business is profitable and they are publicly traded in Hong Kong.
I like that the contributors are presented as movie credits
You can be a literal millionaire and bled dry by mounting health insurance claim denials. There is little anyone can do to protect themselves from this outcome, save for not getting sick or becoming a billionaire. The health system in the US is insanely broken.
Nothing, yet.
I'm making a little by sharing all my nonfiction book summaries/notes on https://littlerbooks.com.
What would be the use cases for this?

Can we run lots of web servers on gpu or compilers?
Is there any evidence this works better than Claude 3.5?
Does the process not verify email address ownership?

It did not used to for the initial account creation and that is likely all they need. They create a fake profile and put links to some malicious site or other shenanigans that affect Match users. The scam does not actually involve you at all. They will not be able to have a paid account unless something changed but they likely do not need it. There are other things that could be going on but then I would be at risk of defaming people running the site and that's a much longer story. All I can legally say is that you should just block anything coming from them unless you plan on being one of their members.

Now if on the other hand you see something from their company on your credit card statement, get your bank and the Federal government involved and not the state of Texas but I do not expect that to happen. Let the feds engage the state. I am not a lawyer and this is not legal advice. There is nothing more I can add to this.
I appreciate redis, but believe me when I say, I never considered using redis under anything but its original license, and I am just as grateful for valkey as I am for redis. It is very easy to move and I will keep moving anytime there is a license switch-up like this. I prefer a fork rather than an alternative, but if a good fork hadn't emerged, I would have moved to something different with its own technical advantages and drawbacks.
Facebook's Video Delivery System
My pet theory is this is the form of "elite overproduction" where affluent kids lacking meaning in their life are drawn to stupid ideas combined with exaggerated sense of self-importance. Explains all kinds of morons from mild like Dean Preston (prep school? check, "change the world"? check) to crazy like this guy (prep school? check, "change the world"? check), and across the political spectrum from random Ivy-educated non-profit workers to Trump (prep school? check, "change the world"? check; although he was satisfied with being a rich asshole for most of his life and developed this syndrome later).

I'd like to call it "prep school scumbag syndrome". Trump is actually a good illustration of a related fact that hereditary rich who are content with being hedonistic assholes are much less harmful than the same in search of impact and meaning.

To fix it, we need new rule - if, adjusted for median same-ages pairings, you have/make less money than expected compared to your parents, you don't get to participate in politics in any way! Just kidding (sorta).

Notably, the slain CEO appears to have been from a working class family and a university of nowhere, and worked his way up. This is the kind of person I, personally, admire.
It's a browsing about https://wiki.c2.com/?WhyWeHateLisp

And that does get into the "25 years ago" area. Really neat place to browse and see as a historical record of discussion from back then.

The issue is that languages that allow/encourage writing domain specific languages within the environment leads to people doing exactly that - writing a DSL that is then used in that company.

Lisp, Ruby, Groovy, Raku (possible in perl 5 as demonstrated by https://metacpan.org/dist/Lingua-Romana-Perligata/view/lib/L... )...

These languages (and Scala too) allow for writing a dialect of the language that differs substantially from the main language.

I've seen it in ruby. I've personally done it in groovy (wrote categories to make certain reports easier to write)... twice (also wrote a DSL in groovy that matches the script used as input for powershell doing ftp so that instead of `ftp.ps1 script` it looked like "add this import to the top of the script and do `groovy script`")... for that matter gradle is a groovy script that has gone well beyond groovy as a DSL.

Just as the problem existed with "having to learn a new LISP dialect" 25 years ago, many times going from languages that allow for such flexibility in how its written from one shop to another have the "having to learn a new {language} dialect" today.

For code that I have to work on with someone else, I believe it is better/easier to work in a language that doesn't allow you to rewrite the language so that when I have to work with yet another person, they don't need to learn a completely different way of doing it from what they knew previously.
Do you mean the link stopped working, or just that it fell off the front page(s)? It was probably second-chance pooled, iirc that resets the submission date. Timing is a factor in submissions' success, they don't necessarily get the right eyeballs to get upvotes & attention before more else comes along.
It's a paywall so I can't read it, but legislating a 4-day work week is unlikely to dismantle the Japanese salaryman culture that stresses its employees to the point of lower fertility (not to mention an economy that makes it near impossible to buy a house and raise a family). Remind you of a country closer to home?
I've been thinking that a lot lately - LLMs are really nice search engines, which is great, that's a product everyone needs.

Before Google, information is hard to find. After Google, websites are incentivized to bury information behind ads and bullshit. After LLMs, the information is juiced out like lemonade.

I wonder what the next step in the incentive landscape is?
Would you go to work without being paid? I wouldn't.

The same is true for those working in healthcare.

United healthcare wouldn't even exist if there was a ton of people who wanted to found, fund, and work at nonprofit health insurance companies.
I used to work correcting AI transcriptions.

There is only so much AI can do because it currently lacks in certain domain knowledge.

The worst one I ever had to fix was ESPN captions of commentary for some indoor motorcross thing with dirt bikes going around a track. First, the motorbike noise, but secondly, the commentators were using the (well known to fans) nicknames for all the riders, which the AI had no idea how to transcribe, no idea who they were, and were almost impossible for me to even Google.
I don't agree, but even that statement concedes Patrick's point.
Guessing the shortcomings become starker if you’re spending lots of time in the codebase/building a company on top of it.
Chiplets don't require NUMA. The Ryzen 9s have their cores split between two chiplets and still have UMA. Of course, if you're on over a hundred cores you will be on a NUMA platform, but NUMA isn't really new, either, and has been around since at least the first multi-socket systems. Async/await isn't more of a problem with it than regular old preemption, and that has generally been solved through virtualization and/or per-process processor affinity.
Great idea, we should teach the kids how to do robot surgery to revive their dead friend.
hey guys - Walden here, one of the founders. Excited to have you try out Devin. Reach out here if you have any questions!
I fight the machine in my own way by being vegan and transgender
It seems like a lot of the magic is providing LLMs with tools that let it work like a human would. This approach makes more sense to me then the model of expecting an LLM to just emit a giant block of code for a change, given a pile of RAG context.

( removed pricing q, as I missed it is $500 / month for whole teams. I get why that is the pricing, but doesn't work for me to try it in side projects sadly )
I fully agree and have said it for years.

Microsoft is the main culprit of DNT failures.
Yeah… Attempting to integrate MVCC and then doing vector search gave enough perspective to do this!
Tax Cuts and Jobs Act of 2017 moved domestic R&E expenditures (including salaries) under IRS Sec 174 from a same-year credit to a five-year amortized expense (similar to capital expenditures). It also amended 174(c)(3) to ensure that software dev is unequivocally an R&E expense[^1].

1: https://irc.bloombergtax.com/public/uscode/doc/irc/section_1...
I think both are really capable. However anecdotally, I notice myself doing way less of the "annoyed, cancel response, extend prompt instructions, regenerate" cycles with Claude as compared to chatgpt.

Also, I am not sure if it has my writing style preferences saved somewhere, but Claude uses the terse style I prefer to read explanations in, without me needing to mention it. ChatGPT can do it too but it needs to be prompted lest it do the whole "repeat question, bullet points, summary" ceremony. ChatGPT gets really annoying when you have do the "slightly more detailed, slightly more terse, there we go" ceremony as well. For similar reasons, I prefer it for code.

One place where ChatGPT absolutely takes the cake though is mathematical proofs heavy with symbols. Nothing else comes close in my experience. It's also better at latex typesetting (seems to be more fluent with common packages like amsmath).
My 2nd-Favorite Book on Housing
OS performance comes from algorithms and data structures not from compiler optimizations.
I don't think it has crazy math skills at all. That's what classical computing is really good at - give it a problem of arbitrary length and a computer should be able to string together instructions to yield you a sum.

Quantum computing, especially right now, is simply focused on getting reliable input/output idempotency. It will be a really long time before it has insane and crazy math skills, and when it does, traditional CPU architectures will probably outperform it.

TL:DR - if the Texas Instrument calculator didn't put you out of a job, neither will quantum computers.
Revolution in Syria
The trouble with DITA is that it is very often accompanied by its own very opinionated toolchain, although of course it's not mandatory. There are better ways to write docs nowadays than wrestle with XSL/FO and its brethren.
In my room I have a Trinitron and a pair of 1440p OLED monitors. You're right in that in a lit room the OLEDs have deeper blacks, but in a dim room the glow of the Trinitron's lit phosphors create a unique effect contrasted with the unlit ones. I might have to experiment more with the various visual filtering softwares that exist, but I think the physical properties of a CRT mean what hits your eyes is just unreplicable.
Very exciting!
I sympathise with the Redis "lego" way. But don't you think that hybrid search ha meaningful use cases? E.g searches that combines BM25 or piplned search in more sophisticated way than simple filter + knn / hnsw then filter?
Or maybe its more for a search engine than a cache
You don't have to believe it never happens to believe the odds aren't 50%. It provably does happen, but 50% is a high probability.
AWS Customers Hit by Cyberattack
This is a random reply to a different comment Aerbil313 made for their benefit as their email in hackernews seems expired.

----

I have a family member suffering from multiple exposures to fluoroquinolone (FQ) antibiotics. While the research doesn't understand the root-cause reason for how FQs cause trouble, my journey with dealing with my personal family-history of diabetes and my family's chronic illness has gotten me to go down a road of understanding how to solve some issues.

From what I understand, mitochondrial dysfunction appears to be at the core of many issues like I said. However, to expand on what I've found useful in my n=1-2 experiments, juxtaposed against much of the Phd/MD health podcast sphere information, most interventions like exercise and nutrition fundamentally are there to improve metabolic health. Many markers like VO2 Max or A1c are integral that gives a snapshot of one aspect of one's metabolic health.

In my family's and my specific journey, I've put together a variety of molecules/supplements we've found useful in their journey and framed it in such a way as to be actionable, but also presentable enough to the public.

https://docs.google.com/spreadsheets/d/1Fo2F851i0OE4tIQb0hQ7...

It's a lot of information, but hopefully it would be useful for you and others. Feel free to ask any questions on my rationale, thinking, or reasoning behind why certain things are useful, and how I came to certain conclusions.
A mac is also a PC.
Barring niche areas, US companies generally treat ICs as a commodity across vast swaths of commercial/industrial activities. In a sense, it's not very different from apparel, which is almost entirely outsourced. We would be in the same boat with automobile manufacturing were it not for unions. This is not going to change overnight. The costs of outsourcing would have to become prohibitively higher for domestic production to return in any appreciable amount. Until then, we should expect the torch to be carried by private industry (ex. Apple) who have other incentives to safeguard their IC production and supply chain.
How about calling one of them New Hong Kong.
I think it's a losing game to fight it. I've embraced it. I don't know where this will end, but we can probably guess.

I certainly use AI all throughout the day as a force multiplier for almost any computer-related task I do. I probably ask 100 questions a day to LLMs.
I'm excited to try it. I use aider quite a bit and tried opendevin at some point.

What is the pricing story?

Can I use it as side project dev or is the target enterprise customers only / mainly?
i use this every day and a lot of the magic is in the workflow and agent layer -- claude 3.5 can generate a snippet of code for you but it isn't going to open a browser, read api docs, actually make calls to the api, debug, run the code and make sure it builds and works, etc
that's true[1] but there is also the programmer dictum "You Aren't Gonna Need It" (YAGNI)[2]

it very much depends on the type of app you are building, but I think many web applications could at least start with htmx and then, when more complex user interactions present themselves, use an island of interactivity approach that localizes the complexity.

this keeps overall system complexity as low as possible for as long as possible, and you may never need to go beyond htmx, which can lead to a much less complicated codebase [3]

[1] - https://htmx.org/essays/when-to-use-hypermedia/

[2] - https://en.wikipedia.org/wiki/You_aren%27t_gonna_need_it

[3] - https://htmx.org/essays/a-real-world-react-to-htmx-port/