MurphyA/hacker-news huggingface dataset:
by TeMPOraL | 2025-05-29 06:13:26+00:00
Only goes to shown how strong their brand already is in the eyes of the public. I question how much active maintenance it takes, though. In my eyes, they already won big with ChatGPT - the name still is synonymous with LLMs to the general population. Everyone knows what ChatGPT is. Few known what Claude or Gemini is; arguably, more people know what Deepseek is thanks to the splash they made tanking NVidia stock and becoming part of general news coverage for a few days. Still, for regular folks (including business folks in tech industry, too), they all are, respectively, "that other ChatGPT", "ChatGPT from Google" and "that Chinese ChatGPT". It's a pretty sticky perception.
by _benedict | 2025-05-29 06:13:33+00:00
This doesn’t seem to provide higher write availability, and if the read replicas are consistent with the write replica this design must surely degrade write availability as it improves read availability, since the write replica must update all the read replicas.

This also doesn’t appear to describe a higher durability design at all by normal definitions (in the context of databases at least) if it’s async…?
by motorest | 2025-05-29 06:13:39+00:00
> Seems like a great PowerShell replacement.

It sounds like it can potentially replace way more than PowerShell. I mean, why would a .NET shop even bother with Python or any form of shell scripts if they can attach a shebang on top of an ad-hoc snippet? And does anyone need to crank out express.js for a test service if they can simply put together a ASP.NET minimal API in a script?
by selfhoster11 | 2025-05-29 06:15:14+00:00
We use pop-cultural references to communicate all the time these days. Those don't necessarily come from only the most commonly known sections of these works, so the AI would necessarily need the full work (or a functional transformation of the work) to be able to hit the theoretical maximum of the ability to decode about and reason using such references. To exclude copyrighted works from the training set is to expect it to decode from the outside what amounts to humanity's own in-group jokes.

That's my formal argument. The less formal one is that copyright protection is something that smaller artists deserve more than rich conglomerates, and even then, durations shouldn't be "eternity and a day". A huge chunk of what is being "stolen" should be in the commons anyway.
by KPGv2 | 2025-05-29 06:17:29+00:00
> What is more likely in 1000 years to still exist and being readable. The papers caught in some lost ruins or some form of storage media?

The storage media. We have evidence to support this:

* original paper works from 1000 years ago are insanely rare

* more recent storage media provide much more content

How many digital copies of Beowulf do we have? Millions?

How many paper copies from 1000 years ago? one

how many other works from 1000 years ago do we have zero copies of thanks to paper's fragility and thus don't even know existed? probably a lot
by crusty | 2025-05-29 06:18:22+00:00
Maybe they will, but this seems to be separate in that if it resolves the physical address from the code during the checkout process like a DNS call, it isn't reliant on actually shipping with Japan post and even if it does, it now has the physical address, so why not use that.

One thing about the long physical address is that it adds a bit of redundancy. Misspelled or wrong name... still arrives. Misspelled street or city... might still arrive. I'm guessing 1 number off on that code and it's wrong. For the example in the story, a customer inputs the number, three store makes the call to Japan post and renders the physical address to the customer so they can verify before committing.
by ChrisArchitect | 2025-05-29 06:19:08+00:00
Reminds of the Whataburger app being used about a year ago as someone pointed out the app's location map gave a good indication of Texas power outages. (https://news.ycombinator.com/item?id=40927364)

IIRC the marketing team embraced it on social posts and reached out to share some merch as acknowledgment.
by Dylan16807 | 2025-05-29 06:19:54+00:00
If the only principle you look at is "does this compute?" then they're not that different. Otherwise they're about as far apart as you can get.

A Turing machine (at least one that isn't designed in some super wacky way to prove a point) has a few bits of internal state and no random access memory. If you want RAM you have to build a virtual machine on top of the Turing machine. If you try to program it directly it's going to be a byzantine nightmare.

Being restricted to tape, and in particular a single tape, makes Turing machines absolutely awful for teaching programming or how a CPU implements an algorithm. Instructions, data, and status all have to fit in the same place at the same time.

It's so bad that Brainfuck is an order of magnitude better, because it at least has separate instruction and data tapes.

from your other comment > But as far as understanding computer science, computational theory, etc certainly you'd want to study Turing machines and lambda calculus. If you were say, writing a programming language, it would be nice to understand the fundamentals.

Turing machines are not fundamental. They're just one way to achieve computation that is close to minimal. But they're not completely minimal, and I strongly doubt studying them is going to help you make a programming language. At best it'll help you figure out how to turn something that was never meant to compute into a very very bad computer.
Show HN: Warden – A Native (and Free) AI Chat App for macOS
by skarat | 2025-05-29 06:19:56+00:00
Warden is a minimalist, simple and beautiful macOS AI chat app, that supports most AI providers: ChatGPT, Anthropic (Claude), xAI (Grok), Google Gemini, Perplexity, Groq, Local LLMs through Ollama, OpenRouter, and almost any OpenAI-compatible APIs.

Completely Native app, built with SwiftUI

Zero telemetry, no data collected from you, all your data remains on your Mac and can be easily exported into an easy-to-read JSON file

Lightweight app, compared to Electron based alternatives

Supports these LLM APIs:

Openrouter

OpenAI

Anthropic (Claude)

xAI (Grok)

Groq

Perplexity

Ollama

Deepseek

It should also support most other OpenAI compatible APIs

https://karatsidhu.gumroad.com/l/warden
by ablob | 2025-05-29 06:20:40+00:00
I used to think there's nothing wrong with them either. For simple setups it is very painless. However, I recently stumbled into a use case where setting up the project file is a huge hassle and very error prone as well. Mainly I wanted another project to be referenced only at the "analyzer" step, and this appeared to work just fine at first, but after the 3rd/4th compilation it failed for some reason. Digging into this opened a huge can of worms of partially/falsely documented features for something I sincerely believed should be easy to achieve. Now the only thing I can do is copy the project into the analyzer, or let the build fail with the dependency disabled just so that the next build works again.

There's also some issues regarding restoring other projects, but that doesn't appear to be the fault of .csproject files.

P.S.: Having a project be referenced (i.e.: marker attributes) at both the analyzer step _and_ later in the final artifact is something I never got working reliably so far. From what I've read a nuget project could make this easier, but I don't want to do that and would expect there to be a way without using the package-management system.
by potholereseller | 2025-05-29 06:20:45+00:00
It looks pretty convincing; it renders wrinkles, hair, and shadows well; I think it could prove useful as a tool for CGI in movies/TV/YouTube; or actors can license their likeness to be used via Google Veo, in order to increase the actor's income/output.

But I'm not sure it's appropriate to say that this is a problem. We have no idea if any AI-as-a-Service (AIaaS) will survive for long enough to cause "we're cooked"-class problems for anyone. The recession we're headed into will surely force companies to cut services that aren't profitable. Many AIaaS's are propped up more by vibes than money; they are surrounded more by fear/excitement than utility; is there any evidence that the AIaaS industry is overall monetarily profitable? Does anyone in the AIaaS industry care about basic finance right now?

I predict most, if not all, AIaaS's will be cut, especially: (a) those that are the most expensive to operate, and (b) those that appear, to most people, to be usable for harmful things (e.g. using Google Veo to generate a video of a crime in order to frame someone). AIaaS's are very expensive to operate (e.g. they require dedicated datacenters to run), and they require ever-more data to improve them. The psuedo-FOSS AIs may remain, but probably not developed further.

The AIaaS induustry has mined all data on the internet; new data hasn't been added to the internet fast enough to sustain development of AIaaS's any longer. Instead, AIaaS providers have resorted to making new kinds of ML AIs (e.g. Google's Veo); they are re-slicing the data they already have.

While you can re-slice data exponential to how much data you have, there are only so many categories of things you can generate with data: text, audio, images, video. Text-to-video AIaaS (e.g. Google Veo) is the last kind of AIaaS; text-to-video is the most difficult to get right; small flaws can show that it's AI-generated. Historians in the future will see text-to-video as the death knell of the present AIaaS industry.

What we don't know is if ML, as an AI technique, will be abandoned or not. It is normal for an AI Winter to destroy all interest in the AI techniques popular in the run-up to the given AI Winter. When you mine all available data and ML AI's still can't survive a recession, why bother with ML AI's any more? Why bother trying to use ML anymore if the AIaaS industry demonstrated ML to be a dead-end?
by knallfrosch | 2025-05-29 06:22:26+00:00
Deciding whether something is netFramework 4.8 or .NET Core 5 or NET3000 or nEt5 or NET Common 2.0 is impossible. Isn't that one of the most basic things that should be easy.

Half of the properties are XML attributes <tag ID=5> while the other half are child tags <tag><hello>5</hello></tag>

It's okay to read, but basically impossible to write by hand.

The tooling support is nothing like a JSON with JSON schema that gives you full intellisense with property autocomplete plus attribute description. (Imagine VSCode settings)
by mengxi-ream | 2025-05-29 06:24:44+00:00
Hi HN,

I’m MengXi, a software engineer / a lazy language learner, and I’ve been building Read Frog – an open-source Chrome / Edge extension that lets you learn a foreign language while you read the web.

What it does:

1. Inline (immersive) translation – duplicates each paragraph/element and shows the translation right beside the original, so the layout stays intact and you never lose context.

2. Smart article extraction – Readability + heuristics to isolate the main content on news or blog pages.

3. Word / phrase / sentence explanations – hover or click to get CEFR-level definitions, examples, audio, and grammar notes.

4. Multiple AI back-ends – today GPT-4o and DeepSeek; it’s pluggable so we can add open-source or local models later.

5. Privacy-first – extension is client-side; you supply your own API key, nothing is routed through our servers.

6. Offline-first storage – IndexedDB via Dexie; optional Firebase sync for paid users (not enabled yet).

7. MIT-licensed and looking for contributors.

Tech stack: TypeScript · React · Tailwind · Vite · WebExtension APIs

Links:

Chrome Web Store → https://chromewebstore.google.com/detail/read-frog-open-sour...

Edge Add-ons → https://microsoftedge.microsoft.com/addons/detail/read-frog-...

GitHub repo → https://github.com/mengxi-ream/read-frog

Looking for feedback on:

Whether inline translation feels natural or distracting

Performance on very long / media-heavy pages

Additional language pairs or AI models you’d like supported

Happy to answer anything about the implementation, lessons learned building a browser extension, or language-learning UX. Thanks for taking a look!
by JulianPGough | 2025-05-29 06:24:50+00:00
I understand your skepticism. But the awkward fact remains that three-stage cosmological natural selection made accurate predictions about the early universe, in advance of the James Webb Space Telescope data.

https://theeggandtherock.substack.com/p/predictions-what-the...

No other theory made such accurate predictions. So it might be worth at least exploring the theory and its implications further. Certainly, there is a funding and research mismatch between ΛCDM (which did not predict what we are now seeing) and three-stage cosmological natural selection (which did) that is... startling.
by BGZq7 | 2025-05-29 06:25:36+00:00
This is interesting, and it's good to see something that's actively developed, but it seems to have some of the same issues as ffmpeg-python:

- It doesn't appear to have any way of specifying filters that do not have inputs, such as "color"

- There is no way to provide flags to Popen, e.g. to specify subprocess.CREATE_NO_WINDOW to avoid CMD windows popping up in a GUI app on Windows. This isn't a big deal for running ffmpeg itself, because you can just ffmpeg.compile() then run it manually, but that can't be done for ffprobe with ffmpeg.probe().

Edit: OK, figured out the source filter thing, ffmpeg.sources.color. Is there a way to use arbitrary source filters, like vfilter/afilter can do for regular ones?
by chii | 2025-05-29 06:25:45+00:00
> the person judging the work quality, and the person "punishing" are different entities.

>> all the documentation and endless rules, comes from the public reacting very negatively to any reports of waste, perceived misspending

this is exactly what i mean by having different entities judging the quality of the work, and the one doing the punishing.

If it was the same person, bad quality work gets judged, then immediately punished. The reason why rules/documentation/red-tape exists _is_ because the judging and punishing is delegated away.
by adrian_b | 2025-05-29 06:27:31+00:00
While you are right that AMD also disables ECC in some products, e.g. in most laptop CPUs, and it also has far worse software support for ECC in its consumer products than Intel (i.e. its EDAC drivers are seldom up-to-date and with all features working), as an individual or small business it is far more easy to buy and assemble a workstation or server with ECC memory using AMD CPUs.

The motherboards for Intel CPUs with ECC support are expensive and they can be found in very few places. In Europe, you may need to order such a motherboard from another country.

On the other hand, I can buy an ASRock or ASUS motherboard with ECC support for the AM5 socket from any shop around me at a much lower price.

The availability of ECC-supporting CPUs and UDIMMs is identical for Intel and AMD, but there is a great difference in the availability of motherboards in favor of AMD.
by jonahx | 2025-05-29 06:28:27+00:00
Yeah, I thought I already addressed that above.

Can we do the same for a theorem prover? For proofs of some fixed finite length, I think the answer is yes, but without that constraint the answer is no. Whereas with a halting detector we could.

It still seems to me your complaint (and the other poster's) are just about these specific examples rather than general argument Hillel is making. Please clarify if that's not the case, and why.
by PaulRobinson | 2025-05-29 06:30:44+00:00
This is a good start. I have a registered code, I can update it whenever I move house, online ordering becomes easier, great.

As people have indicated in thread already, the current implementation is easy: a website frontend just needs to be able to resolve it to the physical address.

I think there is value though in carriers saying "no, wait, I'll do the lookup when I am ready to deliver!", because then I order something today with a 3-month lead time and if I move house, the delivery "follows me" to my new location.

Going further, I might want to specify my home address as the default, but for items under 2kg delivered 8am to 5pm on weekdays, please deliver to my place of business. If I'm in hospital for a prolonged stay, I may want to redirect to a friend or family member.

I actually expect some of the rapid delivery networks to get a bit more like this - I predicted with friends about 5 years ago at some point your Amazon delivery is going to be in a locker on the back of a self-driving vehicle. You (and everyone else in the street), will get a notification that its outside for the next 30 minutes - miss it, and it'll go get delivered to a nearby pickup site. Imagine if there was dynamic routing so that the parcel just "finds me" if I'm at work, or a bar after work... obviously I might want choices and options and so on, but I think the idea of parcels just going to where you sleep, whether you are there or not, is going to look quaint in 30 years time.

[edit: there's also a nice bit of privacy going on here the later the lookup happens - if nobody at the e-commerce site knows where I actually live, that information can't be leaked]
by ctxc | 2025-05-29 06:32:30+00:00
This is akin to saying if you rewrite it in Assembly it would be better than Rust. True, but what are the tradeoffs? Why doesn't everyone write it in assembly?

It _would_ be bigger and eat more RAM and CPU. But that does not imply "shittier".

There are parameters like dev time, skills available in the market, familiarity, the JS ecosystem etc that sometimes outweigh the disadvantage of being bigger/slower.

You're pointing out the disadvantages in isolation which is not a balanced take.
by klausa | 2025-05-29 06:35:29+00:00
You put a trusted intermediary (JP Post) that knows the address in the middle, and provide the seller with an identifier that the intermediary can associate with your physical address.

That’s already how it works if you buy something trough the online marketplaces here - Mercari et. al.

Mercari knows addresses of all counterparties, but the label that the seller puts on the package doesn’t have the destination address, and the label the package has when it reaches your door doesn’t have the seller’s address either.
by Ericson2314 | 2025-05-29 06:36:04+00:00
Sorry to be an pedant.

From your previous post

> The first thing to understand about threads is that processors do not support them.

Yes, but I would say by changing the emulator (augmenting the emulator software with your other software, sure) in the outside world, not doing something in the inside world, you have are implementing something closer akin to hardware concurrency support or processes.

> It doesn't map 1:1 to true multithreading (e.g., emulator save states represent the state of the entire machine including RAM, whereas thread contexts represent a much more minimal slice

Right, but I think if we're going to make a threads vs process distinction (vs concurrency in general) whether we have only a small opt-in set of communication channels / synchronization primitives (the mutex and barrier), or a wide open one (shared memory, be careful!) is the operative distinction.
by sph | 2025-05-29 06:37:00+00:00
It’s easy to blame money, for it’s the most visible and measurable metric in a technologically driven culture. But other scholars have pointed to technology itself as being the issue, the relentless chase of data-driven efficiency, not money, which is just a secondary effect downstream. We went from being a tool-making species, to using tools to organize every aspect of our lives. I recommend Neil Postman’s Technopoly and, of course, good old Uncle Ted.
by ggm | 2025-05-29 06:37:48+00:00
Re: the Norse Chessmen,

My mother told me the gnawing-the-shield image is said to be how the norsemen were said to psych themselves up before battle. She said the hemp rope around the shield was meant to be impregnated by drugs, or be psychoactive otherwise. This was said back in the 70s mind you..

The description of the bishops as other roles is very confusing given the crozier. The article surely must mean that taking the norse chessmen as holotypes, the variants found in russia, baltic states.. &c made similar changes?

The set is split between The BM in London, and the Royal Scottish Museum, and sometimes a piece or two is on display elsewhere. the Museum shop sells really exceptionally well made casts, we also had the resin kit with rubber moulds which made significantly less well made, bubble ridden, smelly versions.

They are said to be the property of a trader in Walrus Ivory, being mixed parts of more than one set when found.
by delta_p_delta_x | 2025-05-29 06:40:58+00:00
Maybe functional language programmers will one day pull the stick out of their arses and get a bit less supercilious, and realise that expressiveness and function name length has absolutely nothing to do with runtime performance, especially in native and properly JITed runtimes. Maybe they'll realise it makes things easier to approach, read, reason about, and hence write more correctly.
by x-complexity | 2025-05-29 06:43:20+00:00
> Furthermore, if we use a proof-of-work system that's shared with an actual cryptocurrency, so as to actually get payment from these hashes, then we have a new problem: ASICs. Cryptocurrencies have to be secured by a globally agreed-upon hash function, and changing that global consensus to a new hash function is very difficult. And those hashes have economic value. So it makes lots of sense to go build custom hardware just to crack hashes faster and claim more of the inflation schedule and on-chain fees.

> If ASICs exist for a given hash function, then proof-of-work fails at both:

> - Being an antispam system, since spammers will have better hardware than legitimate users[3]

> - Being a billing system, since legitimate users won't be able to mine enough crypto to pay any economically viable amount of money

Monero/XMR & Zcash break this part of the argument, along with ASIC/GPU-resistant algorithms in general (Argon2 being most well-known & recommended as a KDF).

Creating an ASIC-resistant coin is not impossible, as shown by XMR. The difficult part comes from creating & sustaining the network surrounding the coin, and those two are amongst the few that have done both. Furthermore, there's little actual need to create another coin to do so when XMR fulfills that niche.

------

> If you don't insist on using proof-of-work as billing, and only as antispam, then you can invent whatever tortured mess of a hash function is incompatible with commonly available mining ASICs. And since they don't have to be globally agreed-upon, everyone can use a different, incompatible hash function.

Counterpoint: People (and devs) want a pre-packaged solution that solves the mentioned antispam problem. For almost everyone, Anubis does its job as intended.

https://github.com/TecharoHQ/anubis
by IshKebab | 2025-05-29 06:43:28+00:00
Depends what you mean by slow. The Typescript code was 3x slower than the Go code, and a 3x overhead is pretty much the best you can do for a dynamically typed language.

Languages like Python and Ruby are much much slower than that (CPython is easily 10x slower than V8) and people don't seem to care.
by stouset | 2025-05-29 06:43:45+00:00
Right now they are fancy autocompletes. That is enormously useful for a language where 90% of the typing is boilerplate in desperate need of autocompletion.

Most of the “interesting” logic I write is nowhere close to autocompleted successfully and most of it needs to be thrown out. If you’re spending most of your days writing glue that translates one set of JSON documents or HTTP requests into another I’m sure they’re wildly useful.