MurphyA/hacker-news huggingface dataset:
by Nextgrid | 2025-10-25 15:47:27+00:00
Still better than paying for SaaS, still getting pwned and getting free credit monitoring in compensation?

Not to mention local-first software has much less attack surface for pwnage. You can wrap insecure protocols with encrypted tunnels, you can share files from a legacy app with any secure file transfer app of your choice... or if all you need is local functionality you don't need to share at all which means no remote access possible.
by simonw | 2025-10-25 15:47:39+00:00
That was vendored in from this project: https://webperl.zero-g.net/ - it's one of the files distributed in the zip file listed here: https://webperl.zero-g.net/using.html#basic-usage

Originally I tried to get it working loading code directly but as far as I can tell there's no stable CDN build of that, so I had to vendor it instead.
by danans | 2025-10-25 15:47:59+00:00
Compared to a conventional A/C compressor (which they replace), heat pump compressors are much smaller, quieter, and less ugly.

As for the indoor units, they can either be the "ugly" ones (the indoor head units visible on the wall), recessed "cassettes", or they can use traditional A/C air handlers in a utility room to distribute conditioned air via existing duct-runs and registers.

There are also companies like Quilt that are making heat pump systems with much more attractive indoor wall units.
by not_kurt_godel | 2025-10-25 15:48:35+00:00
Deriving a presentation layer from an API definition has no bearing on whether the client has to be stateful or not. The key difference for 'true' HATEOAS is that the API schema is sufficiently descriptive that the client does not need to request any presentation layer; arguably not even HTML, but definitely not CSS or JavaScript.

https://ics.uci.edu/~fielding/pubs/dissertation/rest_arch_st...

> any concept that might be the target of an author's hypertext reference must fit within the definition of a resource
by dahart | 2025-10-25 15:49:46+00:00
There is a difference between 60% sugar and 100% sugar. Why is the difference between pure sugar and Jolly Ranchers meaningful to you? Is there a different outcome or recommendation? It’d certainly help to explain what difference you see and how that difference impacts your choices, rather than state that once exists without elaborating.

So what is the difference, exactly? Depends on what’s in the other 40%, right? It would be a bigger difference if the other 40% was made of fats or proteins or fiber, but in the case of Jolly Ranchers and many other candies, the other 40% of calories is cornstarch, which isn’t sugar but is made of glucose chains and breaks down into sugar when digested. Cornstarch, like sugar, is 100% carbohydrate. https://www.soupersage.com/compare-nutrition/cornstarch-vs-w...

@saagarjha didn’t claim candies are pure sugar, they said it’s surprising how close they are to pure sugar. And 60% sugar + 40% flavorless cornstarch + flavoring and food coloring is close to pure sugar with food coloring. Close is a relative term, so when arguing about it, it’d be helpful to provide a baseline or examples or definitions. Jolly Ranchers are much closer to pure sugar than meat or broccoli is. Jolly Ranchers are much closer to pure sugar than even a banana, which is also 100% carbohydrate calories. I don’t know how to argue that Jolly Ranchers aren’t close to pure sugar. Maybe you can give an example?

BTW, the current product website says Jolly Ranchers are 72% sugar: https://www.hersheyland.com/products/jolly-rancher-original-...
by motorest | 2025-10-25 15:50:15+00:00
> This is a bit underwhelming because it gives a score and says, "Needs improvement", but has no real indication of what it considers problematic about a file.

I think you didn't bothered to pay attention to the project's description. The quick start section is clear on how the "score" is an arbitrary metric that "serves as a general, overall indication of the quality of a particular TypeScript file." Then it's quite clear in how "The full metrics available for each file". The Playground page showcases a very obvious and very informative and detailed summary of how a component was evaluated.

> Maybe as a very senior TypeScript developer it could be obvious how to fix some things, but this isn't going to help anyone more junior on the team be able to make things better.

Anyone can look at the results of any analysis run. They seem to be extremely detailed and informative.
by wslh | 2025-10-25 15:50:21+00:00
> The main thesis seems to be that "the brain evolved precisely to predict the future"

Even if we accept that premise, taking an evolutionary perspective means acknowledging that the brain could, in the future, evolve toward other dominant traits besides prediction. In that sense, the definition becomes elusive and time-dependent: what we call the brain's "purpose" today might only describe a temporary evolutionary state rather than a fixed function.
by MyOutfitIsVague | 2025-10-25 15:50:48+00:00
A test for this one is a bit simpler, I think, because you just have to find a 2D projection of the shape from multiple orientations so one fits inside the other. You don't technically have to do any 3D comparisons beyond the projections.

It's pretty easy to brute force most shapes to prove the property true. The challenge is proving that a shape does not have the Rupert property, or that it does when it's a very specific and tight fit. You can't test an infinite number of possibilities.
Show HN: Tiny tech blog aggregator in HTMX and Go
by Nesco | 2025-10-25 15:51:12+00:00
Hi HN!

I wanted to take the time to try the things that got meme'd on X (formerly Twitter): HTMX + Golang on an Hetzner VPS and SQLite for the DB, deployed with basically a big rsync. I found that some blogs appeared regularly on HN's Front page, so I made this simple tech blogs aggregator to list them, and link to their latest articles.

The source code can be found here: https://github.com/nesco/techblogs.

Also if you are the owner of one of those blogs, and want it to be removed, just send a PM!
Show HN: Simulating real CBCentralManager (Swift) or BluetoothManager (Android)
by fcpguru | 2025-10-25 15:51:19+00:00
Hello HN!

I've been working on a bluetooth only ios and android app for a few months now. Been through lots of different ways to test. I ran multiple real phones from my macbook. I wrote a golang program using github.com/go-ble/ble that actually works and connects from the macbook to a phone. But in the end to really get the level of testing I needed I started:

https://github.com/andrewarrow/auraphone-blue

Which is a 100% go program but it has a "swift" package with cb_central_manager.go, cb_peripheral_manager.go, and cb_peripheral.go. And a "kotlin" package with bluetooth_device.go, bluetooth_gatt.go and bluetooth_manager.go. These simulate the real ios and android bluetooth stacks with all their subtle differences.

Using go's fyne GUI I made the actual phone "apps" and can run many android phones and many iphones. The filesystem is used to write data "down the wire" or "over the air" since this is bluetooth. Screenshot of it running:

https://i.imgur.com/Io3OZ5x.png

To test complex scenarios like 7 iphones and 4 androids all running at the same time I run this gui and keep fine tuning the logic and fixing all the edge cases. Then I move this logic from go back to real kotlin and swift for the real apps. The ios app is live in the app store:

https://apps.apple.com/us/app/auraphone/id6752836343

What do you think of this approach for testing?
by deepsquirrelnet | 2025-10-25 15:52:06+00:00
I haven’t used RCNN, but trained a custom YOLOv5 model maybe 3-4 years ago and was very happy with the results.

I think people have continued to work on it. There’s no single lab or developer, it mostly appears that the metrics for comparison are usually focused on the speed/MAP plane.

One nice thing is that even with modest hardware, it’s low enough latency to process video in real time.
by Marsymars | 2025-10-25 15:52:13+00:00
> There’s also the argument to be made (this has manifested in other countries) that as gas usage wanes and more homes electrify, nat gas costs will increase as the infrastructure costs are spread among fewer and fewer people

This has kinda wonky incentives though - if your fixed costs for gas are high but your marginal costs remain low and for whatever logistical reasons you can't cut the gas connection entirely, then your motivations are to move as much of your heating load over to gas as possible.
by graypegg | 2025-10-25 15:52:50+00:00
Hmm, considering this is on mac rumours, the title does make sense. But it sounds like the more accurate title would be "Windows 10 Deadline Expedites Fleet Renewels". The +17% in lenovo shipments, along with increases for HP and Asus, will all come with Windows 11 installation count bumps, presumeably. That would be the windows 10 deadline working as intended... damnit!
by brachkow | 2025-10-25 15:52:50+00:00
Maybe it's not bad. In post soviet countries elderly already watching government endorsed man-hating gibberish on tv all day long.

So I would better prefer them playing three-in-row. I think after some time it even would be possible easier to "sell" to them playing some kind of minecraft with grandchildren.

Also, I vividly remember parks in Georgia (country!) crowded with elderly loudly playing chess and domino, instead of watching "who deserved to die by our god-chosen almighty army today" crap.
by Nextgrid | 2025-10-25 15:55:18+00:00
> Operating systems have become MUCH more stable

2010 is Windows 7 era, not the dark ages of pre-XP-SP2. I don't recall having computer crashes out of the blue - all the ones I've experienced are due to my own fault by trying to overclock the system.

I'm sure shitty hardware and drivers is a thing (this is traditionally where Apple excelled at in comparison) but I don't recall it being an issue on quality hardware.

> I had to pause a youtube video and wait for the grey bar to advance before watching the next 90 seconds of it

Shitty Wi-Fi/broadband/peering? Ironically nowadays I sometimes experience that too, except instead of waiting for video to download I'm waiting for some Javascript to finish re-rendering the page 3 times.

> I remember constant Skype issues around 2010

Again shitty connection maybe? I was spending every evening on Skype calls and to this day it's been way more reliable than anything I've tried since, thanks to it being P2P. So I guess if you were having constant issues it's down to the network.
by munchlax | 2025-10-25 15:55:33+00:00
If websites didn't force insecure SMS 2FA, these services wouldn't be neccesary. It's like we can't have nice things anymore because criminals can't have nice things so you can't have them either.

Try entering a landline whenever you're asked a phone number for your account. They say the number is invalid, which I find insulting because I know my number very well and it's been around for longer than those websites.

And now this article insults me again by saying it's only used for criminal activities.

The gall.
by tom_alexander | 2025-10-25 15:55:48+00:00
It's already not true. I had browser.ml.enable and browser.ml.chat.enabled set to false but I was still getting an option to ask an AI Chatbot about stuff in my right-click context menu. I had to also set browser.ml.chat.menu to false.

Also pick a lane mozilla. Either use "enable" or "enabled", don't use both.
by dylan604 | 2025-10-25 15:55:58+00:00
I want to be able to lock the devices. I don't want apple to do anything. It's a shit situation. It doesn't mean that I don't still want something that can't be done. You're also victim blaming here, and it's definitely not helpful or even appreciated. Yes, someone put trust, however unwarranted it may have been, in someone without considering the worst outcome. Sure, lesson learned, but piling on to what's obvious someone else's misery is just a big fuck you so early in the weekend. Your heartlessness is awesome. This is like you thinking you know all of the details when you clearly don't
by lenmoren | 2025-10-25 15:56:56+00:00
> … 40-50 years ago. Linux admins …

Note that Linux admins would’ve been in last ~40 years, but yes things were stable even longer ago. The problems came mostly with memory/resources not being cleaned up in C/C++ libraries and programs, primarily in Windows, because it was a little more chaotic with a lot of dev, a lot of differing hardware, and not as much oversight.
by xeromal | 2025-10-25 15:58:23+00:00
A heat pump is a reversable air conditioner so every heat / cool air conditioner is a heat pump regardless of name. Interesting that they cost more over yonder though if you use the name. We can get a heat pump here in the US for about 700$.

I installed one in the basement 2 years ago and it has been a gamechanger.
by ndsipa_pomu | 2025-10-25 15:58:32+00:00
Some maths is done just for fun/curiosity and other maths is more directed towards a specific goal. Both types of maths can end up being useful or useless (outside of maths, that is) and it's pretty much impossible to predict which areas are going to be incredibly useful or mere curiosities. Sometimes, the uses for obscure maths aren't even discovered for more than a century afterwards.
by mattmaroon | 2025-10-25 15:58:46+00:00
Right, but you have to compare it to the opportunity cost of the money. A solar panel is an annuity. There is a one time sunk cost for a relatively consistent, long-term payout.

If I put $100 into the stock market in approximately seven years I will have $200. If I put $100 into solar panels, in 10 or 15 years, I will have $100 worth of savings. Financially, it is not much better than just putting it under a mattress.

I get that the non-economic parts of solar are pretty much all upside. I’m not saying nobody should do it. Just that they should view it as a luxury, not an economic opportunity. But until the finances work out, it will not achieve widespread adoption, and the finances are a function of how much sun you have and your energy prices.

Those of us up north have little sun and lower energy prices. We would be a lot better off just putting your money in the stock market and paying for your electricity if you were only considering money. That is not true of the American southwest.

I have homes in both Phoenix and Cleveland and I have done the math on both. I actually can’t put solar in Phoenix, I wish I could, it would be a great investment. I could put solar in Cleveland, but I might as well throw my money down the drain. I can’t imagine the math is any better in Canada.
by labrador | 2025-10-25 15:59:05+00:00
It refused to read this complaint about Grok because of the NSFW topic

"The irony is they trained their model on so much porn even barely NSFW prompts get flagged because Grok the Goon Commander thinks a simple fully-clothed lapdance requires a visible massive dong being thrusted up her piehole."

https://old.reddit.com/r/grok/comments/1ofd6xm/the_irony_is_...
by Lapsa | 2025-10-25 15:59:34+00:00
Department of Defense Fiscal Year (FY) 2010 Budget Estimates May 2009, USA

``` Silent Talk (U) Silent Talk will allow user-to-user communication on the battlefield without the use of vocalized speech through analysis of neural signals. The brain generates word-specific signals prior to sending electrical impulses to the vocal cords. These signals of “intended speech” will be analyzed and translated into distinct words, allowing covert person-to-person communication. This program has three major goals: a) to attempt to identify electroencephalography patterns unique to individual words, b) ensure that those patterns are generalizable across users in order to prevent extensive device training, and c) construct a fieldable pre-prototype that would decode the signal and transmit over a limited range. ``` https://commons.wikimedia.org/wiki/File:Fiscal_Year_2010_DAR...
by matheusmoreira | 2025-10-25 16:00:39+00:00
> The line is crossed the moment transactional self-promotion happens.

I understand where you're coming from now. I was confused at first because I make a conscious effort to differentiate this from commercial advertising.

I think it's only natural for people to want to share their work with peers. I agree that sites such as this one are the appropriate places for posting such things. I just hesitate before calling it advertising which has much darker connotations.
by whytevuhuni | 2025-10-25 16:00:43+00:00
> This simply doesn't work.

I think it works, and quite well even. Defaults matter, a lot, and Rust and its stdlib do a phenomenal job at choosing really good ones, compared to many other languages. Cargo's defaults maybe not so much, but oh well.

In C, sloppy programmers will generally create crashy and insecure code, which can then be fixed and hardened later.

In Rust, sloppy programmers will generally create slower and bloated code, which can then be optimized and minimized later. That's still bad, but for many people it seems like a better trade-off for a starting point.
by mothballed | 2025-10-25 16:00:44+00:00
Devils advocate here, it cost me ~$1500 in equipment to buy the vacuum pump, vacuum gauge, nitrogen air tank to flush the lines and pressure test, pressure manifold set and gauge, air lines, good flaring tool, copper bending tool, schrader valve pulling tools, various air tools, and a book on mini split installations.

Then it took me 2 days between pouring concrete pad for the heat pump, installing the heat pump and bolting it in, running the copper lines, drilling the exit hole, running the drain piping, learning how to use all the tools, running the electric and control cables and installing a new breaker and 220 subpanel, pressure testing, vacuum testing, flaring, releasing vacuum and all the stuff you have to do. I also had to spend several nights watching youtube and get a EPA 608 certification for handling refrigant which took another day.

Wouldn't have been worth it for a single unit, but was worth it for installing 3, and now I can do additional units for basically $0 overhead and of course no one would even have to know if I installed it and now I can order unlimited amount of refrigerants to my doorstep.

Having plumbed my entire house, and done my entire house electrical system, I would say the level of expertise to install a mini split is higher than either alone. You have to do electrical, plumbing, refrigerant handling, pressurized equipment handling, be liable for massive federal/EPA fines if you do something wrong, and on top of that I had to do masonry work.
by smrtinsert | 2025-10-25 16:01:28+00:00
> For massive apps with 1,000 components on the same page, maybe React's complexity is justified.

Something is wrong if you need a 1000 components. Not everything has to be exposed as a component. Build something in lower level library and expose it as a react component. There's a real reason something like ag-grid has such a dedicated following.

The reality is Reacts abstraction has always been thin, which begs the question is it truly valuable. It's basically an application pattern masquerading as an abstraction. In 2025, there's no reason any thoughtful organization shouldn't investigate alternatives.
by Nextgrid | 2025-10-25 16:01:56+00:00
> Someone needs to keep those running.

Those services are either paid or havd (much less obnoxious) ads - that didn't change. OSes themselves were paid, typically baked into the purchase price of the computer.

> You don’t pay Walmart a one-time $30 fee and expect fully stocked shelves forever

But I don't expect Walmart to get worse at its primary purpose of taking my money. Imagine if Walmart replaced its perfectly-working checkout lanes with a new version where the PoS had a random ~10s delay in between scanning items, would have a 10% chance of reloading the page and force the cashier to rescan everything, would sometimes register the wrong items, and would distract the cashier with bullshit "suggestions" while he was trying to scan items. That would be crazy right?
by practal | 2025-10-25 16:02:09+00:00
In principle, LLMs can do this already. If you ask Claude to express this in simple words, you will get this translation of the theorem:

"If applying f to things makes them red whenever they're not already red, then there must exist something that is red AND stays red after applying f twice to it."

Now the proof is easy to see, because it is the first thing you would try, and it works: If you have a red thing x, then either x and f(f(x)) are both red, or f(x) and f(f(f(x)) are both red. If x is not red, then f(x) is red. Qed.

You will be able to interact like this, instead of using tactics.
by immibis | 2025-10-25 16:02:09+00:00
The stuff they did in this particular case is likely a violation of all laws involved, just like the other recent case with the US Secret Service in New York City. In both cases they are seizing someone's business equipment, on the assumption that because it is an unusual business and sometimes it is used for spam, the business itself is spam.

Actually, it's probably legal in the USA, but completely illegal in the EU where the Digital Services Act regulation very specifically says that a mere conduit of data transmissions cannot be held liable for data transmissions passing through it which it didn't originate. I only know anything about the law in Germany (and I am not a lawyer) so let's pretend this happened in Germany - then the business operator - presuming that they're running a relay business and not spammers themselves - would win back all the money this police action deprived them of, including lost revenue, equipment costs, lawyer fees, and repairs for any damages incurred during the raid. Their cellphone provider is probably allowed to terminate their contract however, and could sue them if they had any meaningful damages. The civil court system here is very algorithmic as far as I'm aware: if(you broke the law) you.transfer(victim, victim.money_if_you_hadnt_broken_the_law - victim.money);
by whilenot-dev | 2025-10-25 16:02:17+00:00
> Also note that `Return<User>` should be just `User` if you prefer to specify the return type explicitly.

No? first_user = data[0] assigns User | undefined to first_user, since the list isn't guaranteed to be non-empty. I expect Return to be implemented as type Return<T> = T | undefined, so Return<User> makes sense.
by somenameforme | 2025-10-25 16:02:45+00:00
Your own link shows 128 cases of myocarditis within 7 days of ~2m vaccinations for 12-17 year old males, against an expected rate of 0-4. That's an overall rate of 1:15,000. And that study is based entirely on people with severe enough side effects for them to end up in the hospital following vaccination and to consequently be diagnosed with myocarditis, and only within 7 days. In other words it's definitely lowballing the figure.

And it's things like this that destroy trust. Because we're already speaking of an unacceptably high rate of severe side effects, based on this single one (amongst many possible), for that demographic. Typical rate of severe side effects from vaccines are in the 1:1,000,000 rate. So why was this recommended, and defacto mandated, for that age group, again? And where's the accountability for those that made this decision, and for the trials that failed to make clear such extremely high rates of side effects?

I realize I'm going on a slight tangent instead of arguing my rather extreme claim. The point I'm making here is that the messaging on these vaccines has not been carried out in good faith, and that they do have clear and severe side effects that should have made them a non-starter for at least certain demographics. And as we continue to see excess mortality rates that are comparable to what it was mid-pandemic (during the lulls between spikes), the possibility of longer term side effects seems to me to be, at the minimum, viable.