MurphyA/hacker-news huggingface dataset:
by kartoffelsaft | 2025-11-05 16:08:26+00:00
> Then, when a bunch of rich people move in, that’s people that are no longer chasing all the other apartments.

Maybe? Seems to me that there's a certain level of wealth where this no longer is true. Housing has (unfortunately in my eyes) become one of those black boxes that you put money in and money comes out; it's an investment. But what you're telling me goes contrary to what I know about the housing market: no, actually, houses depreciate in value because they'll have to ask poor people to buy / rent the place at some point. Can I go buy a mansion built in 1930 for a bargain price?

(I do agree about the private equity part, just the first bit doesn't pass a sniff test from me)
by ndiddy | 2025-11-05 16:08:26+00:00
Most of the text on the site seems LLM written as well. Given that the scope of the project involves making their own programming language, OS, and computing hardware, but they don't seem to have made very much tangible progress towards these goals, I don't understand why they decided to spend time making a fancy project site before they have anything to show. It makes me doubt that this will end up going anywhere.
by amavect | 2025-11-05 16:08:29+00:00
I thought the same, so I programmed the examples into Desmos 3D (click the show/hide buttons on the left).

https://www.desmos.com/3d/3divdux6jh

Dropping the absolute value makes a better visualization. The 3D graph for Example 4 Shadow Line has an established name, a hyperbolic paraboloid. The color graph for Example 5 Phi Equation doesn't capture the odd symmetry F(x,y)=-F(-x,y). The color graph for Example 6 Underwater Islands looks far inferior to the 3D surface.
by ragnese | 2025-11-05 16:08:44+00:00
There are multiple angles. As the stewards of GTK, they should, IMO, try to keep it flexible and customizable to whatever extent is manageable and reasonable. This post is about Mutter, which is a window manager, which should have very little to do with the app "ecosystem". They can, and should, do whatever the hell they want with Mutter, GNOME Shell, Nautilus/Files, etc.

Even in the link you posted, they're talking about GNOME, not GTK.
by jamesponddotco | 2025-11-05 16:09:02+00:00
Never heard of “property-based testing” before. Coming from Go, I mostly use table and fuzzy tests.

Is this approach something that makes sense in Go as well? I see at least one package[1][2] for Go, but I wonder if the approach itself makes sense for the language.

[1]: https://github.com/flyingmutant/rapid

[2]: Oh, I just found out about testing/quick.
by glenstein | 2025-11-05 16:09:14+00:00
I actually don't mind it necessarily. I wonder if the medium-far future of software is a ground-level AI os that spins up special purpose applications on the fly in real time.

What clashes for me is that I don't see how that has anything to do with the mission statement about getting away from social media and legacy hardware support. In fact it seems kind of diametrically opposite, suggesting intentionally hand crafted, opinionated architecture and software principles. Nothing about the statement would have lead me to believe that AI is the culmination of the idea.

And again, the statement itself I am fine with! In fact I am against the culture of reflex backlash to vision statements and new ventures. But I did not take the upshot of this particular statement to be that AI was the culmination of the vision.
by eertami | 2025-11-05 16:09:25+00:00
If you have 20/20 vision, a 27" display at 1440p (~110 DPI) has a visual acuity distance of 79cm - ie, if you are sat 79cm or further away from the screen, humans are not capable of resolving any extra detail from a higher resolution. High refresh rate 1440p IPS screens are very widely available at good prices, so it isn't that crazy that people choose them.

Phone and laptop have higher DPI screens of course, but I'm not close enough to my desktop monitor for a higher DPI to matter.
by philipallstar | 2025-11-05 16:09:41+00:00
We don't know that that's all that did it. ABC chose to do it, and probably because what he said was really ignorant and inflammatory to the US political left's violent streak.

I am as against the Republicans doing this stuff even 5% as much as the Democrats did, so I'm glad the Trump administration turns out to have not done anything to get him off the air.
by conductr | 2025-11-05 16:09:43+00:00
> I got my start as a script kiddie writing automations for this system with Microsoft Access, VBA, and SendKeys to automate data entry

I've done exactly this for the likes of JP Morgan Chase. Many of their core banking systems are some COBOL/Fortran mainframe (that I know nothing about) but the interface through a TUI client. When they have a desire to work in a more modern fashion, it's SendKeys to the rescue. There's definitely still a lot of TUI's that run the world.
by 2earth | 2025-11-05 16:09:43+00:00
Hey, thanks a lot for sharing, a couple comments/questions:

Would it be possible add a little more writeup in tooltips etc to help interpret graphs?

The time series data isn't possible to interrogate on a phone at all and in general I suspect it's too complex for most users, unless you're downloading a dataset and analysing. So I wonder if there's another way of displaying the data that gives some interpretation. Presumably the main figure we care about here is something like "hourly total renewable supply" and "hourly demand" so the energy mix might be better shown as a stacked chart not individual lines?

Perhaps the "non renewable" hourly component could be represented as a grey fill, to help communicate the total mix?

Would it be possible to also show the daily/monthly/annual totals in a sort of balance sheet, so we can see how/where tradeoffs between non-renewable and renewable certificates were made?

Perhaps I'm not explaining myself too well but while the point is to illustrate that at a real time level many suppliers are not matching demand with renewable supply, it becomes a bit confusing because it almost looks like they just aren't meeting demand at all.

Thanks for the work, it's a great project and will no doubt be valuable for policymakers
by Imustaskforhelp | 2025-11-05 16:10:04+00:00
Pardon me if this is a basic question but surprised I couldn't find more details regarding it.

What prevents an end user to either buy a japanese vpn and use that to connect to the app store.

I doubt that a vpn running itself inside an ios phone itself would work out of the box but what about if its running at a router level or lets say I use a vpn on another phone and use it to create a hotspot to connect to in an ios phone.

Don't things like these basically allow these rules to effectively break the ios monopoly.

Or think about it this way, lets say I go to japan and install an third party app store and then go back to some other country, would the 3rd party app store still work?

I am also wondering about what mechanism can be used which can make a third party store work in the first place, I know of IOS jailbreaks so would it be similar to it, how would they detect that its in "japan"

Or would these work at a hardware level? That a phone sold in japan would have such features, if that would be the case, I would assume it would increase the values of such phones.

I would appreciate it if people could tell me more about what's the case and answer my questions.
by evanelias | 2025-11-05 16:10:44+00:00
Hoboken has the fourth-highest population density of any municipality in the US. Although it is mostly low-rise in character, there aren't many single-story buildings there at all.

A good chunk of Hoboken was originally swampland; you can't exactly put in skyscrapers there. And even if you could, the other infrastructure (roads, water mains, sewers, trains, parking) absolutely could not support that level of development. You would basically need to bulldoze the entire town and build much wider roads etc... which would then cut into how much land could be devoted to housing.

Edit to add: genuinely baffled by the downvote. I lived in Hoboken for 7 years, and regardless of any personal opinions on the pros and cons, the town indisputably has infrastructure problems at its current density level: frequent water main breaks, flooding, over-crowded trains, buses that are too full to take on passengers, sink-holes, constant traffic jams at the few exits to town, double-parking / obstructed bike lanes, waiting lists for municipal garages (one of which is literally falling apart). The density level is objectively quite high relative to the US [1] and it's quite simply factually incorrect to list Hoboken as an example of insufficiently-dense housing in the US.

[1] https://en.wikipedia.org/wiki/List_of_United_States_cities_b...
by btilly | 2025-11-05 16:10:44+00:00
As a kid, yes. As an adult protecting your kid, also yes. As a way to discourage bullies from bullying? Unless you are willing to escalate to jail, no. And even then it isn't that you have dissuaded them, it is that you are physically restraining them.

We can pretty reliably do better than that now. And yes, schoolyard bullying is way down from what it used to be. (A fact somewhat hidden by our calling out milder forms of bullying.)
by A4ET8a8uTh0_v2 | 2025-11-05 16:10:54+00:00
It is it even worse in a sense that. It is not either. It is not neither. It is not even both as variations of Branda exist throughout the multiverse in all shapes and forms including one that can troubleshoot her own formulas with ease and accuracy.

But you are absolutely right about one thing. Brenda can be asked and, depending on her experience, she might give you a good idea of what might have happened. LLMs still seem to not have that 'feature'.
by Kon5ole | 2025-11-05 16:11:01+00:00
>> You can get 8K TVs for <$1000 now.

>8K at jumbo TV size has relatively large pixels compared to an 8K desktop monitor. It’s easier to manufacture.

I don't think that's true.

I've been using a 8k 55" TV as my main monitor for years now. It was available for sub-800 USD before all such tv's vanished from the market. Smaller pixels were not more expensive even then, the 55"s were the cheapest.

4k monitors can be had for sub-200 usd, selling 4x the area of the same panel should be at most 4x that price. And it was, years ago.

So they were clearly not complicated or expensive to manufacture - but there was no compelling reason for having 8k on a TV so they didn't sell. However, there IS a compelling reason to have 8K on a desktop monitor!

That such monitors sell for 8000 usd+ is IMO a very unfortunate situation caused by a weird incompetence in market segmentation by the monitor makers.

I firmly believe that they could sell 100x as many if they cut the price to 1/10th, which they clearly could do. The market that never appeared for tv's is present among the world's knowledge workers, for sure.
by alecco | 2025-11-05 16:11:01+00:00
This is a very dumb take. The US markets are over-leveraged so they are very sensitive to any Fed rates news. Mag7 are still doing very well this month in spite of the madness of issuing 60 billions in bonds to build AI datacenters.

But China just built a massive navy so many are expecting a blockade of Taiwan in the next few years. China also blocked chip exports in the Nexperia spat with the EU, showing their hand. On top of tight rare earths export controls. It's very rational to buy as many chips as possible while they are available. And Wall Street is very happy to finance all this.

The problem is the rest of the economy is out-competed for financing at times of economic distress. And they are over-leveraged, too.

It seems the powers that be decided to sacrifice the wider economy and American workers. Bailouts for me but not for thee.
by dec0dedab0de | 2025-11-05 16:11:11+00:00
I would say that Rpython is successful. However, it's primary goal is to be whatever the PyPy developers need to write PyPy.

I totally agree about subsets though, I would much rather have a superset like Cython, but that has it's own challenges for compatibility if you wanted to have a "pure python" version of the same library. Which is why I really like that Cython is using typehints now.
by SilasX | 2025-11-05 16:11:16+00:00
>As it is we have a system of private "insurance" that can't consider the risk level of those being insured. All that means is the companies charge everyone else more to subsidize the cost of those who are more at risk.

That's what social insurance/welfare systems do throughout the developed world -- make sure everyone's covered at some minimal level even if it wouldn't be profitable when evaluated individually; it's just using insurance companies as an arm of the state to pull it off.

If, as it seems, your only objection is to labeling it "insurance", that's not a substantive objection to the merit of the policy, only how it's marketed.
by urnicus | 2025-11-05 16:11:17+00:00
I remember training a new hire on her first day and, about an hour in, she said she needed a coffee break. I never saw her again lol.

Typically the first two weeks of training revolved around new hires asking why in the world we used this system before their spirits broke and they reluctantly plunged into the deep end...kind of like being released into the matrix.
by arandr0x | 2025-11-05 16:11:18+00:00
I think it's worth mentioning that while biometrics for identification have flaws (as mentioned in this thread, they're not 100% collision free, are not necessarily secret, and are non-trivial to collect), DNA has a different risk profile if it leaks than fingerprints and iris scans if you consider technology advances. DNA could let people (moving beyond government, since you should probably assume anything in a government database will be leaked at this point) target your family and not just you, it includes information that could let adversaries find out ways you're uniquely exploitable (for instance allergies, sensitivities, diseases) and in general its potential for harm goes far beyond impersonation or being used in court.

(On the plus side, I suppose, I think the story on storing DNA at the scale we're talking about is not fully complete. DNA does denature and it takes a reasonably good sample to get a full genome sequence, and fully sequencing and storing data for every person has other practical issues. The article itself only references using DNA results to "prove or disprove biological sex", which is much more trivial and while it's likely to come with its own problems and edge cases, is also much less information.)
by rkomorn | 2025-11-05 16:11:41+00:00
I kiiinda see where you're coming from but I guess I just don't buy it, TBH.

I think greed is what's causing cut corners.

You mention Boeing, and they were quite healthily profitable during the entire time they were cutting corners on the 737 MAX. Airbus wasn't an existential threat. It still isn't, in fact, even after all the fallout.
by alwayseasy | 2025-11-05 16:11:55+00:00
Specifically here, he is under oath in France so an American gag order wouldn't protect him from the French justice system.

This make it less likely he's lying. It could be possible Microsoft France has a "rogue" employee system where a key person only obeys to Microsoft US orders rather than his French boss and French law. Then the boss can swear to the Senate that they're complying.

This is exactly the system the US Congress accused TikTok of having set up.
by MomsAVoxell | 2025-11-05 16:12:10+00:00
Look, if someone hasn't done it already, I see absolutely no reason not to build a Lua-based IPFS process, port it absolutely everywhere, and use it to host its own operating system.

Why does it always need to be so difficult? We already have the tools. Our methods, constantly changing and translblahbicatin' unto the falnords, snk snk... this kind of contrafabulation needs to cease.

Just sayin'.

IPFS+Lua. It's all we really need.

Yes yes, new languages are best languages, no no, we don't need it to be amazing, just great.

It'll be great.
by npteljes | 2025-11-05 16:12:38+00:00
>That is because it is now the tech giants that are accused of exploiting pirated content on an industrial scale

Nah. Media just moved to services, and with that, the main media consumption turned from piracy to subscriptions / ad supported streams.

Lack of public interest is also reflected in the fact that there were not really any development on the piracy front technologically in the last 15 years - or am I behind the times? Between 2000 and 2010, there were a lot more new software, new tech, different ways developed to get files, than there were between 2010 and 2025.

Even with pirating content, I think illegal streaming sites take most of the traffic. There is also much more content than there ever was, making the culture diverse, fragmented, and one-time use only.

So, I think,

1. Services happened to piracy. It's not about collecting files now, but about using an online service to view.

2. At the same time, collecting turned into consuming.
by weird-eye-issue | 2025-11-05 16:13:03+00:00
You are right about timing being key when buying put options but...

> Or you could end up getting margin called

Completely false

Buying puts is a short position and does not require any further maintenance costs

Yes, theta decay is a thing but stating you can get margin called or there is any level of maintenance required is completely wrong and shows a total lack of understanding of the very basics of options
by dclowd9901 | 2025-11-05 16:13:13+00:00
I'm having a hard time following the through line on these first principles. Likely it's just a "me" problem because I have status quo system designs set in my head, but here are some ideas that seem conflicting to me:

> Hardware and software must be designed as one

In here, they describe an issue with computers is how they use layers of abstraction, and that actually hides complexity. But...

> Computers should feel like magic

I'm not sure how the authors think "magic" happens, but it's not through simplicity. Early computers were quite simple, but I can guarantee most modern users would not think they were magical to use. Of course, this also conflicts with the idea that...

> Systems must be tractable

Why would a user need to know how every aspect of a computer works if they're "magic" and "just work"?

Anyway, I'm really trying not to be cynical here. This just feels like a list written by someone who doesn't really understand how computers or software came to work the way they do.
Show HN: New eval from SWE-bench team evalutes LMs based on goals not tickets
by lieret | 2025-11-05 16:13:16+00:00
Current evals test LMs on tasks: "fix this bug," "write a test"

But we code to achieve goals: maximize revenue, cut costs, win users

Meet CodeClash: LMs compete via their codebases across multi-round tournaments to achieve high-level goals.

Because real software dev isn’t about following instructions. It’s about achieving outcomes.

Here's how it works:

Two LMs enter a tournament. Each maintains its own codebase.

Every round:

1. Edit Phase: LMs modify their codebases however they like 2. Competition phase: Codebases battle in an arena. 3. Repeat

The LM that wins the majority of rounds is declared winner.

Arenas can be anything like games, trading sims, cybersec envs. We currently have 6 arenas implemented and support for 8 different programming languages.

This has been one of our biggest projects in terms of scale to date. Over the past few months, we've completed 1.5k tournaments, totalling more than 50,400 agent runs. And you can look at all of these runs right now from your browser (links below!)

You can find the rankings on our website (spoiler: Sonnet 4.5 tops the list), but almost more interesting: Humans are still way ahead! In one of our arena, even the worst solution from the human leaderboard is miles ahead of the best LM!

And we're not surprised: LMs consistently fail to properly adapt to outcomes, hallucinate about reasons for failure, and produce ever messier codebases with every round.

More information:

https://codeclash.ai/ https://arxiv.org/pdf/2511.00839 https://github.com/codeclash-ai/codeclash
by TulioKBR | 2025-11-05 16:13:30+00:00
E obrigado por me mostrar o porquê o Brasil é tão pequeno e incapaz. Isso claramente me deu uma visão de que o meu método é diferente e que pessoas com baixa capacidade podem não entender MEU VERDADEIRO OBRIGADO!

Edit : discussão está se tornando improdutiva. A crítica sobre o localhost é válida para um código em produção final, mas irrelevante para um projeto open source com 8 dias de vida, cujo setup está claramente documentado no .env.example.

A crítica sobre "4 commits" ignora que o repositório contém uma arquitetura de 16 camadas e mais de 190 componentes de backend.

A crítica sobre "foi feito por IA" é o ponto central. Sim, foi. E esse é o diferencial.

A questão não é se a IA o fez, mas o que ela fez e como. O projeto está no GitHub. É a única prova que importa. Em vez de debatermos em texto, o desafio continua de pé: 1. Clone o repositório. 2. Execute o sistema. 3. Dê um prompt e veja se ele gera uma arquitetura comum ou algo de nível enterprise. Se depois de testar, você ainda achar que é 'alucinação' ou 'amador', terei prazer em ouvir seu feedback técnico detalhado em uma issue no GitHub ja que você é tão bom. Até lá, qualquer outra discussão é apenas ruído. Vou focar meu tempo em construir.
by panxyh | 2025-11-05 16:14:00+00:00
Oh, cheers then :)

But regarding flight ability, wouldn't that be V2? I thought there exist conditions where V1 is well below rotation speed.

Anyways,

> to make sure you can stop before the end of the runway

answers my main question, and makes sense from a procedural standpoint.

But still, hard to believe that there is no room for in-situ evaluation if runway overrun is worse than likely crash. Of course then again, those have to be split second decisions.
by Aurornis | 2025-11-05 16:14:00+00:00
> 40 degrees of FoV is massive for a single monitor! I'm sitting here wondering how much you have to turn your head to use this size monitor up close

You move your eyes, not your head. Plus or minus 20 degrees is a trivial amount of eye movement.

Most people are fine with this. Your requirement to comfortably see everything with minimal eye/head movement is atypical.

Even if you do have to move your head, that’s not a bad thing. A little head movement during long computing sessions is helpful.
by 56J8XhH7voFRwPR | 2025-11-05 16:14:23+00:00
The real problem is not politicians per se, its lobbyists. If you want blame the shortcomings of the ACA on anyone blame the insurance lobby. We need to get rid of lobbyists and put in term limits. period. It doesnt matter what party you support neither of them are looking out for your best interests. We should vote for people based on their individual beliefs and policies and not have to worry about what they are going to do in office because they get threatened by their party to vote this way or that way and hold the line ebcause if they dont they will primary you. If we have term limites, getting primaried doesnt matter as much anymore. It shouldnt be a career to be in DC. It should be a public service. The sooner we all realize this and quit picking a tribe the sooner things will get better.
by glenstein | 2025-11-05 16:14:24+00:00
I also think for the purpose of piloting a new system I don't mind people chasing whatever aspect of that mission most inspires them. Anything aspiring to be a universal paradigm needs to account for accessibility to have legitimacy in being "for everyone" but that doesn't necessarily have to be the scope when you're starting.

I'd like to think that prioritizing early phase momentum of computing projects leads to more flowers blooming, and ultimately more accessibility-enabled projects in the long run.
by danielmarkbruce | 2025-11-05 16:14:29+00:00
If a company has 1 billion in revenue and 999 million in costs, they are doing 1 million in earnings. It's trivially easy for them to grow earnings 30x, they can just decide to do it in most cases.

You have to look at the cost structure now v what it should be in a "steady state" situation, perhaps 10 years out.