MurphyA/hacker-news huggingface dataset:
by ants_everywhere | 2025-11-06 23:51:33+00:00
> it's not true for mathematicians

It actually is true for mathematicians.

Most of us work in ZFC. Some people choose to work in constructive logic. Some people choose to only use countable choice. But we always know what logic we're working in and which theorems we can invoke. E.g. if you choose not to accept the axiom of choice you also have a sense of which results depend on Zorn's lemma and have to work around them. All of this is normal background for mathematicians.

So there's no need to allow the foundations of mathematics to vary unless you're working in logic and need to quantify over foundational systems or compare them. You would certainly never start a problem and then switch the logic midway through. That sort of thing wouldn't even be coherent.
by ASalazarMX | 2025-11-06 23:53:12+00:00
> In general, if conservation laws are to hold, expansion must be balanced with [eventual] contraction, is that not obvious?

Why would this be? The only physics we know is the one inside our observable universe, there could be variations beyond, or even unknowable laws that don't require conservation of matter outside the edge of the universe.

Our incredibly vast universe could be a minuscule blob feeding from an incredibly vaster parent universe, in which case it could be breaking conservation infinitely from our perspective.
by 9029 | 2025-11-06 23:54:27+00:00
I have used this setup for 6 years or so with KeePassXC and it's fine. Just being mindful of not editing stuff on other devices before the first one has had the chance to sync has been enough to avoid pretty much all sync conflicts. I have only had to resolve those a few times so far, iirc my android client was misconfigured at the time or something.

I still recommend Bitwarden for password management for any "laypeople" since it will just work. Also worth noting that the basic functionality is free.
by andai | 2025-11-06 23:55:04+00:00
I think there's two aspects to this.

Firstly, Claude's self concept is based around humanity's collective self-concept. (Well, the statistical average of all the self-concepts on the internet.)

So it doesn't have a clear understanding of what LLMs' strengths and weaknesses are, and itself by extension. (Neither do we, from what I gathered. At least, not in a way that's well represented in web scrapes ;)

Secondly, as a programmer I have noticed a similar pattern... stuff that people say is easy turns out to be a pain in the ass, and stuff that they say is impossible turns out to be trivial. (They didn't even try, they just repeated what other people told them was hard, who also didn't try it...)
by neogodless | 2025-11-06 23:55:29+00:00
I've registered (years and years ago) and I get emails saying how many, but to see which emails they want lots of money.

(If I'm wrong their interface is very confusing and I cannot find the free access.)

Specifically it says this:

> Insufficient subscription. Only subscription-free breaches will be returned for this domain.

So I'm able to see 37 email addresses on my domain have been breaches, but I can't see which without paying $22 / month - https://haveibeenpwned.com/Subscription

> Domain search restricted: You don't have an active subscription so you're limited to searching domains with up to 10 breached addresses (excluding addresses in spam lists). Only results for subscription-free breaches are shown below, upgrade your subscription to run a complete domain search. If you believe you're seeing this message in error, make sure you're signing in to the dashboard with the correct email address (check your latest receipt if you're unsure).
by EvanAnderson | 2025-11-06 23:55:34+00:00
Reading over that made me realize I've run into the Ubiquiti hostapd bug but didn't know what it was. I had problems with DHCP and ARP in a couple different Customer environments. The symptoms in the linked Reddit thread[0] match up with what I was seeing. Wild.

[0] https://old.reddit.com/r/Ubiquiti/comments/mlit54/problems_w...
by tgsovlerkhgsel | 2025-11-06 23:56:00+00:00
I've tried LibreOffice.

The UX is so clunky that I ended up giving up and started doing presentations in Google Slides, even if I then end up exporting them as a PDF to actually present/share.

Every time I try to use it, it feels like fighting my tool rather than my tool helping me. There is no one big bug; it's a million tiny things.
Show HN: BookPace – Track your reading time (with NFC tags for physical books)
by wjhypo | 2025-11-06 23:56:10+00:00
I’ve always loved reading physical books, but I found it hard to stay consistent or know how much time I was actually spending reading.

So I built BookPace — an iOS app that tracks your reading time and helps you build a consistent reading habit.

You can start and stop a reading session manually, or if you read physical books, you can attach an NFC tag to your book and just tap it with your iPhone to toggle the timer automatically. If it’s a library book, there’s often already an embedded NFC tag inside the cover — BookPace can use that too, so you don’t even need to add your own tag.

Features: – Reading timer with streaks, ranks, and badges – NFC tag pairing for physical or library books - Reading stats and heatmaps by day, week, month, year, or lifetime – Focus mode: temporarily block selected apps while the reading timer is running – Cloud sync across devices

I built it entirely in SwiftUI, integrating Apple’s NFC, CloudKit, and Screen Time APIs. It’s been fun bridging the gap between physical reading and digital tracking.

Website: https://bookpace.app

App Store: https://apps.apple.com/app/bookpace/id6753701690

I’d love your feedback — on both the app idea and the implementation. How would you improve it, or what would make it more useful for serious readers?
by kace91 | 2025-11-06 23:56:36+00:00
(From the site) >If you visit the "intersect" page, you can input multiple books and find the set of users that have read all of those books. This can be useful for finding longer tail books that weren't popular enough to meet the threshold. For instance, if you like reading about the collapse of the Soviet Union, you could put in "Lenin's Tomb" and "Secondhand Time", and see what other books the resultant users have read.

This is how filmaffinity works, which is the best recommendation system I've tried. They have a group of several dozen 'soulmates', which are users with the most similar set of films seen and ratings given; recommendations are other stuff they also liked, and you get direct access to their lists.

>then finding books that are either controversial or possibly ghettoized

Naively, I’d say the surprises are going to be better if you filter more different friends, rather than more controversial books among your friends. As in “find me a person that’s like me only in some ways, tell me what they love”. Long term this method is much better at exposing you to new ideas rather than just finding your cliques holy wars.
by jacquesm | 2025-11-06 23:56:57+00:00
I totally respect Troy and the work he's doing, but I still can't justify to myself the risk of typing my passwords into his website because that would be the very first time that I would use any of those in places other than the ones where I normally use them.

Is there a way around this?

Edit: to answer my own question, I should read a bit more rather than click on the first link, the answer is here:

https://haveibeenpwned.com/API/v3?ref=troyhunt.com#PwnedPass...

Which uses:

https://en.wikipedia.org/wiki/K-anonymity
by koyote | 2025-11-06 23:57:52+00:00
Maybe our threshold for cleanliness is vastly different, or you somehow managed to produce babies don't throw half of their food on the floor after every meal (3x a day)?

But even with a magic baby and magical dogs, you mentioned only spending 10 minutes a week vacuuming. I have no idea how that is possible with babies and dogs unless your threshold for when something requires cleaning is extremely high.

Before having a robot vacuum/mop I would have to go and pick up every piece of food and wipe the floor after every meal. Sure, the whole kitchen didn't technically need a mop, but there's usually also food in other places simply through the action of cooking. We cook every meal for the baby and most meals for ourselves.

Do you just leave the food and crumbs on the floor until your weekly 10 minute vacuum? In which case, yes, the notion of a robot vacuum must feel idiotic to you. The notion of a vacuum would also feel idiotic to me in that scenario as you can surely just use a broom and a dustpan for such a small amount of cleaning.
by palata | 2025-11-06 23:57:56+00:00
I think it's an interesting situation:

- Either one believes that AI can replace themselves, in which case probably they would rather not make it known because they risk their job.

- Or one believes that AI can replace someone else, in which case it probably shows that they don't really understand those other jobs.

I don't know how constructive any conversation can be around that. It's either "I won't talk about it because I risk my job" or "you don't know because it's not your job" :-).

All those executives speculating about how many people they can lay off are doing just that: speculating. And I hope they lose their job based on speculations, that would be deserved.
by Reubend | 2025-11-06 23:58:13+00:00
Before the outrage comments pour in, take a look at the conditions he has to meet (per the New York Times):

> ...this 12-step package asks Mr. Musk, the company’s chief executive, to vastly expand Tesla’s stock market valuation — to $8.5 trillion from around $1.4 trillion — while hitting a variety of other goals. Those include selling one million robots with humanlike qualities and 10 million paid subscriptions to the company’s self-driving software.

The headline $1 trillion figure only comes into play if he hits a very lofty goal: 6x the company's valuation and sell a bunch of expensive robots.

I don't think this is nearly as crazy as people are making it seem. It's a huge reward for a goal that seems unlikely to be achievable in a short time frame.
by numpad0 | 2025-11-06 23:58:32+00:00
TLDR: Unicode has multiple different ways to normalize certain complicated texts(because Unicode). Time Machine files are made in the most major mode(NFC) and queried in the less common(NFD), which doesn't work. Workaround is to rename backups to pure ASCII. It appear to be first reported on macOS 26.0 and reported reproducible on 26.1.
by dragonwriter | 2025-11-06 23:58:44+00:00
> However the grand-parent comment has a point that it's not easy to extract testable properties from code that's already written.

True, property-based testing does not solve the problem of deriving the intended behavior of code where behavior is not documented (either by requirements documents, or code comments, or tests that aren't just examples but clearly indicate the general behavior they are confirming, or...)

OTOH, PBT can be used to rapidly test hypotheses about the behavior (though intent is another question) of legacy code, which you are going to need to develop and validate to turn it into code that is maintainable (or even to replace it with something new, if you need to generally be compatible.) Determining whether deviations from a hypothesized behavior are intentional or bugs is still an exercise for the user, though whether the deviations are highly general or narrow to specific cases can help to illuminate that decision, and a library like Hypothesis will help determine that.
by wyldfire | 2025-11-07 00:02:24+00:00
> Knowledge itself should become a human right.

IMO the natural right is for humans to share what they've learned up to and including verbatim reproductions of works by others. I also think that abridging this right to grant some exclusivity for artists (the broader "art" meaning scientists/writers/authors/musicians/coders/etc) is suitable. Copyright is/was a good idea. Its fair use clause is a good idea. The duration of exclusivity under current laws, however, seems excessive and beyond mere encouraging art.
by nandomrumber | 2025-11-07 00:02:35+00:00
What we’re dealing with is successive Australian governments with absolutely no plan for long term energy infrastructure, so they’ve lobbed it over the wall to the residential customer.

Here, you deal with it. No options. It’s solar and batteries rammed down your throat. At your cost. If it doesn’t work out, it’s on us.

No big (reliable base load) energy projects to power industry in to the future, China can do all of that for us.

Equality. Everyone can have nothing.
by burnt-resistor | 2025-11-07 00:03:00+00:00
The greater dangerous trend is the hypermilitarization of the police and conflation between police and military by these Meal Team Six untrained, unfit, bumbling fools violating cherished rights that the real military risked something to defend and maintain a clear separation between civilian and military roles and responsibilities. These dress-up camo Kens and Barbies are the actual disgraces. No law enforcement offer should be allowed to wear camo or full face masks except when absolutely necessary in extenuating circumstances with approval, because the routine overuse of these just send a very bad message of a third-world kakistocracy with death squads and a violent, lawless, reckless occupation force/mafia rather than a community service.
by ajross | 2025-11-07 00:03:22+00:00
> it is a literally literal Nazi salute, twice

It is clearly not, though. It's arguably evocative of one. There is an actual form to the thing, it was a military gyration, and people taught it. You can even read the Wikipedia page: https://en.wikipedia.org/wiki/Nazi_salute It is static at the end, being held with palm down and arm stretched forward. It does not begin at the heart, as Musk performed, nor swing sideways.

Obviously you don't care about this minutiae, but it's important if you want to hang your argument on "literally a Nazi salute".

What you and I both agree on is that this was intended to evoke the idea. Where we differ is how you want to interpret it. You, I guess, think it means signaling a desire to repeat the holocaust, or something maybe a little less horrifying.

I think it's pretty clear he's wanting to create exactly the argument we're having. To wit, this was a troll, and you fell for it, and now all us lefties look like Ivermectin snorting loons because real people OBVIOUSLY know that Musk isn't a nazi.
by ImPostingOnHN | 2025-11-07 00:03:33+00:00
Thank you for taking the time to respond here. Thank you also for sharing your point of view, use case, and where you are coming from. With that said, would you mind sharing a few words on a couple questions?:

1. Does it take as much effort to opt-in to your feedback mechanism as it takes to opt-out? If not, why not?

2. If you want a thing ('feedback', 'a signal', data that is helpful to YOU), but getting it has this negative effect on others, what would happen if you preferenced others over yourself, and did with less of the thing?
by rafabulsing | 2025-11-07 00:03:59+00:00
I use a similar setup, but with Onedrive instead of Syncthing (and, before that, Dropbox).

In the almost 10 years I've been running this setup, I think I hit a conflict one single time. I don't quite remember the details, but I think I accidentally edited something in the mobile app, and before saving, edited something else in the desktop app or vice-versa. So it was pretty much my fault.

Other than that, literally never had an issue. Password managers are by their nature mostly reads, and very occasional writes, so it's very hard to put yourself in a situation where conflicts happen, even if you don't pay attention to it. I've made an identical setup for my (fairly savvy but non-technical) fiancee, and she's never hit an issue either. I had to insist a bit for her to get on board, but years later she actually loves using KeePass. She's thanked me multiple times for how convenient it is not having to remember passwords anymore!
by reaperducer | 2025-11-07 00:04:53+00:00
Can’t imagine they’re very many places in the world where people behave this way.

Really? Because it happens everywhere. I've seen it from Chicago to Seattle to South Carolina. Start going to the zoning board meetings of any town with enough people, and you'll run into it.

In London, they tend to expand down, rather than out, but it happens so often there's a term for it there: Iceberg homes.
Show HN: Modern TUI for Interactive Queries (IQ)
by mkamner | 2025-11-07 00:05:02+00:00
Hi everyone,

I created a lightweight and portable terminal-ui to interactively query structured and unstructured data using well-established tools like yq, jq or grep.

It supports all the amenities you might expect from a modern TUI:

- Syntax highlighting

- Keyboard and mouse navigation

- Per session and file based history

Demo screencast: https://asciinema.org/a/754225

Let me know what you think!
by a-dub | 2025-11-07 00:05:07+00:00
i disagree. words matter. the whole point of open source is that anyone can look and see exactly how the sausage is made. that is the point. that is why the word "open" is used.

...and sure, compiling gcc is nondeterministic too, but i can still inspect the complete source from where it comes because it is open source, which means that all of the source materials are available for inspection.
by raw_anon_1111 | 2025-11-07 00:05:35+00:00
Is he getting paid? At the the of the day that’s the only reason I write code or do anything else once I get out of bed, walk over to the next room and log onto my computer.

Before the pearl clutching starts about Mr lack of coding ability. I started coding in 1986 in assembly on an Apple //e and spent the first dozen years of my career doing C and C++ bit twiddling
by zoeysmithe | 2025-11-07 00:05:50+00:00
When I started writing fiction I found myself naturally gravitating towards inserting puzzles and mysteries and twists and unknowns. I think some people just love that. There's this dopamine aspect of solving the problem or knowing the unknown and the anticipation towards it can be very intriguing! Games do this in a more obvious way, but the 'rule of fun' is everywhere.

Look how exciting mystery is and how boring well known things are, but ironically there's a lot more to, say, the theory of gravity that if contextualized differently would be exciting and deeply interesting that 'unknowns' like the mystery of some cult or whatever can't even come close to, but in the end, there's something inside of us that wants to read about that cult. I make sure to self-aware of this and do deep dives into the boring 'known' world and push back on the sensationalism and such I'm so drawn to.
by yannyu | 2025-11-07 00:05:55+00:00
You're right, but also coding 10 years ago, 20 years ago, and 30 years ago looked very different to coding today in most cases. In every decade, we've abstracted out things that were critical and manual before. Are LLMs writing the code that much different than pulling libraries rather than rolling your own? Or automating memory management instead of manually holding and releasing? Or using if/else/for instead of building your own logic for jumping to a subroutine?
by redhale | 2025-11-07 00:06:46+00:00
Respectfully disagree.

Why is the current level of language abstraction the ideal one for learning, which must be preserved? Why not C? Why not COBOL? Why not assembly? Why not binary?

My hypothesis is that we can and will adapt to experience the same kind of learning OP describes at a higher level of abstraction, specs implemented by agents.

It will take time to adapt to that reality, and the patterns and practices we have today will have to evolve. But I think OP's view is too short-sighted, rooted in what they know and are most comfortable with. We're going to need to be uncomfortable for a bit.
by ssl-3 | 2025-11-07 00:06:48+00:00
I don't use consumer off-the-shelf routers enough (these days) to know the lay of the land very well. But when I do get my hands on them (usually when a friend wants help with something), I do have a look through the config options just to see what functions they expose. And I don't see that kind of thing available in the configs of the stuff I've recently had my hands on.

In my own little world at home, I just use OpenWRT (on a now-old Raspberry Pi 4), Mikrotik access points, and with some random switches that grok 802.11q wherever they are useful. This has let me do whatever I've imagined wanting so far with VLANs, SSIDs, routing, firewalling, ...

And a person can also use a one-box solution running OpenWRT (the OpenWRT One is such a box) or Mikrotik's RouterOS (like their succinctly-named L009UiGS-2HaxD-IN).

But all of that is drifting pretty far from the concept I'd like to see, which is:

Person walks into Wal-Mart. Person buys a router, and some Matter wifi light bulbs. As a part of setting them up, they're walked through a simple process of making an isolated network for those light bulbs.

And we don't seem to be anywhere near there yet.

(And that may seem like a far-reaching goal to some, but similar things have been accomplished in the past. A router from Wal-Mart used to boot up out of the box and Just Work -- while providing a completely unfettered, unencrypted networked named "linksys" or "NETGEAR" for anyone within earshot to participate in.

Things are longer that way these days. Consumer routers have tended to provide secure-by-default wireless networks for a rather long time now. At least in that one little, important aspect of consumer goods, sanity did eventually prevail.)
by duxup | 2025-11-07 00:07:08+00:00
I feel like these kinda bans are just going to make government busy work ... and sort of play out like a weird e-prohibition. So kids now know to create a new email and say they're not under 16 ...

So now whatever sub 16 guardrails for kids might have been won't be there because they look like adult accounts and same problem, maybe worse.
by jeremy_k | 2025-11-07 00:07:27+00:00
https://github.com/sst/opencode opencode is open source. Here's a session I started but haven't had time to get back to which is using opencode to ask it about how the loop works https://opencode.ai/s/4P4ancv4

The summary is

The beauty is in the simplicity: 1. One loop - while (true) 2. One step at a time - stopWhen: stepCountIs(1) 3. One decision - "Did LLM make tool calls? → continue : exit" 4. Message history accumulates tool results automatically 5. LLM sees everything from previous iterations This creates emergent behavior where the LLM can: - Try something - See if it worked - Try again if it failed - Keep iterating until success - All without explicit retry logic!
by avadodin | 2025-11-07 00:07:36+00:00
I don't know about going vegetarian but they are probably the best tasting leaf vegetable.

I prefer them raw.

The stalks also produce fiber that is long and strong - almost as good as flax/linen.

The plant is very easy to grow because it spreads both by rhizomes and by seed although that means you have to be on top of it in order to control its spread.
by 8cvor6j844qw_d6 | 2025-11-07 00:08:25+00:00
I used per-account email with alias services and password managers.

Also started migrating old accounts in free time.

Now its pretty easy to tell the source of leak by email addresses as well as sources of spam.

---

Per-account alias might sound much, but using sieve filtering [1] is amazing, and you can get a comprehensive filtering solution going with 'envelope to' (the actual address receiving the email) + 'header to' (the recipient address you see, sometimes filtering rules don't filter for BCC or sometimes recipients are alias instead of your actual email) that are more comprehensive than normal filtering rules to sort your emails into folders.

[1]: https://datatracker.ietf.org/doc/html/rfc5228

---

Amusingly, I've managed to recover old accounts from emails that contains my old passwords with demands for crypto payment, it just provided me enough help to recall old variations of my passwords.