MurphyA/hacker-news huggingface dataset:
by threethirtytwo | 2025-12-30 18:30:13+00:00
Serious.

So let me explain it more clearly. AI as it is now is already changing the game. It will reduce the demand of swes across every company as an eventuality if we hold technological progress fixed. There is no speculation here. This comes from on the ground evidence from what I see day to day and what I do and my experience pair programming things from scratch with AI.

The speculation is this: if we follow the trendlines of AI improvement for the past decade and a half, the projection of past improvement indicates AI will only get better and better. It’s a reasonable speculation, but it is nonetheless speculative. I wouldn’t bet my life on continuous improvement of AI to the point of AGI but it’s now more than ever before a speculation that is not unrealistic.
by human_person | 2025-12-30 18:30:45+00:00
But the coldest year we'll experience for the rest of our lives. Even if we get emissions down to zero tomorrow we are facing additional degrees of warming.

Instead of focusing on emission reductions we need to be talking about the best way to capture and confidently sequester CO2 on the tens of gigaton scale. In terms of size -- the carbon atoms in a decades worth of anthropogenic CO2 equivalents could build a diamond mount everest. A few hundered ppm change doesnt sound like much until you remember you need to integrate across the volume of the atmosphere.
Show HN: Realwork – Proof of work for the AI era
by Anuranjan_Vikas | 2025-12-30 18:30:54+00:00
Today, AI can generate anything from text, art, code to even music. The output is often indistinguishable from human work. And the people getting hurt aren't just consumers of slop, it's creators who now have to prove they didn't use AI.

Writers avoid em dashes because they "look AI." Artists get accused before they're appreciated. Students get flagged by inaccurate detectors.

Realwork is a macOS app that records your creative process: keystrokes, pauses, revisions, the messy parts and generates cryptographic proof that your work was shaped over time, not generated in seconds.

Think of it like a digital witness. You get a shareable proof page showing the timeline of how something was made. No surveillance, no productivity tracking, just receipts when you need them.

Tech: Native Swift/SwiftUI, ScreenCaptureKit for recording, Vision Framework OCR, blockchain-style session blocks with SHA256 hashing + Secure Enclave signatures.

I wrote the manifesto with Realwork running:
Manifesto: https://www.realwork.app/manifesto
Proof: https://www.realwork.app/anuranjanvikas31/launch-blog

Would love feedback on the concept, the UX, or whether this even matters to you. What would make you actually use something like this?
by zahlman | 2025-12-30 18:30:58+00:00
> We’ve got three “paces” in the game: Steady, Strenuous, and Grueling

I hope nobody in the wagon gets dysentery.

> In Tidy Baby you only have to deal with three dimensions... two “game cards” and a grid of up to nine candidates

So it's just recognizing which candidate completes the set?

> - word length (3, 4, or 5 letters) - part of speech (noun, verb, or adjective) - style (bold, underline, or italic)

"Style" seems artificial here. Couldn't it be something else to do with the word itself?
by throwaway3060 | 2025-12-30 18:31:05+00:00
IIRC, the prosecutor on the ICC responded to the sanctions by suggesting that they could charge individuals interfering with the court with obstruction. Which, as far as US sanctions are concerned, they definitely don't have the jurisdiction to do. I don't think anything legal came of it, but that is exactly the sort of threat that, from a prosecutor, sounds like abuse.
by m132 | 2025-12-30 18:31:56+00:00
Projects like this and Docker make me seriously wonder where software engineering is going. Don't get me wrong, I don't mean to criticize Docker or Toro in parcicular. It's the increasing dependency on such approaches that bothers me.

Docker was conceived to solve the problem of things "working on my machine", and not anywhere else. This was generally caused by the differences in the configuration and versions of dependencies. Its approach was simple: bundle both of these together with the application in unified images, and deploy these images as atomic units.

Somewhere along the lines however, the problem has mutated into "works on my container host". How is that possible? Turns out that with larger modular applications, the configuration and dependencies naturally demand separation. This results in them moving up a layer, in this case creating a network of inter-dependent containers that you now have to put together for the whole thing to start... and we're back to square one, with way more bloat in between.

Now hardware virtualization. I like how AArch64 generalizes this: there are 4 levels of privilege baked into the architecture. Each has control over the lower and can call up the one immediately above to request a service. Simple. Let's narrow our focus to the lowest three: EL0 (classically the user space), EL1 (the kernel), EL2 (the hypervisor). EL0, in most operating systems, isn't capable of doing much on its own; its sole purpose is to do raw computation and request I/O from EL1. EL1, on the other hand, has the powers to directly talk to the hardware.

Everyone is happy, until the complexity of EL1 grows out of control and becomes a huge attack surface, difficult to secure and easy to exploit from EL0. Not good. The naive solution? Go a level above, and create a layer that will constrain EL1, or actually, run multiple, per-application EL1s, and punch some holes through for them to still be able to do the job—create a hypervisor. But then, as those vaguely defined "holes", also called system calls and hyper calls, grow, won't so the attack surface?

Or in other words, with the user space shifting to EL1, will our hypervisor become the operating system, just like docker-compose became a dynamic linker?
by cultofmetatron | 2025-12-30 18:32:03+00:00
the problem is that a lot of serious issues (the men's mental health crisis) including those faced by both genders is not taken seriously until it affects women. This is a western culture thing. largly why I've mostly tuned out of western social issues. the layers of BS run deep and most people can't see it or have an idiological axe to grind
by zahlman | 2025-12-30 18:32:28+00:00
> Part of speech is quite easily the hardest dimension

Many English words can be used as two (or all three) of noun/verb/adjective. Including, er, "set".

> The share result is really clever. I guess maybe that answers my questions actually, it's designed around a playtime that's more like a daily puzzle game.

That's table stakes for this kind of game now. I think the main way people learned about Wordle must have been from their friends spamming their results on Discord/Twitter/etc.
by tucaz | 2025-12-30 18:32:42+00:00
We are about to see what happens when this is reality. 2025 law from Utah goes effective in July 2026 if I’m not mistaken and requires data portability between platforms.

https://le.utah.gov/~2025/bills/static/HB0418.html

I’m curious to see impact, adoption, side effects, etc.
by unethical_ban | 2025-12-30 18:32:50+00:00
I too stopped when I read that sentence. It's like saying someone can't tell the difference in professionalism between someone in a well tailored three piece suit vs. a sweater and jeans until they've been taught.

Ornateness itself is associated with being attentive to detail and likely more wealthy.

And even if you take them at their word, it's a distinction without a difference. Serif is known to be more professional.

But! As many have pointed out, and he does about TNR in the article: the default font for documents tends to suggest apathy. That argument against TNR is just as strong for Calibri. And there are far better looking, more functional fonts than either of these two.
by johncolanduoni | 2025-12-30 18:32:56+00:00
We definitely can, because almost every other POSIX libc doesn’t have symbol versioning (or MSVC-style multi-version support). It’s not like the behavior of “open” changes radically all the time, and you need to know exactly what source symbol it linked against. It’s really just an artifact of decisions from decades ago, and the cure is way worse than the disease.
by lesuorac | 2025-12-30 18:33:10+00:00
Fighting Russia or the US is basically the same; you're just going to get nuked. Ukraine doesn't get nuked because Russia isn't in a real risk of losing it's own territory and doesn't want to annex irradiated lands.

But also Europe (besides Ukraine) doesn't have much to gain from fighting Russia. They're happy to assist in air raids in North Africa / Middle East for energy reasons (see Libya) but it's fighting for practical purposes.

The table can also be turned against the US. Despite the endless complaints about Mexico sending drugs & drug dealers into the US it's not like we are doing effective (or drastic).
by compsciphd | 2025-12-30 18:33:51+00:00
yes, it's bad to bomb hospitals, but before you go all gotcha, war is bad in general, that doesn't mean war is always wrong or evil and what occurs in war is always evil or wrong. If the enemy is using a hospital as cover to fire at you, it's bad that one has to perform attacks that put it at risk, but its not evil.

We know for as close to a fact that we can get that gazan hospitals were used as cover. (bbc, nytimes et al reported from under hospitals in places that Hamas used for shelter and stored weapons and equipment)

But what is especially evil, is accusing people wrongly when you knowingly accuse them when you know you have no ability to validate your accusation. Which is clearly the case with the accusations launched against Israel in regards to the Al-Ahli Arab Hospital explosion.

But to many people it doesn't matter, to paraphrase the word they made about on the Colbert Report, it's all about "truthiness", one doesn't really care if this thing is true or not, the fact that it feels true and fits with one's general perception of what's true or not and good or not, is all that matters.

I even might go a step further, those who accuse someone knowingly that they don't know the truth, bare moral culpability for bad thing the person they accuse does is the future.

It's human nature for someone accused of bad things falsely to simply not care in the future. "I tried my best to do right, but they falsely accused me, I am simply not going to put as much effort into doing right in the future, as it doesn't matter".

Personally, I disagree with that sentiment, and is very much part of my internal criticism at somethings that have occurred, but I also think its a very human reaction and therefore while it doesn't excuse those who do wrong because they simply don't care anymore and doesn't reduce their blame, it also places moral culpability on those who made the knowingly false accusations. Much like if I would falsely tell someone that "So and So killed your kid" knowing that it would make them go crazy and take revenge.

Life is complicated, and human reactions to the complications of life are complicated. But when an outsider inserts themselves into a complicated situation and presents lies about it in the name of "doing good", they might very much be evil.

Or to put it a bit differently, if one believes that that Bush Administration members were evil for spreading lies that led to the Iraq Invasion, why is Francesa Albanese and her cohort fundamentally different. Why are their lies better and more justified?
by marcoroth | 2025-12-30 18:34:45+00:00
Thanks for the feedback!

And yeah, I agree. I'm not super happy with some of the APIs as they aren't really idiomatic Ruby. It's also something I mentioned in the blog post that I want to improve: https://marcoroth.dev/posts/glamorous-christmas

For now, I just wanted to get them out so we as a community can build them out together. Most of the APIs are just 1:1 "ports" of their Go counterparts and might feel off or a bit too low level because of that.
by integralid | 2025-12-30 18:34:47+00:00
>What do you think it optimizes other than individual fitness?

Chance to pass genes forward. This is only equivalent to individual fitness for very solitary species and humans aren't.

As an extreme example, take soldier termites - their chance to pass their genes is zero, but the chance for the colony to survive grows. Also gay people exist (they also - usually - don't reproduce, but help others instead).

Humans naturally care about their family and tribe because this increases the chance of their bloodline to survive.
by jonlong | 2025-12-30 18:35:10+00:00
It's true that in intuitionistic logic "A implies (A or B)"; the usual computational interpretation of that is that "there is a function taking a value of type A and returning a value of type A + B", where + is the tagged union, and, per above, that function is exactly the one which tags its input as belonging to the left disjunct.

I suspect you are still reading "A implies B" as "A is a subtype of B", derived from a set-theoretic interpretation of propositional logic. But the constructive interpretation is that a proof of "A implies B" is a method to take a proof of A and transform it into a proof of B. Computationally, a value of type "A implies B" (typically rewritten "A -> B") is a function that takes values of type A and returns values of type B.

Well, everything I've said here is standard and widely-taught; go forth and check if you're inclined to. A good introduction is the one by Philip Wadler, https://homepages.inf.ed.ac.uk/wadler/papers/propositions-as... (tagged unions appear in Section 3, though it's all worth reading). A much more to-the-point and programming-focused account is in this OCaml book: https://cs3110.github.io/textbook/chapters/adv/curry-howard.... (very little OCaml syntax is used). You can find countless more.
by potato3732842 | 2025-12-30 18:35:20+00:00
Lol. "Schools and educators" don't want massive football programs either yet what do they have?

There is no way an honest person can look at the situation and come up with an opinion like yours. College education is run by MBAs looking at spreadsheets and projecting out a quarter or three like everything else these days. Colleges are (well maybe not all of them) megacorps that happen to be schools and happen to have funky tax rules. They're mission driven nonprofits to the same degree that hospitals are.
by rwmj | 2025-12-30 18:35:29+00:00
Fraud is 41% of all crime in the UK, affecting 3.2 million people.

Number of people using F-Droid + a banking app is approximately zero in comparison.

There is not the slightest chance in hell that taking on the legal risk from F-Droid users is a sensible use of the bank's resources.

Sources: https://www.nationalcrimeagency.gov.uk/what-we-do/crime-thre... https://www.nationalcrimeagency.gov.uk/threats-2025/nsa-frau...
by prmoustache | 2025-12-30 18:35:36+00:00
Using "partygoers" without mentionning such party happened on lands stolen with violence is a bit dishonest.

Hamas is an indirect creation of Israel, they wouldn't exist if not for decade of violence and humiliation from Israel. In the same vein, the Likoud exist because of the PFLP and maintain its power thanks to the presence of Hamas. Both the extreme right in Israel and the Islamist movements in Palestine feed themselves and survive thanks to hatred and have no reason nor any wish to make this conflict stop. Netanyahu and his minions were probably laughing at the sights of the victims of october 7 knowing this would only help them.enforce their politics.
by embedding-shape | 2025-12-30 18:35:41+00:00
> Are you saying that there are so many trains in the same track at the same time that stopping for 5 minutes would cause an accident?

No, but these places generally prefer to take care of the collective, even if it means slightly worse conditions for some individuals. This is impregnated into our brains from early on, and somewhat humorously "codified" in the Law of Jante, among others. From the outside, for the last two decades, it seems to be slightly changing more and more into another direction, but that's how it was when I was born and raised there at least.

Once you understand the common perspective of "sacrificing the individual for the group", it becomes a lot easier to understand this sort of reasoning.

Personally, I don't agree with it, together with a bunch of other weird social rules, hence I don't live there anymore. But the other side of the fence, where every rule is constantly broken by everyone, "just in this case" but 100x times a week, isn't so much better after all. Just different. Some people seem to be wired for some things, others not so much.
by Imustaskforhelp | 2025-12-30 18:35:45+00:00
Someone please create a windows 7 like user interface or even XP like interface too and you got yourself a serious fan

I might seriously recommend it to newbies and like there is just this love I have for windows 7 even though I really didn't use it for much but its so much more elegant in its own way than windows 10

like it can be a really fun experiment and I would be interested to see how that would pan out.
by 8note | 2025-12-30 18:37:03+00:00
ive seen people using lovable in the wild now, and theyve made things that they are using themselves, and are working on something like a 5-10M CAD/y business serving the oil industry.

I didnt join them because I dont really want to do all the work that comes with owning a business like the accounting. mostly the accounting. i also dont particularly want to be maintaining an extra couple of systems at present. there mught be vibe coding currently, but not vibe operations

they should have the thing up by june at their very slow rate of building with lovable, but theyre not people who would ever frequent HN.
by threethirtytwo | 2025-12-30 18:37:48+00:00
Doesn’t make sense to me. If it’s bad why pay for the tool?

Obviously your team disagrees that it’s a worse replacement for google or else why demand it against your will?

> at worst a huge danger in the hands of people who dont know what they are doing.

I agree with this. But the upside negates this and I agree with your own team on that.

Btw if you’re paying top dollar for AI.. your developers are unlikely using it as a google search replacement. At top dollar AI is used as an agent. What it ends up doing is extremely different from a google search in this mode. That may be good or bad but it is a distinctly different outcome then a google search and that makes your google analogy ill fitted to what your team is actually using it for.
by Imustaskforhelp | 2025-12-30 18:37:57+00:00
https://zapps.app/ is another interesting thing in the space.

AppImage have some issues/restrictions like it cant run on older linux than one it was compiled on, so people compile it on the oldest pc's and a little bit of more quirks

AppImage are really good but zapps are good too, I had once tried to do something on top of zapp but shame that zapp went into the route of crypto ipfs or smth and then I don't really see any development of that now but it would be interesting if someone can add the features of zapp perhaps into appimage or pick up the project and build something similar perhaps.
by the__alchemist | 2025-12-30 18:37:58+00:00
My best guess: I'm bad at marketing, and gave up too soon. The feedback I received was generally "Why would I use this when Pip, Pipenv and Poetry work fine?". To me they didn't; they were a hassle due to not handling venvs and Py versions, but I didn't find many people to also have had the same problem.
by jokull | 2025-12-30 18:38:23+00:00
Keep in mind that a lot of vibe-coded software is flying under the radar because it’s being built to replace SaaS and bring workflows in-house. We often judge success by public launches or ARR, but the real "killer app" for this methodology right now is internal tooling for small teams.
For example, instead of spending developer bandwidth integrating Salesforce into first-party data, teams are increasingly just vibe-coding a bespoke CRM or CMS as an appendage to their existing database. It’s complex software (state, auth, heavy logic), but it will never be on Product Hunt because it's purely for internal utility.
The success metric here isn't "did we get 10k users," it's "did we avoid a $50k contract and weeks of integration hell."
by aj_hackman | 2025-12-30 18:38:23+00:00
It was a dream relative to anything else on the market (until 2001, when the Xbox and GameCube were released), made even easier for some titles due to the optional Windows CE SDK. You still needed to do a fair bit of SuperH assembly programming to get reasonable graphics performance, but it was nothing like the nightmarish complexity of the PS2, despite having half the RAM. It's still one of the more popular homebrew targets.
We built a guardrail layer to keep LLMs from breaking production databases
by tcodeking | 2025-12-30 18:38:27+00:00
Over the last few months I’ve been building something we originally created for internal use, but eventually realized others were running into the same problem.

Once you let LLMs generate SQL against real databases, traditional safeguards (read-only users, RBAC, views) start to break down in subtle ways:

• LLMs can infer sensitive data via aggregates and joins

• “Read-only” doesn’t prevent data exfiltration

• Regex masking fails without context

• It’s hard to audit why a query was run once it happens

We ended up building a guardrail layer that sits between the LLM and the database. Every query goes through:

• role-aware column redaction

• organization-scoped isolation

• query validation and policy enforcement

• full audit logging and telemetry

It supports multiple databases and works with both self-hosted and managed setups. The hosted version just went live, but the core design was driven by real production failures we hit along the way.

I’d love feedback from folks who’ve dealt with LLMs touching production data — especially what broke for you, or what you’d want enforced differently.

Happy to answer technical questions.

https://guardraillayer.com/
by nilegreen | 2025-12-30 18:38:35+00:00
Hi HN — author here.

This is a small browser-based demo exploring a failure mode I
keep running into with long-running AI agents.
Most agent setups implicitly reset identity between sessions or rely on external memory. This demo isolates what happens when identity state is allowed to persist across save/load cycles under bounded write constraints.

Three simple agents see the same data stream:
– one too rigid to adapt
– one too plastic and unstable
– one that adapts while maintaining coherence

You can save, refresh, load, and continue learning from the same state. The goal isn’t to claim human-like identity, but to make identity stability (or lack thereof) observable and falsifiable.
Curious how others working on agents think about reset semantics and long-lived state.
by robhlt | 2025-12-30 18:38:36+00:00
"Filmmaker mode" is a trademark of the UHD Alliance, so if TV makers want to deviate from the spec they can't call it "Filmmaker mode" anymore. There's a few different TV makers in the UHD Alliance so there's an incentive for the spec to not have wiggle room that one member could exploit to the determent of the others.
by aprilthird2021 | 2025-12-30 18:38:48+00:00
That's terrible proof. Anything better?

Yemen and the US are equal shades on that trust polling map. That alone should show you it's not really a factor.

India has a higher GDP and GDP per capita than it's neighbor Pakistan, but Pakistan has quite a higher trust score on your map than India.

There are many more examples, just these jumped out at me.