MurphyA/hacker-news huggingface dataset:
by harmmonica | 2025-10-13 02:32:14+00:00
The vote was a bit closer than you might think for Prop 15, which was the last attempt, I think, to repeal Prop 13 for investment property. And in 2020 when that ballot measure was voted on the pro-repeal folks were nowhere near as organized as they are today. As I said in another comment I think there's a good chance that if they take another run at it they will succeed in repealing it for investment property because they will message aggressively that they're not after homeowners, which is what the investors convinced the electorate the last time they tried to repeal it for investment property.

And on the topic of residential, up until a few years ago if you died your heirs were allowed to inherit your tax basis, no strings attached, and so the "staggering" you're talking about has never really "staggered" en masse (if I'm understanding the way you're using that word). On top of that, even people who purchased property as late as 2020 are already massively benefiting from Prop 13. Each day home prices appreciate the new homeowner population just keeps replacing the dead in the anti-repeal camp for residential.

Edit: I was trying to put a footnote but it turned into italics so I just dropped the footnote
by dpark | 2025-10-13 02:33:53+00:00
I wonder if Apple is already planning the switch to touchscreens. They’ll never announce it’s coming until they do it because it would damage current model sales. But they have made so many changes on macOS to bring it closer to iOS and the current version seems like it would be pretty touch friendly already. They even allow iPad apps to run on macOS now. Bringing touch to the MacBook seems perhaps not a given but a reasonable destination for all their other changes.
by potato3732842 | 2025-10-13 02:36:09+00:00
Pretty much all their "it's not neglect to be black" type crap that you'd think doesn't need to be said but fills their policies makes sense when you realize that CPS is staffed in large part by the kind of people who should never have that power (the good ones wash out, just like with cops) and it's administrated by people who need to keep the agency looking decent enough that the public doesn't have the politicians defunded (and leave them out of a job).
by voidhorse | 2025-10-13 02:36:15+00:00
But that acknowledgement would itself lend Searle's argument credence because much of the brain = computer thesis depends on a fundamental premise that both brains and digital computers realize computation under the same physical constraints; the "physical substrate" doesn't matter (and that there is necessarily nothing special about biophysical systems beyond computational or resource complexity) (the same thinking by the way, leads to arguments that an abacus and a computer are essentially "the same"—really at root these are all fallacies of unwarranted/extremist abstraction/reductionism)

The history of the brain computer equation idea is fascinating and incredibly shaky. Basically a couple of cyberneticists posed a brain = computer analogy back in the 50s with wildly little justification and everyone just ran with it anyway and very few people (Searle is one of those few) have actually challenged it.
by matheusmoreira | 2025-10-13 02:37:02+00:00
In my country, creating a new bank used to require presidential approval. That was the status quo until only a few years ago. Things only started to improve after that requirement went away, and they certainly haven't improved enough.

It's hard to describe just how deeply entrenched institutions like banks are. Normal people see all of this stuff and they do not even react at all. It's all just mindless bureaucracy that they have to put up with. Nothing can be done about it. Can't be helped, so they just accept it.

So it's not wise to treat banks like normal corporations which compete with each other on the open market. They are directly legally and financially incentivized to do everything we are fighting against.

For example, our banks still require us to install "security modules" on our computers in order to log into our accounts. Once upon a time I tried to reverse engineer one of those things to see why they made the computer so unusably slow. I caught it intercepting every single network connection. Told me all I needed to know.

At some point society has to simply determine that it's immoral and make it illegal. It doesn't matter how much money they lose to fraud of whatever, just write it off as a business expense or something.
by bignerd_95 | 2025-10-13 02:37:04+00:00
Nice project! Another route you might consider is flashing a small custom firmware on the Grandstream HT80x so the logic runs directly on the ATA instead of on the Pi/Asterisk side.

I wrote a tool that can extract and repack Grandstream firmware (https://github.com/BigNerd95/Grandstream-Firmware-HT802/tree...).

For example, I made a simple ARM patch that intercepts incoming caller IDs and triggers a bash script to decide what to do, in my case it checks a spam-lookup service and returns 0 or 1 so the ATA either rings or rejects the call.
by BobbyTables2 | 2025-10-13 02:37:57+00:00
Did any treatments help? Or just took a long time to settle down?

When you mention “adrenaline” was this somehow tested or just a frequent feeling of being stressed when you had no reason for such?

I find finding the right type of specialist isn’t always straightforward and even when one does, about 80% of the time they aren’t interested in diagnosing anything not blatantly obvious…
by Spooky23 | 2025-10-13 02:38:02+00:00
I think it depends on your job role. I’m more architecture and operations in past lives, and being together is really powerful and reduces time taken for many tasks.

If you’re an engineer or developer mostly working a backlog, totally different story - wherever you are most comfortable working is ideal.

Either way, dogma is terrible. I have a friend who is a specialist in a specific area of finance who has been WFH for 20 years. Now she’s commuting to an office in a city about 300 miles away from the rest of her team, because the big boss says come to the office.
by jakubriedl | 2025-10-13 02:38:42+00:00
I'm trying to figure out how modern internal API management should work like and started https://www.appear.sh/.

After spending so much of my career dealing with APIs and building tooling for that I feel there's huge gap between what is needed and possible vs how the space generally works. There's a plethora of great tools that do one job really well, but when you want to use them the integration will kill you. When you want to get your existing system in them it takes forever. When you want to connect those tools that takes even longer.

The reality I'm seeing around myself and hearing from people we talk to is that most companies have many services in various stages of decay. Some brand new and healthy, some very old, written by people who left, acquired from different companies or in languages that were abandoned. And all of that software is still generating a lot of value for the company and to be able to leverage that value APIs are essential. But they are incredibly hard and slow to use, and the existing tools don't make it easier.
by hamdingers | 2025-10-13 02:39:29+00:00
> Prop 13 sort of being phased out naturally

I'm not sure how you're coming to this conclusion. When the property is transferred it is reassessed and the new buyer pays the full tax, but after that the taxes effectively decrease annually (increase at a rate lower than inflation). Everyone who owns a property more than a year or two in California benefits from Prop 13.

Nothing is phasing out and it has no sunset clause.
by smashah | 2025-10-13 02:39:29+00:00
So is this to nango what better-auth is to clerk? Like handshake.cool?

I suggest writing your documentation from the perspective of someone maintaining separation of concerns between their backend (e.g like hono) and the frontend (react).

How would I integrate this with my existing hono+drizzle api? The docs mention prisma but cannot find the implementation in the example web app repo.

Generally, the deeper the tool abstracts, the more idiot(me)-proof the documentation should be.
by brainless | 2025-10-13 02:39:30+00:00
I vibe coded a desktop app to view Indian stocks: https://github.com/brainless/Indistocks

This is built with Rust, egui and SQLite3. The app has a downloader for NSE India reports. These are the daily end of day stock prices. Out of the box the app is really fast, which is expected but still surprises me. I am going to work on improving the stocks chart. I also want to add an AI assisted stocks analyst. Since all the stocks data is on the SQLite3 DB, I should be able to express my stocks screening ideas as plain text and let an LLM generate the SQL and show me in my data grid.

It was really interesting to generate it within 3 days. I had just a few places where I had to copy from app (std) log and paste into my prompt. Most of the time just describing the features was enough. Rust compiler did most of the heavy lifting. I have used a mix of Claude Code and OpenCode (with either GLM 4.5 or Grok Code Fast 1).

I have been generating full-stack web apps. I built and launched https://github.com/brainless/letsorder (https://letsorder.app/). Building full-stack web apps is basically building 2 apps (at a minimum) so desktop apps are way better it seems.

In the long-term, I plan to build and help others generated apps. I am building a vibe coding platform (https://github.com/brainless/nocodo). I have a couple early stage founders I consult for who take my guidance to generate their products (web and mobile apps + backend).
by epistasis | 2025-10-13 02:39:43+00:00
Freeway traffic next to suburbs is really the major driver here, with high speeds and tire microplastics (the biggest source of microplastics in the SF Bay Area is tires).

A suburbanite driving on their river of pollution for 50 miles every day is a much bigger impact than somebody taking the bus and train in the city. And even city streets do not see the level of pollution caused by freeways that snake through suburbs throughout the Bay Area and LA.

But honestly the gas stoves in most California kitchens are the true killer, yet nobody seems to even bother talking about that.

In any case: environmental metrics I had always thought about things that impact the environment: reduction of ecosystem, death of a particular types of animals (especially the ones we like), unhealthy water ways, etc. On all these, suburban life is absolutely horrific, urban and very rural life is pretty good. If you can drive to the Costco, you are probably living in the least environmentally friendly way possible.

As far as health metrics, whether from environmental effects or crime or the actual real killers: obesity, smoking, blood pressure, and heat disease, cities do better than rural areas:

https://schaeffer.usc.edu/research/rural-americans-dont-live...

Our cars are killing us in every way yet we refuse to acknowledge the massive health effects.
by quuxplusone | 2025-10-13 02:40:55+00:00
If a fiction writer's goal is indeed to "induce specific emotional states in the reader," you're right. But what if a fiction writer's goal is to "see their ideas discussed," or even simply to "make money at writing"? Like, suppose you foresaw people asking ChatGPT for examples of forbidden fruit, and you could get ChatGPT to respond either "Ah, yes, like in the Bible" or "Ah, yes, like when Princess Delinna touched the Four Orbs of Power"? If you were the author who'd written the latter book, you might prefer ChatGPT to respond in the latter way, because it would tend to drive sales of your book. Now, it's not quite a turn-key solution today, but surely Step One of the process is to make sure ChatGPT knows what's in your book, right? It can't subtly promote what it doesn't know about.

Bonus points if you can get ChatGPT to insert casual references to your work into the books it generates for other authors. Today it generates references to palantíri, sandworms, and the Priory of Sion, but tomorrow it could generate references to the Four Orbs, if you play your cards right!

(Mind you, this plan sounds impracticable to me — I don't think it's possible to mastermind this kind of purposeful LLM-infection with regard to a crappy novel. But I can absolutely imagine a fiction writer having this as a goal, and therefore wanting to ensure LLMs are trained on their work.)
by ashafq | 2025-10-13 02:41:20+00:00
I’m building SPARK (Signal Processing Algorithms, Routines, and Kernels), an open-source library of modular, efficient DSP components for low-power embedded audio systems.

The goal is to make it straightforward to design and deploy small, composable audio graphs that fit on MCUs and similar hardware. The project is in its infancy, so there’s plenty of room for experimentation and contributions.

https://github.com/Colahall/SPARK
by spartanatreyu | 2025-10-13 02:41:49+00:00
It looks interesting, but I'd put it more in the "simple, but simple != easy" category.

Helix is built around showing you what will change before you commit the change which reduces the accidental change problem that vi, vim, neovim has.

In the case of Vis' regex based commands, helix will let you do a regex based find, remove certain matches, then commit a regex replace.
by nidnogg | 2025-10-13 02:42:05+00:00
My personal website/webring. It's mostly a collection of ideas I've been mulling over and holding off on due to not being able to iterate on them fast enough. Nowadays thanks to AI, a lot of these a short errands so it's been a fun few weeks. I've also started chucking a few previous side projects under more unified domains. [1][2]

[1] https://nid.nogg.dev [1] https://mood.drone.nogg.dev

Also working on a youtube channel [3] for my climbing/travel videos, but the dreary state of that website has me wondering whether it's worth it, tbh. I haven't been able to change my channel name after trying for weeks. It's apparently the best place to archive edited GoPro footage at least.

[3] https://www.youtube.com/@nidnogg
by callamdelaney | 2025-10-13 02:42:10+00:00
They get to retrieve things but not constantly like I often see people doing. Eg throw ball with wanger [0], dog gets ball, person throws ball again ad infinitum. The constant thing is the key, we don’t let an unhealthy obsession develop is the point I'm making which looking back on my comment is pretty obvious.

Spaniels are all rounders in terms of their working - they’re as happy to flush, work ground or retrieve. 2/3 (and have done some light work) of ours are reasonably well trained but as mentioned they’re normally happier having a good sniff than picking up a tennis ball.

Probably living in the countryside that’s more interesting than chasing a plastic ball about all day.

On the topic of ad-infinitum ball throwing there are literally people automating this task [1] which I think is pretty terrible.

[0] https://amzn.eu/d/bOzRoXt [1] https://amzn.eu/d/b2dq3tC
by WarOnPrivacy | 2025-10-13 02:42:40+00:00
>They guessed that known hashes would be stored on devices and images would be scanned against that. Was this a wrong guess?

> Yes. Completely wrong. Not even close.

Per Apple:

Instead of scanning images in the cloud, the system performs on-device matching using a database of known CSAM image hashes

Recapping here. In your estimation:

known hashes would be stored on devices and images would be scanned against that.

Is not even close to

the system performs on-device matching using a database of known hashes

. And folks who read the latter and thought the former were, in your view, "Completely wrong".

Well, okay then.

https://web.archive.org/web/20250905063000/https://www.apple...
by godelski | 2025-10-13 02:42:42+00:00
> Every single thing will tell them don't go against the flow, don't stick your neck out, don't be a hero, don't take on risk. Or you will end up nailed to a cross.

Except the situation is more like monkeys and a ladder. The ones "nailing them to the cross" are the same ones in those positions. This is the same logic as "life was tough for me, so life should be tough for you." It's idiotic!

> So let me just stop and change the world, for what?

This is some real "fuck you, I got mine" attitude. Pulling the ladder up behind you.

We have a long history in science of seeing that sticking your neck out, taking risks, and being different are successful tools to progressing science[0]. Why? Because you can't make paradigm shifts by maintaining the current paradigm. We've also seen that this behavior is frequently combated by established players. Why? Because of the same attitude, ego.

So we've created this weird system where we tell people to think different and then punish them for doing so. Yeah, people are upset about it. I find that unsurprising. So yeah, fuck you, stop pulling the ladder up behind you. You're talking as if they just leave the ladder alone, but these are the same people who end up reviewing papers, grants, and are thus the gatekeepers of progress. Their success gives them control of the ladders and they make the rules.

[0] Galileo, Darwin, Gauss, Kepler, Einstein, and Turing are not the only members of this large club. Even more recently we have Karikó who ended up getting the 2023 Nobel prize in Medicine and Akerlof, Spence, Stiglitz who got the 2001 Nobel prize in economics for their rejected work. This seems to even be more common among Nobel laureates!
by ggm | 2025-10-13 02:42:56+00:00
No single thing will fix housing, and lots of things will interact to make any fix complicated and slow. The fast single things like forms of eminent domain and retrospective law changes turn out to incur massive legal cost to enact.

Short of seizing property and approvals for already lodged designs which were turned down for local opposition, it's all about time now. Time to start doing things under a new legal planning system.
by vishakh82 | 2025-10-13 02:43:14+00:00
I'm building Monadic DNA explorer, a tool to explore thousands of genetic traits from GWAS Catalog in your browser and plug in your own DNA data from 23andMe, Ancestry, etc. All processing happens locally on your machine and AI insights are run in a private LLM inside a TEE.

https://explorer.monadicdna.com/

I'll be adding more features in the coming days!
by bigger_cheese | 2025-10-13 02:44:04+00:00
I work at an industrial plant, we use "edge" to refer to something inside the production network.

As an example the control system network is air-gapped so to use ML for instrument control or similar the model needs to run on some type of "edge" compute device inside the production network all of the inferencing would need to happen locally (i.e. not in the cloud).
by kragen | 2025-10-13 02:44:23+00:00
> Designing around hardware failure in software seems cumbersome to insane.

Yet for some reason you chose to post this comment over TCP/IP! And I'm guessing you loaded the browser you typed it in from an SSD that uses ECC. And probably earlier today you retrieved some data from GFS, for example by making a Google search. All three of those are instances of software designed around hardware failure.
by voidhorse | 2025-10-13 02:44:57+00:00
This depends on the assumption that all brain activity is the process of realizing computable functions. I'm not really aware of any strong philosophical or neurological positions that has established this beyond dispute. Not to resurrect vitalism or something but we'd first need to establish that biological systems are reducible to strictly physical systems. Even so, I think there's some reason to think that the highly complex social historical process of human development might complicate things a bit more than just brute force "simulate enough neurons". Worse, whose brain exactly do you simulate? We are all different. How do we determine which minute differences in neural architecture matter?
Show HN: Image-to-Dot-to-Dot Generator. Print Custom Puzzles
by Franklinjobs617 | 2025-10-13 02:45:00+00:00
Hello HN, I’m launching ConnectTheDotsPrintable—a tool I built to solve a simple, yet surprisingly unmet need in the printable market.

The Problem Most existing dot-to-dot products are static, generic PDF files. If you want a dot-to-dot of your dog, your favorite landscape, or a child’s drawing, you're out of luck. The current options prioritize volume over personalization, missing the demand for custom digital goods seen on platforms like Etsy.

The Solution / How it Works I developed a backend image processing pipeline that uses edge detection and simplification algorithms to extract the core contours of any uploaded image. This process drastically reduces the number of points required while preserving the recognizable form.

The algorithm then intelligently places a sequence of numbered dots along the optimized contours. This isn't just a filter; it's a structural transformation to generate a genuine, solvable dot-to-dot puzzle.

Key Features / Tech Customization: Upload any JPG/PNG and get a personalized puzzle.

Vectorization: Outputs high-quality, print-ready PDF/Image files.

Performance: Image processing is handled server-side for rapid generation.

Tech Stack: Built with Python (for image processing algorithms) and React/Next.js for the frontend interface.

I'm keen to hear from the community: What other image processing features would make this a killer utility?
by ai-christianson | 2025-10-13 02:45:01+00:00
Working on https://github.com/gobii-ai/gobii-platform open-source AI employees that live in browsers.

They’re always on. They log into real sites, click around, fill out forms, and adapt when pages change — no brittle scripts, no APIs needed. You can deploy one in minutes, host it yourself, and watch it do work like a human (but faster, cheaper, never tired).

Kind of like a “browser-use cloud,” except it’s yours — open, self-hostable, and way more capable.
by codebje | 2025-10-13 02:45:15+00:00
Well of course hardware fails, and of course verification doesn't make things work perfectly. Verification says the given design meets the specification, assumptions and all. When the assumptions don't hold, the design shouldn't be expected to work correctly, either. When the assumptions do hold, formal verification says the design will work correctly (plus or minus errors in tools and materials).

We know dynamic RAM is susceptible to bit-flip errors. We can quantify the likelihood of it pretty well under various conditions. We can design a specification to detect and correct single bit errors. We can design hardware to meet that specification. We can formally verify it. That's how we get ECC RAM.

CPUs are almost never formally verified, at least not in full. Reliability engineering around systems too complex to verify, too expensive to engineer to never fail, or that might operate outside of the safe assumptions of their verified specifications, usually means something like redundancy and majority-rules designs. That doesn't mean verification plays no part. How do you know your majority-rules design works in the face of hardware errors? Specify it, verify it.
by ip26 | 2025-10-13 02:45:41+00:00
Nowhere does the article claim that:

"formal verification of the code" -> "high integrity system"

Formal verification is simply a method of ensuring your code behaves how you intend.

Now, if you want to formally verify your program can tolerate any number of bits flip on any variables at any moment(s) in time, it will happily test this for you. Unfortunately, assuming presently known software methods, this is an unmeetable specification :)