MurphyA/hacker-news huggingface dataset:
by the__alchemist | 2025-11-06 15:30:44+00:00
It's amusing reading things like this. Meanwhile, we have at least 4 high-quality, practical GUI frameworks to choose from. You want QT in rust? I get that, but that is different from your claim about the state of GUIs in rust.

"I like the A tool in category B. System C doesn't have tool A; system C is dreadful in category B".

I think you could have made the acute part of this argument about GUIs in rust 3 years ago, but not today!

I need to try Slint and GPGUI. I love EGUI, but need to do a proper comparison; could be missing out. This seems to be a concern of a different nature from the one you describe!
by NoMoreNicksLeft | 2025-11-06 15:30:57+00:00
>You're saying it's fine that they're killed for something they could "maybe" do in the future?

Smuggling of any sort is a weapon with disastrous consequences. We wouldn't let the cartels have nukes, why would we want them to have "smuggling"? Yes, I'm fine with this. That they promise not to use it for really bad stuff for now wouldn't make a difference (and they're not even making that promise).

>Without even seeing any evidence t

I'm not interested in being the internet jury for this, no.

>Have there been instances in the past of drug smugglers moving into the nuclear warhead smuggling game?

Gee. That's something I really want to wait until after they commit the offense before we do something about it. You've changed my mind with your top-notch debate strategy.
by bayesnet | 2025-11-06 15:31:14+00:00
I evaluated gpui for a project I’m working on. While I’ve found the rendering and performance to be great (and actually switched to Zed as my daily driver after playing with it), the (absence of an) accessibility story made me grudgingly just use tauri.

I really want to love gpui and would like to avoid using webviews, the advantage of web-based apps is that accessibility is (relatively) easy to do if you’re attentive to it. At the time I looked at it, gpui did not support screen readers etc at all.

I suppose I understand why they made that decision given their business priorities, but it’s hard for me to tell my vision-impaired friends and colleagues that there’s literally no way for them to use my app.
by A_D_E_P_T | 2025-11-06 15:31:33+00:00
All of them? The Fermi Paradox is a problem because any answer has to apply universally or nearly universally, to all possible societies.

So this scientist suggests that all possible alien civilizations got bored and turned inwards? None of them bothered to make great works, or berserkers, or whatever? That's a rather extreme conclusion and, I think, wholly unjustified...

It's still a great mystery. To me it suggests "new physics" -- namely that any alien society sophisticated enough to build, e.g., Dyson Spheres has discovered a better way to harness energy in space and time, perhaps via methods which are difficult or impossible to observe.

A solipsistic alternative, but one that makes sense and gets around the universal objection, is in the "Zoo" and "Planetarium" hypotheses.
by ants_everywhere | 2025-11-06 15:31:58+00:00
That's exactly how a great deal of research level math is done.

In fact all open conjectures can be cast this way: the objective function is just the function that checks whether a written proof is a valid proof of the statement.

Is there a solution to this PDE? Is there a solution to this algebraic equation? Is there an optimal solution (i.e. we add an optimality condition to the objective function). Does there exist a nontrivial zero that is not equal to 1/2, etc.

I can't tell you how many talks I've seen from mathematicians, including Fields Medal winners, that are heavily driven by computations done in Mathematica notebooks which are then cleaned up and formalized. That means that -- even for problems where we don't know the statement in advance -- the actual leg work is done via the evaluation of computable functions against a (explicit or implicit) objective function.
by anarazel | 2025-11-06 15:32:06+00:00
We don't have the complete version history of postgres, so that's not easy to know. There definitely are still lines from Postgres95 that haven't been changed since the initial import into our repository.

Somewhere there's a CVS repository with some history from before the import into the current repository, but unfortunately there's a few years missing between that repository and the initial import. I've not done the work to analyze whether any lines from that historical repo still survive.
by Mashimo | 2025-11-06 15:32:09+00:00
Setting / atmosphere / vibe also plays a role.

If a know a place that has angry bouncers or annoying rules, I rather go to a place that he less then ideal music.

One local club has a rule that you can't drink water from the bathroom tab, and they even turn off the cold water. I'm not going there, even when the music is fire.
by glenstein | 2025-11-06 15:32:11+00:00
It sounds like what you are talking about is the "Default Market Offer", aka the Australian equivalent to the "standard offer" in the United States. I cannot possibly stress this enough: nothing about the existence of the standard offer has anything to do with the relative economics of solar to other energies, so it's bizarre that you're showing up in a middle of a thread about solar power specifically, and treating a phenomenon that applies to the energy market as a whole like it's only a problem for solar.

And remember what this thread is about - Solarpunk in Africa, off the grid, which is a case that has nothing to do with regulated utility grids, so it couldn't possibly have less to do with the article that this thread is about.

You're insisting you're not discovering the concept for the first time, yet even in this comment you're still doing the same thing, treating systemic regulations that apply to energy markets writ large like they somehow only apply to solar. You wouldn't be doing that if you understood beforehand that these systemic problems had nothing to do with solar in particular, you would be doing it if you were just starting to look into solar and discovered those issues for the first time, which I what I think is happening.
by encom | 2025-11-06 15:32:12+00:00
It's not totally comparable, but if you went against the approved covid narrative a few years ago, you would absolutely get shut down by the big players for "misinformation". Same with the 2020 US election results. And in many cases they acted on behalf of the goverment:

https://time.com/7015026/meta-facebook-zuckerberg-covid-bide...

Misinformation or not, I like form my opinions myself, rather than have the government do it for me. There was absolutely a lot of nonsense[1] going around during covid, but constantly being told what to believe felt extremely irksome.

[1] https://youtu.be/sSkFyNVtNh8
by electroly | 2025-11-06 15:32:15+00:00
I once set up a Windows 11 VM. Everything was great. The first time it installed a feature update, it hit this BitLocker key input prompt on the reboot. Ugh. I was able to get the key but as soon as I was back into Windows, I disabled BitLocker on that VM and every other Windows machine I use. The risk of my machine being stolen and them finding some unencrypted private data is far easier to accept than the risk of me being suddenly and completely locked out of my computer, and I care more about the latter. Security isn't just about keeping bad guys out--it's also about making sure you can get in when you need it. Otherwise the only security you need is storing your data in /dev/null.
by drtgh | 2025-11-06 15:33:15+00:00
By one side, we all know[1] that automated translations are always inaccurate, and this is specially deep with translations into languages like Japanese.

On the other hand, we all know that LLMs are guaranteed to introduce an error in the result, therefore always needs human supervision.

Also there are other details like the 72 hours timeframe they comment...

Therefore, to me, introducing LLMs without designing them just as an usable tool (UI/UX) to support the work -of the volunteer community- doesn't sound like a mistake, but sounds like an "I don't care at all, get out of the way".

[1] who speaks more than one language at least.
by rconti | 2025-11-06 15:34:02+00:00
It's a _terrible_ app, though. You create a weekly schedule by dragging little temperature bubbles onto little spots on a chart, one by one. The only "advanced functionality" is that you can copy one day to another.

Also, you can change the current set temperature. That temperature will be overridden at the next scheduled change.

That's it, that's the app. There's no way to create a custom program for a single day. There's no way to set a hold temp that persists beyond the next schedule change.

Now, because it's a thermostat, and my needs are simple, and I don't even have A/C, it's never bothered me _that_ much. But it's clear it could be so much better, and they just haven't bothered to do _anything_ in a decade.

It basically feels like they shipped a PoC, Google bought them, and disbanded the team, and that was it.

https://www.reddit.com/r/Nest/comments/1im9gkg/adjusting_the...
by senordevnyc | 2025-11-06 15:34:31+00:00
I wonder if the FAA even has enough data on fatality to do something like increase the fatality risk by 0.1% or something. Commercial air travel is so ridiculously safe and has been for decades; would they even have enough of a sample to estimate that with any accuracy? Particularly around something like having fewer ATC available, since I'm guessing even fewer of the rare accidents have that as a cause?
by nicole_express | 2025-11-06 15:34:42+00:00
In the United States, "North America" and "South America" are generally treated as separate continents, so therefore as a whole are called "the Americas". This frees up the singular "America" to refer to the US without too much risk of ambiguity. My understanding is that in some places, especially non-English speaking, is that North and South America are treated as a single continent called "America", which adds ambiguity.

People often get confused by divisions like this because they feel like they should be real in an objective sense, but continents are almost entirely social constructs. (There is a North American tectonic plate, and that's real, but it doesn't quite line up with the continent)
Show HN: Review code as it is written
by emurph55 | 2025-11-06 15:34:51+00:00
An experimental little npm library for creating a quick feedback loop when writing code. I usually run any code changes through an AI checker before sending them for real review to catch any obvious problems.

I'm also a big fan of ollama and local LLMs and so I had the thought of automating the task locally. And since I am doing all of this locally, (and for free(ish)) why wait until the code is ready to submit for review. Why not just keep the tool running on all changes!

I was curious to see how well such a tool might work so I put together a basic version. I've found it to be slightly helpful in certain cases so far. Obviously results will vary greatly depending on what model you choose to use. I have had decent results using gpt-oss:latest on a mac mini.

The basic idea is that it runs a quick check on any code when a file is written to, and when code is committed.

I expect there are quite a few bugs etc but it has been running smoothly enough for me so far.
by kdmtctl | 2025-11-06 15:34:52+00:00
Typo. "Feature set", referring to your comment. Functions of software. Quoted below, source is widely available.

“The notion of goods with digital elements should refer to goods that incorporate or are inter-connected with digital content or a digital service in such a way that the absence of that digital content or digital service would prevent the goods from performing their functions.” — Recital 14, Directive (EU) 2019/771.
by lotsofpulp | 2025-11-06 15:35:09+00:00
That alternative is so that they can compete with Walmart and Costco and Aldi and Winco and survive.

How anyone can complain about a 2% profit margin, especially on a forum where workers earn high salaries because they work for businesses with 20%+ profit margins, is beyond me. Expecting every organization to be a charity seems a bit immature.
by gorbypark | 2025-11-06 15:35:16+00:00
This is correct more or less. The Ikea hub has had the ability to bridge its zigbee devices to Matter for a while now. So in my case, Apple Home has no idea my lights and switches are not Matter, they just show up there even though they are actually zigbee.

Ikea recently did an update to enable the hub to be a Matter controller itself (over thread or Wifi). This means you can add matter devices to the Ikea hub directly and use the Ikea Home Smart app the control them instead of Apple Home or etc. You can add non-Ikea matter devices as well as Ikea matter devices (when they are released).
by taeric | 2025-11-06 15:35:22+00:00
I'd go further. Some of the world's best tooling is only usable by the world's best users. Examples abound on this. The best drivers are in vehicles that I would almost certainly crash. Our best pilots are in planes that I literally don't understand the controls on. (That is true for the cars, too, oddly.)

A really good guitar is easy to miss notes on. Precisely because good guitarists don't typically miss.

Now, I think you could reword a little bit. The best performers know their tools very well. So well, that they often "just disappear" for them. This does require some level of quality in the tool. But requires a ton of effort from the performer, too.
by interloxia | 2025-11-06 15:35:48+00:00
Apparently some of the nettle family have edible berries.

Jared Rydelek's channel is about eating exotic fruits. It's a bit long winded but pretty neat to see the unusual fruits from around the world.

A recent video has him eating a berry from the Gympie gympie/stinging tree/Dendrocnide moroides from the nettle family.

https://www.youtube.com/watch?v=5aEio_yDEc8

https://en.wikipedia.org/wiki/Dendrocnide_moroides
by incomingpain | 2025-11-06 15:35:48+00:00
>You have to be supremely ignorant... Bordering on flat earther or evolution denial/young earth creationist... To believe this will work out like that.....

Great place to start with flames.

>This won't be a nice change of pace for your climate. It will be a mass extinction even humans have never experienced. It's obscene even.

The science clearly says that isn't the case at all. Feel free to reference IPCC RCP8.5 scenarios where we magically find extremely more fossil fuels and burn those as well. No extinction is expected even in those scenarios.

https://en.wikipedia.org/wiki/Eocene#Climate

The eocene was approximately 14celcius warmer than it is today and life thrived.

https://en.wikipedia.org/wiki/Last_Interglacial

During the last spike, the eemian, it was about 2 celcius warmer than today. Roughly 100,000 years ago, and that's roughly all we do expect to happen now. Life was thriving.
Show HN: CKAN Pilot – A New Way for Managing Data Portals
by sepokroce | 2025-11-06 15:36:09+00:00
CKAN Pilot is a brand-new command-line interface (CLI) tool for CKAN. It simplifies the creation, configuration and management of CKAN projects. It removes the complexity of setting up local CKAN instances and streamlines the developer experience.
by hirvi74 | 2025-11-06 15:36:14+00:00
I do not know how intelligent I am. I've taken a real IQ test, but I do not truly accept the science behind them. For N=1, the correlations do not hold true within my own life, for example. Nevertheless, I was once very ambitious, but I feel like the world has zapped it out of me. I found myself in situation after situation in which conformity and obedience were valued above all else.
by 7thaccount | 2025-11-06 15:36:27+00:00
I got the impression it's just a new OS with a different kind of alternative to the internet. Their intent is to have their own systems programming language, UI...etc. I think the idea is to start from scratch and not just rebuild on top of the current monoliths. All of that sounds intriguing to me if they can pull it off. The AI part sounds like something they also want integrated with the OS (maybe their own LLM)? I think you're overthinking what they meant by "first principles". I think that is more about...hey...if we start with this RISC computer...can we build a new computing environment from the ground up based on some core principles like it shouldn't harvest your data and serve you ads and that we don't need a web browser...etc.

Maybe I'm wrong though, but I don't think they're interested in inventing their own universe to create an apple pie from scratch. It sounds like you're alluding to that, which I agree would be an entirely different kind of experiment haha. To further that analogy, it sounds like they may be rejecting the modern industrial/factory approach to buying a Sara Lee apple pie and showing...hey...we can just use an oven and some simple tools.
by m0llusk | 2025-11-06 15:36:30+00:00
This is ignoring the Marketing to Engineering ratio. For most recent history technology companies have had to spend at least as much on marketing as engineering in order to survive, and two to ten times as much spent on marketing as engineering is common for successful companies. Who is going to buy the thing is the most important question and without solid answers there is nothing, no matter how much technology was engineered.

Now this formula has been complicated by technological engineering taking over aspects of marketing. This may seem to be simplifying and solving problems, but in ways it actually makes everything more difficult. Traditional marketing that focused on convincing people of solutions to problems is being reduced in importance. What is becoming most critical now is convincing people they can trust providers with potential solutions, and this trust is a more slippery fish than belief in the solutions themselves. That is partly because the breakdown of trust in communication channels means discussion of solutions is likely to never be heard.
by torginus | 2025-11-06 15:37:10+00:00
Modern smart switches are pretty small (most of them are designed to fit into wall sockets behind plugs/light switches).

I personally think relays are a much more reliable than solid state switches and are very unlikely to fail in a dangerous way, and fully interupt the circuit, but they do have a 'click' some people dislike, and have a lifetime of 100k-ish switches, so for an application where you keep switching rapidly (e.g. not light switches), this might be a problem.

Ikea used Thread and Zigbee which are not Wifi, they use a mesh network and don't suffer from saturation the way Wifi does, in fact adding more devices tends to make the network more reliable since devices can route around failing or congested nodes.

I've had good experience with them in practice, but do be mindful that they share the 2.4GHz band with Wifi so in an apt building, you might run into radio channel congestion.

Personally I use smart home stuff for controlling heating devices and a few other key items, I don't think it makes sense to make every light switch smart, but technically people have done so and it tends to work all right.
by SideburnsOfDoom | 2025-11-06 15:37:40+00:00
Youtube is intentionally blunting this signal by making many videos look slightly slop-y, I mean "enhancing low-res content with AI upscaling"

https://www.theatlantic.com/technology/archive/2025/08/youtu...

https://www.nbcnews.com/tech/tech-news/youtube-dismisses-cre...
by exDM69 | 2025-11-06 15:38:01+00:00
> A f32x16 version would also be faster on 256b hardware, but spill in SSE. For Zen5 you probably want to use f32x32.

Yeah, exceeding native vector width is kinda just adding another round of loop unrolling. Sometimes it helps, sometime it doesn't. This is probably mostly about register pressure.

And architecture specific benchmarking is required if you want to get most performance out of it.

> I'd prefer if std::simd would encurage relative to native SIMD width scaling (and support scalable SIMD ISAs).

It is possible to write width-generic SIMD code (ie. have vector width as generic parameter) in Rust std::simd (or C++ templates and vector extensions) and make it relative to native vector width (albeit you need to explicitly define that).

In my problem domain (computer graphics etc) the vector width is often mandated by the task at hand (e.g. 2d vs 3d). It's often not about doing something on an array of size N. This does not lead to optimal HW utilization, but it's convenient and still a lot faster than scalar code.

Scalable SIMD ISAs are kind of a new thing, so not sure how well current std::simd or C vector extensions (or LLVM IR SIMD ops) map to the HW. Maybe they would be better served by another kind of API? I don't really know, haven't had the privilege of writing any scalable vector code yet.

What I'm trying to say is IMO std::simd works well enough and should probably be stabilized (almost) as is, barring any show stopper issues. It's already useful and has been for many years.
by seanmcdirmid | 2025-11-06 15:38:47+00:00
Samsung has both heat pump (the one talked about above) and vented (similar to normal dryers) versions. LG doesn’t have a vented version yet. Condensers are slower than heat pumps, if you don’t have a vent and/or a 240V outlet, heat pump is the way to go. I personally chose a vented one because it was replacing existing machines. In NYC, heat pumps are more popular since a lot of apartments don’t come with vents or 240V (and definitely in the UK where they put the washer/dryer in the kitchen, you also see these all over Japan, all heat pump versions).
by norman784 | 2025-11-06 15:38:49+00:00
I think they wanted more control over the GUI, so the best answer to that is build something that you have 100% control over. In one of their first blog posts they explain more in deep the reasons.

> Inspired by the gaming world, we realized that the only way to achieve the performance we needed was to build our own UI framework: GPUI. [0]

GPUI is not widely used because they only recently started publishing in crates.io [1] and still AFAIK their documentation is not that great yet, I suppose people will start using soon enough it, I was thinking on using it over Iced that was the other GUI that I feel that have future (because it's used by Cosmic Desktop).

[0] https://zed.dev/blog/videogame [1] https://crates.io/crates/gpui/versions
by lo_zamoyski | 2025-11-06 15:38:57+00:00
> it's not enough to have, or to build, you gotta maintain, fix, replace, and eventually, remove.

Indeed. I think many in the West fail to appreciate - and take for granted - the cultural dimensions (which include cultures of knowledge, skill transmission, cultivation, and development, and also worldview[0]) as well as the economic ecosystems and supply chains involved.

Dropping off a tractor in Africa or a bulldozer in rural India and calling it a day is superficial and worthless. Imagine shipping something suitably technologically advanced to some Germanic tribe during the Roman conquest of Europe if you need an analogy.

[0] The worldview bit might surprise some. As some have argued, there are reasons why enterprises like modern science arose and flourished only in the West, whereas everywhere else scientific development was historically quite limited. These reasons include a culture formed under the notion of the Logos which entails the belief in a thoroughly intelligible universe that can be fully known in principle; a rejection of pantheism with a distinction made between the transcendental and the immanent, allowing for exploration; a rejection of pantheism and so a world infested with capricious, personified natural phenomena; an omniscient and omnibenevolent God who is not capricious or voluntarist. Without these elements, the confidence and motivation needed to confidently exercise and develop intellectually, to try to understand the world - which contribute to the formation of a robust scientific culture - is stifled.