MurphyA/hacker-news huggingface dataset:
by IceDane | 2025-12-13 10:31:43+00:00
Let's imagine we are working with some hypothetical language in which what you describe is possible.

At some point, you will have to write a function where you validate/parse some arbitrary string, and it then returns some sort of `Email` type as a result. That function will probably return something like `Option<Email>` because you could feed it an invalid email.

The implementation for that function can also be wrong, in exactly the same way the implementation for the typescript equivalent could be wrong. You would have to test it just the same. The guarantees provided by the typescript function are exactly equivalent, except for the fact that you do technically have an escape hatch where you can "force" the creation of a branded `Email` without using the provided safe constructor, where the other language might completely prevent this - but I've already addressed this. In practice, it doesn't matter. You only make the safe constructor available to the user, so they would have to explicitly go out of their way to construct an invalid branded `Email`, and if they do, well, that's not really your problem.
by latexr | 2025-12-13 10:31:52+00:00
Studio Ghibli doesn’t want the style “amplified”. That brings them no benefit, it’s only detrimental, and they’ve made that abundantly clear.

They are one of the best, most popular and influential animation studios ever. That you had never heard of them suggests you have little to no interest in animation, which is perfectly fine but also means you’re not their target audience.
by phire | 2025-12-13 10:32:27+00:00
I mean, it was one of those inevitable technologies.

Other companies had already invented the CCD, it was only a matter of time before someone would digitise the signal and pair it with a storage device. It was an obvious concept.

All Kodak really did was develop an obvious concept into a prototype many years before it could be viable, and then receive a patent for it.
by boerseth | 2025-12-13 10:32:48+00:00
Modularity and separation of concerns can extend into other domains than software.

For me, it seems so much simpler to keep the two separate. You won't be forced to wash the heating element every time you wash the cup. Can't heat a different cup while the other is in the dishwasher, unless all your cups are self-heating. Normally, the only way for a cup to break is if it shatters, but with an inbuilt heater there's electronics that can break too. And should the cup shatter, now the heater is unusable too, or vice versa.
by deaux | 2025-12-13 10:33:03+00:00
Hah, maybe 5th gen Claude will change to "you may be right".

The positive thing is that it seems to be more performative than anything. Claude models will say "you're [absolutely] right" and then immediately do something that contradicts it (because you weren't right).

Gemini 3 Pro seems to have struck a decent balance between stubbornness and you're-right-ness, though I still need to test it more.
by graemep | 2025-12-13 10:33:11+00:00
1. I am pretty sure OP could manage to plug in an ethernet cable. 2. Again, he should be able to manage to set up a computer and plug in a USB drive, even if not familiar with the particular OS. People are not that narrow 3. I am pretty sure he could manage to install and run some backup software on his devices 4. I assuming you are missing a not there, but regulations have clearly not solved the problem, in fact its likely AML regulations caused it.

> he’s already stated he doesn’t have a 6tb drive

Someone who uses a $500 gift card to renew subscriptions could afford one
by _pdp_ | 2025-12-13 10:35:25+00:00
LLMs need prompts. Prompts can get very big very quickly. The so called "skills", which exist in other forms in other platforms outside of Anthropic and OpenAI, are simply a mechanism to extend the prompt dynamically. The tool (scripts) that are part of the skill are no different then simply having the tools already installed in the OS where the agent operates.

The idea behind skills is sound because context management matters.

However, skills are different from MCP. Skills has nothing to do with tool calling at all!

You can implement your own version of skills easily and there is absolutely zero need for any kind of standard or a framework of sorts. They way to do is to register a tool / function to load and extend the base prompt and presto - you have implemented your own version of skills.

In ChatBotKit AI Widget we even have our own version of that for both the server and when building client-side applications.

With client-side applications the whole thing is implemented with a simple react hook that adds the necessary tools to extend the prompt dynamically. You can easily come up with your own implementation of that with 20-30 lines of code. It is not complicated.

Very often people latch on some idea thinking this is the next big thing hoping that it will explode. It is not new and it wont explode! It is just part of a suite of tools that already exist in various forms. The mechanic is so simple at its core that practically makes no sense to call it a standard and there is absolutely zero need to have it for most types of applications. It does make sense for coding assistant though as they work with quite a bit of data so there it matters. But skills are not fundamentally different from *.instruction.md prompt in Copilot or AGENT.md and its variations.
by Libidinalecon | 2025-12-13 10:35:36+00:00
You should care because people vote and the social consequences are going to be devastating.

It is easy for me to take this perspective too because I never had much student debt or children.

The median though is getting crushed if they went to college and are paying for daycare.

If you are getting crushed for going to school and having children that is a pretty clear breakdown of the social contract.

The consequences are obvious. People are going to vote in socialist policies and the whole engine is going to get thrown in reverse.

The "let them eat cake" strategy is never the smart strategy.

It is not obvious at all our system is even compatible with the internet. If the starting conditions are 1999, it would seem like the system is imploding. It is easy to pretend like everything is working out economically when we borrowed 30 trillion dollars during that time from the future.
by rstuart4133 | 2025-12-13 10:36:04+00:00
> There are currently 419 reactors in operation, 76 in construction, 140 in pre-construction and 290 planned/announced. I have a slightly older version of that chart, where those numbers were 69, 92 and 178, respectively.

At about 1 GWatt per reactor, thats about 500 GWatt total new nuclear built over what must be decades, if it is built at all. A fair chunk of the existing 419 reactors will be retired in that time.

Meanwhile, Gemini tells me the planet added well over 100 GW renewable generation in 2024. That 100 GW is dispatchable. It was over 500 GW peak. Almost no renewables were retired in 2024. The rate new renewables are being added is growing at least quadratically.

Maybe Europe sunshine and wind resources mean they have no choice, it's nuclear or nothing. But renewables are being added at the pace they are for a reason. In the places that do have the renewable resources, they are far cheaper. If Europe is forced to go down the nuclear path, they are going to be paying far more than other places on the planet for their energy.
by Eisenstein | 2025-12-13 10:36:08+00:00
Person 1: "People are exposed to many more chemicals now than in the 70s, and they smell worse"

Person 2: "I don't think that they actually smell worse, and people were still exposed to chemicals in the 70s, so why would it make a difference?"

Person 1: "Are you saying that the health effects of chemical exposure are lessened because they are exposed to some chemicals as opposed to a lot of chemicals?"

Person 1 is using a claim that is not proven by their statements to make Person 2 responsible for a claim they never conceded was true.

Person 2 is disputing that Person 1's mechanisms make a difference not that their conclusion is valid.
by graemep | 2025-12-13 10:36:53+00:00
> Is it possible to bore for my own water supply, install solar+inverter/battery backup for electricity, get a medical degree to treat my own wounds? Sure but most would say it’s not reasonable.

Bad analogy. A better one would be having a torch in case of power cuts (done that) having some extra food in the house in case the grocery delivery fails, having some basic medical supplies in the house, having mobile internet connection in case your broadband fails etc.

Having backups of your stuff is an emergency fallback
by big-chungus4 | 2025-12-13 10:37:22+00:00
"Formulas that update backwards" isn't really the main idea behind neural networks. It's an efficient way of computing gradients, but there are other ways. For example forward propagation would compute a jacobian-matrix product of input wrt output with an identity matrix. Backpropagation is similar to bidi-calc to the same extent as it is similar to many other algorithms which traverse some graph backward.

I think you should be able to use bidi-calc to train a neural net, altough I haven't tried. You'd define a neural net, and then change it's random output to what you want it to output. However as I understand it, it won't find a good solution. It might find a least squares solution to the last layer, then you'd want previous layer to output something that reduces error of the last layer, but bidi-calc will no longer consider last layer at all.
by vishalvshekkar | 2025-12-13 10:38:43+00:00
Oh, is it? I did brief tests on my iPad and didn't find any glaring issues.

Could you help me with what device and screen size you find it cluttered? Which of these do you find cluttered on your tablet? - Landing page: https://jottings.me - Dashboard: https://dashboard.jottings.me - A Jottings Site: Example: https://jottingsjottings.me
by hagbard_c | 2025-12-13 10:40:52+00:00
> our collective behavior changed throughout history thanks to our reasoning capabilities taking over the inner "animal".

That 'inner animal' comes out the moment the shelves in the supermarkets are empty and the electronic payment systems are down. Those reasoning capabilities may have put a thin cultural veneer over the beast but it is still there, ready to defend itself and its own if push comes to shove as well it should - cultures have a way of collapsing when times get hard.
by omnicognate | 2025-12-13 10:41:32+00:00
My "position" isn't remotely that. The problem with "brains are bound by the laws of physics" isn't that there's something special about brains. It's that physics doesn't consist of "laws" that things are "bound" by. It consists of theories that attempt to describe.

These theories are enormously successful, but they are also known to be variously incomplete, inconsistent, non-deterministic, philosophically problematic, open to multiple interpretations and only partially understood in their implications, with links between descriptions of things at different scales a particularly challenging and little understood topic. The more you learn about physics (and while I'm no physicist, I have a degree in the subject and have learned a great deal more since) the more you understand the limits of what we know.

Anybody who thinks there's no mystery to physics just doesn't know much about it. Anybody who confidently asserts as fact things like "the brain consists of protons, neutrons and electrons so it's impossible for it to do anything a computer can't do" is deducing things from their own ignorance.
by d-lisp | 2025-12-13 10:41:33+00:00
> Your imagination falters here too.

I think I just don't find what you described as interesting as you find. I tried AI dungeoning also, but I find it less interesting than with people, because I think I like people more than specific mechanisms of sociality. Also, in a sense, my brain is capable of producing suprising things and when I am writing a story as a hobby, I don't know what will actually happen to the characters and what the resolution would be, and it's very very exciting !

> no one is an expert or even decently knowledgeable in more than 0-2 areas

I might be biased and I don't want to show off, but there are some of these people around here, let's say it's rare that people are decently knowledgeable in more than 5 areas.

I am okay with what you said :

- AI is a better google

But also google became shit, and as far as I can remember, it was somewhat of an incredible tool before. If AI became what is the old google for those people, then wouldn't you say, if you were them, that it's not very impressive and somewhat "like google".

edit; all judgements I made about "not interesting" do not mean "not impressive"

edit2: I think eventually AI will be capable of writing a book akin to Egan's Diaspora, and I would love to reflect on what I said at this time
by burnt-resistor | 2025-12-13 10:41:45+00:00
PSA:

0. Always use a) SECDED hardware ECC and b) checksums on network links and I/O everywhere.

1. When unable to 1.a), add (72,64) 8-bits Hamming code per 64-bits (or) N>2 redundancy copies on physically-separate silicon for critical data and code. This is a significant performance hit, but safety is more important in some uses. (Don't neglect the integrity and reliability of code storage, loading, and execution paths either.)

2. Consider using Space Shuttle high-availability, high-reliability "voting" of N identically-designed behavior, possibly different manufacturer system control elements.
Show HN: Spending Tracker App for Digital Nomads and Travellers
by adviser | 2025-12-13 10:41:53+00:00
Hello HN!

I have built NomadExpenses because I tried like 15 or so iOS Apps and none of them had features I needed. If you just live in one place and need only one currency and budget for one the choices are vast. I needed multi-currency support (not just multiple wallets, but auto currency conversion), shared expense logging with my girlfriend and the ability to see everything in the currency I understand best.

There is essentially only travel apps for short-term trips, that do something like this, but not for nomads, since you have to create a "trip" with dates. I need my monthly target set in my currency and be independent of the country I currently based in so I can move to the different country in the middle of the month and still be able to stay on track with my budget.

I would love to hear any feedback, especially from fellow nomads or travellers.
by jeroenhd | 2025-12-13 10:43:51+00:00
> I can get a Ryzen 7 system with 32gb of ddr5, and a 1tb drive delivered to my house before dinner tomorrow for $500 + tax

That's an amazing price, but I'd like to see where you're getting it. 32GB of RAM alone costs €450 here (€250 if you're willing to trust Amazon's February 2026 delivery dates).

Getting a PC isn't that expensive, but after the blockchain hype and then the AI hype, prices have yet to come down. All estimations I've seen will have RAM prices increase further until the summer of next year, and the first dents in pricing coming the year after at the very earliest.
by graemep | 2025-12-13 10:47:30+00:00
Where do you live? You are implicitly assuming a rented property. Where I live you can buy a flat. however, even assuming rented, its not that bad, atleast here in the UK.

> our landlord has a key to your home and can lock you out at any time

Illegal to do without notice and permission. You can change the locks as long as you change them back or pay for cost of doing so when you leave.

> I wouldn't run a business out of my apartment such that I would lose all of my equipment if I got evicted.

Eviction requires a legal process that takes months.

> I wouldn't run an important business that depends on their platforms.

That implies no one should develop software for Apple, MS or Google platforms.
by crossroadsguy | 2025-12-13 10:49:11+00:00
Not only local copies but also at least own and use one device where you have your important data that is not on the same OS ecosystem as the other device(s) - also helps with things like 2FA, password manager, etc., if shit has hit the ceiling fan on the other device.

In addition, I always suggest people to:

- Not use big tech's cloud services - ever

- But if you must, do not use many cloud services from just one provider (i.e no Google everything, no iCloud everything) i.e stop using "one account gateways".

- Needless to say, it's time you had a domain and start paying for mail hosting (at least for critical stuff - you can actually buy a very cheap plan; and use that gmail/live-hotmail/yahoo/iCloud/whatever everywhere else) [0]

- Keep an offline (but safe) copy of your "most" important data [1] and ways to remember (i.e cryptic hints) for your "most" important passwords

- Gain some experience in fighting in consumer courts/forums (depending upon your country) - start early, start with e-com companies. A lot many times we don't put up a fight because we have never done it before and we give up always because every time it's a first time. Apple and Google make a mockery of consumers everywhere because we have allowed them to. In fact sometimes when we talk of lack of accessible support at Google and Apple (yes, Apple) we speak in a disdainful appreciation or awe :)

[0] Some might disagree but disabling (or dev/nulling in a way) mail@, hi@, contact@, sales@ etc on your domain (esp. if you have catch-all enabled) goes a long way in terms of avoiding spam

[1] It's also very important to have a tiered approach to data storage and backup strategies. There should be a very, very, very small subset of your personal data, including some of your photos and videos, that is really, really small in storage footprint that you can back up/sync to multiple locations and actually pay the full price for it at storage costs via your own setup, preferably using FOSS tools (which are becoming too good these days) out there.
by Zealotux | 2025-12-13 10:49:19+00:00
Spirited Away is my absolute favorite one and I think great for children too. Mononoke, Porco Rosso, and Nausicaa are maybe more serious/mature but still incredible. Other valid options especially for children: Totoro, Ponyo, Howl's Moving Castle.

In any case you're in for an adventure!
by xg15 | 2025-12-13 10:49:25+00:00
There is nothing wrong with providing sensible defaults and a good collection of pre-designed profiles to choose from (and yes, even a big, friendly RESET button).

But that doesn't explain taking away options. Users who don't want their time with this stuff would probably not use the customization options in the first place.

Also, the term "deliver value" has been badly tainted after too many companies have used it as an euphemism for "extracting value".

It's the same non-logic that advertisers use: Ads are both a service for the viewer, informing them of amazing opportunities, but also somehow the viewers must be forced into consuming that service.

I'm deeply skeptical of situations where people have to be forced into something "for their own good".
by kelnos | 2025-12-13 10:49:56+00:00
You've been downvoted, but I think that's a fair take. There will always be tension between security and usability; it's difficult (impossible?) to do the absolute best in both metrics.

Signal's development team can decide that they prioritize security over usability to whatever degree they like, and that's their prerogative. That may result in fewer users, and a less than stellar reputation in the usability space, but that's up to them. And if we (the unpaying user base) don't like it, we are free to use something else that better meets our needs.
by pvibby762 | 2025-12-13 10:50:59+00:00
The order as presented in letterboxd is pretty spot on. The first 8 are the most accessible to audiences. After that it is more for a deep dive and/or completionists. I've seen the top 11, I should probably watch them all again sometime.

https://letterboxd.com/director/hayao-miyazaki/
by fhub | 2025-12-13 10:51:12+00:00
Here is how the gift card scam works (in Australia)

[Quote]

Yes they do still get activated at the checkout. But when you go to redeem, the code is missing the last digit or two so it doesn't work. People take the unactivated gift card, tamper with it to get inside carefully so it's not detectable, scratch and get the code, remove the last digit or two, replace the scratch off layer, put the unactivated gift card back on the shelf. Then after you activate the gift card at the checkout, they redeem it.

[/Quote]

From this discussion

https://www.ozbargain.com.au/node/937339
by monerozcash | 2025-12-13 10:51:26+00:00
>At the same time, AML solutions tend to be a closely guarded black box which simply tells you to block a customer, finding out why is pretty difficult.

For a good reason! You, as a rule, really don't want to tell the customer why you're blocking them. What will happen in the end is that you will be facing federal charges for assisting the money launderers because you kept telling them what they're doing wrong.
by seszett | 2025-12-13 10:52:52+00:00
> I will also never have an electronic ID. We (Switzerland) were dumb enough to vote yes for it but we are giving away our freedoms eventually.

What's the link with the rest though? Your government already knows you, whether your id has your information printed with ink or stored on a chip.

Belgium has had electronic id for decades now and I fail to see how it has taken away any freedom, but it has enabled people to get their official documents online without having to make appointments in person in most cases.
by mike_d | 2025-12-13 10:53:20+00:00
Simon and GGP combined do own an overwhelming percentage of all retail square footage in the US, but lets at least consider the rest of the argument here.

Apple's "shelf space" is not free. There are constant R&D expenses involved in introducing new sensors and screens that make the underlying apps better. They take on the support load of on-boarding users, managing the relationship, and dealing with any problems. Advertising, carrier validation, third party hardware ecosystem, etc.

Epic wants to sidestep all of the costs of building a platform, and offload support costs onto Apple.
by lynx97 | 2025-12-13 10:53:32+00:00
@simonw: Any particular reason you stopped releasing "llm" regularily? I believe the last release was done in summer. Neither gpt-5.1 nor gpt-5.2 have been added. Are you about to give up on that project? Is it time to search for another one?

I also have an open issue since months, which someone wrote a PR for (thanks") a few weeks ago.

Are you still comitted to that project?
by BSTRhino | 2025-12-13 10:54:17+00:00
I’ve got a Discord from my previous game of about 2000 people, mostly teenagers, and my testers have mostly come from there. To name one example, just yesterday a teenager completed a chess game after 3-4 weeks on Easel. I’ve been incorporating tons of feedback from the testers over the past year and a half.

I think that it may look strange to a person who has coded before because the language is semi-declarative. Most teenagers come to Easel as players with no prior programming experience, and begin by remixing their favourite game, and that’s when the semi-declarative model really shines. Many interesting changes can be done in a single edit because the code is clumped together in a hierarchy. Whereas in another programming language there may be more indirection and you might need to edit 3 separate parts in different files to make 1 change, and people who haven’t coded before don’t know how to find all the parts. I think Easel works for players becoming makers but can feel strange for people who come from other languages.
by solatic | 2025-12-13 10:55:45+00:00
It can indeed be uniform across ecosystems, but it's slow. There's a very serious difference between being on a team where CI takes ~1 minute to run, vs. being on a team where CI takes a half hour or even, gasp, longer. A large part of that is the testing story, sure, but when you're really trying to optimize CI times, then every second counts.