MurphyA/hacker-news huggingface dataset:
by throwaway_7274 | 2025-09-27 13:13:34+00:00
In my experience, the hiccups with packages are of a different kind than those with LaTeX packages. They’re more often “normal programming” hiccups where a function is poorly-documented, or there’s simply a bug. LaTeX packages can cause bigger problems: even usepackage-ing them can do arbitrary ‘stuff’ and have weird nonlocal effects that are basically undebuggable. Oftentimes two packages will just be incompatible, which should not ever be the case in a sensible programming language.
Ask HN: One month of salary to build whatever you want
by 999900000999 | 2025-09-27 13:14:00+00:00
If someone gifted you a month salary to build whatever you wanted, what would you build ?

A cat exercise tracking app ?

A board game?

A deck for your patio ?

The goal isn't profit, although that would be nice. God knows making a profitable software is nearly impossible.
by techblueberry | 2025-09-27 13:14:31+00:00
The funny thing about calling it woke is it wasn’t a partisan issue, nobody was going to Cracker Barrel Republicans included, that’s why it was dying, and all my woke/liberal friends were just as nostalgic.

But it’s really representative of how little of a shared vision for America there is on the modern right, like this full throated attack in an attempt to protect something they don’t want.
by Applejinx | 2025-09-27 13:14:40+00:00
I hang out with dubstep and DnB guys on a UK forum. If they're looking to rave out they'll make something like this: https://www.youtube.com/watch?v=Sq0Pg7fnkAg

You'll notice many similarities in instrumentation, but how is Suno not like a bad RealAudio take on some of these noises haphazardly lumped together?

Or, same artist, different track: https://www.youtube.com/watch?v=UhvpCHfe0m0

Don't you need more focus and aggression to make even sell-out weak tea dubstep? I feel the generative process really severely fails to deliver anywhere near the correct sound, even for 'bad artificial lol dubstep' sounds.

Another even closer to the intent of the Suno one: https://www.youtube.com/watch?v=G3q_kmpq-9Y
by angoragoats | 2025-09-27 13:14:44+00:00
This seems about as relevant to their core search product as building a clothing import/export/logistics business[1].

I wish they’d focus entirely on search, because that is where innovation is sorely needed. I used Kagi for a little while and could see it becoming huge if they added more user-friendly features.

[1] https://blog.kagi.com/celebrating-20k
by zbentley | 2025-09-27 13:14:52+00:00
> whether that would still be true had we approached public transit and health care subsidies the same way European countries did?

Why wouldn’t it? I’ve heard many different explanations for the US’s wealth, but never that it’s wealthy because it saves on expenditures. There is also a solid case to be made that healthcare specifically would, if socialized, drive up productivity, earning power, and reduce fiscal risk (and risk aversion) for many demographics, all of which are good for GDP and other measures of a country’s wealth.

As for mass transit? It has costs and benefits too, but they’re a drop in the bucket compared to healthcare costs.
by jermaustin1 | 2025-09-27 13:15:29+00:00
I wouldn't call myself middle age (though I'm not THAT far off, and past middle age for men in my family), but I'd agree and say I could count my total friends on a single finger, and I really don't even like him that much... and he knows it, and probably feels the same.

Acquaintances, though, I have many. Many of I talk to regularly, but would never consider them a friend, because well, I know almost nothing personal about them. A former boss that I meet up with anytime we are in the same city for dinner and drinks, I've known for nearly 20 years, but I don't know his wife's name, I know he has 4 kids, and I've met them all in passing, but no clue what their names are, etc.

Maybe I'm weird, and maybe I'm a bit lonely, and maybe it has taken a couple decades to realize I squandered all of my in-build friends from childhood, but I'm not sure I'd do it differently. I've had a semi-successful life, and most of my high school friends still live in their hometown, have dead-end manual labor jobs, or have died/disappeared from drug use.

Therapy tells me I pre-reject friendship so friendship doesn't reject me, and I agree with it, but don't feel like changing the pattern.
by TaupeRanger | 2025-09-27 13:15:33+00:00
People are talking about dental hygiene in this thread, but it’s only mentioned once in the article, and only to suggest that a small portion of the microbes associated with cancer were also associated with dental disease. We literally don’t know if using mouthwash or brushing for 30 seconds longer (the main differences in dental hygiene habits among people reading this) has any effect on cancer risk, so what’s the point of even posting this?
by colelyman | 2025-09-27 13:16:48+00:00
I love Typst! Currently rewriting my CV in Typst and it has been an excellent experience. One small hindrance is the inability to have multiple bibliographies.

In the past I have also used it to generates quotes (in terms of finances, invoice etc.). It was neat because all of the logic for adding up the subtotal was written in the language (and was fairly easy to understand). I can imagine trying to do that logic in LaTeX…
by martin-t | 2025-09-27 13:16:48+00:00
People know their neighbors. Consider that the neighbor might have been known to be anti-social instead (e.g. had one of the subtypes of narcissism) and resolving the issue directly was more likely to lead to a satisfactory outcome for both sides than confronting them because they were likely to escalate / not let go.

Assuming the worst at first is a bad habit but assuming bad intent after a bad track record is established is healthy and helpful.
by natdempk | 2025-09-27 13:16:58+00:00
Hey, Suno SWE here — I realize this wording might be slightly ambiguous, but you do not need to maintain a perpetual license to have commercial rights. That blurb is saying that songs created while you are subscribed are granted commercial use rights.

> If you made your songs while subscribed to a Pro or Premier plan, those songs are covered by a commercial use license.

More info here: https://help.suno.com/en/articles/2410177
by 3036e4 | 2025-09-27 13:17:34+00:00
I have fond memories of some z-machine interpreter on the Palm that I found easier to play with than anything on my desktop computer. There were lots of shortcut buttons and thanks to the stylus it was still easy to use those (vs a touchscreen using ony fingers where you need huge buttons to hit). You could also tap any word in the output to bring up a context menu of actions (e.g. to examine or pick up objects mentioned in room descriptions) and that list of actions was a combination of a configurable global list and a game-specific list you could add actions to. Could play through entire games and barely ever have to type anything. Had a folding keyboard, but no memory of using that for interactive fiction.
by visarga | 2025-09-27 13:17:50+00:00
What button? Again with the vending machine idea. No, it's language prompting, language has unbounded semantic space. It's not one choice out of 20, it's one choice out of countless possibilities.

I give my idea to the model, the model gives me new ideas, I iterate. After enough rounds I get some place where I would never have gotten on my own, or the model gotten there without me.

I am not the sole creator, neither is the model, credit belongs to the Process.
by api | 2025-09-27 13:18:08+00:00
My take is that some on the right, perhaps most, correctly identify that our culture is in the doldrums but don’t have an answer. Being conservatives and reactionaries their instinct is to reach for a point in the past they think was better and try to roll back to that. But they haven’t thought it through in any depth. They don’t know what they actually want.

Leftists, having different instincts, reach for things like class conflict and social injustice to explain the doldrums, but I’m not convinced they’ve thought it through either.
by ToucanLoucan | 2025-09-27 13:18:28+00:00
People will accept change if it's better. Yet another distinct, albeit not my cup of tea, and interesting restaurant rebranding into yet another fucking gray box with a flat 2-color logo isn't better, it's more bland in a sea of bland.

Even though I have no good vibes for the place, I'm happy it exists, and there are clearly a bunch of other people who DO like it, and I also want them to have it. That makes for a better world to live in, if only by a micron.
by maghfoor | 2025-09-27 13:18:29+00:00
APP NAME - Three Cells: Your Life System

Some history: A couple of days ago my app finally got approved and released on app store.

Overall really happy with the release. Now I finally have something that I use every single day. Whereas previously I was using various different apps to journal, track habits, track my weight and manage tasks etc. Now I have all of that in one place.

Initially it was a website that I built for myself but I realised that something like this is better built in an app after speaking with lots of people.

I used Convex dev for my backend and that honestly made the backend part of creating this part very easy because I could just use the same structure I had for the web app. Convex was my choice because even for a website I wanted the data to always be in sync whether I access it on my phone or laptop.

The most annoying part about building an app is having to go through the review process of app store. For a website, I can just make a change and it can be live in less than a minute. But the app store review process alone took me 2 weeks to release this.

Using AI made migrating the website into an app really easy. I had some components like heat-maps and graphs which would have been really difficult to migrate over if I was doing this a couple of years back.

The idea itself actually came from reading lots of productivity books and then stumbling upon an interview from Jim Collins who talks about how he tracks his own life and makes sure it's going in a direction that he wants
by supongo | 2025-09-27 13:19:17+00:00
I should have been more specific. I understand the sustainment cost of weapon systems and the like - which, while still too costly, is partially justified.

I was referring to the inflated cost the DoD pays for everyday items. I.E, having to pay double or triple the market rate for things like office chairs, computer headsets, and WIFI dongles. There's no sustainment cost. Just an inflated price.
by notepad0x90 | 2025-09-27 13:20:39+00:00
Forums are fine.

You understand I'm sure that federated is not the same as decentralized. Mailing lists are moderated, the list is hosted on a specific domain and that domain's owner can do whatever they want with the list. How is that different from a forum or some website? I don't like them but there mastodon,matrix,etc.. all open source and you can host them on a domain like you can a mailing list. They meet all your criteria.

I have an additional criteria to add: Security! I would like to authenticate that someone really said what is on the mailing list or its archives.

But before that, mailing lists are not as accessible as all the other options, because it all comes down to how accessible the email client is. Gmail is wildly different from mutt. Inconsistently accessible is what it is.

how about privacy? I wouldn't want my email and my email's domain published to the world to communicate with the list. And again with integrity, mailing list moderators can do all sorts of stuff (and I've seen plenty of shady and downright questionable practices).

How about we let things built for different times and with different requirements than what we have to day go to sleep quietly?
by lou1306 | 2025-09-27 13:21:22+00:00
Thank you for clarifying, but don't you think this puts a rather big dent in the claim that Litex is "intuitive" and "can be learned by anyone in 1–2 hours"? I think the average user would expect the natural/real numbers to come equipped with this kind of theorems.

For instance, the tutorial says that "The daily properties" (whatever this means) of "+, -, , /, ^, %" are "already in the Litex kernel". What about associativity of and +, or distribution of * over +? Are these part of the "daily properties"? And if so, why didn't transitivity of >= not make the cut?

Just trying to understand the design choices here, this is very interesting.
by mmastrac | 2025-09-27 13:21:26+00:00
This is interesting. I would be curious to try a setup where I keep a local hybrid cache and transition blocks to deep storage for long-term archival via S3 rules.

Some napkin math suggests this could be a few dollars a month to keep a few TB of precious data nearline.

Restore costs are pricy but hopefully this is something that's only hit in case of true disaster. Are there any techniques for reducing egress on restore?
by whilenot-dev | 2025-09-27 13:23:02+00:00
SuperCollider enthusiast here, I think you missed the "is no different than" part. Working with SuperCollider is very different from playing any instrument live, and I doubt that'll change.

Where playing an instrument means balancing the handling of tempo, rhythm and notes while mastering your human limitations, a tool like SuperCollider lets you just define these bits as reactive variables. The focus in SuperCollider is on audio synthesis and algorithmic composition, that's closer to dynamically stringing a guitar in unique rule-based ways - mastering that means bridging music- and signal-processing theories while balancing your processing resources. Random generators in audio synthesis are mostly used to bring in some human depth to it.
by mc32 | 2025-09-27 13:23:25+00:00
There are quite a few independent old British brands in audio. I hope they stay small niche and independent in the face of consolidation and some genuine competition from China. There are Danish and Finnish brands too and the odd French one. Anyway I hope they can remain independent even as they move some parts of their manufacturing to Asia.

Curiously you can follow some designers from shop to shop as they move in their career evolution.
by gus_massa | 2025-09-27 13:24:06+00:00
How does it escale for NxN system? Let's say N=10 that is the maximal amount I'd write by hand (in exchange for a lot of money).

I took a look at the example and it's very intuitive. I'm trying to guess which heuristics is it using. Does it try to find exact matches of whatever is inside the parenthesis?

@GP?: Doesn't Lean have a "please fill the blanks" mode for short proof?
by visarga | 2025-09-27 13:24:11+00:00
Maybe you need to refresh the context - 99.99% of AI generated music, images or text is seen/heard only Once, by the AI user. It's a private affair. The rest of the world are not invited.

If I write a song about my kid and cat it's funny for me and my wife. I don't expect anyone else to hear or like it. It has value to me because I set the topic. It doesn't even need to be perfect musically to be fun for a few minutes.
by astine | 2025-09-27 13:24:52+00:00
If you think it's silly because it's not a restaurant you go to, imagine if Coca-Cola replaced their script logo with some generic sans-serif one. Don't you think the outrage would be real?

I can't imagine being upset at something like that. I'm sure there would be people upset, given the nonsense that happened in the 80s, but being personally invested in corporate branding has got to be the saddest sort of parasocial relationship possible.
by jijijijij | 2025-09-27 13:25:12+00:00
Now, this isn't really an alternative, but I can recommend using pandoc instead of pure LaTex. Personally, I think text blocks are much easier to handle and read in markdown and pandoc allows you to use in-line LaTex wherever markdown is insufficient, without making basic text styling unnecessarily verbose. In my opinion, the result is a better/friendlier LaTex, or limitless markdown respectively. Especially for writing papers and such, you can always start actually writing in basic markdown, which is trivial and almost-WYSIWYG, and later worry about presentation. In my experience, with pure LaTex you easily get lost in sidequests and it's much harder to get into a writing flow and find your way around your own words in the editor.
by testfrequency | 2025-09-27 13:25:22+00:00
Timely, enjoying it so far as a first user.

I don’t use any social media and have attempted to get my news in the most basic and unbiased form possible.

After finally acknowledging I could never keep up with my RSS reader, I started using Particle a month ago, but I still feel overwhelmed.

Kagi News feels like a sweet spot at the moment, time will tell but this is as much context and unbiased aggregation as I need/want.

Only feedback is allowing custom categories? Right now is enough to get me functional, but I’d love my more niche topics to be available.
by visarga | 2025-09-27 13:26:25+00:00
Assuming that 1. food is free and instant to get, and 2. there are infinite possibilities for food - then yes, if you ordered such a food from an infinite catalog you would get the credit.

But if you ordered 100 dishes iterating between designing your order, tasting, refining your order, and so on - maybe you even discover something new that nobody has realized before.

The gen-AI process is a loop, not a prompt->output one step process.
by Balinares | 2025-09-27 13:26:50+00:00
People of ESR's ilk are why you can't have a serious project without a CoC these days. It's just tragic. Else before too long you end up losing your black, trans, etc, contributors. Because somehow it's not "drama" when the ilk does racism/misogyny/transphobia but it is when they're being called out on it.

Having a clear CoC helps keep the good actors safe while having clear red lines to keep the bad actors either in line, or out. But it's so sad that we got to that point at all...
by nenenejej | 2025-09-27 13:26:54+00:00
Easy. Trust cryptography. I generate a private key and sign everything as me. This takes out all the BS. Of course you cant age verify and anonymous accounts and spam become easy. But that is your trade-off. Nostr allows relays to filter out shit they dont like. So you can have your 4chan but also your more moderated sites too.
by marginalia_nu | 2025-09-27 13:27:23+00:00
There are no doubt many ways one can define what is and isn't extreme. The definition of extreme I apply is in the context of the comment I made is something like political viewpoints or groups on the outside or on the fringes of the political establishment.

Figures like Macron or Blair may be or have been extreme in some regards, but not in this one.
by __df__ | 2025-09-27 13:28:17+00:00
number of bach cello suite recordings by decade parsed from the 'a-z' page: 1940s | # (n=1) (* Casals, 1948) 1950s | ## (n=4) 1960s | ##### (n=10) 1970s | ####### (n=14) 1980s | ######## (n=16) 1990s | ###################### (n=41) 2000s | ############################## (n=57) 2010s | ################################################## (n=92) 2020s | ################### (n=35) (*) notable recording
by therealpygon | 2025-09-27 13:28:24+00:00
I disagree with the characterization as “absurd” to equate AI to an instrument. As you just said, it is a powerful tool. I would equate basic Suno prompting to a beginner on an instrument, as instruments are tools like anything else. Just because you get music out, it doesn’t mean it is actually “good” any more than if I smash random keys on a piano.

Controlling that flow of generation, re-prompting, adjusting, splicing, etc. to create a unique song that expresses your intention is significantly more work and requires significantly more creativity. The more you understand this “instrument”, the more accurate and efficient you become.

What you’re comparatively suggesting is that if a producer were to grab samples off Splice, slice them and dice them to rearrange them and make a unique song, that they didn’t “actually” make music. That seems like it would be a more absurd position than suggesting AI could be viewed as an instrument.

Tools like Suno make people feel like “their own music” is good and they have accomplished something because they elevate the floor of being bad at a tool (like all technological improvements do). They feel like they have been able to express their creativity and are proud, like a kid showing off a doodle. They share it with their friends, who will listen to it exactly one time in most cases and likely tell them it is “really good” and they “really like it” before never listening again.

That type of AI use is akin to a coloring book, but certainly doesn’t make for “good” music. When a kid shows off their badly colored efforts proudly, should we yell at them they aren’t doing “real art”, that their effort was meaningless, and that they should stop acting proud of such crap until they go to art school and do it “properly”?
by technothrasher | 2025-09-27 13:29:31+00:00
> Here's the thing about the boiling frog: it's not true.

That whole thing stems from a 19th century German scientist (Dr Fruedrich Goltz) who wanted to know if the impulse to jump out was from the brain or further down the nervous system. From his experiments, an intact frog freaks out when the water gets too hot. When he destroyed the brain of the frog, it sits their until it dies of exposure.

There was actually quite a lot of experimenting in the late 19th century with "reflex frogs" (i.e. brain dead but still alive). W. T. Sedgwick wrote a decent review of it in 1888 titled, "ON VARIATIONS OF REFLEX-EXCITABILITY IN THE FROG, INDUCED BY CHANGES OF TEMPERATURE."
by penchant | 2025-09-27 13:29:52+00:00
I wonder why some people that are aware of how detrimental social media are blame all the evil on "algorithms" instead of just… ceasing to use social media at all? Seriously, you are not FORCED to use social media unless it's a part of your job (and even then nobody can make you use them in your free time). Portaying yourself as a martyr who's helpless when trying to escape from all of these vile big companies when doing nothing to get yourself out of this is hilarious. Gizmondo also has written about it: https://gizmodo.com/the-gizmodo-guide-to-stopping-algorithms...
by jvanderbot | 2025-09-27 13:30:12+00:00
I find it fun that alcohol increases DNA methylation, but we find now that having a rich social life decreases it. If you need any other reason to see the societal fitness of societal lubricants. I've cut way back into "maybe one once in a while" territory, but I also have regular social interactions with exactly two toddlers and one wife and that's about it.

I've never been to AA, but I'm told it's the cues that get you, and I do admit the memories of beers + guitar hero or other such nonsense from old days is exactly what I want every time I open a beer.

It's like that old rat experiment, where they gave them cocaine or heroine laced water + regular water, and they always preferred the the drugs, until there was a rich social life / environment, at which point they rarely did.

Socializing is powerful stuff if you can find enough time to build up enough trust to just have a heap of fun for a few hours. I swear a side-splitting laugh fest adds years to your life. When is the last time you laughed so hard with friends you couldn't breathe?
by leakycap | 2025-09-27 13:30:24+00:00
Yes, I agree with you that this isn't thereg's point - just worth considering the importance of 24x7 security on this, so maybe don't self-manage it unless you're available 24x7.

This is doubly more important if setting it up for someone else, and the two wardens you mention make it trivially simple to feel like you did everything right and have major security issues
by ajross | 2025-09-27 13:30:35+00:00
It's just a lock. It's analogous to a pthread_mutex_t (which on Linux is a futex), where the operation in the uncontended case is a single atomic access to shared memory. The contended case needs to enter the kernel to suspend, or to make a decision about who to wake up, and that seems to be the subject of the blog post.