skysight-inc/HackerNews huggingface dataset:
From the abstract:

> In this paper, we show the new fixed point theorem in metric spaces. Furthermore, for this fixed point theorem, we apply to the Collatz conjecture.

That sounds like it's lacking some copy editing. So I'm not hopeful for the actual paper.

Also it doesn't look like this paper actually proves the Collatz Conjecture? It ends with:

> Unfortunately, the conditions of the theorem 2.3 are not satisfied in other cases.

> Furthermore, since N is discrete, Theorem 2.2 is sufficient without using Theorem 2.3, however, the conditions of the theorem 2.2 are also not satisfied.

And nothing more concrete.
Google is usually on the same page in this case. I wouldn’t trust anything remotely “privacy focused” that has the Google moniker on it. Apple maybe.
Ruby is alive and well!
https://www.slideshare.net/slideshow/the-hydrogen-myth-prese...
>1) You can't learn an accurate world model just from text.
>2) Multimodal learning (vision, language, etc) and interaction with the environment is crucial for true learning.

LLMs can be trained with multimodal data. Language is only tokens and pixel and sound data can be encoded into tokens. All data can be serialized. You can train this thing on data we can't even comprehend.

Here's the big question. It's clear we need less data then an LLM. But I think it's because evolution has pretrained our brains for this so we have brains geared towards specific things. Like we are geared towards walking, talking, reading, in the same way a cheetah is geared towards ground speed more then it is at flight.

If we placed a human and an LLM in completely unfamiliar spaces and tried to train both with data. Which will perform better?

And I mean completely non familiar spaces. Like let's make it non Euclidean space and only using sonar for visualization. Something totally foreign to reality as humans know it.

I honestly think the LLM will beat us in this environment. We might've succeeded already in creating AGI it's just the G is too much. It's too general so it's learning everything from scratch and it can't catch up to us.

Maybe what we need is to figure out how to bias the AI to think and be biased in the way humans are biased.
There is a market for Chibsons—not everyone is willing to spend on expensive instruments.

As a beginner, I’m too much of a cheapskate to drop $9,000 on a musical instrument. I can’t even play properly or distinguish the right tones yet.

I agree with you that, at my current skill level, my ability to express creativity and individuality is limited. But I’m okay with that. For now, I just want to enjoy learning to play the music I love. I’ll consider upgrading once my skills improve.

I am not learning guitar.
How to optimise prompts for enhanced AI interaction
As soon as you need to start leaning heavily on error correction, that is an indication that your architecture and solution is not correct. The final solution will need to be elegant and very close to a perfect solution immediately.

You must always keep close to the only known example we have of an intelligence which is the human brain. As soon as you start to wander away from the way the human brain does it, you are on your own and you are not relying on known examples of intelligence. Certainly that might be possible, but since there's only one known example in this universe of intelligence, it seems ridiculous to do anything but stick close to that example, which is the human brain.
Note this is version 2 of the Arxiv posting. The first version claims a proof of Collatz, which appears to be effectively withdrawn by the update.
I tried this just now on Chatbot Arena, and both chatbots asked for more information.

One was GPT 4.5 preview, and one was cohort-chowder (which is someone's idea of a cute code name, I assume).
It seems like the entire US medical system runs on prices that no one actually pays.

I don't really understand what all that extra complexity achieves?
> I assume you never bought Samsung again.

I boycotted Samsung after having similar troubles with their computer screens. Essentially, they chose a weird adapter for the screen that I can't find anywhere making the screen essentially useless.

I no longer buy anything Samsung. I can't say the same about other people as Samsung is essentially an Advertising company that happens to have consumer products.
Theoretically, a lot (most?) of healthcare costs are downstream of being overweight. Going to the doctor for diabetes, hypertension, knee problems, and the long term effects of those might be less costly than a constant subscription to purchase GLP-1s.

Bonus is you no longer crave expensive sugary or alcoholic drinks and food.
https://www.qubes-os.org/ is the extension of this.
Besides, it will just end up being an xkcd 927, lol.
Depends on what you value. If all you value are calories, then sure, there are much cheaper ways of getting the calories you need. But if you value time, or novelty, or the dining experience, or conversation with a neighbor or even just the bartender then there are plenty of places that cater to your values.
I think that’s a pretty average income for a couple with two children
Not to let it get so deregulated that it falls under the weight of its own greed. Pure capitalist forces will cook any system, needs a mix for functioning markets.
Another thing driving people back is actually IT departments. Managing remote devices is difficult and adds a lot of complexity. I did a couple years of contracting after COVID and a lot of these companies had to scramble to figure it out and now have weird hacked together hybrid AD/Intune/AAD setups that now are an unwieldy mess. Buying whatever laptops they could find on short notice has led to random makes and models that present another set of challenges. Much easier to manage when all the devices are in the office and everyone has the same ThinkCenter that gets policy from the local domain controller.

I'm a huge proponent of WFH but I think the cost of the management challenge that presents is often ignored. Is it a net saving for the company? Maybe. IT departments? Absolutely not.
You can have a whitelist. Just go to cookie settings and set the exceptions.
I think the issue is that the donations Mozilla receive don't go to Firefox's development. This is not the case with Floorp, Ladybird and Pale Moon where donations and sponsorship money (PM used to accept sponsors but they don't now) do go to development.
What about it is a breath of fresh air? What do the other libraries do that this doesn't?
Plenty of authoritarian countries cook the books successfully.

The story of Yeltsin visiting an American grocery store comes to mind:

https://www.chron.com/neighborhood/bayarea/news/article/When...

"He told his fellow Russians in his entourage that if their people, who often must wait in line for most goods, saw the conditions of U.S. supermarkets, "there would be a revolution.""

Given how woefully behind American healthcare and education and retirement is, it's quite remarkable Americans don't understand how poor they are.
I may have missed it in the thread, but I didn't really ever see an argument. Just a "I trust the republicans and their pick". There was no deeper discussion or assertion of why this was a good pick. All of the followup was about how he disliked the democrats and liked Vance.

That's not really a solid argument to me. No part of the original post or the followup helps me understand why he thinks a former lobbyist for Amazon and Google would be for anti-trust action against them.

Most of the responses on reddit, while overblown, are generally pointing out that most of big tech was funding Trump and Vance's election. If most of the CEO's argument is how much the democrats are in the pocket of big tech, that seems quite relevant. A pretty substantial percentage of the money spent to elect Trump was from Musk and other VC folks, and Bezos notably killed an endorsement of Harris at the newspaper he ran.

As someone said in the thread, it feels like the CEO took a "the enemy of my enemy must be better" in this, when it's entirely correct that both US parties are in the pocket of corporate interests. He's not wrong about the Democrats, but that definitely doesn't mean Trump's appointments are better. He could have just decided to sit this out and say nothing, which makes it all the more objectionable that he decided this was his time to show up and publicly try to get Trump's attention to praise him. As far as I know he wasn't @ mentioning Biden to praise the various anti-trust actions that were taken over the last few years.
> And we had a household income of like $130k or so at the time. Doing fine, not saying we didn’t have alright income, but not that uncommon.

Americans with six-figure incomes seriously don't understand the rest of the country lives.
Electricity is a by product of some source of energy, it doesn't just materialise unless your taking about capturing lightening in a bottle.
It's not the exact same revenue model. Floorp doesn't use tracking whatsoever for sponsored ads in the home page. And donations to Floorp directly goes to development, unlike in Mozilla.
What about it is so thoughtful?
If you are looking for reasonably responsible ways to donate money - I highly recommend using Charity Navigator which can help you avoid accidentally giving money away to fiscally irresponsible or downright scam charities (cough World Vision cough).

https://www.charitynavigator.org
Idk, think it's probably just cost and food quantity, at least where I am. I can order $30 worth of Thai and have 2 days worth of food while for the same price I get one ghost kitchen burger with fries.
We should crowdfund someone to follow him around with a giant posterboard of all his various hot takes that ended up being wrong
Yet you pay for Netflix and your internet and phone bill. But these could be given away by surveillance advertising firms to snoop your watching, surfing, and calling habits.

As the saying goes, if the product is free, YOU are the product.
It's one thing to say that someone who lives far away isn't as well off as they claim to be and another to say that someone's retirement account hasn't gone down.
One of the legs broke off which requires significant forces not just a skid.

I mean if my car lands on the side and one of it’s wheels fell off that’s a significant crash.
There’s a lot of folks who get immense schadenfreude talking about things they know nothing about to strangers on the internet who also don’t know anything.

Don’t let it bum you out.
If you are except from following copyright rules you should also not be able to retain rights for material crafted based on what you got. It's that simple.
Why does this say it was posted four hours ago on the front page, four days ago on Agolia, 3 days ago on /from and the comments are all from minutes to hours ago here?
il viola isn't voilà. Remove il and it becomes violer. People don't use 3rd person singular. People would say:

"Il a violé" (he raped) in past tense.

I don't think it is as offensive as parent suggested.

"I'm literally French": Welcome brother
There are two ways to look at art. First is for you personally to have something you enjoy to look at. Second is to have sonething that impresses others (perhaps a buyer.)

Owning a beautiful Van Gough is a pleasure to look at. Frankly if it visually fools an expert then it completely fulfill goal 1.

But if you're trying to impress others, or a buyer, then the point is not the painting itself, but rather the status it imbues. To those that value status, faked status is the worst offense.

Of course if the point is to show "I can afford to spend x million on a painting ", and you did, then forgery or not presumably you've achieved the goal.

Once you get beyond "pretty picture" the art world is completely arbitrary.
> Yes browsers share your data, it's a browser...

That's not the problem people have with Firefox. One of the issues right now is that there are people who have intentionally opted-in to sharing "technical data" to Mozilla for the sole purpose of improving the browser, when in fact, it's not just for that but also for improving ad-tech which was never an intent those power users had in mind: https://www.quippd.com/writing/2025/03/12/mozilla-has-been-s...
Lol signal is end to end encrypted. what are you even talking about? are you thinking telegram or something?
You're being downvoted because you're wrong, but sadly about 20-30% of the population shares your views and this needs to be addressed.

The people telling you that green energy "can't happen" are precisely the same group of people that will lose the capital they've invested in non-green energy technologies.

That's it. That's the reason you believe this.

You've been told over and over, by very loud and very well funded people to not even bother trying to replace legacy non-renewable energy sources with renewable energy sources. One hundred percent of the funding for this messaging comes from non-renewable energy companies, their shareholders, employees, and others with vested interests.

None of these people have your personal interests at heart.

Interest such as "having a livable planet" or having... you know... energy that won't run out in like a hundred years because... drumroll... they're literally advocating for energy sources that are NOT renewable. Finite. Expiring. Running dry.

"Oil baron with crushing loan repayments says the remaining drops of crude must be pumped out, no other option for the world. News at 11."
The sellers can write it off as a loss. It’s a way to avoid paying taxes
Where? NYC? The densest cities in the country? If you get outside the metropolises it's not like that at all. That's just a reflection of demand and population density.
Especially if you're anything above a 7/10 home cook
Just trowing out another similar, LazyVim[1]. I tried different neovim and emacs configurations over few years until stumbling on LazyVim and have been really happy with it for quite a while now - everything works out of the box, easy to add stuff and reasonably good documentation.

[1] http://www.lazyvim.org/
As long as they don't try to sell it, the value is potentially infinite. The problem is when they do try to sell it, and all the issues emerge. Probably, the best thing is a mixture of selling and lending for public display.
This is an obviously fishy post!
Sounds about right to me. We can use a few knowns about GitHub IAM to deduce a few things:

1. There are no deleted PRs or Issues on the repo (2461..2463 are all valid refs)

2. A legitimate `Renovate[Bot]` dep bump would have filed a PR. Last such PR was 5 days ago, and is presumably not the source for this. (I haven't gone through every dep change, but doesn't look like it).

3. That leaves us with the 0e58ed867 commit, which has to be a spoofed commit, since it doesn't belong to a branch and we don't have a corresponding PR(1). A complete takeover of the repo can result in a hanging commit (by deleting the renovate bump branch), but there must be a hanging PR-ref around. Since there isn't one:

4. All of the above points to a compromised account that has write access to the repo.

There is also the https://github.com/tj-actions-bot account, but unclear if it has write access.

Edit: gurchik's guess at https://github.com/tj-actions/changed-files/issues/2463#issu... seems more likely:

> 1. Fork the repository
>
> 2. Push compromised code to the fork
>
> 3. Update the tags in the parent repository to point to the SHA of the fork
Oh now that is an interesting observation. A long standing dirty secret.

Very maybe!
That's really the core of it for me. Literally no one was asking for or expecting his input on the appointment of an assistant attorney at the US DoJ. Trump probably doesn't even know who this is or what their job is. The fact that Proton's CEO decided to talk about it is most of the attention this appointment even got.

Even outside of me thinking it was a poorly thought out endorsement, it's just so amazingly unnecessary. I follow journalists and activists around anti-trust and internet regulation and I literally hadn't heard about this appointment.
Nope, that’s a decision made by each state.
What does this mean? You don't get to write off the difference between your "target price" and actual sale price.

And a reminder that companies always do better if they make more money, not point in purposeful losses (unless you are getting a side benefit like goodwill from charity).
Restaurants were never community gathering places. I've been on this planet for more than 40 years and this is rose colored bullshit, sorry dude. You're forgetting that home cooked meals also include mac and cheese and frozen green beans and tater tots. Whatever past you're pining for is a fantasy, or pre world war 2.
The shifter change is a form follows function thing though.

The function is the system shifts into park (and engages the parking brake) automatically when the vehicle is turned off or the driver's door is opened. This is generally good for safety. But it means that either the shift lever has to be stateless, or the shift lever has to be movable by the system. It was easy for the system to move the shift lever in Knight Rider, cause it was TV; in reality, it's easier to make the shift lever stateless. The rotating knobs are pretty clever: they don't seem stateless because you have to push to move in certain directions and you hit what feels like hard stops, but if your 12v battery dies, you'll find you can twist it as much as you like and when you get 12v again, it doesn't matter how you twisted it, you'll start in Park. The other levers are more obviously stateless.

Of course, it becomes harder to get into neutral when your car isn't working. And sometimes it takes a bit to figure out how to use the thing.
It hinders individuals from making purchasing decisions that affect price. Less clarity on the actual price means that it's harder to shop around.
This is actively improving health outcomes for millions of people so of course insurance won't cover it and it is being taken away from consumers. If the shortage is over, why does it cost $1k or even $500? Sounds like there is still a shortage to me. I guess vaccines are out but price gouging is still in in the US healthcare system.
I've now watched people go from Sublime to Atom to VSCode to Cursor. Truly it's wild how much value I've gotten out of sticking with just Vim and occasionally trimming my config.

I have no desire to move to Neovim. The Neovim community seems hell bent on turning Vim into another Emacs kitchen sink style ecosystem where no one values moderation and everyone is installing 100+ plugins they don't need. I haven't seen a single Neovim feature that actually helps me get work done more efficiently than how I already do it with Vim. Neovim feels like the first step since ed where the lineage has truly gone in the wrong direction.
Excalidraw and Mermaid
I agree. To perceive is literally to bias. Perception, and by extension, ideaology cannot exist in a vacuum.

Not even on just a human scale either. A camera "perceives" the world, but it's limited by the sepctra of its capture capabilities, its resolution, and lighting etc.

Is the idea of a picture biased? Should black and white cameras be banned for ideologically innacurate representations of the world?
It's not classic HN unless someone unrelated picks a side randomly and decides to up the ante and personally insult someone and then blame the culture here.

I've got news for you, you are part of the culture you pretend to hate.
Mexico would have to officially accept her as a deportee. I’m sure it’s possible, but they “can’t” just let her walk back across the border.
They are often already taxed by social security - which they might never get to claim.

Certainly happened to me when I worked as a temp in the US.
No way that's going to fit onto one poster.
In the middle of Covid, the Federal Reserve changed the definition of M2 money supply at the exact moment of the largest increase in the money supply to date for unknown reasons. It made all comparisons between pre- and post-change numbers difficult, probably a coincidence.

USG is an independent organism that is under attack and it is fighting back however it can. Remember, it's always looking out for itself, not for you.
See here's the thing. It's easy to prevent it from going down. You just print money. The number goes up but the purchasing power goes down.
This is a beautiful API. Thanks for the work. Here's hoping for a nice ruby agent framework in the near future too!
I would look into wassenar if I were you, an artifact of the cold war, encryption can be treated like a munition. Nothing stricter than that from what I’ve seen. Yet.
Our local grocery duopoly (Australia) not only charge for placement, but are now demanding that suppliers pay for transport between the supermarkets central and regional distribution warehouses, but will only take delivery centrally.

That's on top of some products (eg bread) being actually stocked on the shelves by the supplier.

Basically supermarkets are just local distribution warehouses with everything else either paid for by the supplier or the purchaser (eg shelf picking/checkout).
Pretty much all his takes are wrong. What I find most absurd is how he managed to convince everyone that he is a genius. Ashley Vance extolled his wisdom, and so did Tim Urban.
> The problem is that the hills in Seattle are quite large, so you are going up for a long period of time and possibly not able to regenerate before you run out of batteries.

Is this deadpan sarcasm? Seattle isn't a mountain pass. The biggest hills are a couple hundred feet bottom to top. The "High Point" neighborhood, which is, uh, the highest point above sea level, is at 522 feet. Every other hill is smaller than that.

Total ascent time is measured in double-digit seconds, discounting lights/stop signs.
A good security model doesn't let stupid people do stupid things with warnings. Stupid people ignore warnings.

A good model protects stupid people from themselves.

A password model that says "you MUST have a strong password" protects stupid people from their own stupidity. A model that says you can use bad passwords if you click through warnings is a shite model. Stupid people ignore warnings.

Seriously.
Not every software project needs the mentality you want to stamp on it. Most software in the world is boring, stagnant, legacy code. Maybe it was 'hip' one time, no one cares... that's the reason we have tons of COBOL still running around...

I am not here to tell you what we SHOULD do. Not to tell you who SHOULD get a job. My point is to tell you that some people, in this crazy world, want to do some work, and some of that work is not fancy, and for that they get a special place in the current environment.
What could explain encrypting the first 65k with KCipher2 and the rest with something else? Seems odd.
Median household income is like $80k
> Israel's military operates according to the laws of war

That’s a highly contested claim and I personally don’t believe it. You can prove it to be false without even looking at their actions in Gaza, just the torture of prisoners.
I drive different cars often (rentals, friends, family) and I have no clue how to change gears initially and it takes a lot of time to learn each new car. In the past, it was always the same mostly.
iOS did it too when communicating with Android but also updated.
More discussion: https://news.ycombinator.com/item?id=43367536
Unix: Making Computers Easier To Use – AT&T Archives film (1982) – Bell Labs [video]
When you train a neural net for Donkeycar with camera images plus the joystick commands of the driver, isn't that close to nerve impulses already?
Hydrogen is also a byproduct of some source of energy, it doesn’t just materialize.

The difference is batteries are vastly more efficient at storage and doing useful work with that stored energy. There’s use cases where that’s fine like rocketry, but efficiency or energy density is usually a dealbreaker.