MurphyA/hacker-news huggingface dataset:
by hollerith | 2025-07-31 13:29:34+00:00
It is not the content on social media that is doing the harm in Haidt's model -- beyond the fact that the content is designed to be more stimulating and more interesting to that particular user than "real life".

Haidt argues that social media platforms are designed to be addictive, leveraging variable reward schedules and constant novel stimuli (likes, notifications, new content) to continually trigger dopamine release. This overstimulation of the brain's reward system, which is heavily mediated by dopamine, can lead to several negative consequences.

This constant seeking of instant, shallow rewards trains the brain to crave immediate gratification, making it more difficult for young people to engage with activities that require sustained attention, effort, and delayed gratification, such as reading a book, focusing in school, or building deep real-world relationships. The constant overstimulation can lead to a dysregulation of these pathways, making it harder for individuals to feel motivated by or find pleasure in less stimulating, everyday activities, thus contributing to feelings of boredom, apathy, and a diminished capacity for sustained attention and effort.

If the same exact content were revealed to the user in response to the user's making an effort, undergoing some danger or exercising patience or forbearance, the adverse effect described above would not occur: what causes the adverse effect is stimulation and gratification that requires almost no effort, no risk, no waiting and that is constantly available (even for example when the user is standing in line or riding on a crowded train).

The same thing is true BTW of the effect of porn on the young mind: if a boy can persuade a girl to show him her body, that experience will not tend to damage the boy even if he sees exactly the same thing he would see if he watched a porn video because it almost always requires significant effort to persuade a teenage girl to take off her clothes: among other things, the boy would need exhibit some degree of consistency and predictability in his behavior (exercising his frontal lobes) and to show that he cares about her at least to some minimum standard, which will probably entail learning and remembering many things about her and her recent experiences.

Almost everything in life that is pleasurable or exciting requires significant effort, danger or waiting, not just persuading a teenage girl -- or at least that was the case before the widespread availability of paperback novels, newspapers, comic strips, easily affordable distilled alcohol and drugs, radio, movies, pornography, television, the internet, social media and smartphones.
by hansvm | 2025-07-31 13:30:29+00:00
There are lots of smart kids who don't particularly need reasons for causing mayhem. Suppose it was somebody profit-motivated though. They might be:

1. Distracting from a more important vulnerability

2. Later contacting customers, advising them of the "accidental" refund and redirecting them to a more appropriate payment mechanism (one without the KYC Stripe does, were they to try to steal funds directly)

3. Testing stolen credit cards before using them elsewhere

Etc. Scamming people is a big industry, and not all of the plots are immediately obvious.
Show HN: Voice Isolate – dead simple speech audio enhancement (using AI)
by johnhandler | 2025-07-31 13:30:59+00:00
Greetings HN!

I built Voice Isolate to be the simplest way to enhance any speech recording.

After hearing so many videos/podcasts with great content but poor audio I realized not everyone can or wants to invest in a pro mic / studio / editing software but figured something simple should be possible now using AI.

There are products that do this like Descript or ElevenLabs but I find they’re overcomplicated for many use cases (full blown app designed for professional podcasters, use a convoluted credit system, etc.).

As a solo dev I wasn’t sure this was possible to do well but I spent months looking at open source models and combining/tweaking them to get the best mix of quality/speed/cost. It’s not perfect but I was pretty impressed by the results.

Listen to the demos or try it yourself with the free preview and let me know what you think: [https://www.voiceisolate.com](https://www.voiceisolate.com/)
by Jahboukie | 2025-07-31 13:31:04+00:00
"To clarify the memory-only version is available for immediate testing: AntiGoldfishMode was the initial memory-only CLI tool. AgentOS is the larger, evolving platform that now integrates those memory capabilities with new execution and learning engines, all built with the same 'AI-native' philosophy.

For those interested in trying out the memory-only version of AntiGoldfishMode specifically (which is now part of AgentOS's foundation), you can claim a key and find detailed installation instructions by visiting: [antigoldfish.dev]
by Xeoncross | 2025-07-31 13:31:37+00:00
I'm so glad to be out of the dark ages of parallelism. Complaining about Go's race detector or exactly which types of logical races Rust can't prevent is such a breath of fresh air compared to all those other single-core languages we're paid to write with that had threading, async, or concurrency bolted-on as an afterthought.

I can only hope Go and Rust continue to improve until the next language generation comes along to surpass them. I honestly can't wait, things improved so much already.
by jodrellblank | 2025-07-31 13:31:39+00:00
Someone posted their word game Cobble[1] on HN recently, the game gives some letters and the challenge is to find two English words which together use up all the given letters, and the combined two words to be as short as possible.

A naive brute-force solver takes the Cobble wordlist of 64k words and compares every word against every other word and does 64k x 64k = 4Bn loops and in the inner loop body, loops over the combined characters. If the combined words average 10 characters long, that's 40 billion operations just for the code structure, plus character testing and counting and data structures to store the counts. Seconds or Minutes of work for a puzzle that feels like any modern computer should solve it in microseconds.

It's always mildly intresting to me how a simple to explain problem, a tiny amount of data, and four lines of nested loop, can generate enough work to choke a modern CPU for minutes. Then considering how much work 3D games do in milliseconds. It highlights how impressive algorithmic research of the 1960s was to find ways to get early computers to do anything in a reasonable time, let alone find fast paths through complex problem patterns. Or perhaps, of all the zillions of possible problems which could exist, find any which can be approached by human minds and computers.

[1] https://news.ycombinator.com/item?id=44588699
by freeourdays | 2025-07-31 13:31:43+00:00
This is a very interesting app concept:

New flippers struggle to identify profitable items, unable to quickly research an item's value. This leads to bad buys or missed opportunities, making sourcing inefficient and risky for those wanting to start a reselling side hustle.

A mobile app using image recognition or barcode scanning instantly shows an item's average resale price, sales data from various marketplaces, and profit estimates.This tool enables quick, data-driven decisions on-the-go, transforming sourcing into a calculated and profitable venture.
by NalNezumi | 2025-07-31 13:32:38+00:00
>Sometimes it means shielding your team from dumb shit.

I think this is a generally good advice, but can also be misused.

I liked my previous manager, he had a principle for that part. Shielding the team from those crap, especially paperwork stuff. The trouble was that I could see how it was grinding him down, and I knew I could help him with it (because this was Japan, he didn't speak Japanese, I do and language barrier create inefficiencies) but he refused. My manager before him (this time the opposite: Japanese but couldn't articulate himself on English so I took care of all the English team communication) did and it worked smoothly.

If you're a small team (in a startup) doubly so, since grasping the full context of your team & outside is not as big of a task.

Best is to at least be open if your team members are open to helping you with the trickling down bullshit.
by mewpmewp2 | 2025-07-31 13:32:43+00:00
This is a really tough one isn't it? On the other hand I personally don't like when leaders or managers are over communicating (contrasting to this article). Of course I never say it, so the author can claim that nobody has criticised managers for over communicating, but I do despise too frequent check ins, meetings that are going too long, people who talk for too long when I just want to get started already. Managers who repeat the same stuff, talk overly verbose, speak 5 paragraphs of something that could be a sentence, etc.

They are not bad people, but I do personally feel annoyed by it, and I do feel it drains me of energy and flow. I feel like there are too many 1 hour meetings that shouldn't have been there at all or could have summarized in 5 minutes.
by armchairhacker | 2025-07-31 13:33:11+00:00
It's because the addition can evaluate to only one form: `3 + 3` and `6` both evaluate to `succ (succ (succ (succ (succ (succ zero)))))`, similarly Lean can infer `4 * 3 = 1 + 3 + 8` because both evaluate to the same as `12`. But an expression can be rewritten to an infinite number of forms, e.g. `x * 2` can be rewritten to `x + x`, `(x + (x / 2)) * 4/3)`, etc. So `refl` can automatically evaluate both sides but not rewrite them.
by goku12 | 2025-07-31 13:33:18+00:00
> (Taffy [0]) that can be used standalone and is widely used accross the Rust UI ecosystem, including in the Blitz [1] web engine (which also uses Taffy for Flexbox and Block layout)

This is the first time I hear about Blitz. Looks equally interesting and ambitious. It is probably the real undercover web engine. Servo was widely known around when Rust debuted.
by edwardbernays | 2025-07-31 13:33:31+00:00
Lying or misrepresenting a product for a paycheck is not a fumble. It's a propagandist making a bag. Once they have put effort into creating a polished piece of propaganda, which they then release, it can not be considered a fumble any longer. It is something that they endorse. If they rescind it within some critical window that meaningfully impacts their bottom-line, maybe then I can believe them. Otherwise? No, I see no reason to offer them the benefit of the doubt. There are many people doing actually good work. Veritasium is not unique in their content or quality. We should not reward propagandists.
by aidenn0 | 2025-07-31 13:33:53+00:00
Interesting. It was recently removed from nixpkgs due to being broken with modern hardening compiler flags; e.g.:

> connect.c: In function 'd_connect': > connect.c:87:19: error: initialization of 'LONG' {aka 'int'} from 'void *' makes integer from pointer without a cast [-Wint-conversion] > 87 | DB_ADDR mdba = NULL; /* db address of current member record */
by gruez | 2025-07-31 13:34:10+00:00
>I don’t know if it was a glitch or if I was getting the answers wrong.

It could also be that everything was working as intended because you have a high risk score (eg. bad IP reputation and/or suspicious browser fingerprint), and they make you do more captchas to be extra sure you're human, or at least raise the cost for would-be attackers.
by JohnFen | 2025-07-31 13:34:12+00:00
It looks like LLMs will automate a lot of what I enjoy doing myself and increase the amount of work of the sort I dislike (such as reviewing code I didn't recently write).

So my worst-case scenario with LLMs in terms of my job is that they will make my job hard to tolerate. If that actually happens, I'll leave the field entirely as there would be no room for the likes of myself in it anymore.
by t-3 | 2025-07-31 13:34:17+00:00
The way election campaigning works already ensures that only the very wealthy or incredibly dedicated can run for office. Who else can afford to take time out of their schedule to travel, give speeches and attend campaign events and fundraisers, do interviews, schmooze donors, etc? A representative democracy already selects for the wealthy from the get-go, so the $174k current Congressional salary is more or less inconsequential to those folks that do run.
by 2d8a875f-39a2-4 | 2025-07-31 13:34:24+00:00
Nah, this lays out what everyone knows going in and leaves out what you really need to know as a newby.

Budget. Getting some for your team or at least for your priorities. Protecting what you get. Capex vs Opex.

Upward management. Translating messages upwards. Interpreting C suite decrees. Pacing and leading. Inducting new leadership before they fuck things up.

Retention. Keeping the people you need on your team. Cutting the people you don't. Compensation and promotions.

All of which is to say, Politics. How to not come out a loser at the game of thrones next time there is a merger, reorg, budget season, or just end of quarter.
by IX-103 | 2025-07-31 13:34:42+00:00
That seems like a recipe for corruption. Representatives would need to supplement their salary somehow just to afford housing. The easiest means would be to leverage their position. Even if you make it illegal, the demand will make it happen anyway.

We could make it something like 10x the median salary and still have the alignment you want, but would be more resistant to that effect.
by turnsout | 2025-07-31 13:34:46+00:00
The future will definitely include more and more elaborate proofs of humanity, along with increasingly complicated “hall passes” to allow bots to perform actions sanctioned by a human.

One early example of this line of thinking: https://world.org/

Skyrocketing complexity actually puts the web at risk of disruption. I wouldn’t be surprised if a 22 year old creates a “dumb” network in the next five years—technically inferior but drastically simpler and harder to regulate.
by ac29 | 2025-07-31 13:35:30+00:00
> nor why The Linux Foundation gives little to no support at all to it

The Linux Foundation is mostly a dumping ground for dead and dying projects. Particularly they seem to specialize in abandoned commercial open source projects.

I dont think the Foundation provides much, if any, developer funding for these projects. They list $193M in "project support" expenses but host over 1000 projects.
by 0xbadcafebee | 2025-07-31 13:35:48+00:00
The lack of communication one doesn't seem like it needs saying, but I've had managers who literally hid information from me, or would keep me out of meetings, on stuff I would eventually have to work on anyway. Don't be that guy. Spread information throughout the team and invite people to meetings even if they don't need to be there (clarifying that they're optional).

Also keep in mind that as a manager, you are a custodian of culture. What you do and don't do will shape your team's culture which will (in part) shape the whole company's culture. So think about how you can develop positive culture (and also, ask!).
by noodletheworld | 2025-07-31 13:35:50+00:00
> The author may call it "vibe coding", that's fine but it has little to do with LLMs.

Humm.

Maybe if we say that this is not an issue from vibe coding it wont be?

Maybe if we pretend that maybe a naive junior would make these mistakes (true) we should be happy to accept them from senior developers (false)?

LLMs are extraordinarily bad at doing these things.

I’ve seen it.

You've seen it.

The OP has seen it.

You’re in a rush so you wrote some classes in a code base in a language which supports classes but has no classes in it?

Really? Did that get past code review before? Did you deliberately put up a code review that you knew would be rejected and take longer to merge as a result because you were in a hurry?

Of course not.

You did the bare minimum that still met the basic quality standards expected of you.

I get it. We all get it. When youre in a rush you cut corners to move faster.

…but thats not what the OP is talking about, and its not what I see either:

Its people putting up AI slop and not caring at all what the content was.

Just a quick check it compiled and the tests pass if youre lucky.

Too lazy even put a “dont use classes” in their cursor rules file.

Come on. The OP isnt saying dont use AI.

Theyre saying care, just a little bit about your craft ffs.
by danabramov | 2025-07-31 13:36:43+00:00
Author here — this is correct. I’ve added a paragraph on this in an edit btw so it’s possible the parent poster hasn’t seen it yet. Reproducing the paragraph:

(Here, rfl closes ⊢ 3 + 3 = 6, but for a different reason than one might think. It doesn’t really “know” that 3 + 3 is 6. Rather, rfl unfolds the definitions on both sides before comparing them. As 3, 6, and + get unfolded, both sides turn into something like Nat.zero.succ.succ.succ.succ.succ.succ. That’s why it actually is a something = something situation, and rfl is able to close it.)

Also, another resource on this is https://xenaproject.wordpress.com/2019/05/21/equality-part-1...
by highwaylights | 2025-07-31 13:36:51+00:00
I get that Kevin Smith's films are for a very specific audience that's now in their 40's, but this scene from the Jay and Silent Bob reboot really hammers your point home hard for me:

https://www.youtube.com/watch?v=ytiZ7zw5vqQ

My takeaway is a little different. I'd still love to have the opportunity to pursue those things, but there's not a chance I'd ever trade what I have for that (I realise you weren't suggesting you would). tldr; I feel at peace with the road not travelled.
by neilv | 2025-07-31 13:37:38+00:00
This link is full of the usual self-promoting priorities of politicians, and the modern "influencers" who mimic them.

1. Redirects to someone's personal-name Web site.

2. The top heading on the page is their personal name and what seems to be personal logo.

3. Immediately below that logo the navbar entry for "ABOUT ME / CONTACT".

4. The last entry in the navbar is "GET INVOLVED", and the first entry of that menu is "Follow Me".

5. The first entry in the navbar is "WELCOME" and redirects to a page with a huge photo of him, followed by a heading that starts "Patrick Breyer – Digital freedom fighter and former Member of European Parliament for the German and the European Pirate Party" subheading "Europe’s voice of privacy and the free Internet".

6. Then the page below all this has some information.

I think this is one reason that positive revolutions can't happen anymore: the potential leaders/actors see no non-corrupt role models for how to operate. It's a very fuzzy line between self-promotion in service of the mission somehow, and self-promotion in service of power/influence for its own sake.
by neom | 2025-07-31 13:38:03+00:00
I know nothing of math, but I think I have a fairly unique view of this because I studied film making in my 20s when the shift to digital happened, and I was the first cohort through the first digital film program in my country.

Humans love novelty, it's what got us out of the cave, if you look at studies on boredom, they lead to sadism, that's how much humans hate boredom. When new ways to create become available, the people who struggle are often the ones who are unable to adapt their mindset to the new creative mediums and don't think "what is new to be done here" - I know nothing of the math word, actually I'm in awe of it, I have dyscalculia so I am blind to numbers etc, but I would guess that there will always be physics to explore, so there will always be math to be done, just, much like art, it will change?

AI becomes a new tool for creativity, and there will always be creative humans working to escape the pain of boredom.
by mewpmewp2 | 2025-07-31 13:38:21+00:00
I also have a counterpoint to that: manager "shielding" has previously led me into this telephone game sort of thing where I have to guess if there is something going politically wrong or if the ask is actually honest and straightforward. If I exactly understood the politics, or the bs going on, I could give better solutions without tiptoeing around it.
by Goronmon | 2025-07-31 13:38:48+00:00
Anyway the idea of preventing corruption by bribing them officially is weird.

Labeling the act of someone getting paid to do a job as "bribery" is even more weird. While I certainly wouldn't do by current job if I was paid minimum wage, I don't know if I would say I'm being "bribed" by my employer to stick around. Even if it does appear to align with your new definition.
by sshine | 2025-07-31 13:40:01+00:00
It seems like people who use AI for coding need to reinvent a lot of the same basic principles of software engineering before they gradually propagate into the mainstream agentic frameworks.

Coding agents come with a lot of good behavior built in.

Like "planning mode" where they create a strong picture of what's to be made before touching files. This has honestly improved my workflow at programming from wanting to jump into prototyping before I even have a clear idea, to being very spec-oriented: Of course there needs to be a plan, especially when it will be drafted for me in seconds.

But the amount of preventable dumb things coding agents will do that need to be explicitly stated and meticulously repeated in their contexts reveals how simply training on the world's knowledge does not capture senior software engineer workflows entirely, and captures a lot of human averageness that is frowned upon.
by deltarholamda | 2025-07-31 13:40:05+00:00
The purpose of stocks is to raise money for a company. The purpose of the stock market is to give those stocks liquidity.

The further away from this basic framework we go the more dangerous it gets. Derivatives are not inherently antithetical to the basic framework, but they present new options and opportunities for market distortion that can't be ignored. We've seen how badly things can go, numerous times. And that doesn't even address the problems you get with wealth concentration, especially when your currency is untethered to some sort of commodity and can inflate more freely.

I'd like to see some real changes, but the problem is that the people who would make changes are so tied up with the market itself that any changes are superficial and often merely present new avenues of chicanery. It's not likely anything will be done, and when the next collapse happens, no lessons will be learned.
by zahlman | 2025-07-31 13:40:18+00:00
Who gets to decide who is or isn't a "feminist"?

Why should feminism be incompatible with right-wing politics?

How do I know what is or isn't a legitimate feminist position, given that the list apparently constantly changes over time?

I am constantly told that there are many different kinds of feminism and that my various complaints about feminism — based on actual interactions I've personally had with feminists — are not valid because they don't generalize across the whole thing (even if I point at well-known, established feminist literature and critiques thereof). Yet I also constantly see groups of self-identified feminists point at each other and try to claim that the others don't actually count as feminists because they disagree about some other issue.

I assume you accept the validity of more than two genders. Will you accept the validity of more than two kinds of political position?