MurphyA/hacker-news huggingface dataset:
by pbhjpbhj | 2025-08-03 10:17:40+00:00
>based on the ads everyone get

I'm not sure what you mean here? In context I suspect you mean 'because ads were chosen from a perspective of knowledge about you'?? But that's really opposite my experience (UK).

Ads now go hard on brainwashing. Same advert over-and-over, almost never anything I want to buy.

YouTube suggestions are pretty much inline with my previous viewing though.

My ISP has a list of every domain I connect to, my streaming providers know every video we watch, the supermarkets and credits companies know every item we buy at the shops, but still the brainwashing attempts continue for things we'd simply never buy.
by semolinapudding | 2025-08-03 10:18:31+00:00
AFAICT, this issue only comes up if you form the quotient of a proposition by a relation. But there is no point in doing that (all the proofs of a proposition are already equal!) so it's not an issue in practice and it wouldn't be difficult to fix.

However, Lean's SR is broken in other ways which do show up in practice: definitional proof irrelevance is incompatible with Lean's computation rule for Acc. That one is much harder to fix.
by chrismorgan | 2025-08-03 10:18:45+00:00
• Regular indexing (also charAt and charCodeAt) is by UTF-16 code unit and produces UTF-16 code units.

• codePointAt is indexed by UTF-16 code unit, but produces Unicode code points (normally scalar values, but surrogates where ill-formed).

• String iteration doesn’t need indexing, and thus is Unicody, not UTF-16y.

• Approximately everything that JavaScript interacts with is actually UTF-8 now: URIs have long been UTF-8 (hence encodeURI/decodeURI/encodeURIComponent being UTF-8y).

• Where appropriate, new work favours UTF-8 semantics.

—⁂—

Overall, I’d say it’s most reasonable to frame it this way:

① JavaScript models strings as potentially-ill-formed UTF-16. (I prefer the word “models” to the word “represents” here, because the latter suggests a specific storage, which is not actually necessary.)

② Old parts of JavaScript depend on indexing, and use potentially-ill-formed UTF-16 code unit semantics.

③ New parts of JavaScript avoid indexing, and use Unicode semantics.
by davexunit | 2025-08-03 10:19:00+00:00
Shepherd doesn't include this as it is quite lean and extensible (service start/stop hooks are functions that can do anything) but Guix includes a Linux container implementation and an abstraction built on top for use by services. The long term vision is to use an object capability security model so, rather than "locking down", a service can only interact with the resources to which it has been passed a reference. No ambient authority, no confused deputies.
by tialaramex | 2025-08-03 10:20:09+00:00
One of the things about Research Universities in particular is that there's always weird custom stuff everywhere. Thus "But why isn't it standard?" is a very stupid question. Doing the same things over and over but expecting different results isn't research it's insanity. So they're doing non-standard things because that's the whole point. There are systems that are "just" ordinary corporate stuff. Finance are not researching whether to pay suppliers, HR are not researching whether work contracts exist. But a lot of the organisation at any time is engaged in research, otherwise you're just a teaching university and to some extent that can actually be standardized and is the worse for it.
by achenet | 2025-08-03 10:21:58+00:00
> Now take a look at academia. Where does all that money come from? Taxes. Where do Taxes come from? Business and profit. Academic progress comes from business.

Where does the common education system and legal system system underpins the business world come from? Government. Who puts dollar bills into the hands of people and tells them "come next tax season, we're going to ask you for a bunch of dollars at gunpoint, which will make them valuable, so you better have some", which creates the demand for dollars which stimulates the economy? Government.

"Business and profit" are not possible without government, which will do stuff like "fund research into the internet so we don't lose the Cold War if the Russians nuke us", which leads to Google and Meta having great "business and profit", "spend billions on aircraft carriers patrolling the oceans to make sure that shipment of shoes Nike spend 3 dollars per pair to make in Cambodia gets to California where it will be resold for 100 dollars a pair", and "fund a school system and research institutions to ensure a steady stream of educated workers to build the miracle of modern capitalism".

So if you believe all progress comes from business and profit, you believe all progress comes from the government, because business and profit is a side effect of governement.

I encourage you to read Debt and Dawn of Everything by Graeber for more information on this subject :)
by subscribed | 2025-08-03 10:22:55+00:00
Snipers targeting children, mass-murders of the medical workers, repeated shelling of the ambulances, executions in the "aid" hubs, all are very well documented, often by the Israeli own military personnel.

https://www.ohchr.org/en/press-releases/2024/10/un-commissio...

There's a standing arrest warrant for some of the overseeing these atrocities, similar to these committed by Nazi Germany indeed.

There's a haunting, rich documentation of genocidal intent and eradication programmes, not only in Gaza, but Also West Bank - what does Hamas do in there?
by bspammer | 2025-08-03 10:23:31+00:00
I still don't understand how it works, the source code doesn't have any obvious sections to insert data for brute-forcing. I'm as confused as the judges:

> There are no magic numbers in the program, and bits of the input map to pixels of the output in a regular way, yet it outputs a nice icon for itself, if given the MD5 hash of its own source. How?

I'm assuming the fact that MD5 is completely broken plays into it somehow...
by DavideNL | 2025-08-03 10:25:43+00:00
> ” I find smart watches extremely frustrating and antisocial.”

Well, it’s the people who are antisocial, not the Watch…

My Watch is 100% silent and does not have notifications / vibrations (i disabled them.);

The exceptions are some Health related notifications, and regional/national alarm apps. But those are very rare to push notifications ( < 1 per month.)
by peterfirefly | 2025-08-03 10:25:51+00:00
The overwhelming majority of Chinese characters are composed of simpler characters. That helps a lot. You don't even have to be told that, you'll figure that out yourself fairly quickly. Being taught what the typical components are (there are several hundred) doesn't seem to be a shortcut, but you will need to roughly know them in order to use old-fashioned paper dictionaries.

Most characters have a sound part and a semantic part. The sound part is not very precise, but it helps. The semantic part can be quite abstract, such as the sign for mouth (a square or a squarish rectangle) for parts of speech (和 = and).

Like the others wrote, a phonetic system is used in the beginning to provide the pronunciation to the kids. The same system is usually used later for text input on computers or cell phones, possibly supplemented with support for drawing characters.

They have the additional problem that they might not speak Mandarin and the pronunciation support they are using is based on Mandarin.

It works much better than it has any right to, but it requires much more training to reach basic literacy than even an imperfect sound-based system like English. Weeks versus years. To reach proper literacy takes years and mountains of text in both cases.
by graemep | 2025-08-03 10:26:03+00:00
My problem with the 20mph speed limits in the UK is that they seem to be imposed fairly randomly.

There are many cases where wide roads with good visibility and few pedestrians crossing have 20mph limits. In one egregious case I experienced recently near identical stretches of the same road (it was a main road, I think an A road, passing through a built up area) switched between 20 and 30 mph limits. If anything it created a significant distraction keeping track of the limits.

There are a number of other roads like that have 20mph limits. On the other hand narrower side roads in the same areas has 30mph limits.

My road has a 20mph limit. On the bit I live on it makes no difference - narrower, parked cars etc. means you drive very slow anyway. Further down the road is broader and clearer. I think the reason maybe to encourage people to use the bypass instead of driving through the village so it may be reasoned- although I suspect the speed bumps are more effective at doing that.
by madeofpalk | 2025-08-03 10:26:37+00:00
Figma has a near monopoly because it built the better product. This is the preferred outcome compared to Adobe broadening their monopoly not by building a better product, but just by acquiring/squashing their competition.

Monopolies aren't illegal. Preventing competition is the thing we want to stop. As far as I can see, Figma doesn't do anything to give themselves an unfair advantage or prevent other players from entering the market.
by Xylakant | 2025-08-03 10:28:39+00:00
If you look at outcomes, 50km/h (30mph) is much less safe than 30km/h (20mph). If you look at the physics, that’s not surprising - stopping distances increase super linear. At the point where a 30km/h car would have come to a stop, a 50km/h car still impacts with 30km/h.

On the other hand, average speeds in populated areas usually are way lower than 30km/h, so lowering the top speed to 30km has negligible effect on travel times.

If you consider 50km/h the sweet spot, you prioritize vehicle speed over the very real risk of bodily harm for all other traffic participants.
by qaq | 2025-08-03 10:28:51+00:00
Sure but thats pretty orthogonal to the above. Say had to create parser+mapper for a domain specific query language that than gets mapped to a number of SQL backends. Used cc to create custom test harness that can use SQLC style files to drive tests. They are way more readable and much easier to maintain vs plain Rust tests for this task. Took half a day to create with cc would prob take like a week without it.
by spwa4 | 2025-08-03 10:29:40+00:00
... except for the fact that they're claiming 95%+ efficiency in an engine type nobody has ever seen running when actual existing reactors of that type can't seem to make it to 1%, and the two types of engine you can compare this (ICE, steam turbine) have SOTA efficiencies of 35% and 48%. This seems less than realistic.

Then again, this is being done with private funds. So let them, and frankly, I really hope it works. Hell, if they wanted reasonable subsidy for this, I say give it to them.
by styanax | 2025-08-03 10:29:46+00:00
The solution works really well though - a reliable, name-brand SSD (sic) in an old $100 Dell Latitude as the workhorse. The Latitudes allow changing the charging profile in BIOS to "always plugged in" amongst the other power friendly things (disable TurboBoost, etc.). Built in UPS, keyboard, monitor, wifi/eth; portable, quiet and with the right tuning (disabling a lot of modules in GRUB or module blacklists) runs most of the time without kicking the fan on. I run 2, one doing all the work and another backing it up. I run with only a partition encrypted (requires manual unlock after boot, my choice) so that I can remote login after boot to mount that, never have to actually open the laptop unless, say, wifi goes south. Laptop dies (they never do), just pull the SSD and slap in another one it's Linux it'll boot.
by foretoldfeline | 2025-08-03 10:30:17+00:00
> Does every service have hooks for possible extensions? What if a new service doesn't fit existing extension hooks?

No, only few services define service extensions.

It's more common for services to be configured solely via their configuration struct.

See the following for docs:

* https://guix.gnu.org/manual/en/html_node/Service-Composition...

* https://guix.gnu.org/manual/en/html_node/Service-Types-and-S...

This is less flexible-by-default than NixOS module, where any module can modify any other module. That is by design. The Guix developers see NixOS's approach as failing the principle-of-least-authority, where any arbitrary module (even those imported via flakes) can add a root SSH key.

I use NixOS, but it's an interesting tradeoff.
by NoLinkToMe | 2025-08-03 10:30:34+00:00
> I think most people dont meet in houses anymore.

Even if that was true (no data offered), that's a choice, not some kind of economic inevitability...

And again even if it was true, no it's not because of roommates, the number of people per household has gone down over time, not up, for decades.

And no it's also not because we live in smaller homes, the average size of homes has gone up also, for decades. We now have about 2.5x more square footage per-person in our homes than 50 years ago.

And we all know that are homes are way more equipped with entertainment than ever before (internet with the world's content at our fingertips, home cinema, home libraries, home music sets etc).

As for the 600k FAANG, I've never earned more than 100k, never worked in tech, and grew up on welfare. I've been a bottom 10% of the economic ladder for about 80% of my life, and a top 10% (not top 0.1%) for about 20% of my life. Regardless of background, I think we can speak about facts borne out by the data.
by graemep | 2025-08-03 10:32:06+00:00
A lot of people seem to want to live in cities though. Scroll through this graph, especially the broad categories at the bottom of the page, and there is a consistent global trend to urbanisation: https://data.worldbank.org/indicator/SP.URB.TOTL.IN.ZS?locat...

House prices are almost far higher in big dense cities, so people are clearly willing to pay a premium to live there.

People either want or need to live in big cities.
by Xant42 | 2025-08-03 10:32:17+00:00
Hello. I can confirm being the person that produced the shows live event and graphics and whatnot that I had a chance to see if any of the llms available could understand the code and beyond some very superficial stuff they more or less completely failed to understand any of the entries this year. Hope you enjoyed the presentation. There will be more to come in the out favorite universe channel in the future that should be fun.
by XorNot | 2025-08-03 10:34:04+00:00
I feel very comfortable saying in 5 years Helion won't have anything.

Because HackerNews was soooo confident that a startup style skunkworks initiative would lead to over-unity fusion in 5 years[1]...in 2014.

Then they were soooo confident that MIT was going to blow past ITER to over unity fusion[2] ... in 2020.

It's 2025, and the latter project is still running but now predicting it'll finish it's big reactor post-2030.

Helion are currently now reporting no new results, but claiming they'll hit net-energy in 2028 somehow despite little technical detail. After claiming they'll show net-energy fusion in 2024.[3]

So there's my evidence. Where's your evidence?

It should be noted that I'm not actually against private fusion research - more research is great. But the unfounded confidence with which HackerNews users make predictions of the obvious superiority and success of private industry in achieving fusion has a track record of "we still don't have fusion" despite company's dating back as early to early last decade when we're mid-2020s now.

[1] https://news.ycombinator.com/item?id=8458339

[2] https://news.ycombinator.com/item?id=24629828

[3] https://en.wikipedia.org/wiki/Helion_Energy
by saltwatercowboy | 2025-08-03 10:34:27+00:00
Your attitude is sadly widespread in tech. I don't know if it's because of rejection, or fear, or something else, but we really are nothing more than the social world we live in. Substituting that for a theoretically perfect AI 'companion' is hollow and destructive. It's like watching the movie 'Her' and thinking - wow, that looks great.
by Gehinnn | 2025-08-03 10:34:28+00:00
Does this mean that most of the proofs in Lean and LeanQ would look exactly the same, it's just that the proofs of some technical low-level lemmas around quotient types (which I guess mathematicians are not really interested in anyway) look different?

For example, if I want to prove that a+b=b+a, I wouldn't care if I'm directly in peano arithmetic or just have a construction of the peano axioms in ZFC, as in both cases the proofs would be identical (some axioms in PA would be lemmas in ZFC).

If that's the case with quotients, I wonder why it's such a big deal for some.
by shortrounddev2 | 2025-08-03 10:35:06+00:00
If my boss came to me and said "hey we're going to start vibe coding everything st work from now on. You can manually edit code but claude code needs to be your primary driver from now on" I would quit and find a new career. I enjoy coding. I like solving puzzles using the specifics of a language syntax. I write libraries and APIs and I put a great deal of effort into making sure the interface is usable by a human being.

If we get to the point where we are no longer coding, we are just describing things in product language to a computer and letting it do all the real work, then I will find a more fulfilling career because this ain't it
by xp84 | 2025-08-03 10:35:36+00:00
Of everyone I’ve heard that has done that, it’s rare to find someone who felt so excluded as a gaijin that it wasn’t a net positive experience. Most look back on it pretty fondly.

In terms of solving their population collapse, I think white Westerners aren’t really an important demographic for them to attract though, with our very foreign culture and values on top of our very different language. If Japan can bring itself to stomach the idea of bringing lots of foreigners in to prevent the country from collapsing, they ought to import people from some of their closer neighbors, with which they have more similar language and more collectivist culture.
by pbhjpbhj | 2025-08-03 10:35:52+00:00
20-to-30 causes a step change in pedestrian outcomes, so no, the logical conclusion isn't 0mph. Also the average speed on 30mph roads before the changeover was around 20mph.

It improves traffic flow and reduces pollution too.

My only objection is that it's been applied in a somewhat blind way. Long sections of road with no houses and no reported accidents should probably be 30, or even 40mph.
by achenet | 2025-08-03 10:36:10+00:00
downsize Facebook back to like a couple thousand people max, use the resulting savings to retire and start your own AI instead of doing the whole shadow artist "I'll hire John Carmack/top AI researcher to work for me because deep down I can't believe I'd ever be as good as them and my ego is too afraid to look foolish so I won't even try even if deep down that's what I want more than being a capricious billionaire"?

or am I just projecting my beliefs onto Mark Zuckerberg here?
by diggan | 2025-08-03 10:36:40+00:00
> I’ll end up releasing the raw shapr3D files after a month or two of debut online; I like to make sure I work out any earth shattering issues there may be prior to dumping the source for everyone to poke freely

To take a look at the 3D files for the chassi was literally the reason I open the blog post, sadly they haven't been published yet!

In the meantime, what are people's favorite 3D printed desktop/NAS chassis? I'm currently sitting and sketching one myself and looking for inspiration :)
by Amezarak | 2025-08-03 10:37:00+00:00
> The “left” in terms of voters is against the genocide in Gaza and for socialist policies and candidates like Mamdani. Plenty of polls and evidence supports this.

Not only are "left" and "right" vague relative terms used to classify the electorate in the US, they also encompass a whole array of issues an things that aren't binaries that fit on the axis. Someone can be pro-Israel and yet overall of the left; just as someone can be very pro-Palestine and yet overall of the right. In fact on this particular issue this seems more and more common - the real divide is probably generational versus political. I recently heard a segment on the radio from a convervative evangelical bemoaning that their future leaders were increasingly "anti-Israel" and this was a huge problem.

In America, we simply roughly assign Democratic positions - left, Republican position - right. These are both really big tents. "Left" positions include support of candidates like Sanders or Mamdami but also in practice even stronger support for candidates like Clinton and Biden.

Arguing that someone is "on the right" simply because they don't support your candidate of choice is silly; it's sort of like the rightists out there arguing Trump is a liberal RINO because he doesn't support the bedrock conservative principle of free trade.

> Their opinion columns like David Brooks etc are blowhard conservatives too.

NYT does make a show of having a "balanced" opinion panel and David Brooks is one of the token (2 of 11 in the source link) conservatives, but it seems strange to describe such a bland, anodyne person (also anti-Trump, by the way) as a blowhard. IIRC one of the complaints from the opinion editor that got fired for printing pro-Trump letters to the editor was that not one single columnist was pro-Trump and therefore obviously didn't represent any mainstream conservative audience.

edit: this was the nyt article I was thinking of: https://www.economist.com/1843/2023/12/14/when-the-new-york-...
by tonyhart7 | 2025-08-03 10:37:38+00:00
Yeah but its not made up money tho, meta(fb) must buy out stocks at certain point while its true that many of its would vested for period of time. it still cost them in the future

what more embarrassing is that they do this to poach AI talent because they massively behind on AI races, like they literally still to the extend of king of social media (fb,instragram,whatsapp etc)

they should do better given how much data, money, resources they have tbh
by audinobs | 2025-08-03 10:39:04+00:00
That is because there has been tremendous stagnation in wages outside of software in the middle. Huge compression between the middle and min wage.

My first job as a cook pays basically the same as what my first processional job pays now. It was a huge win for me at the time and now would have been no raise at all.

I think this is expressed in the jump in housing prices since covid too. So young people have better purchasing power besides for the one thing everyone wants.
by tsoukase | 2025-08-03 10:40:38+00:00
Driving is an extreme responsibility. You carry a 1tn metal object at high speeds a few metres away from human bodies. Accidents happen for a dozen reasons, speed being the most important.

All governments should take drastic measures to reduce car accidents. In my countrynthere are still street corners and parts where fatal accidents happen all the time. They could start from there.
by achenet | 2025-08-03 10:41:07+00:00
time for another case against Microsoft?

They got off against monopoly charges, how will they handle the ol' "ads in the Start Menu is a crime against humanity on par with genocide"?

Probably like the time Meta handled a genocide in Mynammar: without any serious consequences :DD https://www.amnesty.org/en/latest/news/2022/09/myanmar-faceb...
by aziaziazi | 2025-08-03 10:41:26+00:00
There was a study [0] in Paris that demonstrates a signifiant life expectancy and positive benefit/risk ratio of bicycling or commuting by public transports: the effect on physical and psychic health largely outweighs (sometimes to x30) the risk of accidents and pollution disease.

> without transport

Nobody argues to remove all cars altogether, and certainly not other forms of transport. However we certainly can rethink the millions of individual cars in each cities: does everybody needs its own 1ton vehicle to bring food back from the local supermarket? To go to work 2-20km away?

[0] (2012, french) https://www.ors-idf.org/nos-travaux/publications/les-benefic...