MurphyA/hacker-news huggingface dataset:
by StrangeWill | 2025-10-16 09:42:39+00:00
> The input latency might not be as good as you'd like.

Yeah input latency is annoyingly rough, not super bad but _just_ laggy enough to make it annoying to use.

Debating how much I want to change things, I can directly punch into my Linux machine but all my dev IDEs are on a VM for a long list of reasons, and I doubt Zed is going to run on my old ThinkPad if it struggles on software rendering, but we'll see.
by idoubtit | 2025-10-16 09:43:15+00:00
I think this focus on the default configuration of Caddy is a poor incentive, in a professional context. Here is the same config for nginx on a Debian box:

server { server_name example.com; root /var/www/wordpress; location ~ \.php(/|$) { include snippets/fastcgi-php.conf; fastcgi_pass unix:/run/php/php-version-fpm.sock; } ssl_certificate /etc/ssl/local/service.pem; ssl_certificate_key /etc/ssl/local/service-key.pem; }

It's very similar to Caddy's, except for the explicit cert.

No professional should care about a handful of extra lines. Anyway, in many real life situations, the config will be long and complex, whatever tool you use.

In the case above, the cert was created offline with the excellent mkcert from mkcert.dev, which is perfect for a developer machine. In other cases, I've had to use a certificate provided by my client. For the remaining cases, cerbot automates all, including nginx's config. Or if one installs the latest nginx, ACME cert retrieval is now included, so the difference to Caddy is shrinking.

I don't deny that Caddy is a worthy tool, but I don't care if it makes me write a few lines less in configuration files that I rarely write or update. Praise should focus on more important features. [edit] The excellent leadership shown in this post seems more important!
by fragmede | 2025-10-16 09:44:00+00:00
Gee, what got your tensors all in a twist? I thought everyone was supposed to just brush off being called AI? (Also https://amp.knowyourmeme.com/memes/this-looks-shopped)

Regardless, you're reading a lot of things into my comment that aren't actually there, but even if they are, I certainly didn't mean them that way. My comment wasn't about comments where someone sat down and thought about it and took the time to give reasons for their beliefs, it was about comments like https://news.ycombinator.com/item?id=45596745 that do nothing for the discussion, so that receiving one like that can be dismissed without a second thought.
by thenaturalist | 2025-10-16 09:44:25+00:00
Yes, it's real and it's plain funny that you discredit simple facts in a case as obvious and with as many data points as Apple.

From the 2005 iPods settlement [0], to the 113 Mio USD Batterygate [1], to Flexgate [2] where Apple only escaped settlement due to plausible deniability.

To quote from Batterygate:

> Apple has agreed to pay millions of dollars to 34 states over its controversial previous practice of deliberately slowing down older iPhones to extend their battery life.

> [...]

> Many believed it was an effort to encourage users to buy new iPhones.

I agree on all your "PS" points, where we seem to differ is that reading is a virtue and not knowing something because you haven't heard of it doesn't constitute a conspiracy theory.

0: https://www.cbsnews.com/news/ipod-class-action-suit-settled/

1: https://edition.cnn.com/2020/11/19/tech/apple-battery-settle...

2: https://www.macrumors.com/2021/07/20/flexgate-class-action-l...
by xg15 | 2025-10-16 09:44:45+00:00
I know he wanted to end the article with some calls to action that don't sound completely grim, but aren't the last paragraphs a bit contradictory?

1) Build more AI products and do everything imaginable to get AI to produce value - because otherwise, we're doomed.

2) Buy stocks of the tech companies that will most likely be nationalized eventually.

3) Boycott unethical tech companies.

But the companies in (3) are exactly the ones that you'll buy stocks of in (2) and whose services and/or infrastructure you'll build your product on in (1). So how are you supposed to boycott them?
by friendly_wizard | 2025-10-16 09:46:55+00:00
I think we owe an equally proportionate measure of respect to the authors of boring old sqlite who, given the depth of their experience, recognize that there may in fact be benefits to be gained from the rewrite and are open to exploring the possibility. The blockers as stated, I have no doubt, were carefully considered with a level of insight few of us could match. If and when the time is right, if they choose to undertake the effort I'm sure the juice will be worth the squeeze. The fact that they're not jumping in blindly today is telling. Even more telling will be if they do eventually go that route.
by pjc50 | 2025-10-16 09:47:06+00:00
The "Microsoft account" requirement is a weird one, because when I got a Win 11 PC after the death of my Win 10 one, I tried to set it up with my Microsoft account .. and it told me that this was unsupported on this account, and then it just fell back to creating a local one anyway. Which was what I wanted. No idea how I got into that state, other than the account being very old.
by edg5000 | 2025-10-16 09:47:32+00:00
By default an Arial clone is present, ideally Arial is specified as a valid replacement font in the PDF if the user does not have the Arial clone present (Arial itself is a clone, but that is another story). It would require deeper investigation to see if this is actually the case. I've always wondered about this.

PDF/A has given me all kinds of issues (windows users get incorrect glyp placement with very bad results). Regular PDF has worked fine for me.
by mdhb | 2025-10-16 09:48:04+00:00
But that’s no longer the choice you need to make. Ubuntu themselves have said for a couple of years now that every new GUI app they make natively for Linux is going to be Flutter and dedicated a bunch of engineers to the project to make sure it’s a first class citizen.

Beyond that, Dart / Futter are truly an absolute pleasure to use for that use case.
by AnthonyMouse | 2025-10-16 09:48:51+00:00
> That's just because moving from progressive-taxation to a flat-tax reduces how much they pay!

That's what everybody says but then you look at effective tax rates in real life and the highest ones are paid by people like doctors rather than billionaires because the complicated system is the thing that allows the billionaires to pay less.

Meanwhile you don't need a complicated marginal rate system to get a progressive effective rate curve. Just give everybody a tax credit in a fixed amount and then use the same rate for everyone. Here's your table when you do that:

90 peasants each earn $10 and are taxed 42.5% and receive a $2.25 credit -> $2 per peasant, effective rate 20% 10 nobles each earn $90 and are taxed 42.5% and receive a $2.25 credit -> $36 per noble, effective rate 40%.

These numbers, of course, assume that as in your example you need the average effective rate (by earnings) to be 30%. By comparison, for example, US federal receipts as a percent of GDP have been stable at ~17% of GDP since the end of WWII (and were dramatically lower before that). Your numbers would be more in line with what would happen if both federal and all state taxes (including e.g. property tax) were replaced with this system.
by JumpCrisscross | 2025-10-16 09:49:20+00:00
> the western process of developing and releasing new medicine is ill-suited for phage treatment

…as evidenced by the booming phage industry somewhere in the east?

(The weird thing is this railing against western medicine or whatnot is usually a dead ringer for pseudoscience. Yet phages are a scientifically valid thereaupeutic route [1].)

[1] https://www.nature.com/subjects/bacteriophages
by SonOfLilit | 2025-10-16 09:49:31+00:00
Have you tried giving it basic logic that isn't in its training data?

I have. gpt-3.5-instruct required a lot of prompting to keep it on track. Sonnet 4 got it in one.

Terrence Tao, the most prominent mathematician alive, says he's been getting LLM assistance with his research. I would need about a decade of training to be able to do any math in a day that Tao can't do in his head in less than 5 seconds.

LLMs are suffer from terrible, uh, dementia-like distraction, but they can definitely do logic.
by assimpleaspossi | 2025-10-16 09:50:15+00:00
>>there is a fear of not being selected to ask questions

That's not exactly what's happening.

>>The rules limit where reporters can go without an official escort and convey “an unprecedented message of intimidation” for anyone in the Defense Department who might want to speak to a reporter without the approval of Hegseth’s team

On NPR (National Public Radio) a few days ago, a reporter said they could wander the halls of the Pentagon and ask anyone they ran into any question about anything. This will not be allowed anymore and, considering it's the Pentagon, doesn't seem unreasonable to me.
Show HN: Sora2 AI – Create Cinematic Videos with Realistic Sound in Minutes
by Viaya | 2025-10-16 09:50:39+00:00
Sora2 AI is a next-generation AI model for video and audio generation. It builds on the original Sora, adding advanced physics simulation, temporal consistency, synced audio, and rich style control to produce cinematic-quality videos from simple text or image prompts.

Key Capabilities:

Physics-aware motion: realistic collisions, inertia, and interactions

Temporal stability: minimal flicker, consistent identities, smooth transitions

Audio sync: lip-sync, ambient sounds, beat alignment with visuals

High-fidelity details and multiple styles (photorealistic, anime, 3D, illustration)

Precise control over duration, FPS, and movement intensity

Sora2 AI can handle complex scenes with multiple subjects, occlusion, and long camera movements — making it suitable for film pre-viz, social content, ads, education, and more.
by Tuna-Fish | 2025-10-16 09:50:46+00:00
Would get sued out of existence in very short order. There are really tight laws around providing legal advice. AI can only be safely offered when it's general purpose, that isn't marketed towards providing legal advice. (And no, if you have an "Online Court Case Wizard", marketed as such, putting a "this is for entertainment purposes only, this is not legal advice" in the corner of the page doesn't help you.)
by pjc50 | 2025-10-16 09:51:35+00:00
Instead of saying "wasting", OP should have said "emitting CO2 to the atmosphere", which is the real problem here. Including from refinery flare stacks, and emissions of non-CO2 GHGs like methane from leaks.

Unbalanced fractions aren't so much of a problem as they can be cracked.
by snthpy | 2025-10-16 09:51:48+00:00
> In my dream PL syntax a function call would be a function name followed by a tuple, and that tuple would be no different than the tuples you would use in any other part of the program

So PRQL (prql-lang.org) is kind of like that, with the limitation that control flow is limited to the List Monad bind, i.e. the tuples from one step are piped to the function call in the next step one at a time producing 0..* result tuples and the resulting multiset is flatmapped. At the moment it just transpiles to SQL but a couple of months ago I was exploring different Lambda Calculi and how to extend this to a more general PL. Alas, that won't take shape until AI is at the level that it can write that code for me. I guess LINQ and similar Language Integrated Query Languages already provide this functionality.

P.S. Writing the above made me think that it's not quite what you asked for; in the PRQL case each function receives an implicit `this` argument which is the tuple I was thinking of. However the function can also take other arguments, including keyword arguments. Those are arbitrary. I guess they are implicitly ordered and could be represented as a tuple as well. What would you see as the benefit of that?

> (and so you could use all the tuple manipulation library goodies)

Other than indexing into tuples, I can't really think of anything else, at least for single tuples. I initially thought of something like `zip(*args)` but that's only really useful when you have list of tuples or tuple of lists and then you're back in PRQL land. Indexing into tuples is also brittle and does not produce self-documenting code so I prefer the PRQL and SQL namedtuples/structs where fields are referenceable by name.

I have this suspicion that PRQL functions are parameterised natural transformations but my Category Theory at that level is too rusty to check without extra work. If that's the case though then having the explicit function arguments be simple values feels justified to me since they're just indexing families of related transformations and are not the primary data being transformed (if that makes sense?).
by eagleal | 2025-10-16 09:51:55+00:00
You're never heard of biased or militant journalists have you?

In fact the most common form of journalism you will find is what's akin to a Propaganda channel of a Sponsoring Party (Defense, Media Company, Political party, Rich Individual with an agenda, etc). Essentialy a PR employee.

But this is true since always.

The kind of journalism we usually think of though is Investigative journalism, but that's a different beast and usually doesn't really pay.
by ohdeardear | 2025-10-16 09:52:14+00:00
CompCert would be a good example, but everything I have done professionally is also stable; with exclusively people like me, bug tracking systems would not need to exist.

I also have made some software that is proven (meaning from a small 500 line proof kernel) to be correct relative to a trivial implementation (and yes, full correctness is difficult to achieve).
by lrvick | 2025-10-16 09:54:10+00:00
You absolutely should never trust a centralized build server. Any security critical software distribution process should have all packages independently built, verified to have identical hashes, and signed by systems controlled by as many different trusted maintainers or third parties as possible.

Then any user can prove the binary they got was built faithfully from source due to those redundant build system signatures. We designed ReprOS for this purpose.

stagex has also been 100% deterministic, full source bootstrapped, and independently reproduced/signed by multiple maintainers since our first release with a small team of 10ish regular contributors, so it can be done.
Show HN: Ovi AI – End-to-End Audio-Video Generation from Image and Prompt
by Viaya | 2025-10-16 09:54:23+00:00
I built Ovi AI, an audio-video generation tool that brings static images to life with synchronized voice, motion, and ambient sound.

Unlike traditional tools that require separate dubbing and editing, Ovi AI generates speech and visuals together in one step — making it fast, simple, and surprisingly realistic.

What it does:

Converts image + prompt into short talking videos

Generates native audio with precise lip-sync

Adds ambient sound effects automatically

Supports multiple aspect ratios and HD output

Creates clips in seconds (~5s at 720p/24fps)

Who it’s for:

Content creators and marketers

Educators and storytellers

Developers building avatar-based experiences

Anyone who wants to generate talking characters fast

https://www.oviaivideo.com/

I’d love feedback from the HN community — especially on usability, potential integrations, and feature priorities.
by fersarr | 2025-10-16 09:55:29+00:00
the UK seems to be going in this same bad direction now "As part of our journey to modernise and digitise our filing routes, all accounts must be filed using commercial software from 1 April 2027." https://changestoukcompanylaw.campaign.gov.uk/changes-to-acc...

you used to be able to do this yourself on the gov website for free
by smaudet | 2025-10-16 09:55:30+00:00
Most poor people don't read*

They should.

Of course, this is not to say they always are stupid or illiterate, it's again usually just another form of exploitation, they don't have (or feel they don't) time to read it.

Which is arguably explicit exploitation/enslavement - the Walmart door greeter doesn't have a difficult job, however their role doesn't allow them to do anything that would benefit themselves. I wouldn't care if they were reading their phones or a book, but noo... can't have the peasants educating themselves.

And they aren't paid enough, so when they return home, they likely don't have any time after needing to perform meal prep, taking a second job, etc.

The USA is a third world country in many respects.
by riffraff | 2025-10-16 09:56:06+00:00
there are separate issues

* whether you need to limit people learning something

* whether you need to limit people publishing something

"they might be spies" is an issue for the first, but the new rules infringe on the last one too.

1 has to do with secrecy levels, and those were already there, cause you don't want people to look at top secret files even if they are not journalists.

You do want journalists to raise issues on newspapers tho.
by account42 | 2025-10-16 09:56:14+00:00
> Musicians, though, have it tough - "we" as a society [1] accept that we want to have art

But we do already have lots of art. Centuries of it in fact. Maybe the focus should be on making that art available to all, including for the purpose of using it to create new art, instead of pissing away money on select "art" that few people will see.
by burnt-resistor | 2025-10-16 09:56:53+00:00
Did a M1 Max (32 GiB, 1 TB -> 64 GiB, 4 TB - Z14X000HR) upgrade in early 2024 for ~$1800 USD with ~20 battery cycles and 99% battery health. Avoiding *os 28 because I refuse unusable, battery-wasting bling.
by d3Xt3r | 2025-10-16 09:58:04+00:00
WSL is unfortunately is less than ideal, not only is it rubbish (it has its own set of issues like weird networking bugs), it also doesn't mitigate any of the security vulnerabilities/bloatware/telemetry/bugs etc present in Windows.

But you can always dual-boot between Windows and Linux. Just uninstall all your browsers (to mitigate risk) and other non-essential app in your Windows install, configure the firewall to block everything except games. And boot into Linux for everything else.
by CaptainOfCoit | 2025-10-16 09:59:31+00:00
> I don’t know how much Ollama contributes to llama.cpp

If nothing else, Ollama is free publicity for llama.cpp, at least when they acknowledge they're mostly using the work of llama.cpp, which has happened at least once! I found llama.cpp by first finding Ollama and then figured I'd rather avoid the lock-in of Ollama's registry, so ended up using llama.cpp for everything.
by janwl | 2025-10-16 09:59:48+00:00
I don’t know why assume that in every country in the world that is free. In my European country until 15 years ago or so you had to hire someone to do your taxes for you, and currently the free method only works for the most simple tax filing. In fact what you get is called a “draft” of your tax filings because you’re supposed to make sure it’s okay, and it’s your responsibility if you miss something or if the draft is wrong.

And obviously the draft usually assumes that you will have to pay more tax, since there’s a perverse incentive given it’s the government who fills it for you.
by ravila4 | 2025-10-16 10:00:00+00:00
I haven’t used it, but from looking at Marimo’s examples and docs, I’m not convinced by some of its design choices. The idea that you can run notebook cells out of order is supposed to be a strength, but I actually see it as a weakness. The order of cells is what makes a notebook readable and self-documenting. The discipline of keeping cells in order may be painful, but it’s what makes the flow of analysis understandable to others.

Also, I find the way Marimo uses decorators and functions for defining cells pretty awkward (Although it’s nicely abstracted away in the UI). It looks like normal Python, but the functions don’t behave like real functions, and decorators are a fairly advanced feature that most beginners don’t use.

For me, Quarto notebooks strike a better balance when it comes to generating sharable documents, prototypes, and reports. They’re git-friendly, use simple markup for defining cells, and still keep the clear, linear structure.

However, Marimo might be the best tool for replacing Streamlit apps and “production notebooks” (Although I’d also argue that notebooks should not be in production).
by yreg | 2025-10-16 10:00:04+00:00
I must have spent a hundred hours in Blender over the years, and I'm still not competent enough to do even some of the most basic things on my own when I pick it up.

Blender is an amazing project, but I would not suggest it as an alternative to OP's tool if asked by someone who practices drawing and has zero Blender experience or interest.
by freeAgent | 2025-10-16 10:00:16+00:00
I have a Samsung QD-OLED monitor from 2023 which has very noticeable burn-in at low brightness levels. This is from the era of "OLED burn-in has been solved," and it's soured me on OLED monitors since I do photography as a hobby and don't want burn-in affecting how I see images on my screen. I think it's fine for televisions, but I don't like it for PC use where I have static windows on my screen for a long time. I even used dark mode and still got burn-in pretty quickly, for example where it draws the border between side-by-side windows (so, a vertical line down the middle of my screen). Once I noticed that, I started resizing my side-by-side windows so their border isn't in the same place every day, but the damage is done.
by robenkleene | 2025-10-16 10:01:03+00:00
I don't mind corporate branding in general, e.g., if a company makes a great app, why shouldn't they be allow to put their name on it (in an appropriate place)? (And I do think great apps should have more memorable names than "Photo Editor".) (And I'm not sure I get the connection branding has to "Freedom of Choice"?)

But, to your point, even I'll admit the fact that the Photoshop is called "Adobe Photoshop 2025" is annoying lol.
by kragen | 2025-10-16 10:01:28+00:00
It's utterly charming to see characters referred to by /their /PostScript /symbols!

US letter-size paper is 8.5 "inches" wide (215.9mm), which means that 10-character-per-inch pica type can print almost exactly one 80-column IBM punched card across the width of the page. Is this coincidence?

Certainly by the time of the Selectric (01961) IBM was already making computer printers (for example, the IBM 1403 in 01959) which were used to print pages full of card images as well as computer output, and indeed the IBM 407 had been printing pages full of card images since 01949, when IBM still wasn't going to sell computers. The 407 was 10 characters per "inch" but used 120-character-wide paper: https://en.wikipedia.org/wiki/IBM_407

And I doubt that the 407 was much of an influence on typewriter design in the 01950s, and certainly couldn't have been before that. But I have the impression that Pica typewriters were already a thing; in August the house we rented for vacation had a Royal KHM typewriter from 01942 with decimal tabulator keys, and if it wasn't 10 characters per inch, it was awfully close.

IBM's original punched cards had 12 rows, 24 columns, and round holes, but in 01928 they introduced the 80-column IBM card, which was 187mm wide, including some margin, so the character spacing was a bit closer than 10 per "inch". But at the time the cards still didn't support alphabetic data; that wouldn't come until 01931.

So, was it just coincidence that the punched cards that were so influential on early computer data formats (including programming languages such as FORTRAN) were within a few percent of the width of the most common typewriters? Or is there a common cause I'm not seeing?