MurphyA/hacker-news huggingface dataset:
by sigmoid10 | 2025-12-13 11:24:38+00:00
Anthropic is in a bit of a rough spot if you look at the raw data points we have available. Their valuation is in the same order of magnitude as OpenAI, but they have orders of magnitude fewer users. And current leaderboards for famous unsolved benchmarks like ARC AGI and HLE are also dominated by Google and OpenAI. Announcements like the one you linked are the only way for Anthropic to stay in the news cycle and justify its valuation to investors. Their IPO rumours are yet another example of this. But I really wonder how long that strategy can keep working.
by rramadass | 2025-12-13 11:25:18+00:00
Just to make sure that people don't get the wrong idea;

Nada Amin's Harvard webpage states;

I combine programming languages (PL) and artificial intelligence (AI), including large language models (LLMs), to create intelligent systems that are correct by construction. My current application domains include program and proof synthesis, and precision medicine. ... we look at combining Machine Learning and Programming Languages to enable the creation of neuro-symbolic systems that can move back and forth between learnable (neural) and interpretable (symbolic) representations of a system.

She was a recipient of the Amazon Research Award 2024 for LLM-Augmented Semi-Automated Proofs for Interactive Verification - https://www.amazon.science/research-awards/program-updates/7...
by theothertimcook | 2025-12-13 11:26:19+00:00
Was it though? I don't know how you definitely prove that?

Telling people to keep an extra bit of space around them, cover their face holes with a mask, and wash their hands was hardly the authoritarian nightmare some people made it out to be.

Prior to covid, in various Asian countries it was perfectly normal for someone to wear a mask when they had a cold.

Just seems like there's more pressing things to direct science and ire at.
by RossBencina | 2025-12-13 11:27:01+00:00
In C I don't think the copy/move thing is an issue. It has the same hazards as copying struct instances. And yes I am thinking of this as a C extension.

Another complication is that it would be beneficial to be able to optimize state storage in the same way that stack frame resources are optimized, including things like coalescing equal values in conceptually distinct state instances. This would (I think) preclude things like sizeof(statetype(f)) which you really want for certain types of manual memory management, or it would require multiple compiler passes.
by xorcist | 2025-12-13 11:27:15+00:00
> XML-DSig isn't great with XPaths

Or at all.

> How would you digitally sign a Json document and embed the signature in the document?

Preferrably you wouldn't because that's a really bad idea.

That said, this type of support-every-conceivable-idea design-by-committee systems would be equally bad built on json or anything else. That much is true.

There's probably no silver bullet here. But that is still not an excuse for XML-Sig.
by rstuart4133 | 2025-12-13 11:27:54+00:00
I was curious, so I asked an AI (Gemini) to compare the wholesale price of electricity in Ontario vs Sydney, in Canadian dollars, including any subsidies in the price. The reasoning is the wholesale price best reflects the cost of production.

The outcome was surprisingly close. Sydney seemed to be a little more expensive, with a spot market average of CAD$73/MWh vs CAD$65/MWh. A wash really.

I don't know what is going on with the retail prices. My rule of thumb is multiply by 3, but your multiple is closer to 4.5. I live in Brisbane for example, where the average price is $100/MWh and we pay around $.30/kWh retail. Have you looked at https://www.energymadeeasy.gov.au/ ?
by thrance | 2025-12-13 11:28:02+00:00
There are indeed many people trying to justify this magical thinking by seeking something, anything in the brain that is out of the ordinary. They've been unsuccessful so far.

Penrose comes to mind, he will die on the hill that the brain involves quantum computations somehow, to explain his dualist position of "the soul being the entity responsible for deciding how the quantum states within the brain collapse, hence somehow controlling the body" (I am grossly simplifying). But even if that was the case, if the brain did involve quantum computations, those are still, well, computable. They just involve some amount of randomness, but so what? To continue with grandparent's experiment, you'd have to replace biological neurons with tiny quantum computer neurons instead, but the gist is the same.
by PaulRobinson | 2025-12-13 11:28:02+00:00
There's actually a bit of crossover. This paper is quite old, but I know that other teams and other surgeons have visited each other plenty since this was published, and there's this cross fertilisation of ideas.

F1 is "important" in the sense that it is competitive, and so teams want to iterate and improve constantly. I think the fastest pit stop in the 2025 season 1.91 seconds, in which: the car is jacked, four tyres are removed, four new tyres are placed and secured into place, the car is dropped, the lane is checked for traffic, and then the car can move. There are thousands of permutations of how to get this right and that fast. And accuracy is important: get it wrong there is a risk of injury at worst, or a fine for an unsafe release at best.

ICU is obviously important in a different way. You can't really "experiment". Iteration needs data. So you need to go out and learn what good looks like from different disciplines, and then carefully plan the changes you want to make and get buy-in. Get it wrong, and people die. Best case scenario you're struck off, worst case you're going to prison for murder.

In dev speak, F1 can afford to be agile, ICUs need to be waterfall.

But because F1 needs to be precise and they perceive the dangers of imprecision so acutely from a monetary perspective (where you finish in the Worldwide Constructors Championship directly affects the profitability and viability of the team), they want to borrow ideas too.

It sounds ridiculous that surgeons and F1 garages would have so much to talk about, but it turns out, they really do feed ideas off each other sometimes.
by Itoldmyselfso | 2025-12-13 11:28:45+00:00
How about the abdysmal security Smart TVs either have right of the shelf or for certain after they are no longer kept up-to-date? I don't want to worry having my TV act either as botnet or spying device (many come with microphones and cameras nowadays). I rather purchase additional device that has decent security that I can attach to the TV if I need to.
by arendtio | 2025-12-13 11:29:14+00:00
I use Nextcloud for files/contacts/calendar/etc. as well, but for photos I use PhotopPrism [1].

The reason is simple: photos require much more processing and focus on performance. In addition, photos take up much more space, so while my Nextcloud instance runs on an SSD, the photos reside on an HDD, mostly in sleep mode.

[1] https://www.photoprism.app
by ChristopherDrum | 2025-12-13 11:29:38+00:00
Author here, I'm glad you enjoyed it. HyperTalk and Pascal are obviously very different beasts, I'm sure it was difficult to context switch between the two! For HyperCard stack developers, that resource fork was kind of a blessing, because we didn't need to wonder, "Where is my data?" It was right there in the stack itself, making it super-portable and easy to share. That comes with all of the downsides you might imagine, as skills and needs increased. But it was also a very welcoming environment for the development-curious.

I never found anything like HyperCard that predated HyperCard; it really did seem to be borne from a special burst of insight. I could be wrong though, because as soon as something is declared "the first" someone invariably finds a earlier protoype from PARC or somewhere.

Presentation software definitely feels similar, especially with its card-and-buttons metaphor. Its intentionality is obviously quite different, but I just did a quick look and it seems like there is VBA scripting available in PowerPoint. Maybe the distance between it and HyperCard isn't the vast gulf I thought. Even if that's the case, then it really only supports your conclusion, "We really haven't progressed that much more." That sense of stagnation gnaws at me, TBH.

Thanks for reading and sharing your story.
by u_sama | 2025-12-13 11:31:30+00:00
I actually do too, the issue is that in today’s wacko world the defense of Free Speech which in the early 2000s was a domain of the left/center-left, now has been abandonded due to the notion of “hate-speech” and opportunistically taken by the right (even tho many like MAGA will drop it the moment it stops being politically convenient i.e expulsion of students being critical of Israel actions).

A lot of those are propaganda peddlers who would drop the charade the moment someone on their political opposite side finds themselves in the same position (they keep crying about statements of Palestine and anti-semitism). I agree that they are stupid in their defense of Lucy Connely who literally and unrepentably pushed to “burn the asylum centers”, and that they are willfully conflating the issue to further their agenda.

The issue is both you and the retarded conservatives uses the situation to push their agendas, and as a counterpoint while they have media empires the left-wing political side also has media conglomerates pushing their ideas (BBC having a center-left slant).

No, the issue is going to fix itself with free speech, when no side is persecuted and better quality and rational discourse can arise and not be censored or overtaken by the extremes. Currently the only sane takes on many issues like immigration, economy or free speech exist only in the internet ghettos hidden from the larger public.
by PoignardAzur | 2025-12-13 11:31:54+00:00
I mean... yes, that's how police surveillance works? People don't want to do illegal things when they know the police is watching, so sometimes the police has to spy on people before they can prove they did something illegal. The person being spied on can't present their side of the story, because if you tell them they're being investigated, they'll just lay low.

So yeah, there's always the possibility that the cops spy on someone innocent or try to dig up dirt on a journalist or something, and that's why warrants exist. If you don't think a judge's oversight is enough for the police to intrude on someone's privacy, then you're basically saying that the police should only ever have access to OSINT sources and nothing more.
by rlupi | 2025-12-13 11:32:28+00:00
I built an agent that has access to my diary, it has the ability to build hierarchical summaries of my diary, which help to compress context, I gave it tools to read pages, search using full text indexes and RAG (the former worked better, but I think it's largely because of limitation in my RAG implementation), it also has the ability to record memories (append to a specific markdown page). The latter are automatically included in the system prompt, when I invoke chat.

https://github.com/robertolupi/augmented-awareness/blob/main...

I use it mostly non-interactively, to summarize my past diary entries and to create a Message Of The Day (MOTD) shown when I launch a terminal.
by bpye | 2025-12-13 11:33:11+00:00
I have a projector, a BenQ X3000i, in my living room, with a retractable screen. It has the plus side of not needing a dedicated wall, but does perform poorly (vs a TV) if the room isn't darkened. Maybe eventually I'll tie it into my home automation with some smart curtains.

It has low latency, will do 1080p 240Hz, 4k (pixel shift) 60Hz and HDR. Can even do 3D content if you really want...

BenQ did include an Android TV stick in the box, but you can just not hook it up to the projector - problem solved.
by krapp | 2025-12-13 11:34:02+00:00
Spirited Away is an intricate expression of Miyazaki's ethics as formed by his unique lived experience and nostalgia for classical Japanese culture, as well as a criticism of Western capitalist excess filtered through Shinto philosophy.

There is literally no universe in which a generative AI creates a work of art of that magnitude. You can get "make this meme is the style of Ghibli" from an AI and it can imitate the most facile properties of the style but that still requires the style to imitate. AI is never going to generate the genius of Hayao Miyazaki from first principles, that isn't even possible.
by psanchez | 2025-12-13 11:34:26+00:00
I just had a look at the code and it is indeed very compact. I haven't compiled or used it.

Looks like RISC-V 32-bit integer and multiply and atomic instr extension. Floating point supported when compiling via gcc or similar the example apps (not by the emulator itself but by the compiler emiting the required software functions to emulate the floating point operations instead).

I think it is very clever. Very compact instruction set, with the advantage of being supported by several compilers.

Wrapper over this other project which is the one implementing the instruction set itself: https://github.com/cnlohr/mini-rv32ima

Kudos to both projects.
by jeroenhd | 2025-12-13 11:34:50+00:00
Gift cards are great for companies you don't trust with (up-to-date) payment details. Amazon, Google, Apple, whatever evil megacorp you can think of, they all have made the news with stories like these, and they have proven time and again that they will stand by and defend their arbitrary decisions in court if they have to, because involving basic human intellect in the chain is too much of a fraud risk.

Even if you like their services, who knows what they'll do when they have access to your credit card information directly. I can completely understand why someone would pay for their services with gift cards bought from a well-known, respectable store instead.
by epolanski | 2025-12-13 11:34:52+00:00
I've been locked from my apple id for two *months*.

Even though I:

- had my recovery password

- re-confirmed the email

- re-confirmed my phone

They just kept telling me "we'll contact you in two weeks", and kept not following.

Then after the 4th recovery they sent me my recovery link on email (in any case weeks later).

Worst of all? Their privacy and security they keep repeating like propaganda are beyond bogus. Sure, they de-logged me from all of my accounts, that I appreciate, but I had 0 issues accessing all of the contents on my hard drive if I was a thief with a simple script in recovery mode I could still access everything. Where's the security? Propaganda only non-technical normies believe and then repeat.

I'm never ever buying Apple products ever in my life, I've got MBPs that my clients send me, but that's it.
by andy99 | 2025-12-13 11:35:15+00:00
I’d argue openAI has put their cards on the table and they don’t have anything special, while Anthropic has not.

Their valuations come from completely different calculus: Anthropic looks much more like a high potential early startup still going after PMF while OpenAI looks more like a series B flailing to monetize.

The cutting edge has largely moved past benchmarks, beyond a certain performance threshold that all these models have reached, nobody really cares about scores anymore, except people overfitting to them. They’re going for models that users like better, and Claude has a very loyal following.

TLDR, OpenAI has already peaked, Anthropic hasn’t, this the valuation difference.
by Tiddles-the2nd | 2025-12-13 11:35:52+00:00
This is disgusting and unconscionable conduct by Apple. Your whole life is locked into your account (digital data and physical devices), and they either don't care or don't have the processes in place to fix it.

This is the kind of thing they need to be sued on a massive scale for to solve but it's too rare and too expensive for anything to ever happen to them for it.
Show HN: The Lost World 2030 – A full comic built with HTML+CSS
by OSCAR-ORO | 2025-12-13 11:36:41+00:00
I was starting to learn html/css when the Gen-AI revolution explode. That got me thinking: I could build a comic using html+css that sounds cool & unprecedented. I did so for the sake of practice not for money. I have to say that is resisting very well the test of time. When i did it many people drop me comments on the lines of: thats just push a button. But i knew it was a lot of work behind the scenes. Its just another way of working. After that time, i think im right, if you want to make a high quality product using AI you have to put effort or its gonna be garbage. Its just a competition on another level, just when car races started didnt make racing easier than before because other people now uses car too. Anyway, check it out & tell me. I started learning HTML/CSS right as the Gen-AI revolution was beginning, which sparked an idea: could I build a full digital comic using only HTML and CSS? It sounded like a cool, unprecedented technical challenge. I pursued this purely as a learning exercise and a personal project, not for profit. The project is The Lost World 2030, a 260+ page comic with hundreds of images. The key constraint was using zero JavaScript. The entire layout, panel flow, and navigation are driven purely by CSS features like flexbox, grid, and CSS animations. When I initially worked on this, some comments implied using AI meant it was "just push a button," but I've found that high-quality results with AI still require significant effort and a deep understanding of the tools—it's a different way of working, not an easier one. This project is my proof of that. The work was in the technical implementation of the comic itself. I made a a reddit channel about it, this is an interesting article i wrote: https://www.reddit.com/r/THELOSTWORLD/comments/1eyr00s/comic...

I believe this is one of the first substantial art projects integrating AI imagery within a purely HTML/CSS structure. I'd appreciate the community's feedback, especially on the technical implementation and the performance of the all-CSS approach. Thanks!
by rendall | 2025-12-13 11:37:55+00:00
I think there is probably an anthropocentric flaw in the rat display.

Human eyes are side-by-side and forward, with a big binocular overlap and a clear vanishing point. A forward-facing curved screen fits that geometry well.

Rats' eyes, by contrast, are lateral. They have a much wider field of view, a tiny binocular zone, and use motion and contrast more than neat perspective lines. A single human-style "cinema screen" isn't laid out for a rat's optics or brain.

Perhaps if the scenes were rendered with a much wider, 250° FOV, it would help the rat understand what it was seeing better.

Or even rendered with two virtual cameras offset and angled apart, then stitch their outputs into one extra-wide view wrapped onto the curved display. That would approximate the rat’s much wider horizontal field of view and reduce the mismatch between where its eyes are actually looking and where the important visual information appears.

There are other differences in perception of color and motion, but fixing the FOV would be an immediate and relatively easy software fix.
by solumunus | 2025-12-13 11:38:40+00:00
> Growth is not a must have for an economy, as long as it is sustainable, so even if it is a problem, which is highly arguable, it’s not really a problem like you’re positing.

If the economy doesn’t grow then you can’t service your debt without ever more cuts and/or tax raises. The other option is printing money to pay the debt, which will lead to inflation. I really want to hear your argument as to why this isn’t a problem in European economies? Unfortunately the system in many ways has presumption of growth built into it. There are no free lunches.
by sigmoid10 | 2025-12-13 11:38:41+00:00
You wouldn't even need quantum computer neurons. We can simulate quantum nature on normal circuits, albeit not very efficiently. But for the experiment this wouldn't matter. The only important thing would be that you can measure it, which in turn would allow you to replicate it in some non-human circuit. And if you fundamentally can't measure this aspect for some weird reason, you will once again reach the same conclusion as above.
by reify | 2025-12-13 11:39:21+00:00
Agentic AI goes further than suggestions, combining memory, reasoning, and tool use to act semi - or fully autonomously across the shopping journey.

what a load of utter verbal bollocks!

THREE WAYS TO RESHAPE SCAMMING THE PUBLIC:

With AI reshaping the marketing and sales funnel, Bain identifies three strategic, practical moves for retailers to make today:

Dig the customer moat.

Retailers need to offer exclusive products, loyalty rewards and value-added services such as installation or protection plans that deepen relationships and create scarcity that AI agents can't easily replicate.

Redefine retail media networks.

About 65% of retail media spending still occurs onsite, which could be at risk if discovery shifts to AI-driven search. Retailers need to test and learn with new ad formats that monetize natural language queries and expand into in-store and offsite media, which now account for 15% and 20% of retail media investments, respectively.

Retain ownership of data and checkout.

Retailers must protect first-party data, watermark content and negotiate data-sharing terms in AI partnerships. Where possible, they should maintain control over fulfillment and checkout to ensure data visibility and pricing accuracy.
by jeroenhd | 2025-12-13 11:40:01+00:00
I think the fear many people have is that digital ID will be required for non-government services as well. I can easily see that happen in the USA and Switzerland is the kind of weird that may also let that sort of thing happen.

With things like age verification becoming mandatory just about everywhere and actual privacy-conscious digital age verification being very difficult, there's definitely a risk towards abuse and badly designed authorization mechanisms (although the EU's open source backend and frontends should make it easy for other countries if they do actually care about privacy).
by kristianp | 2025-12-13 11:42:17+00:00
> $73 billion backlog of AI orders over the next 18 months. Part of that is from $21 billion of orders from Anthropic

What does Anthropic buy from Broadcom?

> We received a $10 billion order to sell the latest TPU Ironwood racks to Anthropic,” said Tan, speaking on Broadcom’s fourth-quarter earnings call on Thursday

https://www.cnbc.com/2025/12/11/broadcom-reveals-its-mystery...
by embedding-shape | 2025-12-13 11:42:41+00:00
Yes, I agree, the companies don't actually care about consumers, only what's cheaper for them. But this is a choice companies do, not because laws somehow require them to block the entire account vs individual features. I was just adding that because the original comment made it seem like the companies are somehow forced to act like they do because of laws, but it isn't, it's an intentional cost-measured choice they make by themselves.
by sigmoid10 | 2025-12-13 11:43:27+00:00
I have built several agents based on OpenAI now that are running real life business tasks. OpenAI's tool calling integration still beats everyone else (in fact it did from the very beginning), which is what actually matters in real world business applications. And even if some small group of people prefer Anthropic for very specific tasks, the numbers are simply unfathomable. Their business strategy has zero chance of working long-term.
by metalman | 2025-12-13 11:43:27+00:00
this is only the first serve from solar battery powered electric grid's. sodium batteries will drop costs and eliminate* fire hazards. ultra high power density supper caps are on the way, which put humanitys power requirements into the solved, category. the key piece of data on batteries is that all matter in the universe is a charge carrier, and the full number of possible compounds and methods of storing energy is the sum total of everything that is possible, in the universe.nothing less.