skysight-inc/HackerNews huggingface dataset:
It was in our case, because of legacy working practices from the old team (who weren't there when we arrived). It was making everything more confusing for us, and annoying. We weren't working in the same way they did (which was completely nonsensical in my view).

So it made sense to switch things after putting up with it for 6 months. We were annoyed enough that the mental load of not being annoyed about it anymore was worth one hour of me changing it so we could show up to work free of being annoyed of this specific thing. Plus we were getting new hires who were very junior, so having things match "how to git" tutorials on the internet made way more sense. Plus it made every repo match, no longer did we have 10x repos doing things one way and another 30x doing things another way.

I legit just had to click a bunch of buttons in gitlab for an hour. It wasn't hard. I've wasted way more time sitting in meetings with executives talking nonsense.

The pro strat would probably have been to do this while in a meeting with executives tbh.
And now it will most likely be clawed back.
In 2016, Switzerland’s healthcare expenditure, as a percentage of GDP, was the highest in Europe. The country spent 12.3% of its GDP on healthcare.

Swiss hospitals also accumulated losses amounting to CHF1 billion ($1.13 billion) in 2023. Most hospital costs are covered by the gov't though whereas in the US hospitals are private corporations.
A lot of Lisps don’t even have a stack. It’s effectively a second heap with only call frames on it. That’s one way to implement tail call elimination for instance.
yeah, why indeed. it is a very niche technical problem, perhaps it was posted in order to gather apple-hater upvotes, in order to later astroturf with the sock puppet account?
There's no reason for the doctor to involve any patients, other than to write their names down. These are fraud factories submitting thousands of templated claims per year.
Such a cool idea! I'm definitely going to explore this feature for the upcoming release.
My conclusion from all that I'm reading lately is that LLMs cannot do deduction but they can fake it real good.

I mean, you wouldn't use this brand of AI to plot your path to Mars.
Well, you could, BUT you'll also want to validate the path or risk dying.

But this AI is good enough for Elon and his ilk.
Because Elon's not gonna get into the capsule, you are.

Because you are not the master of this AI, you are the validator.
Barcoding Brains
Also, if people get the medical attention they need on time, they’d be more productive and also be more active in the economy. The loss of productivity coming from inadequate healthcare because of insurance coverages is in the order of tens of Billions annually.
Is it really certain that those problems and the answers were not in the training data for the tested LLMs ? Presumably somebody in the internet wrote about them...
Cool result, but worth highlighting two points:

- Model is finetuned from Qwen-2.5 Instruct, which includes millions of specially filtered math examples in both pretraining and supervised fine-tuning already.

- To generate the perfect 817 math examples for LIMO, they used state of the art models like R1 to filter down from an initial pool of 10 million math problems. In other words, a whole lot of intelligence was used to craft a maximally informative and distilled set of fine-tuning data. It’s not very clear to me if this is more or less impressive than getting the same result by simply fine-tuning on the 10 million initial pool, but I suppose that would make for a worse headline.
How is it overlooked that these people are simply both unhappy and helpless, as a result of the society they live in? The problem is they do not live in a democracy.
Free Speech Absolutist Elon?
This is chilling.
We installed a heat pump last year (2024) when we decided our condensing gas furnace wasn't going to last that much longer. Various incentives paid for about 1/3rd of the cost, and we had insulation upgrades at the same time as well as replacement of an electric water heater by a heat pump water heater. Overall, we've been very pleased with the level of comfort and the economics.

This is near Ithaca NY, where the coldest month (January) has an average low of 18 F.
I didn't realize you could install Nix on any Linux distro. It actually looks really straightforward:

https://forum.elivelinux.org/t/how-to-install-nix-packages-o...

I'm giving it a go now in the easily undoable single-user "no-daemon" mode.

Super excited how approachable this makes Nix, I've put this off for many years due to what turned out to be an incorrect assumption about the level of commitment!
Were they hired to do fraud detection for the US government? Do you have any idea how businesses work in general? Or are you being obtuse on purpose?

Come on, man. Have some self-respect.
Good thing I wasn't asking ^^
Writing helps me think. Posting a thought in public forces me to commit to an idea and clean up how I communicate it. I learn more about the subject and myself along the way.

Henrik Karlsson has a good series of posts on this subject: https://www.henrikkarlsson.xyz/p/writing-to-think

I journal daily about a topic I pull off a backlog of ideas. After the end of my allotted journaling time, if I think “there are more threads here to uncover,” I spend more time on it. If I feel confident, I clean it up into a blog post.

Obligatory link to my own blog: https://www.seanmcloughl.in
> a terrible era where everything you do is free for someone else to say no to, because "we all pay for that".

Yes I greatly prefer the current era, where everything you do is expensive and someone else can still say no.
Publish a blog so an LLM can use it and make money for someone already wealthy.
You have to bear in mind that the lectures in The Feynman Lectures on Physics were only one third of an introductory physics course, the other parts being recitation sections (in which homework problems, quizzes and tests were given and discussed), and labs. Lecture attendance was optional - many people prefer reading to listening - but the recitation sections and labs were mandatory, because they were considered much more important. Nobody learns physics from just reading lectures.
The Reconquista had finally driven out the Moors from Spain in 1492 - 26 years before Cortez entered Tenochtitlan and began the dismantling of indigenous religion. The Spanish Catholics were the Wahhabis of the day.

Thought Experiment: If the Iberian Moors were still in power in 1518,would we today be calling Latin Americans "Arabs"?

Similarly, popular opinion in Israel likes to call Palestinians "Arabs" because they adopted the language of their conquerors.
.NET is not far behind at all. It is also better at heap size efficiency and plays nicely with interop. Plus the fact that the average allocation traffic is much lower in .NET applications on comparable code than in Java also helps.
I was annoyed at the criticism of these people's youth

Their record is very disturbing
For exact reason I want heat pump (i mean these ones with 60C temperature output), but my range starts from -5C (23F), where efficiency starts to drop. As for connecting to house heating system with furnace using mini-split is just few pipes and one or two valve away. Is not hard to have big note, reminding following: "light furnace - close valve a, use heat-pump open valve a and close valve b"

Main problem is price... The air-water heat pump which looks match my house something from 4000-4500€ and I living in small house. Yes there is government assistance, but main requirement is to remove (to wall up) chimney and remove burning stove... which during cold winter will rake costs to insane numbers.
Writing on a blog is a very inexpensive way to establish your credibility about different subjects. This pays off later down the line when you can link people to things you've written in the past.

Credibility is a very valuable commodity. It's worth investing in ways to build more of it.

Don't assume people will stumble across your content (though they will eventually via Google). Actively send links to people who you are already engaged in conversation with.

It's not the number of readers you have that matters: it's their quality. I'll take a dozen people reading my stuff who might engage with me usefully or lead to future opportunities over a thousand readers who don't match that criteria.
No I think it implies that you wanted to appear to care in order to make a point.
True. But the article states at the bottom that they "do not skew data for any purpose", and this is literally the definition of skewing the data.
They are scraped from the web, and discussed on Reddit. So, they are definitely in the training data. Despite that, the non-reasoning LLMs struggle to solve them.

There are however new problems each week, and released every week. So, we can safely assume the latest problems are decontaminated. It remains to be seen if and how performance drops on the problems released in 2025. (Not enough problems yet to tell.)
Perhaps it's no longer being spelled out because it's getting outdated?

In your thread you argue we can't assume AI models generalize the same way we do (which is technically true except maybe not in the limit), but you seem to be worried about the extent of generalization ability (like learning to run vs. bike example, in terms of generalizing from either to climbing stairs).

Thing is, people made these objections a lot until the last year or two - this is what we're now calling a narrow AI problem. A "hot dog or not?" classifier ins't going to generalize into open-ended visual classifier of arbitrary images; a sentiment analysis bot isn't going to generalize into an universal translator; a code completion model isn't going to be giving good personal advice while speaking in pirate poetry. Specialized models fundamentally couldn't do that. But we went past that very rapidly, and for the past half a year or so, we've already seen models excelling at every single task listed above simultaneously. Same architecture, same basic training approach, few extra modalities, ever growing capabilities.

Between that and both successes and failures being eerily similar to how humans succeed or fail at these tasks, it's understandable that people are perhaps no longer convinced this class of models can't generalize in a similar way to how humans do.
>There's no reason for the doctor to involve any patients, other than to write their names down.

...until the patient looks at his health insurance account and notices a charge that he doesn't recognize, or the insurance company decides to do a random audit of a claim.
Some musicians opted to travel via small aircraft.
The following musicians died due to crashing small aircraft:

Otis Redding
John Denver
Jim Croce
Buddy Holly
Ricky Nelson
Stevie Ray Vaughan
> Sorry, but your response seems to be about consistency, or "purity" at some level.

> While what Go has may be inconsistent, what functional impact does that have?

Same reasons why Go fixed C's: inside-out type declarations, function pointer syntax, ERRNO, headers, macros, signal handling, UB, all the things that technically had no "functional" impact but still directly contributed to consistency, ergonomics, clarity, ease of comprehension, and (either by proxy or directly) correctness.

> I can't see a need for 'de-structuring' as such, absent tuples.

Your playground example of a, b = b, a is not destructuring a tuple in action? It's basically the same syntax / mechanism as Python's destructuring assignment, which existed since before Go (except Python's was always more powerful).

It's almost like you can do everything you want with a tuple in Go, except for actually holding it in your hand.

> Even if it had real first class tuple types, like Alef did, what would one do with them?

Similar things you'd do with a function without a name - work directly with the data at hand, without having to do the extra round trip to the attic to declare its name or shape.

> Hence if I was creating Go 2.0, I can't see why I'd want to add first class tuples, but could see a use for adding tagged unions.

That would probably break Go. I liked Chris Siebenmann's take on the subject:

https://utcc.utoronto.ca/~cks/space/blog/programming/GoUnion...
https://utcc.utoronto.ca/~cks/space/blog/programming/GoUnion...
https://utcc.utoronto.ca/~cks/space/blog/programming/GoUnion...

Meanwhile tagged unions bring you virtually all the way to ADTs, where pattern matching (generalised destructuring) is basically a must.

(By the way, Python stumbled really badly when it added pattern matching without even having proper structs. It's almost comical, given def __init__(self, ...), that should've been gone as a part of the 3.0 break-the-world.)
Because unlike food and housing health is something that can hit people very unevenly. Imagine walking down the road with a copy of yourself, everything in your life is equal, you earn the same, eat the same, same genetics, etc. All of a sudden a car hits your copy and leaves him with a broken leg. The car sped off and the driver is never caught. Now through no fault of his own your copy has potentially huge medical bills whilst you do not. The concept of insurance and government paid healthcare is simply to distribute these costs. Everyone pays a little, but when you need healthcare you get it. Of course the current US system is quite broken so you end up paying a lot and still not getting healthcare when you need it. The government has a lot more tools to regulate prices of healthcare and no runaway capitalist drive to make money which makes them far more apt at providing such basic services as healthcare.
Government forcing us all to do something a certain way is not people freely organizing. Sorry to break it to you. Please see my other comment in this thread for more of my thoughts on that.
they are just bullshit machines. bullshitters can cite wikipedia and are still bullshitters who are bullshitting.
I've heard about at least 4 theories of truth: Correspondence, Coherence, Consensus and Pragmatic (as described, for example, here https://commoncog.com/four-theories-of-truth/).

If we look at Newtonian mechanics, then various independently verifiable experiments are examples of Correspondence truth, and the minimal mathematical framework that describes them is an example of Coherence truth.
Frank the Tank!
Somewhat related was Pizzatool, a demo program for the NeWS gui toolkit. It wasn't "on-line" - it just faxed or e-mailed an order - and you couldn't actually pay for your order.

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

( 110 points by zdw on April 21, 2020 | hide | past | favorite | 71 comments)

https://donhopkins.medium.com/the-story-of-sun-microsystems-...
The problem with this statement is that a lot of the reason healthcare costs so much is that insurance companies have a legally mandated max profit percentage, so they make deals with hospitals to make services more expensive in order for them to be able to take a higher amount of profit.
It is _very_ unfortunate there is no PDF version.
One side is trying to make it worse, while the other side made it better, but since it wasn't better enough both sides are the same.

I think I've got your position right. Very curious to see if your response has any coherent arguments!
Heat pumps are quite prevalent here in Norway, where we regularly see -5F or lower.

I got one and while this winter has been mild, not much below 15F so far, last winter we had couple of weeks below -5F and we had a nice 73F indoor without issues.

And to be frank I don't care if it's less efficient couple of weeks during winter if it's more efficient the remaining 50 weeks.

Bonus points is that it can keep us cool during summer, unlike a furnace or heating panels.
It's an obvious outcome though. Cheaper insurance can be had by excluding anyone with a chronic or serious condition. Healthy people will flock to it. Their rates will drop. The rates for the non-healthy will thus go up, and effectively be unaffordable for most; the same reason you cannot get home insurance in a fire prone area. It's not that it is expensive -- you literally cannot get it (unless Government backs it, e.g. same as our current insurance). The destitute in health will indeed get some charity. But unless people willingly donate to the same level they are paying for insurance today, it will be strictly less.

Yes, "insurance" as such has lost its meaning. Its healthcare coverage. Everyone knows that, we just keep calling it "insurance".
SeDebugPrivilege requires local admin, which would be required to debug a process the user doesn't own. This privilege level is just about the highest one you can obtain in NT.
I agreed that going full government single-payer would improve some things. I just think we can do better by going a different route
> You can write Go code that doesn't heap allocate at all

In practice this proves to be problematic because there is no guarantee whether escape analysis will in fact do what you want (as in, you can't force it, and you don't control dependencies unless you want to vendor). It is pretty good, but it's very far from being bullet-proof. As a result, Go applications have to resort to sync.Pool.

Go is good at keeping allocation profile at bay, but I found it unable to compete with C# at writing true allocation-free code.
Apple's New iPhone SE Will Kick Off Pivotal Year for Product Line
Big disclaimer - I work for a heat pump company (Quatt.io).

I suspect that in Europe, there could be a real opening for heat pumps when people want to install aircon - which more and more people do. Many air conditioners (mini and multi-split air to air units) are also heaters, and when I lived in Ireland in a well-insulated new build house we simply used the aircon as our only heater, and it worked well.

Unfortunately, much of Europe uses radiators, and you can't really pump cold water around the house to cool it due to condensation, but even here I think there could be an opportunity with add-on aircons that use the exterior heat pump to vent heat - https://www.quatt.io/quatt-chill for instance.

Anyway, I know the article is about the US, but I thought some perspective might be interesting.
The way I see it: It often takes him 6+ years to eventually be successful in an endeavor, and he learns by making a whole bunch of mistakes a long the way. That may be ok in a company, but probably not a good way to handle a 4-year federal government term.
Oh no, not that! Don’t cancel contracts for a useless, broken, overpriced launch system built by a company that famously forgot how to build airplanes with doors that stay attached while the autopilot forces it into a crash. The US needs more of that, for national insecurity!
It makes it impossible to write a general purpose dissector that takes captured messages or bytes and figure out how to parse it.

All they needed was a varint at the head of any marshaled from to at least provide some scoping clue.
This project looks great! Does anyone know of a keyboard remapper for iOS/Android?
Who cares about Biden? He's history.
Maybe send DOGE after them to end all sweetheart deals with the regulator?
In the Bay area, what I noticed is, unnecessary clumps almost always get nucleated by a Tesla going lower than the speed limit on the left lane and then a tall vehicle behind them.

The tall vehicle behind the Tesla will hide the fact that the slow Tesla on the left lane is slow for no reason, people behind the tall vehicle will think there is traffic. And we will all go 55 on the left lane, thinking there is traffic. Until some incline allows people to see that there is no real traffic and then the Tesla gets overtaken and clump is broken.
A connected question -- has there been an LLM that is a perfect calculator ? I.e. you give it a expression involving standard operations +/- and (say) integer numbers, standard operations and it should returns always a correct result.
I don't remember seeing any papers on this (but i'm not an expert)
Here's just one idea. Currently the vast majority of us get healthcare through our employers because government heavily incentives that. Because of that, we really aren't the customers of health insurance companies, our employers are. That's ludicrous. It gives far too much power to our employers.
Local Authentication Hub
It’s disappointing we don’t get any further investigation into this he said/she said argument.

The cynic in me is inclined to believe the company is denying it to the press without regard to the truth, because they can. No one will hold them accountable, so there’s only upside to lying publicly. (We’re currently seeing this strategy play out in national politics as well.)
Classical mechanics makes sufficiently accurate predictions to enable essentially all the engineering we do and was invented after we have been engineering things for a few millennia.
The VMM is part of the kernel (or executive), not userspace. App requests memory, VMM assigns pages from RAM, page file, or backing store.

If you wanted to segment yourself and take over anything 'below' the kernel like the MMU, you'd need elevated rights. But that'd be some interesting programming.

https://en.wikipedia.org/wiki/Architecture_of_Windows_NT#/me...
In this age of LLMs and hallucinations/deceptions, a personal blog is a best testament of one’s knowledge and musing on various topics. Once AI gets prominent, there will be a time when you can refer to your nice blog and say that, this is you giving untainted opinion on a topic when people can no longer trust anything anymore being original.

If I see someone’s blog today with posts from last few years of longer, regardless of their current situation, I appreciate that they are fairly intellectual person.

Now I will show myself out and try to start my own blog which I have been procrastinating over for decades.
This is a great list of questions. Many of these should have obviously been considered, but it never hurts to verify.
I will admit over reliance on AI is a major issue that we're coming to terms with right now. However to invoke playing devil's advocate, a person over relying on stimulants can also be a bad thing.

In moderation, AI can be fine and help. If you're assuming AI gets to do all the work while you sit around sipping mai tais and eating bonbons, you're going to have a rough time - which is exactly what we're starting to see with students that have been Copilot and GPTing through their classes. They're finally hitting the more complex stuff that needs creative thinking and problem solving skills that just aren't trained yet.
> calling team meetings to “discuss” them so that we can now collectively waste our time

it's not a dedicated meeting conversation. I would probably post it as a slack thread. If anyone wants to put their thoughts in, go ahead. If you don't, fine.

Number of people in the team who don't post by the end of the day ==> number of people who don't care.

Number of people in the team who do post by the end of the day ==> number of people who do care.

if number of people who do care > number of people who don't care, read the comments on the train home and have a think about what to do about it.

> During my exit interview I would state that my manager was an imbecile, incompetent and the reason I am leaving.

Well... that sounds like a good way to burn a reference.

edit —

> waste my time on such trivialities

in your own individual personal opinion this thing is trivial.

being part of a team means being part of a larger whole. whatever that looks like — including if other people on the team don’t share your opinion, or have similar but different opinions.

funnily enough the article explicitly mentions differing opinions being a good thing.