MurphyA/hacker-news huggingface dataset:
by consumer451 | 2025-10-29 14:12:18+00:00
I have not had a stroke, but a few years ago I noticed my eyesight was getting strange. There were many other things including a very fuzzy brain, and wanting to stay in bed for weeks. I thought I was just sad until the eyesight issue.

It turned out I had Advanced Neurological Lyme disease. It took a couple years to recover from it. I also have Cluster Headaches, one of the most painful medical conditions known to science. Losing my the ability to think clearly, was worse.

As someone who uses my brain for work, the depression that arose from losing my mental faculties was very significant. I searched TFA for depression and did not see a mention. If anyone is dealing with a neurological issue like this, I would imagine that second order effects like depression are common, correct?
by whilenot-dev | 2025-10-29 14:12:36+00:00
Oh it's 2025 alright.

CLIs are still powerful and enjoyable because their language patterns settled over the years. I wouldn't enjoy using one of these undiscoverable CLIs that use --wtf instead of --help, or be in a terminal session without autocomplete and zero history. I build scripts around various CLIs and like it, but I also love to install TUI tools on my servers for quick insights.

All of that doesn't change the fact that computer usage moved on to GUIs for the general audience. I'd also use a GUI for cutting videos, editing images, or navigating websites. The author used a bit of tongue-in-cheek, but in general I'd agree with them, and I'd also agree with you.

Tbh, I also think the author would agree with you, as all they did was making an anecdote that

s/Take/Pick up/

is not that far off from annoying its users than

s/atlas design/search web history for a doc about atlas core design/

is. And that's for a product that wants to rethink the web browser interface, mind you.
by kbolino | 2025-10-29 14:12:55+00:00
There is no doubt some number of SSH servers which have public domain names and/or public IP addresses, can accept DNS verification or running a completely unrelated HTTP server for IP verification, don't mind having their existence published in certificate transparency logs, don't care about or can separately handle client certs, and don't mind the SSH server restarting every ~month (until this gets shortened again) when the certificate is rotated. However, I would estimate the share of such sites at less than 5% of deployed SSH servers. The primary use case I can see here is to reuse an existing HTTPS cert for SSH on a box that already hosts a website.

FWIW, there is an RFC for X.509 certificates in SSH, but it has not achieved wide adoption: https://www.rfc-editor.org/rfc/rfc6187
by whalesalad | 2025-10-29 14:13:05+00:00
There isn't really a polished and comprehensive singular thing to accomplish this the same way you would with Active Directory in Windows world. Then again, AD is really not a polished thing either its more of a duct-taped stack of crap.

Mirroring "the unix way" it is often a collection of single-purpose tools composed together to achieve the desired goal. Samba is quite powerful these days, it does more than just SMB sharing. FreeIPA is another software tool that I believe is more common in Red Hat deployments.
by fadedsignal | 2025-10-29 14:13:05+00:00
I think this will continue. They can't change 3GPP's vision with just Nokia. They need to bribe other companies. Ericsson is the other big vendor. I think there is a possibility of that. However, Huawei is impossible. Who is gonna provide a GPU to them? Therefore, they simply can't just put a GPU on every base station around the world.
by CivBase | 2025-10-29 14:13:14+00:00
Because smartphones are designed such that I cannot put whatever OS I want on them. I'm stuck with whatever proprietary flavor of Android the manufacturer loaded it with.

If I'm really lucky one of the opem source Android forks will support my device. But my current phone is not supported by postmarketOS or GrapheneOS.

I don't want a world where the market can only support a dozen devices across 4 or 5 manufacturers.
by add-sub-mul-div | 2025-10-29 14:13:24+00:00
That's an easy thing to say if it's someone else's time that's being wasted and not your own. But there may not be a path back to the internet under which this project was conceived.

It could be like staying on Twitter and Reddit after their respective declines. You're only suffering an opportunity cost for your own time and preventing the internet from evolving better alternatives.
by hajile | 2025-10-29 14:13:53+00:00
> I'm sure I could learn to be slightly faster on dvorak/colemak

The speed is about the same. The big colmak win for me was that my hands/arms didn't ache after long typing sessions. Ergonomics and not getting repetitive motion injuries matter to me more than compatibility (though I can still type in qwerty even if it's slower these days).
by L_226 | 2025-10-29 14:14:05+00:00
Yes - and the consumer is choosing to buy this product. You can't claim that the vendor should change the product after it has been purchased.

No I don't think it is overreach, I think it is good business. Other institutions (usually, ideally) put constraints on capitalism, through e.g. mandating USB-C, which could also be applied to printer cartridges. A printer company could even do a Patagonia, and make the most environmentally friendly, reusable, printer system available and make it part of their branding.
by diegoofernandez | 2025-10-29 14:14:12+00:00
Hi! Thanks for the excellent questions. It shows you're looking past the demo and into the core architecture.

Language / Platform: The entire Romimath core engine is built purely in TypeScript, compiled directly to JavaScript (ES6+). It runs 100% client-side in the browser (as you see in the demo) to perform the heavy symbolic computation. We specifically avoided WASM for the core math to ensure maximum portability and maintainability within the JavaScript ecosystem, while still achieving extremely high performance (solving the 4D complex system in approx 2 seconds).

2. Symbolic Terms Modeling: This is the most critical part, as it ensures the engine's precision:

Custom AST and BigInt: We use a custom, modular Abstract Syntax Tree (AST) to model polynomials. All coefficients are handled using native JavaScript BigInt and our custom Rational Number class. This is non-negotiable, as it ensures infinite precision and eliminates floating-point error throughout the entire computation.

Buchberger's Pairs (P_i, P_j): These pairs drive the algorithm's progress. For each pair, we: 1. Compute the S-polynomial (cancel leading terms) 2. Reduce it against the current basis 3. Add non-zero remainders as new constraints

The speed you see comes from optimized pair selection - we skip pairs where leading terms are relatively prime (gcd=1), as they're guaranteed to reduce to zero. This avoids unnecessary computations while ensuring mathematical correctness.

The value proposition is simple: Romimath is a full-stack algebraic engine that combines the portability of TypeScript with the mathematical certainty of BigInt for complex symbolic computation running entirely in the browser.

Thanks for checking it out!
by keernan | 2025-10-29 14:14:13+00:00
>>So that means the case has been referred to a prosecutor who has already started the criminal case, right?

I certainly do not know how every state sets up their Judicial system but in my experience most states have a County Court System where jury trials take place. Appeals are taken to an intermediate court (usually referred to as Appellate) and above that is the final and highest court (usually referred to as the Supreme Court; but interestingly enough, NY refers to their trial court as Supreme Court).

There is usually a separate local system commonly referred to as Municipal Court. I spent my career in the trial courts at the County or Federal District Court level, so I don't have intimate knowledge of the ins and outs of Municipal Courts. But, to the extent I had any interactions at that level, the majority of the cases in Municipal Court are traffic offenses (some can be quite serious such as DWI or when someone died in a car crash). But it has been my experience that most Municipal Courts do not have a jury box and do not handle jury cases (although I have a vague memory of being in a municipal court in a large city that had a jury box).

Municipal Court often have different Rules of Court than do the County Courts. Often appeals of Municipal Court are handled at the County Trial Court level with a brand new trial, instead of by the County Appellate level.

And Municipal Courts work hand in hand with the local prosecutor and local police (this is a local town court remember). Cases often are seen by the prosecutor for the first time when he arrives in Court (usually open just one night a week in towns, but during the day and perhaps every day for larger cities). Usually the police are free to dismiss charges on their own depending upon the seriousness of the charge and whether or not the prosecutor has become involved in the case.

In this case we know the charges were dropped by the police department, not the prosecutor, so that suggests to me the prosecutor was likely never aware of the incident or the charges.
by cbdevidal | 2025-10-29 14:14:16+00:00
Well you may be partly right. Two weeks after reinstalling Win11 it's exhibiting frequent lockups and audio dying--often on the same day. Clearly some issues were resolved with reinstall (so those were software-caused), but potentially not all of the issues. I'll have to reinstall it once more to confirm.

That, or I'm installing some software causing this. I don't install weird software, and it was software that I had used in Win10 on another laptop, so that's probably not it.
by saurik | 2025-10-29 14:14:19+00:00
> Its weird to me to see capitalists not wanting to accept payments for goods.

Even the most hardcore capitalists refuse to take our money for their services, insisting on giving away free websites--some which don't even have any authentication at all--that have frustrating business models on the backend :(. The reason we encrypt the vast majority (by volume, not weight) of our web content is for integrity (so random other people can't hijack and modify what we render), and somewhat (but not sufficiently, as TLS is broken) for privacy, not because of some attempt to partake in capitalism.
by noisy_boy | 2025-10-29 14:14:22+00:00
> "just use a second phone" cannot be the answer

It is the best answer at the moment. You can keep an absolute basic phone with all the banking and such apps loaded and nothing else. You treat it like an appliance. Your daily driver will be separate and can be running PostmarketOS or LineageOS etc.

There are several benefits off the top of my head:

1. Since you only install banking/govt type apps on your "important" phone, it stays more secure vs. putting your random game app along with the banking app on the same phone.

2. When you upgrade your daily driver, you don't need to deal with tons of re-auth steps for banking/govt apps.

3. Your daily driver can be customized to the nth degree because the pesky banking app won't be on it to refuse login because, say, you turned on developer options or rooted the phone.

4. You can even leave the basic phone at home for extra safety, if you wish, without affecting your daily driver.

5. You can root your daily driver and put as much adblocking setup as you want to boost your privacy. Your basic phone won't have enough activity outside banking/govt. to build much of a profile.
by anticensor | 2025-10-29 14:14:24+00:00
> Eventually, Linux itself will go the same way, people are just waiting for Torvalds to retire from the project to make their moves, but make no mistake, open general-purpose computing is under threat and there is going to be little we can do to reverse the current trends towards closely monitored and controlled computing.

Thankfully, we can take the last GPL commit of Linux and fork it.
by nonethewiser | 2025-10-29 14:14:32+00:00
I actually see no difference in the two definitions unless you also slide in the idea that things are more relative and less clearly good/bad with the second. That seems to be the natural implication and the real difference, more so than the shift to "valuing."

- a distinguishing factor between good and bad quality

- the degree to which two people value the same things

If we don't also accept that implication, then its just the same thing. People thinking good things are good vs people thinking bad things are good.
by preommr | 2025-10-29 14:14:36+00:00
> Microsoft is also based in the USA, and the political climate over there makes me want to depend as little as possible on American tools. I know that’s a long, uphill battle, but we have to start somewhere.

I miss the days when we had militant, but more entertaining zealots like Stallman. Whatever else you can say about his antics, Stallman was comitted. And that craziness wrapped back around to being entertaining.

Now we just get whatever this is - basically the equivalent of someone declaring they're going to try being vegetarian by not eating the tips of chicken wings anymore. Like dude, fork Vscode and start hosting it on your own custom vc system that was hacked together as a side project.

Where's the fire and passion behind the resistance?
by caug37 | 2025-10-29 14:15:01+00:00
from article: "NPC Shell transforms your terminal into an intelligent workspace that extends the traditional bash environment with AI capabilities. Inspired by biological intelligence, it provides a unified command-line interface for seamless interaction with multiple LLM providers and specialized agents -- enabling multi-modal collaboration, code execution, and automation of complex tasks."

github repo: https://github.com/npc-worldwide/npcsh
by ranger_danger | 2025-10-29 14:15:11+00:00
When people in the (US at least) healthcare industry use the word "control" they are specifically referring to the well-defined "controlled substances".

In the context of the legally defined controlled substances or "scheduled drugs", no, needing a prescription does not automatically mean it is a controlled drug.

Is a prescription inherently a type of 'control' against who can access certain drugs? Sure, but I don't think anyone was arguing that.
by duxup | 2025-10-29 14:15:28+00:00
Youtube creators want to cover this, youtube is their chosen path, so video it is.

Not so much about the best way to communicate as much as the creators see it as their best option, for them.

I've seen a lot of tutorials that really just seem to be infotainment / social media news. Often forgetting critical steps and describing why you do a thing incorrectly. It's frustrating.
by NoboruWataya | 2025-10-29 14:15:35+00:00
I do almost all my development on JetBrains IDEs (Rust, Python, Kotlin). IME they are unmatched for giving you code insights and suggested fixes (combined with "click here to do that") out of the box. But they are absolute resource hogs and I don't trust that they (or their best features) will always remain free.

I've tried to get into neovim a few times. It's fine for basic editing and I use it a bit when I am ssh'd into a box without a graphical environment, or I'm just not bothered booting up a full IDE. But the UI still feels less intuitive to me than JetBrains, and by the time I've installed and configured the various plugins that should give me anything approaching JetBrains' functionality the whole setup feels very fragile, like it could break at any moment and I wouldn't easily be able to fix it. In the regard, Helix having more stuff OOTB feels like it could be a definite improvement.
by Edman274 | 2025-10-29 14:16:33+00:00
The entire value proposition of AWS vs running one's own server is basically this: is it easier to ask for permission, or forgiveness? You're asking for permission to get a million dollars worth of servers / hardware / power upgrades now, or you're asking for forgiveness for spending five million dollars in AWS after 10 months. Which will be easy: permission or forgiveness?
by cyrialize | 2025-10-29 14:16:39+00:00
It sounds to me you're describing the feeling of being content, rather than having the least taste.

I prefer to look at things that way rather than not having taste. Some people really enjoy $600 headphones, while others don't really care.

I think everyone has some "taste" though, you don't really realize it until you compare experiences.

For me personally, having taste doesn't ruin my experience for anything - it just add more to things. And I still like the things I like, even if there is "less".

Using more expensive headphones and hearing instruments I've never heard before makes it fun and using $20 headphones is still fun because I'm still listening to music I like.
by xobs | 2025-10-29 14:16:56+00:00
I really wish this 3D Gerber viewer worked: https://www.zofzpcb.com/

You can feed it the output from Kicad, and if you include the ipc netlist it’ll even generate models. Great for doing a check before manufacturing, especially if the viewer matches what you see in Kicad.

Unfortunately I’ve never gotten it to run in wine.
by srg0 | 2025-10-29 14:17:12+00:00
Pro Spotify: existing playlists and history, better artists info, better UI.

YouTube Music is both better and worse: UI has some usability issues and unfortunately it shares likes and playlists with the normal YouTube account, as a library it has lots of crap uploaded by YouTube users, often wrong metadata, but thanks to that it also has some niche artists and recordings which are not available on other platforms.
by knlb | 2025-10-29 14:17:15+00:00
Thanks for the post, this is pretty cool!

I feel like I've seen Cupti have fairly high overhead depending on the cuda version, but I'm not very confident -- did you happen to benchmark different workloads with cupti on/off?

---

If you're taking feature requests: a way to subscribe to -- and get tracebacks for -- cuda context creation would be very useful; I've definitely been surprised by finding processes on the wrong gpu and being easily able to figure out where they came from would be great.

I did a hack by using LD_PRELOAD to subscribe/publish the event, but never really followed through on getting the python stack trace.
by jrochkind1 | 2025-10-29 14:17:27+00:00
I hate relying on a proprietary single-source product from a company I don't particularly trust, but (free) Cloudflare Turnstile works for me, only thing I've found that does.

I only protect certain 'dangerous/expensive' (accidentally honeypot-like) paths in my app, and can leave the stuff I actually want crawlers to get, and in my app that's sufficient.

It's a tension because yeah I want crawlers to get much of my stuff for SEO (and don't want to give a monopoly to Google on it either, i want well-behaved crawlers I've never heard of to have access to it too. But not at the cost of resources i can't afford).
by gethly | 2025-10-29 14:17:44+00:00
Windows 11 is definitely not in my future so I do not care about this, but it's the same crap as when they removed downvotes due to Disney and Biden's Whitehouse getting ratioed to hell. YouTube/Google is not your friend and does not care about you. As long as you understand that, you should not be surprised as you always expect things like this.
by dylan604 | 2025-10-29 14:17:53+00:00
Videos get higher rankings in Google's search. Remember those?

Definitely says something about your age though complaining about video versions of anything. Kids today don't even know what Google's search page looks like. They search in YouTube, TikTok type apps first. Since the location bar has also become the search bar while theGoogs pays browsers to be the default search, lots of people are not even aware they are doing a google search.

Also, some people will try things that are technically above their abilities normally. Having a video typing the commands in can be easier for them to replicate as it'll look just like the video. Text only from some webpage won't have those visual clues.

I much prefer text for this stuff too, but at least I can understand why something else is preferred by someone not me. I might be elder, but I'm not obstinate
by surajrmal | 2025-10-29 14:18:10+00:00
The vast majority which lives in android userspace. The customer compositor, input stack, wlan daemons, etc, are all tuned and optimized for power efficiency. Also, these days, there is a lot of hardware controlled directly by userspace - it's not just the GPU. And those hardware are generally important for offloading a lot of conpute and reducing wake ups. Things seem to only be trending further in this direction.
by AndroTux | 2025-10-29 14:18:25+00:00
Managing a complex environment is hard, no matter whether that’s deployed on AWS or on prem. You always need skilled workers. On one platform you need k8s experts. On the other platform you need AWS experts. Let’s not pretend like AWS is a simple one-click fire and forget solution.

And let’s be very real here: if your cloud service goes down for a few hours because you screwed something up, or because AWS deployed some bad DNS rules again, the world moves on. At the end of the day, nobody gives a shit.
by embedding-shape | 2025-10-29 14:18:30+00:00
> said staff was hired to work on the stack you are using

Looking back at doing various hiring decisions at various levels of organizations, this is probably the single biggest mistake I've done multiple times, hiring specific people using specific technology because we were specifically using that.

You'll end up with a team unwilling to change, because "you hired me for this, even if it's best for the business with something else, this is what I do".

Once I and the organizations shifted our mindset to hiring people who are more flexible, even if they have expertise in one or two specific technologies, they won't put their head in the sand whenever changes come up, and everything became a lot easier.
by sorcercode | 2025-10-29 14:19:24+00:00
for the most part I've been using Firefox containers and loving that life of getting the same benefits without having to create separate profiles.

but it's nice to see this finally get into Firefox because there are still a lot of folks who also want to maintain things like browser bookmarks, passwords etc in a separate profile. that's the only conceivable useful difference over Containers (which IMHO is slightly better than having to manage multiple profiles)