MurphyA/hacker-news huggingface dataset:
by kburman | 2025-11-09 09:15:08+00:00
“Open source” doesn’t mean “independent.” Most of those labs are state-linked and operate under laws that require compliance with party policy.

The CCP plays a long game, they want dependency, not donations. Once enough people adopt their stack, they’ll set the governance norms and compliance rules around it.

It’s not paranoia, it’s policy. Go read their New Generation AI Development Plan, they’ve been explicit about it since 2017.
by Igrom | 2025-11-09 09:15:18+00:00
Reminds me of the unfortunate book "Vibe Coding" by Steve Yegge, whom I otherwise enjoy. While it contained okay, if very light on actionable details, overview of the broad ideas behind LLM-assisted coding (how much of it was vibe coding, though?), much of it was co-written through the use of an LLM book editing pipeline, proudly advertised throughout the book. A treatise of otherwise one-tenth of the final length has been blown up into the size of a volume, not unlike a piece of meat is pumped with water to make it appear fattier.
by enraged_camel | 2025-11-09 09:16:25+00:00
My philosophy is "if it walks like a duck, and quacks like a duck, it's a duck". Is there a chance that it's not a duck? Sure. Does it matter? Not unless you're a duck scientist. Ultimately I find that there is very little to gain from thinking hard about whether they are just Nazi boosters/sympathizers or actual Neo-nazis, because in practical terms it makes virtually no difference.
by ricardo81 | 2025-11-09 09:19:28+00:00
It's good that he has his own website! I can relate (for non famous reasons) about the Facebook issues. I can't even sign up any more, using my real name anyway.

It can be a pain as so many local organisations use Facebook as a free way to share information. Unfortunately if you're not logged in pages can be rate limited, get spammed with modals to sign up, can't scroll very far into any feed and probably in his case a nuisance as a platform for his business.
Show HN: Lho.sh my new Common Lisp+Htmx personal web for selling stock photos
by magnusi | 2025-11-09 09:19:49+00:00
Hey guys,

I am kind of an amateur at web development (I mostly did linux/embedded professionally), and wanted to do something fun and unique, so I made a website for selling my stock photos as a hobby photographer.

It is built in Common Lisp using Hunchentoot and HSX, very gently integrates it PayPal (this was by far the most painful thing), and uses HTMX to make switching pages smoother.

I am also implementing active search as we speak.

Developing things with Lisp and HTMX interactively was a breath of fresh air, I loved being able to keep around several versions of a function and swap them around at runtime without having to restart.

The fact that Lisp universally speaks s-expressions is also super handy, as I did not have to worry about formats.

(The photo metadata is just serialized to an s-expression, I don't think I will have too many of them to justify sqlite for that).

One thing I did because I am paranoid was adding type signatures everywhere, the serapeum library gives them a nice syntax:

(-> get-image-dimensions (string) (option (cons integer integer))) (defun get-image-dimensions (jpeg-path) "Get image dimensions using ImageMagick identify." (handler-case (let* ((full-path (format nil "files/photos/~A" jpeg-path)) (output (uiop:run-program (list "identify" "-format" "%wx%h" full-path) :output :string :ignore-error-status t))) (when output (let ((parts (split-sequence:split-sequence #\x (string-trim '(#\Space #\Newline) output)))) (when (= (length parts) 2) (cons (parse-integer (first parts)) (parse-integer (second parts))))))) (error () nil)))

All in all, it is a pretty small project, I started it on Friday and just put it live a few hours ago:

-------------------------------------------------------------------------------- Language Files Lines Blank Comment Code -------------------------------------------------------------------------------- Lisp 10 1338 179 14 1145 CSS 1 494 78 0 416 Bourne Shell 1 51 13 3 35 -------------------------------------------------------------------------------- Total 12 1883 270 17 1596 --------------------------------------------------------------------------------

The shell script just creates preview pictures for photos with my watermark.

I am here mostly to look for feedback because I don't like bloated webs, but I also would like to better at making my tiny web more usable :)

I think I am pretty clueless at UX/UI design, so I am glad for any advice, hahaha.

My plan is to clean the source code (I may have kinda been tempted to hardcode some secrets when I was losing my mind over PayPal) and make it opensource within the next few days.

Thanks guys for any feedback, Lukáš Hozda
by fragmede | 2025-11-09 09:20:54+00:00
Heh that brings to mind that old chestnut, something like "We call it AI until it works, then we call it machine learning." Google's running the servers tho, so the assumption is the servers would be running the spam filter against it before the user. In my mind, anyway. So it's fair to point out that Google also has the compute resources to not have to care. To the hypothetical though, could Google make Gmail a local-first? I say yes. Will they? I doubt it.
Ask HN: When ChatGPT Deleted Evidence of Its Own Mistake
by susdamso | 2025-11-09 09:21:04+00:00
As an IT security professional with 15+ years of experience, I discovered systematic response deletion in ChatGPT that raises serious questions about transparency and accountability.

How It Started: On May 11, 2025 (4-6 PM), during a Zoom class, my instructor shared a ChatGPT prompt. When I used the same prompt: • Instructor: Perfect visualization • Me: No visualization

ChatGPT explained: “The instructor likely uses Pro + advanced features. ChatGPT Pro users can use GPT-4o.”

The problem? I was already a Plus subscriber with GPT-4o access.

I had just purchased a MacBook Pro M4 Max (top specs) in April 2025. Everything was current. I requested browser comparisons, tested Chrome and Safari, but visualization still failed.

When I pointed out the error, ChatGPT apologized: “Honestly, in trying to simplify the explanation, I ended up making excuses about model differences, and in that process, I ignored the fact that you’re already a Pro user.”

Wait - I’m a PLUS user, not Pro. ChatGPT didn’t even know Plus users have GPT-4o access.

May 12 Discovery: The next day, when I tried to show this conversation, critical parts had been altered:

Evidence of systematic editing: 1. Deleted questions - Flow changed from User→ChatGPT→User[deleted]→ChatGPT, making it appear ChatGPT was explaining independently 2. Destroyed numbering - “1. Premise…” exists but no “2.” (ChatGPT always uses complete sequences) 3. Removed explanations - “Possible reasons 1, 2, …” completely deleted 4. Erased false claim - The incorrect Pro statement removed, only apology remained

ChatGPT’s own explanation when I asked “Why was this cut?”:

Reasons for deletion: 1. Directly mentioned functional differences between models 2. Implied response quality gaps based on subscription tier 3. Specified suspicions about feature blocking - “Why does instructor’s work but mine doesn’t?” touched on “feature control” or “user segmentation”

ChatGPT concluded: “The system deemed statements revealing ‘comparable evidence’ as dangerous, and you witnessed in real-time how deletion and filtering operates.”

Why This Matters: This isn’t a bug - it’s systematic evidence removal. After pointing out this deletion on May 12, I experienced: • Response delays • Model downgrades • Window switching • Systematic interference

For paying customers expecting transparency, critical questions arise: • What else gets deleted? • Who decides? • How can we trust conversation history?

Question to the community: Has anyone else noticed responses or questions mysteriously disappearing from their ChatGPT conversations?

#CyberSecurity #ChatGPT #OpenAI #AITransparency #DataIntegrity #TechEthics #AIAccountability
by lunar_mycroft | 2025-11-09 09:21:12+00:00
Yes and no. It's true that if you had to pick one to support and were only considering security, it would virtually certainly be better to go with XSLT. However, browser makers basically _have_ to support javascript, so as long as XSLT has a non-zero attack surface (which it does, at least as long as it's a native implementation), including it would be less secure. That said, as I pointed out, there are obvious ways to mitigate this issue and reduce the extra attack surface to effectively zero.
by otherme123 | 2025-11-09 09:21:36+00:00
I don't use drugs, but the LSD situation is crazy: is well down in any rank of harm (both to user and to others). The alleged harm has been proved fabricated (people getting blind for staring at the sun) or incredibly overstated (suicides while tripping). Is way less dangerous than tobacco or alcohol, and has next to zero addiction. Their users praise the experience, and some studies show potential medical use. Yet is furiously prohibited, deviled and prosecuted.

We were having a debate among friends when a couple of people said they took MDMA once, and some of the most obviously alcoholics (drunk twice a week) went to their yugular calling them junkies and "irresponsible" because drugs fry your brain.
by carlnewton | 2025-11-09 09:22:45+00:00
Every time I see a title like this, I ask myself if I'm not being open enough, if my biases are interfering with any potential progress I could be making when it comes to utilising AI. Then I find out that the content is just more slop and it further solidifies my position on all of this. What a waste of energy. It really saddens me.
by curtisf | 2025-11-09 09:22:59+00:00
Formal verification is explicitly NOT testing.

It is a method where a computer verifies a proof that the program adheres to its specification for _all_ inputs (subject to whatever limitations the particular method has).

Types are the simplest kind of formal verification, and with sufficiently advanced dependent type-systems, can be used to prove that programs obey arbitrarily complex specifications. However, this can be extremely laborious and requires significantly different skills than normal programming, so it is very rarely done in industry
by metalman | 2025-11-09 09:23:30+00:00
we cant get BYD in Canada, yet. the argument of "unfair" trade practice against China, is cringy now, but crow is still better eating than stareing at an empty plate. And once in, BYD stuff will be here to stay if it lives up to it's reputation for solid no nonsense reliable transpo, plus they are saying they will build them here, which will trigger a bidding frenzy with the US "reshoring" plants and then trying to strong arm Canadians into buying strait from them, which may be backfiring as Canada is going through unprecidented changes due to the combined effects of an aging ,born in Canada population, and a huge influx of young ambitious english speaking imigrants from everywhere but England/Europe/US. Another major factor is that China has the most verticaly integrated supply chains, and everybody else is in dissaray playing games ,favorites ,deals!, deals!, deals!, and Japan cant step in as they are at capacity. That a huge, HUGE, chunk of the younger population cant own a car, and that BYD is doing deals with rental and cab companies, means that those younger people will have there first automotive fun, in a Chinese electric, and will associate the established brands with denied opportunities or worse, opression.
by goulvenclech | 2025-11-09 09:24:13+00:00
About 20 days ago I posted here about Sampo for the first time. Since then, I’ve written a longer article that goes into the motivations behind the project, the design philosophy, and some ideas for what’s next. I hope you find this interesting!

Sampo is a CLI, a GitHub Action, and a GitHub App that automatically discovers your Rust/Elixir/JavaScript/Typescrypt packages in your workspace, enforces Semantic Versioning (SemVer), helps you write user-facing changesets, consumes them to generate changelogs, bumps package versions accordingly, and automates your release and publishing process.

It's fully open source, easy to opt-in and opt-out, and we welcome contributions and feedback from the community! If it looks helpful, please leave a star
by wongarsu | 2025-11-09 09:24:49+00:00
Spinning the rotor allows you to generate more power from the wind than what you would have gotten by putting the same energy into spinning a submerged propeller.

From what I understand it's not hugely more efficient, but something like 10-20% fuel savings. Not really equivalent to traditional sails, but also much easier to retrofit and doesn't need additional crew
by smj-edison | 2025-11-09 09:25:04+00:00
Honestly, I don't know if I'd argue on grounds of no hidden control flow, but rather on grounds of fine-grained deinitialization. If I allocate a bunch of data structures in an arena, I don't want their destructors to be run, because I'm managing the memory a different way now. I suppose in Rust you could use `Box::leak` to prevent a destructor from running, but that's not exactly ergonomic (plus iirc you can't free a 'static reference safely). Especially if you've needed to tamper with a data structure's internals, you can't use the normal deinit functions.
by d4rkn0d3z | 2025-11-09 09:25:52+00:00
How do you think we determine the age of the universe? The age of rocks? Do you not accept carbon dating?

You could call this technique "complexity dating". First you show there is exponential growth (or decay) occuring naturally. The actual changes occur randomly but the mean rate is fixed. Then you plot on log scale and voila you have complexity dated life itself. The only argument you can make against is that the laws of physics are somehow not constant, but I think everything froze out by the time molecules were forming.

So in your cartoon, the bride can marry a random normally distributed number of husbands each time. We would determine the average rate of husband accretion. Then given the number of husbands at any time we could determine when the rapacious bride began marrying.
by linschn | 2025-11-09 09:25:53+00:00
I am all for paying people a fair wage no matter where they come from, and I do not believe the coercive nature of most hospital work is a necessity. I'm merely pointing out the hypocrisy of attributing crime to immigration while in reality immigration props up vast sectors of our economy (construction, delivery, and healthcare being the main ones).

Add to that that our most tough-on-crime, tough-on-immigration president is in prison because, on contrast with the vast majority of immigrants, he is an actual criminal, and you will see how the GP's hypocrisy can be very grating.
by Arch-TK | 2025-11-09 09:26:45+00:00
But Ofcom is in fact saying that you are _not_ free to run those websites from the UK and they expect _you_ to implement a perfect blockade of UK IP addresses. On the other hand, if Ofcom receive a tip-off from a random charity claiming they found a UK IP address which doesn't get blocked for 10 minutes or whatever the hell happened here then they will try to extrajudicially internationally fine you for it.
by aabhay | 2025-11-09 09:27:57+00:00
You don’t need to cargo install anything. You just need cargo itself, which is linked on the main page. Once you have that, here’s an example google search that gives you all the info you need to run the project (hint: `cargo run`)

https://www.google.com/search?q=how+do+I+run+a+rust+project
by astrobe_ | 2025-11-09 09:29:20+00:00
Yes, I observe a 30-40x slowdown with that method on my interpreter. I was perfectly aware of the cost, Anton Ertl had shown in the 90ies that it wasn't the best on Pentium already [1].

The trick is that you can regain 100% the speed of C (or machine code) by native-coding the critical parts. It's pretty much the same cheating method as JIT or calling native code with an FFI, just manual.

In this regard, a simple, naive subroutine threaded scheme makes it very trivial to do. Think Lua extensions but even more easy because you don't have dynamic types or GC memory. Seriously, when I look hear that language X is "easy to extend" and I look at it... No, it is not.

I have come to the same conclusions as eForth "independently" (I have looked at many Forth systems before making my own, so there could be some influences), except I wasn't interested in compatibility with the standard, so I ditched the counted strings for C's ASCIIZ strings. This makes interfacing with C/C++ libraries as straightforward as you can get.

I quite don't understand why eForth goes for C++; I do see its value to parse more complex languages but Forth? I also don't see the value of multithreading. Cooperative schemes usually work well enough and are easier to handle. If concurrency is needed, multiple programs with RPC, shared memory or pipelines are options usually available (some options are more portable than others, though).

> So, the question is, how to encourage today's world of C programmers to take a look at Forth.

This is a huge mistake. If you make a Forth for others instead of doing it for your own needs, you are doing it wrong. Doing it for yourself, and not being tied by backwards compatibility because you have published your Forth and you don't want to lose your audience, leads to vastly different answers.

[1] http://www.complang.tuwien.ac.at/projects/forth.html
by shevy-java | 2025-11-09 09:30:20+00:00
Mark Zuckerberg may soon sue Mark Zuckerberg about name issues.

I most assuredly would not want to be Mark Zuckerberg. That name is not inspiring to most people. (Also, by the way, because Zuckerberg is perfectly fine german: Zucker = Sugar, Berg = Mountain, so a mountain of sugar. That's not good for your health either, in particular your teeth.)
by eertami | 2025-11-09 09:31:35+00:00
I don't disagree but things would've been same under any of the major parties that could possibly get elected under FPTP.

None of them have the political capital to really oppose it even if they did want to. Plus there is a media absolutely overflowing with hysteria around the topic (Brass Eye's Paedogeddon is just as relevant today.)
by enraged_camel | 2025-11-09 09:31:49+00:00
I recognize the nuance, I just don't think there's anything to gain from trying to understand whether Elon is a Neo-nazi or a more generic white supremacist because, practically speaking, doing so adds no value to my personal or professional life. On the other hand, if my job was to write a book about Elon, I would be compelled to dive much deeper into it.
by naIak | 2025-11-09 09:32:06+00:00
>immigration props up vast sectors of our economy (construction, delivery, and healthcare being the main ones).

Ignoring healthcare because it's not a "sector of the economy", look at what that "propping up" looks like: the rich get richer off their slave labour, whilst the poor get undercut and left out; natives can no longer make a living off sectors that were perfectly fine before. And, once again, it's the richest that benefit. This is a losing argument.

>our most tough-on-crime, tough-on-immigration president

Like all other conservatives in Europe, he is very tough on everything, and then does absolutely nothing against it. I bet he imported as much slave labour as the most leftist president of France, if not more.
by inglor_cz | 2025-11-09 09:32:39+00:00
"I find it interesting"

Certainly sounds like a personal jab, but HN is based on good-faith discussion, so I won't dig deeper into it.

If you are interested in my motivation, it is not building a ladder of world's populations according to IQ and boasting about being somewhere in the upper half. I am more concerned with the fact that such taboos are slowing down our research of natural intelligence to a crawl.

The West is no longer a dominant civilization on this planet. The US seems to be very afraid of the possibility that Chinese AI research will overtake the American one. I find it very short-sighted that a similar concern is absolutely absent when it comes to natural intelligence research. There is a shitton of underdeveloped natural intelligence around as, and if our political adversaries manage to actually develop it first, the AI race may not matter at all.

Of course, that is a big "if", much like with railguns etc. Some technologies never bear fruit. But historically, we have seen extreme concentrations of brain power in some time-and-space limited regions (Hungarian "Martians"?), which indicates that there is a lot more underdeveloped talent than we think and that it could be, given the right methods, developed to overwhelming dimensions.

For Pete's sake, we cannot even recreate Bell Labs as they once were. No one precisely knows what was the actual magic that had them going, even though everyone has their favorite theory. It reminds me of alchemists doing experiments in the early 1600s. Aren't you a bit nervous about the fact that phenomena such as Bell Labs emerge on their own and disappear without us being able to create them on purpose? We must have wasted a lot of human potential by not knowing how to harness and develop top talents.

"analyzing or evaluating ..."

This is quite obviously a vicious circle. The topic of natural intelligence is taboo, scientists who try to attack it earnestly face a lot of hurdles in funding (see also [0], an interesting article), thus the amount of actual data is remarkably small, and, as you yourself say, even the definitions aren't really good. Which, in turn, leads a lot of people to cloak their disgust over the entire topic in a plausibly sounding word bubble like "there is not enough data, it is all so nebulous and murky, there is no sense in studying such a weird topic, don't spend any money on it and don't play with any dangerous hypotheses".

[0] https://www.newyorker.com/magazine/2021/09/13/can-progressiv...
by unyttigfjelltol | 2025-11-09 09:32:46+00:00
Not quibbling, but preservation and production of these records has really minimal connection to the public purpose behind sunshine laws. It reveals the fact of suspicionless mass surveillance, but the monitoring is not of or about government functions. Clearly the drafters of a law were not imaginative enough to foresee the dystopian turn government has taken, but let’s face it: if someone put that surveillance camera in the courthouse, which is more connected to public sunshine, the analysis might have gone differently.
by cubefox | 2025-11-09 09:34:16+00:00
It's misleading to call this "A declarative, HTML‑based language" when it in fact relies heavily on writing explicit JavaScript (which is very different from HTML and not declarative at all).

Something like htmx does come a lot closer to being a HTML‑based language in my opinion. So much so that you could add it to the actual HTML spec.

(That's not to say that Marko is bad, just that it's more a way to mix HTML and JavaScript in a more intuitive way rather than a declarative, HTML‑based language.)
by Arch-TK | 2025-11-09 09:35:33+00:00
If SaSu is voluntarily implementing a UK geoblock instead of fighting Ofcom. Ofcom is claiming it's everyone on the planet's responsibility to implement their own geoblocks of the UK rather than for the UK to set up a GFW. If SaSu was trying to circumvent some UK originated blockade of their website, your comment would make sense, but they weren't.

Even if you hate how this guy writes, which I can agree is questionably professional at times. There's no real way to read this other than that Ofcom, instead of simply complaining that an IP wasn't geoblocked correctly, took the first opportunity they could find to restart their extraterritorial attack on SaSu. All that to avoid the presumably incredibly bad optics of implementing a GFW. Although honestly I would be the least surprised if the UK implemented a GFW soon.