MurphyA/hacker-news huggingface dataset:
by 29athrowaway | 2025-10-26 15:50:21+00:00
- You cannot control others, only how you respond and what you allow into your life (Stoicism)

- You can be kind, but you also have to be kind to yourself (psychology)

- Collaboration works only when participants share goals (game theory)

- Everyone contributes to one shared output (systems thinking)

- Respecting your profession and honoring the effort that got you to your position (Aristotelian and Confucian role ethics)

- Success comes from discipline, self-restraint and honoring your responsibilities (meritocratic work ethic)

- Identity (and therefore respect) is not reducible to your role, position, recognition, skill level, or socioeconomic status (Eastern philosophy)
by Imustaskforhelp | 2025-10-26 15:50:39+00:00
Support for x86_64?

I meant in the sense that since NetBSD supports soooo many devices, it can also help innovation in other kernels if need be as well by being able to take driver support via its rumpkernel as well if need be

And to be honest, I feel like there is this sense of freedom knowing that you can have a system which is portable, if some script can run on my pc on netbsd, chances are if its not too specific, it could run on your pc or even your toaster lol!

https://laughingsquid.com/netbsd-toaster/

Netbsd can run on any device possible and I really appreciate it.

>Surely the project has to have more selling points than "can be compiled with a single script."

Personally I have only heard good things about netbsd but I don't have much expertise in it (sorry), I can recommend you to take a look at smolbsd which looks really cool for uni-kernel purposes as well

https://news.ycombinator.com/item?id=45582758

I feel like that there is a lot more things that can be done with netbsd as well or other open source projects in general as well
by bgwalter | 2025-10-26 15:50:55+00:00
Sure, but remember that the Stallman situation started with a highly clumsy Minsky/Epstein mail on an MIT mailing list. The Epstein coverup was bipartisan and now all tech companies are ostensibly on Trump's side and even finance his ballroom.

Are there any protests or demands for the cancellation of Trump, Clinton, Wexner, Black, Barak?

I have not seen any. The cancel tech people only go after those who they perceive as weak.
Show HN: Steam Game Idler – Open-Source Steam Automation Tool (Tauri and Rust)
by zevnda | 2025-10-26 15:53:02+00:00
If you're a PC gamer, you know Steam's trading card system is tedious. You need to idle games for hours to get card drops. For 500+ game libraries, that's impractical.

Existing solutions like ArchiSteamFarm are powerful but complex (JSON configs, CLI-heavy, designed for headless servers). Idle Master was great but abandoned in 2016 and Idle Master Extended has its bugs too.

Happy to answer questions about the tech stack, Steam APIs, or anything else. Also open to feedback and feature requests.

Note: This is a personal project I use myself. Steam's ToS is vague on automation, so use at your own risk. No bans reported in 10+ years of similar tools existing, but YMMV.
by not_kurt_godel | 2025-10-26 15:53:08+00:00
There is also incentive for people to inflate their sense of importance by weighing in on topics they're not qualified on, especially if it's motivated by a sense of familial pride. You can see elsewhere on this thread that arthurcolle self-admits a lack of familiarity with basic interpretation of CPM.

Misinformation, whether ill-intentioned or not, does real and tangible harm to our society. Misinformation about the supposed dangers of nuclear power, as arthurcolle is spreading, are especially harmful because they form the foundation are the biggest obstacle to safe, clean, cheap, and abundant energy that could radically improve our lives at the systemic level.
by rkomorn | 2025-10-26 15:53:10+00:00
> But I would take a long bet that in 2050, France is closer to 0% nuclear power than it is to the current level.

Maybe, but I think the corollary goal is to have nuclear power be a bigger part of the remaining non-renewables. So if (exaggerating grossly) it's 90% renewable, 9% nuclear, and 1% other, that's arguably still better than the current state.
by 3abiton | 2025-10-26 15:53:15+00:00
I know this is a big request, but lately I've been using LLMs to quickly draft and showcase architecture decision. I mainly fallback to mermaid, but I am curious if d2 would be more flexible? I usually endup visualizing anyway with drawio. I am curious if there are plans on creating a more user friendly interface (mcp, or tool calling feature) with llms.
by ghaff | 2025-10-26 15:53:55+00:00
CTO, CIO, and the head of engineering (the latter of which can often be split among different groups) are often very distinct things, especially at larger companies. And, yes, while the CTO probably has a seat at the table for technology direction is often primarily a public technology face of the company as opposed to someone involved in a lot of hands-on day to day technology implementation.
by arghwhat | 2025-10-26 15:54:03+00:00
> Like I said, the fact that people are human

Repeating something unreasonable does not make it reasonable.

If I donate to charity for 10 years in a row, someone might come to expect my donation, sure. If I chose to lower or stop my donation, the only response others are entitled to is gratitude for the remaining and past donations. There is no requirement for warning. Heck, in this particular case the whole "charity donation" is still there, just packaged differently. Discontent makes no sense.

People's rude behavior isn't limited to HN comments, they take it everywhere: Reddit, GitHub issues, mailing lists, channels. Nor was my comment specific to this minio news, but rather about people's attitude towards free things in general.
by pixelmonkey | 2025-10-26 15:54:35+00:00
This reminded me of another discussion on HN a few months ago. Wherein I was reflecting on how the entire culture of internet standards has changed over time:

"In the 80s and 90s (and before), it was mainly academics working in the public interest, and hobbyist hackers. Think Tim Berners-Lee, Vint Cerf, IETF for web/internet standards, or Dave Winer with RSS. In the 00s onward, it was well-funded corporations and the engineers who worked for them. Think Google. So from the IETF, you have the email protocol standards, with the assumption everyone will run their own servers. But from Google, you get Gmail.

[The web] created a whole new mechanism for user comfort with proprietary fully-hosted software, e.g. Google Docs. This also sidelined many of the efforts to keep user-facing software open source. Such that even among the users who would be most receptive to a push for open protocols and open source software, you have strange compromises like GitHub: a platform that is built atop an open source piece of desktop software (git) and an open source storage format meant to be decentralized (git repo), but which is nonetheless 100% proprietary and centralized (e.g. GitHub.com repo hosting and GitHub Issues)." From: https://news.ycombinator.com/item?id=42760298
Show HN: Synnote – AI That Turns Notes into Action
by curiocity | 2025-10-26 15:55:14+00:00
Hi HN,

I built Synnote because I kept writing pages of notes from lectures and meetings and then never acting on them. I wanted a tool that not only stores notes but actually helps me do something with them. Synnote analyses your writing, summarises key points, pulls out to-dos and can turn a note into a podcast so you can listen when you're on the move.

Here's the backstory: earlier this year I was preparing for an exam and realised my notes had turned into procrastination—copying slides. I started working on a note workspace that would nudge me to act. After a few prototypes, I got something that turned my notes into tasks and summaries automatically. Friends who tried it either loved it or joked that it encourages laziness because the tool does the thinking for you. Personally, I think tools like this are about freeing up mental bandwidth, not making you avoid work.

I'd love your feedback on whether this kind of automation is useful or if it feels like overkill. Does having tasks extracted for you help you focus, or does it take away too much friction? Happy to answer questions and share more details.

Thanks!

Here's an interactive demo you can try before using the app -

https://app.arcade.software/share/Qr3QuQ3Lht1k8xN7wuGC
by paulryanrogers | 2025-10-26 15:56:07+00:00
> If things are not working as they want, and folks are not being responsive enough... they'll do it themselves and that is ok.

If the CTO has rank then why not work to solve the unresponsiveness or undesirable things?

If someone--even a founder--can act as a loose cannon then there is a risk that they'll introduce problems like instability, security vulnerabilities, or unnecessary conflict or resentment. Compliance programs like SOC and PCI don't look fondly on staff bypassing SDLC processes because of those risks.
by y0eswddl | 2025-10-26 15:56:24+00:00
I'm sure the decline in openly identifying as some form of queer has nothing to do with how dangerous society has made things for them lately...

it's similar to how almost all states have relatively consistently percentages of people watching gay/trans/queer porn even though the percentage of self-reported gay/queer/trans people is much lower in more conservative states.
by pron | 2025-10-26 15:56:41+00:00
> Formal languages are basically laboratory-sized versions, or models, of natural languages.

I can understand why a hundred years ago explaining what formal is (in the context of formal languages) could have been difficult. You had to say that it means something whose form can be manipulated without "understanding", or by rules that pertain to form rather than meaning. But since the late 1930s explaining what formal means has become much simpler: it means mechanical. A formal language is one that can be precisely and accurately interpreted and manipulated by a machine.

When we talk about "formal proofs" we don't mean precise proofs, official proofs, or proofs written by a mathematician. We mean proofs written in a language, and following a procedure, that can be mechanically checked (and by a fairly basic algorithm).

While it is still a little colloquial, these days we can say that formal languages are those languages that can always be correctly interpreted by a computer. I think this captures the meaning of "formal" much more than saying these are "models of natural language".
by nolist_policy | 2025-10-26 15:57:36+00:00
> I hope you understand how unique netbsd is, it is one of the only systems which can be compiled so easily with just a single script even from linux or other systems and its rump kernel etc. drivers from what I know are (modular?) so they could be used with other kernels as well if any kernel wants ie.

Linus hast this with User Mode Linux (upstream) and Linux Kernel Library (out of tree).

> You never know where the innovation can be, I feel like that each kernel/operating system can bring a new idea, as an example, templeOS uses Holy C which basically is Just in time C (iirc) and that means that you can just edit files of templeOS and restart and those changes would occur

That's a while ago, but Fabrice Bellard did a demo with his tiny c compiler where it would would compile the Linux Kernel at boot time and then boot the compiled Kernel.

> This is just one of many things, and I feel like the main point of NetBSD and the likes are fundamental hackability, they can run on things like routers as well although most run openbsd/freebsd but still.

Most consumer grade routers run Linux out of the box.

> More Options are a good thing. if I can have a project run on Netbsd, then its very easy to port it over to any other vast array of hardware as well, and that hardware includes extremely embedded hardware as well I guess

uCLinux (upstream) doesn't even need a MMU. It can run on a Cortex-M4 with 8mb ram.
by rudimentary_phy | 2025-10-26 15:58:56+00:00
I was very young, but I remember my grandfather was very afraid to retire from the steel mill where he worked most of his life because those who retired tended to get cancer shortly after and die. Sure enough, a little over a year after his retirement, he got a cold that wouldn't go away, and was diagnosed with cancer and died not too long afterwards.

I've wondered for a long time (based entirely on anecdotal observations) whether some forms of cancer and other illnesses arise more quickly from sudden shifts in daily habit. Sometimes it actually does seem to me like the episode in the Simpsons where Mr. Burns thinks he is invincible.
by ErroneousBosh | 2025-10-26 15:59:10+00:00
> Apparently they do have concerns.

Well yeah. If someone falls in water at work, you get them checked out at the hospital. The paltry amount of radiation is kind of the least of your worries if there's even the smallest risk you got some water in your lungs.

People can drown on dry land from about a tablespoon of water getting into their lungs.
by matheusmoreira | 2025-10-26 15:59:30+00:00
That's right!

https://lwn.net/Articles/631631/

https://github.com/torvalds/linux/blob/master/fs/binfmt_elf....

Especially relevant for dynamic linkers is the AT_PHDR and AT_BASE auxiliary vector entries which provide the address of the executable's program header table and the address of the interpreter, respectively.

https://lwn.net/Articles/519085/
by ninkendo | 2025-10-26 15:59:31+00:00
No, because that would be absurd. You're not "following my example", you're using reductio ad absurdum. Any phrase can sound stupid if you take it out of context like that.

To make a non-fallacious analogy: If a ride sharing service gave car rides for free for a month, and a friend said "I'm going to use this instead of buying a car", you would very rightly say "they're going to pull the rug on the free rides, you may want to rethink that". And that would be a perfectly valid thing to say, even if the company told everyone the free rides were only for a month. Because the purpose of the discussion is whether it's a good idea to depend on the free service or not.

You seem hung up on this, like it's a judgement call or something. Maybe just free yourself of negative connotations with the term. It's fine to do this. I don't think it's a problem whatsoever.

The phrase is useful for what the metaphor implies: Likening using the product to sitting on a rug. If you start getting used to your place on the rug (putting your stuff on it, eating dinner on the rug, etc), you have to be aware that they're going to pull it, so you have to have a plan for when that happens (either pay or switch to a competitor.) Being aware of this is important: If you start developing a workflow that depends on this kind of software, you have to understand that it won't be free in the future and that you should either not depend on it, or be willing to pay. This is all fine.

The fact that you don't like the negative connotation doesn't mean the phrase isn't applicable.
by renegat0x0 | 2025-10-26 15:59:40+00:00
I run something I call an "ethical crawler". It’s designed to avoid being a burden to websites - it makes requests very infrequently. Crawling the internet reliably has become increasingly difficult, as more and more content is protected or blocked. It’s especially frustrating when RSS feeds are inaccessible to bots.

404 definitely are not a problem for me. My crawler tests different mechanisms and browser headers while exploring the web.

My scraping mechanism:

https://github.com/rumca-js/crawler-buddy

Web crawler / RSS reader

https://github.com/rumca-js/Django-link-archive
by close04 | 2025-10-26 16:00:31+00:00
> the life after parenting doesn't sound so appealing anymore, not when it starts at 50 instead of 36.

Even if you have kids at 18 you won’t be done with parenting at 36. Maybe they leave the home, maybe not, you will still have to do a lot of parenting for a while more. You’ll be well in your 40s before you can even think “I’m finally mostly done”.

At that age it depends on each person what they want to do with the life. A lot of my friends who had kids really early started focusing on career later in life. Exactly what they “missed”. Those who focused on career and travel when young, focused on kids later in life. I haven’t heard anyone really regretting the choice beyond “my back can’t really take it anymore”[0] because you can never know what you’re missing. You’ll never know how your life would have been otherwise and what you would have liked more or less.

[0] Me, after starting parenthood in my 40s and being lazy so my back isn’t what it could be.
by pessimizer | 2025-10-26 16:00:39+00:00
I have no idea how to criticize them because I have no idea what to say about LLMs irt the GPL, other than that Free Software should try its best to legally protect itself from LLMs being trained on its code.

I've always been in favor of the GPLs being pushed as proprietary, restrictive licenses, and being as aggressive in enforcement as any other restrictive license. GPL'd software is public property. The association with Open Source, "Creative Commons" and "Public Domain" code is nothing but a handicap; proprietary code can take advantage of all permissively licensed code without pretending that it shares anything in terms of philosophy, and without sharing back unless it finds it strategically advantageous.

> They are not working on a new license and Siewicz is already low-key pushing in favor of LLMs

I just have no idea what I would put in a new license, or what it means to be "in favor" of LLMs. Are Free Software supporters just supposed to not use them, ever? Even if they're only trained on permissively licensed code? Do you think that it means that people are pushing to allow LLMs to train on GPL-licensed software?

I just don't understand what you're trying to say. I also have zero trust in the FSF over Stallman, simply because I don't hear people who speak like Stallman at the FSF i.e. I think his vision was pushed out along with his voice. But I do not understand what you're getting at.
by 93n | 2025-10-26 16:01:08+00:00
Native WebDAV mount support in Android would be handy. I use davx5 (https://github.com/bitfireAT/davx5-ose), but accessing files is a bit clunky.

I like WebDAV because it 'just works' with the mTLS infra I had already setup on my homelab for access from the outside world.

I use sftpgo (https://sftpgo.com/) on the server side.
by tsimionescu | 2025-10-26 16:02:49+00:00
BTW, a nice example of this general concept is Emacs' TRAMP mode. This is a mode where you can open and manipulate files (and other things) on remote systems simply by typing a remote path in Emacs. Emacs will then simply run ssh/scp to expose or modify the contents of those files, and of course to run any required commands, such as deleting a file.
by glxxyz | 2025-10-26 16:03:31+00:00
Yes the calculations are different for natural gas, I don't have that option. Rural properties here (south/central Ontario) typically use delivered oil or propane supplemented by firewood.

I recently thought about running a BBQ gas line from my main 500 gallon propane tank, but with delivered propane close to $1/litre right now and a 20lb tank holding about 18 litres there's no saving over just using with the portable tanks. I prefer being able to move the barbecue around too, although I probably would run a line if I had an outdoor kitchen type setup.
by bartman | 2025-10-26 16:03:51+00:00
In Germany, regulations around asbestos are quite strict: You're not allowed to "seal it in" by e.g. putting floor leveling compounds on top of old asbestos-containing flooring. If there's asbestos found during renovations, it needs to be removed professionally.

When we re-did our kitchen we found asbestos-containing glue under a new-ish layer of tiles one of the previous owners of the apartment just laid on top. I wish regulations would already have been stricter back then (and that they would have been followed - another story...) as this surprise find caused massive delays to the construction and forced us to temporarily move out during the removal and decontamination.

One of the best ways to make DIY-ing in buildings built before 1994 (when asbestos was banned for construction in Germany) safe has been to buy a H-filtration class shop vac. It can filter out asbestos fibers and many other fine dust particles that aren't healthy to inhale and was barely more expensive than a comparably good vac.
by lukeinator42 | 2025-10-26 16:05:16+00:00
The paper seems to highlight that the novelty is in their general parser that worked across 39 different GEO satellites, and that it works with a couple hundred dollars of consumer grade equipment. From the paper:

"Our technical contributions include:

(1) We introduce a new method to self-align a motorized dish to improve signal quality. Specifically, we could receive IP traffic from 14.3% of all global Ku-band satellites from a single location with high signal quality and low error rate.

(2) We developed a general GEO traffic parser that can blindly decode IP packets from seven different protocol stacks that we observed in our scans. Five of these stacks have never been reported in any public research we are aware of."
by rramadass | 2025-10-26 16:05:25+00:00
People are already using Prolog for this;

1) A series of excellent and detailed blog posts by Eugene Asahara Prolog in the LLM Era - https://eugeneasahara.com/category/prolog-in-the-llm-era/

2) Previous HN discussion Use Prolog to improve LLM's reasoning - https://news.ycombinator.com/item?id=41831735

3) User "bytebach" gives a nice example of using Prolog as an intermediate DSL in the prompt to an LLM so as to transform English declarative -> Imperative code - https://news.ycombinator.com/item?id=41549823
by 1gn15 | 2025-10-26 16:05:57+00:00
> A member of the audience pointed out that the line between LLMs and assistive (accessibility) technology can be blurry, and that any outright ban of the former can end up blocking developers needing assistive technology, which nobody wants to do.

This is because LLMs are a type of assistive technology, usually for those with mental disabilities. It's a shame that mental disabilities are still seen as less important than physical disabilities. If one takes them seriously, one would realize that banning LLMs is inherently ableist. Just make sure that the developer takes accountability for the submitted code.
by 1718627440 | 2025-10-26 16:06:46+00:00
> If you care about whether your concerns are addressed by further discussion, block.

Well yes, but I don't care about them being addressed by discussion, I want them being addressed by your decision.

> it's passive aggressive to expect more work.

I am not sure what exactly "passive aggressive" is supposed to mean, but you generally get paid so that others can expect more work.
by coredog64 | 2025-10-26 16:08:13+00:00
Knowing about the duck curve and taking advantage of the essentially zero marginal cost of solar, can't most folks just crank down their AC temps at 11 or noon such that there's no end-of-day demand ramp?

I know folks in Phoenix who are on a time-of-day plan and they max out the AC overnight and then barely use it during the day (same goal, just they don't have solar)