MurphyA/hacker-news huggingface dataset:
by appellations | 2025-10-13 01:29:21+00:00
Best I can tell is that overflow is undefined behavior for signed ints in C/C++ so -O3 with gcc might remove a check that could only be true if UB occurred.

The compound predicate in my example above coupled with the fact that the compiler doesn’t reason about the precondition in the prior assert (y is non-negative) means this specific example wouldn’t be optimized away, but bluGill does have a point.

An example of an assert that might be optimized away:

int addFive(int x) { int y = x + 5; assert(y >= x); return y; }
by morshu9001 | 2025-10-13 01:29:49+00:00
Haha true. Well I've got an ex-cop one and love how it drives. There was probably a legit reason for ending it, just too bad they never refreshed such a cool, iconic, reliable car with a better powertrain. By 2010, an old NA V8 with 4-speed slushbox was no longer viable whether it was meant for performance or efficiency. Needed ESC by law too. I don't care if it'd be turbo-4 or EV, it'd be awesome.

Some people claim that EPA standards killed large sedans because of how SUVs have a lower bar. I don't know, maybe people want the room. But maybe an updated Vic would've sold well to fleets based on reputation. Dodge kept selling the Charger to civilians and police.

Also, insert usual spiel about new cars having overcomplicated controls and hard to replace parts. Hot/cold knob doesn't take my eyes off the road.
by LorenPechtel | 2025-10-13 01:30:34+00:00
I would say victims of erroneous policing. No compensation is due if the person who suffered the loss is convicted, or the person who was convicted had ongoing permission to access whatever is involved even if they didn't own it.

But I would apply this to all such victims. You spend a night in jail and are not convicted, you are owed some statutory compensation which I think should at a minimum be your annual earned income/365.
by mmh0000 | 2025-10-13 01:31:44+00:00
I downloaded 2GiB of data and let a script run for 56 hours. Besides a bit of my time, which I found to be enjoyable, it didn't cost me anything.

Maybe you could argue it cost some electricity, but... In reality, it meant my computer, which runs 24/7 pulling ~185W, was running at ~300W for 56 hours... Thusly.. 300 - 185 = 115W * 56H = 6.44kWh @ $0.13 per kWh = $0.85 + tax.

So... Yes, it was very much worth $0.85 to make my wife happy.
by skissane | 2025-10-13 01:31:44+00:00
If Microsoft wanted to invest more in Windows, I think the most useful thing would be to add more POSIX/Linux APIs and semantics to the Win32 API, to make it easier to port Linux software to being native Win32 apps… look at what Cygwin does, and identify the pain points (e.g. fork, exec without changing PID), and implement them in Win32 so Cygwin can be a thinner layer.. e.g. the NT kernel itself actually does have the moral equivalent of fork(), but Cygwin can’t use it because the Win32 subsystem (CSRSS.EXE) isn’t fork-aware, so instead Cygwin has to resort to highly complex and slow hacks instead… well, why not just make Win32 fork-safe? Of course, probably making every DLL and COM object fork-safe is way too much work (even on Linux, not all shared libraries are), but they could expose a way to “taint” a process as unforkable if any of those components get activated in it… maybe they could make Cygwin such a thin layer it becomes unnecessary, what if UCRT gave you equivalent functionality and all you had to do was ‘#define POSIX’?

I think that would be far more useful in practice than trying to close the gap between WSL1 and WSL2, which is what I’d interpret your “implement Linux” proposal as meaning

As far as trying to emulate Darwin goes, I think relatively few would be interested in running macOS apps on Windows, and I wonder whether there is a risk Apple might sue

I wonder if AI coding agents are going to improve to the point that they might radically change the incentives here - if adding new features becomes a lot cheaper, maybe the cost-benefit analysis will shift towards implementing more of this stuff
by jemmyw | 2025-10-13 01:32:35+00:00
It makes sense because each user is paying. I would like the my personal payment to Spotify to be split between the musicians I listen to, and none of it to go to Taylor Swift.

Yes, it wouldn't be a direct relationship between number of plays and payout. It would instead be a direct relationship between user payment and payout.

>Is there a market that actually uses a system like that?

Yes, physical media.

Number of streams shouldn't necessarily be directly related to payout anyway. If you purchase a CD the artist gets that payment once, and you can listen to it as many times as you like.
by thejohnconway | 2025-10-13 01:33:01+00:00
Mastodon is a fairly finicky beast, has a few dependencies that you also have to manage (redis, sidekiq, Postgres), and is surprisingly resource intensive.

So you can do it, but it’s not really designed for that use case.

I would be great if there were a full-featured single user ActivityPub server, but last time I looked, there wasn’t really.
by dwd | 2025-10-13 01:33:06+00:00
Squeaky toys are our GSD's main play toys, even just seems to like carrying them around. Games of chase, tug-of-war or just as a way to annoyingly get your attention with squeaking.

The other weird obsession seems to be hunting related. I once attached a toiletry holder in the shower that uses a pump to create the suction. It made a popping sound when I removed it and the GSD came running over to find what made the noise. Even a year later she still gets in the shower to see if there's anything there, especially if I'm crawling around cleaning. Maybe thinking I'm looking for it as well.
by andrepd | 2025-10-13 01:33:56+00:00
MyNoise is probably my #1 pick for most outstanding website period. So clean. So functional. So attentive to detail. So beautiful. Such care in assembling the generators. So varied. Free of ads and tracking. Freemium with a pay-what-you-want lifetime subscription. Gentle reminders to donate if you use the site a lot.

Damn I need to drop another tenner.
by wewewedxfgdf | 2025-10-13 01:34:43+00:00
It's all just to help the property investors - the mom and pop landlords, the mega corporate landlords.

"If we, your landlords, own a LOT more housing, surely you can see how that will trickle down to YOU eventually owning a house. It's obvious isn't it? Our goal as investors is to build so many houses that prices will crash and everyone will be able to afford a house to live in. That's what we deeply want for all, and that's why we need to end zoning laws."
by raincole | 2025-10-13 01:35:05+00:00
> By what mechanism do you propose we stop a bank from saying "we'll only support connections from iOS devices", if not the democratic market force of ensuring enough of their customers demand access from devices running free and open source software?

Similar to all the accessibility requirements, of course. Do you think the society / government should force banks to provide services to blind or deaf people? Or should we just let the market decide?
by troad | 2025-10-13 01:35:14+00:00
I'm not intimately familiar with Californian zoning, but I have to say, all this talk of the 'seventh Regional Housing Needs Assessment cycle' reminded me of the Five Year Plans used in socialist countries.

I wish the people of California the best of luck exceeding dwelling quotas in the upcoming seventh cycle! :P

Edit: I forgot how sensitive people can be to the word 'socialism'. I am not trying imply - with all the subtlety of a sledgehammer - that California is the Soviet Union. I am just genuinely amused by the language being used, speaking as someone with family history of living under socialism.
by kmoser | 2025-10-13 01:37:35+00:00
> Professor Searle concluded that psychological states could never be attributed to computer programs, and that it was wrong to compare the brain to hardware or the mind to software.

Gotta agree here. The brain is a chemical computer with a gazillion inputs that are stimulated in manifold ways by the world around it, and is constantly changing states while you are alive; a computer is a digital processor that works work with raw data, and tends to be entirely static when no processing is happening. The two are vastly different entities that are similar in only the most abstract ways.
by matheusmoreira | 2025-10-13 01:38:01+00:00
> It's just very unclear that the force of law is the right tool for the job to address that problem.

Remote hardware attestation is cryptograhic proof of corporate ownership of the machine.

They're using cryptography against us. Everyone here knows how devastating cryptography is. Cryptography is subversive. It can defeat police, judges, governments, militaries, spies.

I'm actually worried that the force of law might turn out to be not nearly enough.

> do we really want the government having to well-define things like "protocol" and "communication" to craft that law?

Just ban corporations from using remote attestation to discriminate against us. If they try something else, ban it too. Don't even ban the technology, it's useful to us when used with our own keys. Just stop this abuse and discrimination.
by epistasis | 2025-10-13 01:38:21+00:00
When people have a new home to live in, it's a huge help to them.

There's this weird tendency to treat people in new housing as not people, as non humans.

In reality we have a massive housing shortage, and tons of people living in crowded situations, and massive displacement of the working class out of California.

All those people exist, are real, and are helped massively by new housing. One doesn't have to own a home to be a human with needs.
by CuriouslyC | 2025-10-13 01:40:06+00:00
I'm actually from a science, government and defense background, I've never worked in the valley.

It might be possible that it can't succeed, but we don't know that and the evidence in terms of what happens if it fails is pretty compelling, so I think morality dictates we have to at least try, at least until we have more information or another path emerges.
by epistasis | 2025-10-13 01:40:45+00:00
He's such a huge technocrat, it would be a big departure from most governors. A huge policy nerd with tons of good ideas and a powerful staff devoted to trying out new things is almost better than we deserve in California.

(I will say that Wiener has had some missteps, on AI and restaurant fees, but they are pretty small compared to the good policy that he's gotten through.)
by _whiteCaps_ | 2025-10-13 01:42:13+00:00
I spend an hour in a field with my golden doodle, refusing to chase her. She had to bring the ball back to me and drop it. I threw the ball twice in that hour. The rest of the time she spent running past me trying to coax me into chasing her.

The least food motivated dog I've ever owned. Nothing brought her back, not even cheese.

Have fun turkey99!
by ajs1998 | 2025-10-13 01:42:54+00:00
I don't think there's a clear distinction between vibecoding and AI assisted coding because there's black boxes EVERYWHERE no matter how knowledgeable you are. Compilers assist me to not have to think about machine code. Web libraries and frameworks assist me to not care about networking details. AI, vibe coding or not, is all just another thing to assist the user by reducing distractions.

I think it's valuable for developers to understand more of their code rather than less, but who cares to precisely label how much they understand? If they're happy with the passing tests, comfortable making it public, and others want to contribute, then that's what matters.
by seba_dos1 | 2025-10-13 01:44:01+00:00
> We need nerds who care about this to stop typing on hackernews and go start a phone hardware company.

We need nerds who care about this to stop complaining about minor things in existing GNU/Linux phones and other similar devices on the market and go buy them. These hardware companies have been there for years already.

It's hard to build a profitable and sustainable business only basing on the minority that doesn't mind it being "too thick", "too slow", "not high-res enough" or "unable to run modern PC games" (all of these are real things I heard from people here, no kidding). And I assure you that if you really care, you'll easily find a way to live with a (swappable) battery that lasts 20 hours.
by Larx-3 | 2025-10-13 01:44:09+00:00
Maybe you lucked out and didn’t get the update before they killed it.

I hope they do a gradual rollout and they don’t push updates to the entire fleet at once (that would be irresponsible), but from the amount of people experiencing issues since Friday…

I’ve been thinking of buying/leasing a 4xe Wrangler since I rented one back in September for a couple of weeks and enjoyed it. However, stuff like this makes me concerned since I already know Jeep/stellantis have sub-par reliability compared to other car manufacturers.

A OTA update that makes the car undrivable is one thing. A bug that causes the power train shut off at highway speeds is unacceptable. Seems like multiple failures caused something like this to happen. Not only did they not QA an update properly, but the mere fact that a Infotainment/Telematics firmware update could kill the motor/engine while driving is crazy. In addition, the fact that they roll out an update like this on a Friday before a holiday weekend is also absurd.

There should be some sort of health check across all the car systems/ECUs before allowing the car to drive.

Stuff like this makes me more likely to look at Rivian instead (although they’ve had reliability issues too).
by ponooqjoqo | 2025-10-13 01:45:35+00:00
> You run a large, high resolution screen with your browser maximized?

Probably like 98% of the time, yes.

It's not an ultrawide, just a 27" 16:9 screen.

I find small windows to perform poorly on anything that's not just a simple document (gmail, hacker news, etc) because those require some horizontal space.
by scrollaway | 2025-10-13 01:46:08+00:00
OT: Posted an hour ago, two top level comments, none of them about the article. Instead, random complaints about casing and terminology.

Meanwhile, articles such as this one (https://news.ycombinator.com/item?id=45412263) get spammed with people yelling for “examples”, such as exactly what’s here.

One thing AI has changed for me (beyond, you know, everything) is making me really depressed about the state of the HN community. It seems HN itself hasn’t been immune to the severe social media toxicity pandemic going around… merely doing better than the gen pop alternatives.
Show HN: YPS: YAML Positioning System
by taichi730 | 2025-10-13 01:46:16+00:00
I'm pleased to introduce a new Ruby Gem: YPS: YAML Positioning System. https://github.com/taichi-ishitani/yps

YAML is a popular data serialization format in the Ruby ecosystem. We can easily parse YAML into Ruby objects using the built-in `YAML` standard library. However, it becomes difficult to pinpoint invalid or unexpected values within a large YAML document because the parsed Ruby objects lack position information (i.e., filename, line, and column).

YPS was developed to resolve this exact problem.

YPS parses a given YAML string and adds each parsed Ruby object, except for Hash key, with its position information. You can use `#position` method to get the position info of the receiver object like below:

``` require 'yps'

yaml = YPS.load(<<~'YAML') children: - name: kanta age: 8 - name: kaede age: 3 YAML

# output # name: kanta (filename: unknown line 2 column 11) # age: 8 (filename: unknown line 3 column 10) # name: kaede (filename: unknown line 4 column 11) # age: 3 (filename: unknown line 5 column 10) yaml['children'].each do |child| child.each do |key, value| puts "#{key}: #{value} (#{value.position})" end end ```
by ninetyninenine | 2025-10-13 01:46:45+00:00
>I dont know what you're trying to say. Are you saying Apple alone is enlightened enough to know what's good and what's not? And every body else is winging it?

Nope. I'm saying everybody is winging it. Nobody knows what they are talking about. Including apple and you.

The only people who know what they are talking about are the people saying that nobody knows what they are talking about.
by subjectivationx | 2025-10-13 01:47:36+00:00
I don't think you can really compare because the culture is so different.

Before the internet, you weren't going to get famous without being an actor, musician, artist, author, etc.

Sam Walton was not famous the way Elon or Jeff Bezos are famous.

I would think there is less because music just isn't as important as it use to be and there are just so many other creative outlets now. The hard thing to account for though is electronic music. You would have had to spend quite a bit of money in the 90s just to make a track and now you can do it basically for free.

If it was 1990, I would be in a band because there wasn't much else to do. Being in a band then was like having a podcast now.

The music industry was never this static thing either. There isn't much before 1950. It is hard now to imagine how huge folk music was in the 70s. MTV was such a big deal in my youth but that only had a 25 year run of being relevant if that.

I don't think there is a real alternative to streaming or the power law distributions that are going to come with that.
by skopje | 2025-10-13 01:48:10+00:00
Yeah I was a burn-it-all-down person too when I was in my 20's. It hits differently now after 40 years of work and the desire to retire and play with my grandkids. I guess in the current batch of 20'something's eyes that makes me The Man. I admire their spirit but scoff at their lack of empathy, the same lack I had. Fucking irony.
by AdieuToLogic | 2025-10-13 01:48:17+00:00
> It's unfortunate they are going through this.

> The people voted for people in favor of this though, so I'm getting mixed messages.

Voting for something and then experiencing significant detrimental effects is not "mixed messages." It is, instead, at least a warning for others to consider.

The implication of "voting for something means you knew what was going to happen" is disingenuous at best.
by dcrazy | 2025-10-13 01:48:55+00:00
(Sorry, this was supposed to be a reply to a complaint that people should be allowed to have “nice things” like suburban-style housing.)

> The bill only applies in urban transit counties. These are counties with 15 or more passenger rail stations. This includes the counties of Alameda, Los Angeles, Sacramento, San Diego, San Francisco, San Mateo, and Santa Clara.

That already excludes most of the rural land in California. Some of those counties are still pretty big, however, so the next bit is also important:

> Within these counties, areas within a half-mile of most of the following stations are now designated as transit-oriented development (TOD) zones:

> Areas within a half-mile of all heavy rail (e.g., BART) and/or very high-frequency commuter rail stations—defined as stations that run 72 or more trains per day—are designated as Tier 1 TOD zones.

> Areas within a half-mile of all light rail (e.g., the San Diego Trolley), BRT, and/or high-frequency commuter rail stations—defined as stations that run 48 or more trains per day—are designated as Tier 2 TOD zones.

> In smaller cities, defined as cities with a population of less than 35,000 residents, only the quarter-mile area of the TOD zone is covered. And if a county becomes an urban transit county after January 1, 2026, only heavy rail, light rail, and eligible commuter rail will be covered—not BRT.

It is bad planning to build this kind of transportation and expect the area within 1/2 mile of the stations to stay “suburban,” (which really means single-family; there’s plenty of apartment buildings in suburbs around the world) much less “rural.”
by codybontecou | 2025-10-13 01:49:41+00:00
I've been vanlifing for a few months now. I tend to have long hours on the road where my mind wonders and I want to write code hands-free.

So, I built it.

Using ChatGPT's voice agents to generate Github issues tagging @claude to trigger Claude Code's Github Action, I created https://voicescri.pt that allows me to have discussions with the voice agent, having it create issues, pull requests, and logical diffs of the code generated all via voice, hands free, with my phone in my pocket.
by epistasis | 2025-10-13 01:50:19+00:00
The 2020 CZU Lightning Complex Fires destroyed thousands of homes in the Santa Cruz mountains, a "wilderness" area that has been filled with mountain homes

Many (most) have not yet had permits issued for rebuilding, most commonly because the owners can not meet, or are unwilling to meet, the standards for septic systems.

There have been decades of higher standards for all sorts of code. Nothing nearly as stringent for multifsmlt housing, a code which makes housing six times safer than single family housing. But still strict enough that four decades of no-growth policy left most people completely unaware of how hard it is to build housing.
by zx8080 | 2025-10-13 01:50:27+00:00
Good point! What are the other peoper languages in addition to golang and maybe c++ for such tooling? However people... don't like (hate? fear?) c++ nowadays. And I doubt that golang fits well here. So what else? (I'm not pushing towards rust! It just seems rust got into some vacuum, however not fitting it fully like a square thing in a round hole.)
Show HN: Credkit – Easier Loan Modeling
by jt-hill | 2025-10-13 01:50:36+00:00
It made no sense to me that QuantLib makes it so hard to do simple loan portfolio modeling, so I've been working on credkit to fill that gap with something that works the way I think it should work.

Check it out on PyPI: https://pypi.org/project/credkit/

Blog post: https://jt-hill.com/introducing-credkit/
by cpgxiii | 2025-10-13 01:50:43+00:00
The best example on the Shuttle were the engine control computers. Each engine had two controllers, primary and backup, each with its own set of sensors in the engine itself and each consisting of a lock-step pair of processors. For each engine, the primary controller would use processors built by one supplier, while the backup would use processors of the same architecture but produced by an entirely different supplier (Motorola and TRW).

Today, even fairly standard automotive ECUs use dual-processor lock-step systems; a lot the the Cortex-R microcontrollers on the market are designed around enabling dual-core lock-step use, with error/difference checking on all of the busses and memory.
by arbeitandy | 2025-10-13 01:51:02+00:00
i got a side project mirubato https://mirubato.com/, a web app tracking instrument practice logs. there were wild ideas such as enable AI training, grading, managing score, practice plans, and such, but in the end, i removed most of features. not only because it takes more time (i am only using a part of my free time to work on this) and effort, talent, plannings, but also because during vibe (yes, most of coding done by claude code) i realized that it still requires ultra deep thinking to design the minimal minimal UI i would like.

now the foundation is done, i've learnt a lot. i'm actually eating dog food by using it to track my own classical guitar practice everyday. i am pausing a while to process the requirements by ultra deep thinking to understand what would be helpful and how to shape the product.

LLMs such as codex and claude code definitely helped a lot, but I guess human beings' opinions would be more helpful - after all, the tool is made for humans instead of being used by claude code.

I would also like to hear when you start a project, if you know your audience are not super close to AI, would you still consider to enable the AI feature for them?
by scrollaway | 2025-10-13 01:51:26+00:00
I’ve been here a long time and I’m still here, so I don’t exactly dislike it here. However, if I did, telling people to “ignore the ai posts” is utterly unrealistic given that ai is changing everything about software, and this is a forum mainly about software.

I can still share discontent with the state of things. It’s a thing, you know.