MurphyA/hacker-news huggingface dataset:
by stephen_g | 2025-12-17 03:58:41+00:00
I have the same air to water heat pump HWS that Dave has - it's a split system so you can put the tank inside the basement and the heat pump outside. You just need to run two insulated water pipes between them and a temperature probe cable. There are of course systems where the heat pump is attached directly on top of the tank but lots are split. They should easily work at -10 °C so no issue having the heat pump outside.
by somat | 2025-12-17 03:59:20+00:00
Very cool, I wonder why the service was never updated to work with saturn. No hdd would be my guess. with no hdd games have to be absurdly small to fit in ram.

I will note that as I was reading the saturn specs(I am unfamiliar with the system) I found that there are save cartridges and a saturn modem. Everything needed hardware wise. It looks like they made a internet(dialup) based version for saturn.

And final thoughts: It would be neat to see what sort of back end services they were using if those were in the recovered backup tapes. probably quite a bit more sensitive than releasing roms so may not happen.
by steve_adams_86 | 2025-12-17 04:00:49+00:00
My experience with Apple's support is abysmal. They left me without a working product for something like 6 months despite the product being faulty (bricked Studio Display). Years prior to that I had issues with a MacBook Pro. That also took way too long to repair (6 weeks), and I was treated as though I broke it rather than the hardware failed due to manufacturing defects. Very much a 'guilty until proven innocent' customer support experience.

I hope that's not the typical experience, but it's certainly mine.
by dibujaron | 2025-12-17 04:01:18+00:00
The funding model where, if I understand correctly, the construction contractor gets paid less (maybe none?) up front but gets 0.75ca per passenger-kilometer traveled on the system, is cool and does seem like it'd help align incentives and keep costs down.

Some of the other advantages listed in this article were enormous free wins not easily replicated elsewhere though. Somebody else had already paid for the new bridge to be wider to have a transit reservation on it. The same is true for the mount royal tunnel, which was conveniently and cleverly reused for sure, but which cost a staggering amount to construct when new.

This article calls standardization a key, but this system is entirely separate from Montreal's existing subway, and therefore doesn't match any existing standard within the city. https://xkcd.com/927/

Many of the great features suggested here (platform screen doors, full automation) are only possible on a brand new system like this. Very few cities have enough leftover rights-of-way to piece together entire new networks like this for cheap, without enormous land takings or tunneling. If you do have space for a new network, then inventing a new standard and using it makes sense; but if you don't, the best you can do is incremental evolution of the one you have.
by nitwit005 | 2025-12-17 04:01:59+00:00
People admit they lie on surveys. There have, somewhat ironically, been surveys about this: https://www.bbc.com/news/blogs-magazine-monitor-29206289

I'm afraid struggles with dishonesty about what they want to eat is a somewhat common relationship problem: https://www.reddit.com/r/mildlyinfuriating/comments/sydaj0/w...
by canyp | 2025-12-17 04:03:12+00:00
Most AAA titles are on DX12 now. ID is on Vulkan. E-sports titles remain largely on the DX11 camp.

What the modern APIs give you is less CPU driver overhead and new functionality like ray tracing. If you're not CPU-bound to begin with and don't need those new features, then there's not much of a reason to switch. The modern APIs require way more management than the prior ones; memory management, CPU-GPU synchronization, avoiding resource hazards, etc.

Also, many of those AAA games are also moving to UE5, which is basically DX12 under the hood (presumably it should have a Vulkan backend too, but I don't see it used much?)
by 93n | 2025-12-17 04:03:41+00:00
+1. I switched from Pop OS to Debian + KDE last week, and KDE has been solid. I too read a handful of articles calling out the choice fatigue, and other than a few tweaks (maybe half an hour?) I was ready to go. I run old-ish hardware (circa 2013) without any issues.

Something notable is that the all the hotkeys felt 'just right'. I had to tinker a bunch in Pop OS to get satisfying hotkey combos, and the COSMIC upgrade reset them all.
by rootusrootus | 2025-12-17 04:05:45+00:00
Alright, I will accept that what you say about license plate data is true (though I know there remains ongoing debate about it, IANAL so I cannot claim to know anything more).

That gets you as far as distributing the license plate, location, and time. But if you combine that data with other non-public data, then it is no longer a First Amendment protected use.

As an aside, if we cannot figure out a way to make this fit with the First Amendment as written today, we need to make updating that a priority already. The founders had no idea that we would end up with computers and cameras that could automatically track every citizen of the country with no effort and store it indefinitely. "No reasonable expectation of privacy" rests on a definition of reasonable that made sense in the 18th century. Our technological progress has changed that calculus.
by esseph | 2025-12-17 04:05:50+00:00
Maybe you should calibrate your definition of what "typical tech comp" means and what roles that applies to, and at what companies.

Median US Salary for a Data Center Technician is around 80k.

Median US Salary is $63,360.

Median household income is around $75,763 (Detroit CSA #s).

There's a lot of people out of work right now.
by tigranbs | 2025-12-17 04:06:50+00:00
TBH, the idea seems way outdated for the current state of software engineering. The Rust compiler provides a massive benefit for AI Coding because it literally catches all the failure cases, so all AI have to do is implement the logical parts, which is usually a no-brainer for something like a Claude Code or Codex.

For example, the https://github.com/SaynaAI/sayna has been mostly Claude Code + me reviewing the stuff + some small manual touches if needed, but for the most part, I have found that Claude Code writes way more stable Rust code than JS.

It would be easier and safer to give the JS code to a translator and have it translate it into Rust, and then continue AI Dev with Rust, than to invest time in an automated compiler from JS to Rust. IMHO!
by somenameforme | 2025-12-17 04:06:56+00:00
You don't need skepticism, because even if you're acting in 100% good faith and building a new model, what's the first thing you're going to do? You're going to go look up as many benchmarks as you can find and see how it does on them. It gives you some easy feedback relative to your peers. The fact that your own model may end up being put up against these exact tests is just icing.

So I don't think there's even a question of whether or not newer models are going to be maximizing for benchmarks - they 100% are. The skepticism would be in how it's done. If something's not being run locally, then there's an endless array of ways to cheat - like dynamically loading certain LoRAs in response to certain queries, with some LoRAs trained precisely to maximize benchmark performance. Basically taking a page out of the car company playbook in response to emissions testing.

But I think maximizing the general model itself to perform well on benchmarks isn't really unethical or cheating at all. All you're really doing there is 'outsourcing' part of your quality control tests. But it simultaneously greatly devalues any benchmark, because that benchmark is now the goal.
by arnz-arnz | 2025-12-17 04:07:17+00:00
all I can hope for is that a new industry or reliable ecosystem of vetters of real human talent will emerge. Are you really as good a writer as you claim to be? Show us the badge. That or AI firms have to be forced to 'watermark' all their creative outputs, and anyone misleading the public/audience should be punishable by law.
by ehnto | 2025-12-17 04:07:48+00:00
I have always felt furigana bridges that gap well enough in written learning. The downside is that it might become a crutch, but it can't for long if you are serious about learning reading. Native materials pretty quickly drop furigana.

Like with a lot of things like this, if you learn for long enough the differences in the major approaches work themselves out.
by lcnPylGDnU4H9OF | 2025-12-17 04:07:53+00:00
> I still can't make an Apple ID. So now I can't ever get a job at Apple

Is this actually a requirement to work at Apple? What is the legality of employers demanding their employees agree with unrelated-to-their-job terms and conditions? I mean, one of these conditions is that you settle all disputes with them through arbitrators of their choosing, that would be crazy if true.
by D-Machine | 2025-12-17 04:07:53+00:00
It is tempting to speculate on what might cause the credulousness of the broader public re: fMRI, but I think there is enough / too much going on here for me to really be able to say anything with much confidence. Scientism especially is hard to define.

I think I broadly agree with you though that credulousness to (statistically and methodologically weak) scientific / technological claims mostly comes down to vibes and desires / needs, and not statistical significance, logical rigor, evidence, or etc.

Where needs / desires are high, vibes will (often) win over rationality, and vice-versa. It is easier for people to be objective about science that doesn't really clearly matter in any obvious direction, or at all. fMRI is "the mind", and thus consciousness, and so unfortunately reduces rational evaluation in much the same way speculation about AI and "consciousness" and etc does. *Shrug*
by AnonC | 2025-12-17 04:08:32+00:00
> It's interesting that most people on Windows PCs switch to Chrome when Edge is the default

This is primarily because most people on Windows use Gmail and other Google services, and any time you visit a Google web property from a non-Chrome browser, there’s a prominent “Install Chrome” button that’s placed on those. Without Google’s web properties pushing Chrome even to this day, Chrome may not continue to be as big.
by mullingitover | 2025-12-17 04:09:04+00:00
Fair point, there's a good chance we'd be living in a techno utopia right now if someone was able to go back in time and prevent Yahoo from murdering so many promising startups. Conversely, if Yahoo had just spent the relative pocket change that Google was asking for back in the day perhaps we'd be living under the oppressive thumb of a trillion dollar market cap Alta Vista.
by throwaway2037 | 2025-12-17 04:09:59+00:00
> The main issues probably arise on official documents and stuff with financial impact.

Do you have evidence of this? Else, I doubt it. Most official documents will also require your residence address. If you are signing any official documents, they will check your zairyu or My Number card for both photographic similarity, romaji (roman character) spelling of your name, and residence address. All of these in combination can easily uniquely identify a foreign resident in Japan.
by mmooss | 2025-12-17 04:10:58+00:00
The article is about all internet-connected devices:

"Global computing power demand from internet-connected devices, high resolution video streaming, emails, surveillance cameras and a new generation of smart TVs is increasing 20% a year, consuming roughly 3-5% of the world’s electricity in 2015, says Swedish researcher Anders Andrae."

It's not crazy to think it might increase to 20%. How much is it really in 2025?
by heavyset_go | 2025-12-17 04:11:19+00:00
> Why are you making your stuff open source in the first place if you don't want other people to build off of it?

Because I enjoy the craft. I will enjoy it less if I know I'm being ripped off, likely for profit, hence my deliberate choices of licenses, what gets released and what gets siloed.

I'm happy if someone builds off of my work, as long as it's on my own terms.
by araes | 2025-12-17 04:11:28+00:00
Was curious whether the Zero Width Joiner was ad-hoc with anything provided, or a long list of specific combinations. Turned out it was specific combinations, and the list is rather impressive.

[1] https://unicode.org/emoji/charts/emoji-zwj-sequences.html#1f...

Unicode.org has a list of the recommendations [1]. It's somewhat long. Takes a bit to load. There's also a bunch that are "really" long. "man facepalming: medium-light skin tone" is great. U+1F926 U+1F3FC U+200D U+2642 U+FE0F Now I can do a Picard in Unicode. Now if only they had "man who is bald facepalming." Pretty sure that means adding U+1F9B2 somewhere, maybe U+1F468 U+200D U+1F9B2.

U+1F468 U+200D U+1F9B2 U+1F926 U+1F3FC U+200D U+2642 U+FE0F kind of works.

Also like U+1F9B9 U+200D U+2642 U+FE0F, "man who is supervillain". Current version looks more like Minions movie, and suggested sample looks more like "mime vampire who is stuck in plastic action figure container"
by inimino | 2025-12-17 04:11:41+00:00
I both agree and disagree. Yes, AI will democratize access to formal methods and will probably increase the adoption of them in areas where they make sense (e.g. safety-critical systems), but no, it won't increase the areas where formal methods are appropriate (probably < 1% of software).

What will happen instead is a more general application of AI systems to verifying software correctness, which should lead to more reliable software. The bottleneck in software quality is in specifying what the behavior needs to be, not in validating conformance to a known specification.
by tonyarkles | 2025-12-17 04:11:51+00:00
Heh, it’s -11C here right now and my thermostat is set to drop to 65F overnight.

Also, with respect to the metric/imperial systems of measurement… officially the government is all metric, but due to the history of it all there will be a bunch of regulations that say things like “the toilet must be at least 228.6mm away from the wall” because the pre-metric standard was 9 inches.

And a final one for the prairies: in the 1800s there was the Dominion Land Survey, which carved us up into 1 mile x 1 mile squares. They did a truly impressive job of it. However, the edges of these squares is where the road allowances are, which means that despite the speed limit being in km/h, you are almost certainly going to be travelling N miles down the highway to get to your destination.
by guywithahat | 2025-12-17 04:12:04+00:00
The more I've looked into the topic the less I think the removal of lidar was a cost issue. I think there are a lot of benefits to simplifying your sensor tech stack, and while I won't pretend to know the best solution removing things like lidar and ultrasonic sensors seem to have been a decision about improving performance. By doubling down on cameras your technical team can remain focused on certain sensor technology, and you don't have to deal with data priority and trust in the same way you do when you have a variety of sensors.

The only real test will be who creates the best product, and while waymo seems to have the lead it's arguably too soon to tell.
by tigranbs | 2025-12-17 04:12:51+00:00
IMHO, this is not too bad! But obviously, coming from the software product industry, everyone knows that building features isn't the same as operating in practice and optimizing based on the use case, which takes a ton of time.

Waymo has a huge head start, and it is evident that the "fully autonomous" robotaxi date is far behind what Elon is saying publicly. They will do it, but it is not as close as the hype suggests.
by Veserv | 2025-12-17 04:13:15+00:00
The most damning thing is that the most advanced version, with the most modern hardware, with perfectly maintained vehicles, running in a pre-trained geofence that is pre-selected to work well [1] with trained, professional safety drivers, with scrutinized data and reporting average a upper bound of 40,000 miles per collision (assuming the mileage numbers were not puffery [3]).

Yet somehow they claim that old versions, using old hardware, on arbitrary roads, using untrained customers as safety drivers somehow average 2.9 million miles per collision in non-highway environments [2], a ~72.5x difference in collision frequency, and 5.1 million miles per collision in all environments, a ~175x(!) difference in collision frequency, when their reporting and data are not scrutinized.

I guess their most advanced software and hardware and professional safety drivers just make it 175x more dangerous.

[1] https://techcrunch.com/2025/05/20/musk-says-teslas-self-driv...

[2] https://www.tesla.com/fsd/safety

[3] https://www.forbes.com/sites/alanohnsman/2025/08/20/elon-mus...

[3.a] Tesla own attorneys have argued that statements by Tesla executives are such nonsense that no reasonable person would believe them.
by cyber_kinetist | 2025-12-17 04:13:36+00:00
If you look at the details you can clearly see SDL3_GPU is wildly different from this proposal, such as:

- It's not exposing raw GPU addresses, SDL3_GPU has buffer objects instead. Also you're much more limited with how you use buffers in SDL3 (ex. no coherent buffers, you're forced to use a transfer buffer if you want to do a CPU -> GPU upload)

- in SDL3_GPU synchronization is done automatically, without the user specifying barriers (helped by a technique called cycling: https://moonside.games/posts/sdl-gpu-concepts-cycling/),

- More modern features such as mesh shading are not exposed in SDL3_GPU, and keeps the traditional rendering pipeline as the main way to draw stuff. Also, bindless is a first class citizen in Aaltonen's proposal (and the main reason for the simplification of the API), while SDL3_GPU doesn't support it at all and instead opts for a traditional descriptor binding system.
by natch | 2025-12-17 04:14:48+00:00
Most minor fender benders are not reported by the involved people, whereas even the most minor ones often caused by other humans must be assiduously reported by any company doing such a rollout.

A responsible journalist with half a clue would mention that, and tell us how that distorts the numbers. If we correct for this distortion, it’s clear that the truth would come out in Tesla’s favor here.

Instead the writer embraces the distortion, trying to make Tesla look bad, and one is left to wonder if they are intentionally pushing a biased narrative.
by lelanthran | 2025-12-17 04:14:59+00:00
>> These geometrical concepts do not exist in nature. There are no lines and squares. If it's obvious then why did it take 4.5 billion years since the development of life to emerge?

> And what on earth does that have to do with how long life took to emerge?!

I think you misunderstood that part you quoted. He's not claiming that it had a causative effect on how long life took to develop, he's claiming that it took 4.5 billion years after life first appeared for those geometrical concepts to emerge.
by gizmo686 | 2025-12-17 04:15:06+00:00
A limited form of formal verification is already mainstream. It is called type systems. The industry in general has been slowly moving to encode more invariants into the type system, because every invariant that is in the type system is something you can stop thinking about until the type checker yells at you.

A lot of libraries document invariants that are either not checked at all, only at runtime, or somewhere in between. For instance, the requirement that a collection not be modified during interaction. Or that two region of memory do not overlap, or that a variable is not modified without owning a lock. These are all things that, in principle, can be formally verified.

No one claims that good type systems prevent buggy software. But, they do seem to improve programmer productivity.

For LLMs, there is an added benefit. If you can formally specify what you want, you can make that specification your entire program. Then have an LLM driven compiler produce a provably correct implementation. This is a novel programming paradigm that has never before been possible; although every "declarative" language is an attempt to approximate it.
by array_key_first | 2025-12-17 04:15:09+00:00
Business owners are stupid, and they, too, need to signal to their investors that they're "all in" on AI.

AI is, currently, more of a culture than a product for businesses. At least, the ones that don't literally make the models. I'm sure a lot of business owners really do want all the AI stuff, and then their employees will just work around it, like they do with all sales or signaling driven decisions.
by komali2 | 2025-12-17 04:16:05+00:00
> Once upon a time, even the darkest corners like 4chan were actually kind of tongue-in-cheek.

I distinctly remember both the invention of q-anon and the idea of Trump as a presidential candidate happening on 4chan as a we're-all-in-on-it joke, until true believers started showing up and thinking we believed too. Not a joke anymore...
by wizardforhire | 2025-12-17 04:16:28+00:00
How many more people have to die?

In the past it took a lot less to get the situation fixed… and these were horrendous situations! [1][2] And yet tesla is a factor of 10 worse!

[1] https://en.wikipedia.org/wiki/Ford_Pinto

[2] https://en.wikipedia.org/wiki/Firestone_and_Ford_tire_contro...
by 100pctremote | 2025-12-17 04:17:04+00:00
The real estate is usually purchased only after the following requirements are assured, and there are many: Local and regional power grid robustness which includes: ability to service long-term capacity commitments, whether the developer will need to invest in and build substations themselves, and the legality and availability for on-site power generation (natural gas or electric). All of those requirements generally come after an assessment of local and state government appetite and willingness to cut red tape for such deals and provide favorable environmental policy.
by rasz | 2025-12-17 04:17:58+00:00
>0, zero, niente, nada, rien proper discussion in the EU on WHY UK left!

https://www.msn.com/en-ph/news/other/nathan-gill-s-sentencin...

"Nathan Gill, a former Mormon bishop and father of seven who was an MEP for UKIP and The Brexit Party between 2014 and 2020, pleaded guilty to taking bribes in exchange for Russia-friendly parliamentary interventions during his time in office."

"sentenced to 10 and a half years in prison by a London court as part of a bribery case that has raised questions about how pro-Russian influence networks have targeted MEPs."
by noduerme | 2025-12-17 04:18:19+00:00
The point of this user's sole comment on HN is to imply that Israel is nefarious and that anyome working with Israel may be targeted for assassination (regardless that there's no indication this person was).

I don't think this post should be flagged or removed. There should be a separate classification for nation-state trollbots promoting antisemitic conspiracy theories.
by dalyons | 2025-12-17 04:18:36+00:00
If batteries get cheap enough, the fixed extra cost for the complexity of the additional ER system will become prohibitive & uncompetitive. Who wants to pay extra for a car with >1000ml range? Almost no-one, it’s unnecessary for 99.9% of people. We know this because almost no cars have massive or dual gas tanks.

Short to medium haul trucks are already being replaced by EVs in china, Europe is next. I agree about long haul US distances though, it will be quite some years before they can go full ev, the physics is hard.
by unyttigfjelltol | 2025-12-17 04:19:10+00:00
The prose is self-consciously different, makes the reader work a little harder. One can almost feel a literary water ripple or pebble garden, stillness and simplicity.

Consider an analogy: the writer knows that a reader readily digests concepts in C++ and purposely pivots to something obscure like Pony. The reader says "this is inconvenient, I need to change my process to digest your work" and the author says "that's the point."