MurphyA/hacker-news huggingface dataset:
by yorwba | 2025-11-11 12:13:47+00:00
In section 5.7.5, they fine-tune for "11 low-resource languages, with between 5-10 hours of training data and at least 1 hour of validation splits." "CTC fine-tuning takes ≈1 hour of walltime on 32 GPUs for the 300M scale." If that's too expensive, you also have the option of supplying additional context for the LLM-based model (section 5.5).

As for "very clean data," see section 5.7.4: "Omnilingual + OMSF ASR was intentionally curated to represent naturalistic (i.e., often noisy) audio conditions, diverse speaker identities, and spontaneous, expressive speech."
by pron | 2025-11-11 12:15:09+00:00
One of the lessons of the past 50 years in software correctness is that sound guarantees are not always the most effective path to correctness. The problem is that proving something correct takes a lot of effort (and there are fundamental computational complexity reasons for that), while unsound methods are significantly cheaper and surprisingly effective in practice. A famous 1996 paper by Tony Hoare [1] expresses amazement at how software had become so reliable without proofs, something that in the 1970s was thought impossible. Since then, the field has moved to enthusiastically adopt more unsound methods.

And remember that a software system, unlike an abstract algorithm, is a physical system that cannot be proven correct, since the behaviour of the physical hardware cannot be proven. We're always dealing in probabilities, and so the question is: how do we get the most value (in terms of reducing the probability of costly bugs) for a unit of effort.

Since the 1970s, the size of software that can be proven correct in practice using deductive methods has only fallen compared to the average size of a program (i.e. the size of acceptably-reliable software we write has grown much more rapidly than the size of software we can prove correct using deductive methods). The largest programs ever proven correct using deductive methods are on the order of 10KLOC.

So the field of software correctness has long ago abandoned the position (held by some in the 70s) that proof is always the most effective way toward correctness.

[1]: https://gwern.net/doc/math/1996-hoare.pdf
by mrkeen | 2025-11-11 12:15:49+00:00
> The author did not say this at all, they barely even touched on capabilities of erlang/OTP.

Two separate Erlang nodes. On different machines, different networks, different continents if I wanted. And they could just… talk. No HTTP. No REST API. No serialization headaches. Just message passing. Just actors doing their thing.

> Their focus was on the functional syntax of Erlang.

They didn't write any Erlang until the ping/pong example, which doesn't have any functions. What does pong() equal? Is it equal to itself even? What's its domain and range? If I wrote a unit test for it, what test inputs would I give it and what outputs would I assert?
by npteljes | 2025-11-11 12:16:04+00:00
Pascal also had := for assignment, if I remember correctly. I disliked it, to be honest, = is pretty much universally accepted in the IT world to mean "assign to".

I don't think this is something that keeps someone from programming. If it does, then the other 100000 hoops won't be better, every trade has its "why the fuck is this the way it is" moments.

If you'd still try programming with her, I think you could start with a visual programming thing. Maze from Blockly Games is a simple online logic game that can be overcome with visual programming. No need to register or anything. The levels get progressively harder, as it teaches to apply programming concepts, and makes the player combine them. As a programmer, I found the game really fun, and I think it's suitable for beginners as well, seeing how for example LEGO used a very similar system for its programmable sets.

https://blockly.games/maze?lang=en
by tremon | 2025-11-11 12:16:25+00:00
I have similar reservations about custom tags. My collection makes heavy use of non-standard tags, such as performer:<instrument>, opus, key, subtitle, or style. I can't find anything in the documentation about which tags are supported, or for which formats (I keep A/V registrations in Matroska containers, using the same tagging convention -- like using performer:<role> to save actor credits).

There is value for me in having a central database for this data, for example to find misspellings of the same name. But the fear of having 20 years of custom data entry destroyed by an overzealous tool makes me very hesitant to even try a solution like this.
by Agraillo | 2025-11-11 12:16:53+00:00
> I don’t think country fans have the discerning musical taste that the author somehow expects here

I'm not sure he assumes this, the author (Aaron Ryan) also was briefly interviewed at NPR [1] where the wording is neutral

And I think that's more so in country music than other genres, which have depended on computers a lot more. Country music has really prided itself on the authenticity in songwriting and in music. And there's a large segment of country music fans that don't even like things like Auto-Tune, and so I think asking country fans and artists to accept AI is a big pill to swallow for a lot of people.

The mystery of who is behind it is not solved, but for another AI artist, Xania Monet, there is more information. In this CBS News fragment [2], the real author of the AI hits, Telisha "Nikki" Jones, defends herself and even shares how she actually works with Suno to create the songs. It’s interesting because, this time, the lyrics are human-originated. To me, she seems like a mix of a music manager, music producer, and co-author all in one. Probably, after her talent is recognized, the label might offer her co-authors, musicians, and others to collaborate with and create hits with real people. But without this first step, when she had to rely on her own skills and opportunities, it wouldn't have been possible. Like an example from AI-less era - without the $7,000-made "El Mariachi," there wouldn’t be Robert Rodriguez as we know him.

[1] https://www.npr.org/2025/11/10/nx-s1-5604320/breaking-rust-i...

[2] https://www.cbsnews.com/video/creator-ai-artist-speaks-amid-...
by portaouflop | 2025-11-11 12:18:04+00:00
It’s a propaganda and psyop operation on HN if you ask me. This stuff is laughably bad and I wonder who would actually use it for real work beyond a “huh this is cool” at first glance.

HN is super susceptible to propaganda in the AI age unfortunately; I think at this point a lot of the comments and posts on here are from bots as well
by isodev | 2025-11-11 12:18:43+00:00
I think what has changed mainly is that today we have tools, languages and entire ecosystems that exist only as means to support someone’s product line.

Take Swift for example. A giant gatekeeper of a corp decided to make it the only (reasonable) way to build apps and so it exists, powered by countless indie developers constantly creating content around it. Would Swift be a thing without everyone being forced to use it? I don’t know, but I don’t think so.

So in some ways we’ve traded unique and effective solutions to “popular and mainstream” things that scream the loudest. You wouldn’t get fired for choosing Swift. Or Azure.
by geocar | 2025-11-11 12:18:57+00:00
> The same would also apply if you were writing an XML parser in a language based on ECMAScript-262.

Thankfully XML specifies what a number is and anything that gets this wrong is not implementing XML. Very simple. No wonder I have less problems with people who implement XML.

> In other words, I think you are confusing "json, the specified format" and "the JSON.parse function as specified by ECMAScript-262". These are two different things.

I'm glad you noticed that after it was pointed out to you.

The implications of JSON.parse() not being an implementation of JSON are serious though: If none of the browser vendors can get two pages right, what hope does anyone else have?

I do prefer to think of them as the same thing, and JSON as more complicated than two pages, because this is a real thing I have to contend with: the number of developers who do not seem to understand JSON is much much more complicated than they think.
by Libidinalecon | 2025-11-11 12:19:11+00:00
This is the great tragedy of 21st century western life. When you are 25 with a thousand dollars in realized wealth it is so hard to understand the incredible value of the deep out of the money call option you hold on life.

While the 95 year old trillionaire is really just deeply in debt with the creditor about to collect any day now.
by npteljes | 2025-11-11 12:19:24+00:00
That's exactly right. Looking at the Assignment Operator Wiki page, it's also clear where these notations come from.

I think an easy way to look at it, for someone coming from a math background, is to think of programming lines as instructions, instead of statements. x=x+1 can be then read as "let x be x+1", and that's it.

https://en.wikipedia.org/wiki/Assignment_(computer_science)
by actionfromafar | 2025-11-11 12:20:23+00:00
If you want more pain, you can correct for wow and flutter after capturing.

https://github.com/HENDRIX-ZT2/pyaudiorestoration

Key IMHO is "Speed matching to hum frequency".

There are also commercial products which does similar things.

https://www.celemony.com/en/capstan

https://forum.audacityteam.org/t/digitizing-tapes/62996/2
by jorvi | 2025-11-11 12:20:28+00:00
The loudness wars were mostly an artifact of the 90s-2010s, because consumers were listening on horrible plasticky iPod earbuds or cheap Logitech speakers and the music had to sound good on those.

Once better monitors became more commonplace, mastering became dynamic again.

This is most clear with Metallica's Death Magnetic, which is a brickwalled monstrosity on the 2008 release but was fixed on the 2015 release[0]. And you can see this all over, where albums from the 90s had a 2000s "10-year anniversary" remaster that is heavily compressed, but then a 2010s or 2020s remaster that is dynamic again.

[0] Interestingly enough between those dates, fans extracted the non-brickwalled Guitar Hero tracks and mastered them as well as they could. Fun times :).
by davidsainez | 2025-11-11 12:20:42+00:00
I highly recommend How to Design Programs. I recall being repeatedly mind blown working through the book. It was great fun. The authors start by composing pure functions. IIRC you get quite far before you have to do any mutation. Take a look! https://htdp.org/2003-09-26/Book/curriculum-Z-H-5.html
by caspar | 2025-11-11 12:20:51+00:00
A multiplayer falling sand game - kinda like Noita, but faster paced and online & couch co-op - which happens to run on both desktop and in the browser (including online multiplayer, powered by webrtc data channels).

I have a lot of devlogs at https://www.slowrush.dev/news though at this point I am quite behind showing off the latest graphical improvements there.

Here is some more up-to-date gameplay footage: https://bsky.app/profile/slow-rush.bsky.social/post/3m523ft2...
by natia_kurdadze | 2025-11-11 12:21:00+00:00
whoa this is honestly wild but also kinda brilliant like they basically gave ai agents a social media platform and instead of chaos it actually made them better at problem solving that whole “social tokens” idea makes so much sense it’s like they’re learning from each other’s thought process the same way humans do and i love that they didn’t force it just gave them the option to post and they wanted to do it feels like a glimpse into how ai could become more collaborative instead of just isolated tools kinda creepy but also super fascinating
by jorangreef | 2025-11-11 12:21:11+00:00
Joran from TigerBeetle!

> For processing transactions one-by-one individually

If you're artificially restricting the load going into TigerBeetle, by sending transactions in one-by-one individually, then I think predictable latency (and not TPS) would be a better metric.

For example, TB's multi-region/multi-AZ fault-tolerance will work around gray failure (fail slow of hardware, as opposed to fail stop) in your network links or SSDs. You're also getting significantly stronger durability guarantees with TB [0][1].

It sounds like you were benchmarking on EBS? We recommend NVMe. We have customers running extremely tight 1 second SLAs, seeing microsecond latencies, even for one at a time workloads. Before TB, they were bottlenecking on PG. After TB, they saturated their central bank limit.

I would also be curious to what scale you tested? We test TB to literally 100 billion transactions. It's going to be incredibly hard to replicate that with PG's storage engine. PG is a great string DBMS but it's simply not optimized for integers the way TB is. Granted, your scale likely won't require it, but if you're comparing TPS then you should at least compare sustained scale.

There's also the safety factor of trying to reimplement TB's debit/credit primitives over PG to consider. Rolling it yourself. For example, did you change PG's defaults away from Read-Committed to Serializable and enable checksums in your benchmarks? (PG's checksums, even if you enable them, are still not going to protect you from misdirected I/O like the recent XFS bug.) Even the business logic is deceptively hard, there are thousands of lines of complicated state machine code, and we've invested literally millions into testing and audits.

Finally, it's important that your architecture as a whole, the gateways around TB, designs for concurrency first class, and isn't "one at a time", or TigerBeetle is probably not going to be your bottleneck.

[0] https://www.youtube.com/watch?v=_jfOk4L7CiY

[1] https://jepsen.io/analyses/tigerbeetle-0.16.11
by bellamoon544 | 2025-11-11 12:21:58+00:00
Download videos & images from Onlyfans profiles to backup media or enjoy offline. Instead of juggling manual captures or questionable browser extensions, it pulls content directly from Onlyfans with consistent quality and predictable results. It supports subscriber content and media files, photos, videos, and bulk downloading. Use it to archive Onlyfans assets, prep client deliverables, or keep your library accessible when connectivity is limited.
by weego | 2025-11-11 12:22:10+00:00
Probably so, but that doesn't mean their value can keep scaling without heavy diminishing returns. Softbank must assume they've taken 80%+ of the gains from this phase of NVIDIA's growth, and want to capture the next wave of growth.

I agree with you that OpenAI seems much more risky in terms of it's actual true viability as a business, but the risk:reward must be there for Softbank.
by pron | 2025-11-11 12:23:06+00:00
Not really. With dependent types, you can have a function that returns a type that depends on a runtime value; with Zig's comptime, it can only depend on a compile-time value.

Note that a language with dependent types doesn't actually "generate" types at runtime (as Zig does at compile-time). It's really about managing proofs that certain runtime objects are instances of certain types. E.g. you could have a "prime number" type, and functions that compute integers would need to include a proof that their result is a prime number if they want to return an instance of the prime number type.

Using dependent types well can be a lot of work in practice. You basically need to write correctness proofs of arbitrary properties.
by Topfi | 2025-11-11 12:23:16+00:00
In fairness, that is for their model, not their brand. In this industry, the mind share and buy in OpenAI has is still second to none, even when Gemini 2.5 Pro served the vast majority of users far better than the OpenAI models, the latter MAU trounced all competitors.

We do not know for certain as of yet, but I’d be very surprised if Apple felt the need to loudly communicate to their user base that the upcoming Siri improvements aren’t Apple Intelligence. They won’t lie of course, but Googles brand in the space isn’t nearly as strong with the layperson, whereas they more than happily shouted their use of GPT from the rooftops initially.
by mzl | 2025-11-11 12:23:51+00:00
Btw, note that the line

const randomNumbers = random ? [1, 2, 3, 4, 5, 6, 7, 8, 9].sort(() => Math.random() - 0.5).sort(() => Math.random() - 0.5) : null

does not really do what you seem to intend. Sort requires a comparison function that is stable, and there are a lot of things that could go wrong if this is not supplied.

For shuffling, use a shuffle algorithm. Fisher-Yates is the common suggestion on what to use.
by varshith17 | 2025-11-11 12:24:00+00:00
Love this kind of feedback, thank you. You nailed it on optional deps and config sprawl; I’m trimming both. CI cross is just coverage noise, and I’ll add uv setup notes it really cleans up the PyTorch mess. Glad the API felt right — that was the hardest part to get “just enough abstraction” right.
by WingedBadger | 2025-11-11 12:24:09+00:00
Just going by the last 2 years of university teaching (energy focused computer science in germany), I feel like LLMs have already had a devastating effect. There has been a large influx of students who seemingly got through their entire Bachelors degree with nothing but ChatGPT. The university is slow to adapt and ill equipped to deal with this.

This is absolutely killing my enjoyment of teaching. There is nothing more disheartening than carefully preparing materials for people to grasp concepts I find extremely interesting, just for them to hand in ChatGPT generated slop and not understanding anything at all. In stark contrast, just a couple of years prior I would have quite rewarding projects and discussions with students. I also refuse to give detailed feedback on such "solutions" anymore because the asymmetry in student effort and my effort is just completely unreasonable.

This development is something very different from the often quipped "graphing calculator in maths education". For a graphing calculator you still need to know the mathematical foundations to input the correct things to get the correct results. LLMs are mostly used by just pasting in the exercise of the day.

This is not to say LLMs can't be a useful tool for learning. They absolutely can. But that is not how the majority of students uses them... to their own detriment and the detriment of those trying to teach them.

If universities don't adapt to this quickly, then the already weak signal of "university degree implies some amount of competence" will be entirely lost.
by d4rkn0d3z | 2025-11-11 12:24:16+00:00
"We find that at present the human race is divided politically into one wise man, nine knaves, and ninety fools out of every hundred. That is, by an optimistic observer. The nine knaves assemble themselves under the banner of the most knavish among them, and become "politicians". The wise man stands out because he knows himself to be hopelessly outnumbered, and devotes himself to poetry, mathematics, or phylosophy; while the ninety fools plod off behind the banners of the nine villians, according to fancy, into the labyrinths of chicanery, malice, and warfare. It is pleasant to have command even over a flock of sheep, and that is why the politcians raise the banners. It is, moreover, the same thing for the sheep whatever the banner. If it is democracy, then the nine knaves will become members of parliament; if fascism, they will become party leaders, if communism, commissars, the result is still exploitation. As for the wise man his lot is the same under any ideology. Under democracy he will be encouraged to starve to death under garret, under fascism he will be put in a concentration camp, under communism he will be liquidated." -- Merlin
by ndsipa_pomu | 2025-11-11 12:24:36+00:00
I don't plan on visiting that site whilst it's being run by a blatant Nazi. There was a literal world war to stop that kind of evil and yet people seem to have forgotten. I hope you are not one of those people - I'm always suspicious of anyone that continues to use X/Twitter.

It's funny, Musk has enough money to end world hunger and instead he decides to be a complete arsehole.
by jibal | 2025-11-11 12:25:14+00:00
The compilers for Zig, D, Nim, and perhaps other languages contain an interpreter for the whole language that can run at compile time. It's not circular--compiling code and executing code are two quite different things (the interpreter does not contain yet another parser--it works on the AST). You simply can do calculations the results of which can be used in compile-time only contexts such as initializers. The trick in Zig is that the compile-time interpreter supports types as first-class objects, so you can compute types and implement generics this way. In Nim, the interpreter supports computations over the AST. In D, types can be passed as generic arguments, and computed strings can be "mixed in" to the source code and compiled at that point (on-the-fly code generation).
by davisoneee | 2025-11-11 12:25:18+00:00
No you have an equal number of options (minor and major are effectively transpositions/rotations...e.g. the chord progressions are "m dim M m m M M" for minor (m-minor, M-major, dim-diminished) chord progression, vs "M m m M M m dim" for major).

The post is likely getting to the point that, for english-speaking/western audiences at least, you are more likely to find songs written in C major, and thus they are more familiar and 'safer'. You _can_ write great songs in Em, but it's just a little less common, so maybe requires more work to 'fit into tastes'.

edit: changed 'our' to english/western audiences
by 4ggr0 | 2025-11-11 12:25:20+00:00
it definitely is. talking to non-tech people, even a password manager or adblock extension for a browser are magic. installing a basic OS is magic. freaking debugging something which isn't working is magic.

i've had to show people that they have to plug in their HDMI cable into their GPU instead of the motherboard, that they have to manually set the Hz in windows settings. how to install basic drivers.

so many more easy examples we IT-workers or nerds just take for granted. taking this to the extreme, my grandma asked me if i could search recipes online for her, because [insert your favorite search service] seemed too complicated.

So next to these examples, setting up syncthing with a VPN is next to impossible :( and even if they manage to set it up, good luck when you run into issues after a couple of months.
by potato3732842 | 2025-11-11 12:25:42+00:00
>EVs are on the roads right now, and most of them don't require oil changes at all. The oil in sealed in the gearbox, with no combustion to foul it, and is rated for the lifetime of the entire car.

You're being misleading. Nobody is changing the comparable oils in their ICE car with any serious regularity either. When people talk about oil changes they're talking about motor oil.

>And, have you ever seen a user? Like, an actual user, in person? 1 user in 5 is capable of swapping out toner cartridges.

99/10 can probably read the instructions and do it themselves if they care to try.

>Kicking the can to the tech support dept (for oil changes: to the service shops) is how it's done in real life.

Yes, that's how it's done in the office where you have people who's job it is to do those things. Are you incapable of emptying your trash can because the janitor does it? Even the most useless people living within the highest touch HOAs are changing their own printer ink and cleaning out the garbage collector in their dishwasher and the filter in their HVAC. There's no reason the basic stuff on a car couldn't be on that level of complexity.
by bspammer | 2025-11-11 12:26:21+00:00
Anecdata here, but I played Zelda Ocarina of Time on CRT when I was a child, and have since replayed it many times via emulator. The game never looked quite as good as I remembered it, but of course I chalked it up to the fact that graphics have improved by several orders of magnitude since then.

Then a few years ago I was throwing out my parent's old CRT and decided to plug in the N64 one last time. Holy crap was it like night and day. It looked exactly as I remembered it, so much more mysterious and properly blended than it does on an LCD screen.

I don't see why the same wouldn't apply to films, sometimes our memories aren't false.