MurphyA/hacker-news huggingface dataset:
by shadowgovt | 2025-11-16 00:32:45+00:00
All true, but worth noting that sometimes making that to-do list is the first step to doing the thing because picking the first item off the list and taking 10 minutes to do it is doing the thing. If you aren't doing the thing because it's a monolith in your brain that is going to consume the next 6 months of your life and you're paralyzed by its enormity, salami slicing 10 minute chunks off the front of it can be a good way to get started.
by Aurornis | 2025-11-16 00:33:39+00:00
> - Visit https://www.cpubenchmark.net/single-thread/ and pick the fastest CPU under $400

FYI www.cpubenchmark.com is a running joke for how bad it is. It’s not a good resource.

There are a few variations of these sites like userbenchmark that have been primarily built for SEO spam and capturing Google visitors who don’t know where to go for good buying advice.

Buying a CPU isn’t really that complicated. For gaming it’s easy to find gaming benchmarks or buyers guides. For productivity you can check Phoronix or even the GeekBench details in the compiler section if that’s what you’re doing.

Most people can skip that and just read any buyers guide. There aren’t that many CPU models to choose from on the Pareto front of price and performance.
by sillysaurusx | 2025-11-16 00:33:50+00:00
The vast majority of violations that lead to loss of life result in charges that are dropped or acquitted. In the US it’s very, very hard to get anyone in jail for gross negligence in construction projects. Look up Plainly Difficult on YouTube, pick one of his hundreds of videos about negligent construction, and there is roughly 99% probability that all the charges were dropped, especially if it was in the US. (It seems to be a bit easier to get people in jail overseas.)

I don’t know why this is, only that it is. And it’s unclear how to change it. You could lobby for new laws, but those tend to be lobbied by the very companies that would stand to lose from those new laws.
by dlisboa | 2025-11-16 00:34:54+00:00
It just isn't. There's nothing stopping other languages from being that easy but very few even try.

Go sees itself more as a total dev environment than just a language. There's integrated build tooling, package management, toolchain management, mono repo tools, testing, fuzzing, coverage, documentation, formatting, code analysis tools, performance tools...everything integrated in a single binary and it doesn't feel bloated at all.

You see a lot of modern runtimes and languages have learned from Go. Deno, Bun and even Rust took a lot of their cues from Go. It's understood now that you need a lot more than just a compiler/runtime to be useful. In languages that don't have that kind of tooling the community is trying to make them more Go-like, for example `uv` for Python.

Getting started in a Go project is ridiculously easy because of that integrated approach.
by shadowgovt | 2025-11-16 00:35:07+00:00
I am creating a jira ticket because I will forget I have done the thing.

I am also creating a jira ticket because 11 months later when another engineer is trying to figure out if the code they're staring at is still actually valuable or if they can rip it out safely, they are going to use git blame to find the pull request where the thing was done, that pull request is going to mention the jira ticket, and the jira ticket is going to reference the design document that justified why we did the thing. If we don't do those things, that engineer is going to yank that functionality out and something way over there is going to break without anybody realizing it broke.

Your mileage may vary. Some teams make the PRs detailed enough that they don't have to fall back on jira. Other teams try to encode this information into unit tests (that helps but it's circular reasoning; the unit test will tell you that somebody at one point thought that this was important enough to verify that it keeps doing the thing; they won't tell you why the thing matters or what customer wanted the thing or whether the thing was the thing we did before we pivoted to doing the new thing cuz the old thing didn't make money).
by mnau | 2025-11-16 00:35:43+00:00
He addresses that. Basically, there are gatekeepers and if you get on the wrong side of them, only manual intervention can save you. And we all know how Google loves providing a human to resolve problems.

> I came to the conclusion that running this can be risky for your website. The main risk is that despite correctly using robots.txt, nofollow, and noindex rules, there's still a chance that Googlebot or other search engines scrapers will scrape the wrong endpoint and determine you're spamming.
by vinhnx | 2025-11-16 00:36:47+00:00
One source of aggregator that I find useful is to subscribe to newsletter to a topic of your interested. Optionally choose weekly option to avoid daily email overloaded. Twitter is very good to keep up with latest trend and discussions, make sure to follow and trim following list to suits your interests best. Recent Twitter's algorithm changes seems make it less focused than before, but it still good. Otherwise, bookmark our own https://news.ycombinator.com/news and pin it to position 0 of the pinned list, so that everytime or everyday you open the browser, HN is default.
by willis936 | 2025-11-16 00:37:51+00:00
Valve sponsored asahi linux which was a herculean exercise in running another OS on locked down hardware. They've also sponsored wine and fex. It would be a sudden, steep, and unexpected departure for them to go from being leaders in cross platform OS/hardware support to locking down their own hardware platform. It's just not in their nature. They know their nature is good and they know we know it. That's called trust.
by baranul | 2025-11-16 00:38:25+00:00
That's not the case globally[1]. And there is a lot of oil money causing confusion. But, regardless of what the true situation is, continually burning fossil fuels with reckless abandon, is not the way forward for humanity.

[1]: https://electrek.co/2025/11/12/ev-sales-still-have-not-falle...
by rolph | 2025-11-16 00:39:06+00:00
no, no it does not strip protien complexes away from the DNA strand.

it involves a localized progression along the DNA surrounded by histones, and regulatory enzymes, displaced from proximity, until the replication fork zooms on through, and it all snaps back together.

the process is error prone, strands may cross over, chromosomes may fail to migrate properly.
by fluoridation | 2025-11-16 00:40:35+00:00
>1. Everything that is (in the "esse" sense) of Jesus must be both. This seems to be your position.

>2. Jesus is both God and man completely (not "the appearance of man" or "a man apart from God, divinized by God at a later point"). This is the position of the Church.

Uh huh. And what, in your mind, is effectively the difference between those two statements? Because to me those are two ways of communicating the exact same idea. That is, the exact same state of affairs is properly conveyed by two different sequences of words. Don't answer my question by pasting four paragraphs of sophism. I have no interest in it. All you need to answer is: in what situation would exactly one of those statements be true?
by jeromegv | 2025-11-16 00:41:13+00:00
While tariffs aren't a secret, they are a new reality for majority of americans. They never had to bother with any of that before they ended De Minimis, now every single package must go through a complicated import process and if you are somewhat inexperienced with it (as most people do), you might end up with UPS screwing up the paperwork and charging you wrongly hundreds of dollars.

That's ultimately what the US citizens voted for and I think that's important they know what they are dealing with.
by lll-o-lll | 2025-11-16 00:41:24+00:00
Diamond inheritance is its own special kind of hell, but “protected virtual” members of java and c# are the “evil at scale” that’s still with us today. An easy pattern that leads to combinatorial explosion beyond the atoms in the universe. Trivially.

People need to look at a playing deck. 52 cards, and you get 8×10^67 possible orders of the deck. Don’t replicate this in code.
by pron | 2025-11-16 00:42:09+00:00
Again, when comparing two languages you can't just look at the advantages one of them has over the other. There's no doubt C++ has many important advantages over C. The reason to prefer C in certain situations is because of C++'s disadvantages, which are as real as its advantages. Even one of the things you listed as an advantage - RAII - is also a disadvantage (RAII in C++ is a tradeoff, not an unalloyed good). A comparison that only looks at the upsides, however real, gives a very partial picture.

Alongside all of its useful features, C++ brings a lot of implicitness - in overloading (especially of operators), implicit conversion operators, destructors, virtual dispatch - that can be problematic in low-level code (and especially in restricted environments). Yes, you can have an approved subset of C++, and many teams do that (my own included), but that also isn't free of pitfalls.
by tombert | 2025-11-16 00:43:36+00:00
Ah, sorry, didn't know the acronym.

I tried making it my main media center, but I couldn't figure out a way to get good quality streaming from the main services, since they limit the quality and bitrate pretty heavily for the browsers. I thought I could just live with it, but it was bad enough to really bother me. After a lot of effort to try and get things working with different emulators and user agent settings, I was unsuccessful getting the quality tolerable.

I haven't fully given up on that dream, but right now I'm just using an Nvidia Shield TV that I already had.
by credit_guy | 2025-11-16 00:43:45+00:00
Your post raises an interesting question. Will the US let South Korea use its naval reactors? The US naval reactors use highly enriched uranium, which can be easily converted into bombs. France used to use highly enriched uranium, but their latest nuclear subs use low enriched uranium (LEU). Now, part of what made the US naval reactors so reliable is that they kept the same design over so many decades. If they change to LEU, that probably requires quite a major design change. If they do that, they might as well allow the civilian industry to use that design for non-military purposes.
by wakawaka28 | 2025-11-16 00:43:51+00:00
The comment where I started replying claimed that each dollar spent on SNAP yielded a 60x return in terms of productive economic activity... That is a literal braindead comment and I don't have to walk on eggshells to debunk such a preposterous thing.

1.5% fraud is awfully high for such a large program. You can call that take heartless if you want, but what better use could that fraudulently stolen money be put to? My one and only experience with food stamps is that I couldn't get more than like $50 monthly while I was unemployed and in dire need, and that was requiring lots of documentation. (Ghetto people and illegal immigrants are getting thousands these days, lol) Maybe someone like me back then might have gotten something worth my time if there was zero fraud. With the country facing bankruptcy every dollar counts, frankly.

Additionally, requiring people to reapply for food stamps is not going to actually disqualify any people who meet the acceptance criteria, but for a very small number of dumb ones. You either qualify or you don't. If you do then nothing changes. So, my take is actually both compassionate and absolutely right.
by zamadatix | 2025-11-16 00:44:46+00:00
Before listing a bunch of specifics about newer changes I'm guessing you don't actually care about, some of the basic things at https://libwifi.so/features/ would be good to complete first before the newer stuff since the last update was 2023, not the last completed feature level (Wi-Fi is enormous).

There also seem to be some open bug reports despite the low level of usage e.g. https://github.com/libwifi/libwifi/issues/24.
by parineum | 2025-11-16 00:44:48+00:00
There is really no evidence that it works, even in that way though.

The fact that the person is being asked to take the test is a pretty good indication that investigators think there's something there. The suspicion caused the interview and the interview caused the admission. There's no way to know what happens in an alternate universe with no polygraph. I worry a lot more about law enforcement that use it as justification for their erroneous suspicion.

It's a fine tool as long as the interviewer doesn't think it actually works. I've seen enough police interviews on TV shows to know that many of them are believers.
by FridayoLeary | 2025-11-16 00:45:33+00:00
That is one of the most surprising aspect of the story for me, that a polygraph worked. (the revelation itself just confirmed what everyone already suspected).

My theory is that the new head of the Shin Bet who is pretty right wing and took a personal interest in the story was involved. They simply used the polygraph results as an excuse to direct the interview in the direction they wanted. The timing is certainly very interesting.

It's a very high profile case so i guess the truth of the matter will eventually emerge.
by indrora | 2025-11-16 00:48:45+00:00
From what I've learned: stuff like this makes up a not insignificant portion of the crash reports that come through. This results in crash dumps that are useless at best because they just look like memory corruption or badly written malware. In my discussions with folks about this, an annoying number of people who run this sort of software either a) do not care that it makes developing Windows harder for the devs or b) actively want the usable signal for the Windows development teams to be low.
by IgorPartola | 2025-11-16 00:49:05+00:00
That article pretty much describes every experience I have had with AWS. But worse was when I tried to use the free tier of Oracle Cloud to see what that is all about. Oh my god what a mess. I am not new to a lot of these things. I know how to configure TLS, boot a Linux or BSD box when a hard drive fails, how to set up proper subnets and firewalls, hell I have written network services using raw IP packets that I crafted directly in C. But figuring out how to work the Oracle Cloud UI was beyond me.

It almost feels like if you were not there to see these interfaces in their infancy and didn’t grow up with them then you will not get their current much more complex form.

Back in 2008 I worked for an organization that relied heavily on an IBM mainframe and employed a department of people who managed it and wrote software for it. The divide between those folks and those who grew up on Linux/BSD was so solid that if someone asked me to switch teams I honestly wouldn’t even know where to start learning. This is kind of what this feels like.

To be fair I have successfully deployed multiple things with AWS. But it is always by mostly using things like EC2, Route 53, S3, and sometimes CloudFront. Tried their app engine and container runner and went back to running Docker on a Linux VM as a saner solution.
by throw_m239339 | 2025-11-16 00:49:32+00:00
Well Jobs obviously took risks, way more than Cook ever did. But Yes, Silicon was absolutely the right move, incredible performance leap, at an accessible price (but one could argue it's more of a failure from Intel). Now from a "culture re-definition" perspective, nothing is going to top what Apple did in the 80's and what they did again in the 2000's with the iPhone.
by MichaelNolan | 2025-11-16 00:50:20+00:00
What exactly is the distinction between this and mathjax? At first glance it looks like this is a wrapper on top of mathjax, or is it something different?

I guess it’s just more “natural” and less latex like.

$$\sum_{i=0}^n i^2 = \frac{(n)}{2}$$

Vs

sum_(i=o)^n i^2=((n)/2)
by baranul | 2025-11-16 00:51:43+00:00
Think it's a matter of if a person is limiting themselves to an evangelistic echo chamber. If one confined themselves to only HN, likely to get the impression from the enthusiastic fans of Rust and Zig, that they ranked #1 and #2, where in the real world that's definitely not the case. Languages like C# (#5) and Golang (#11), rank way above Rust in the real world, but get way less shine than would be expected. It's like being a heretic, for even mentioning Object Pascal (#8), Ada (#17), or Kotlin (#20) around here. Yet, all those rank above Zig (#49). Hell, Vlang (#41) is ranked above Zig on TIOBE (November 2025).
by keltiek | 2025-11-16 00:53:35+00:00
Switzerland is updating its telecommunications surveillance ordinance (VÜPF) to drastically expand state powers over VPNs and encrypted services.

According to analysis by encrypted email provider Tuta Mail, the draft would:

Force Swiss email and VPN providers with ~5,000+ users to log IP addresses for 6 months

Mandate user identification (ID/driver's license/phone number), effectively ending anonymous accounts

Require providers to "remove encryption provided by them or on their behalf" so data can be handed over in plain text (end-to-end encrypted messages are exempt, but VPN tunnels are not)

Proton told Swiss newspaper Der Bund this makes Swiss surveillance "stricter than the USA and the EU" and has already begun moving infrastructure out of Switzerland due to legal uncertainty. Other Swiss VPNs (PrivadoVPN, etc.) face the same conflict between "no-logs" promises and mandatory logging obligations.

The article breaks down what this means for VPN threat models, why "Swiss jurisdiction" as a privacy selling point is now in question, how the 5,000-user threshold and ID requirements reshape risk profiles, and what options Swiss providers have: relocate infrastructure, re-architect services, or accept logging obligations.

Questions for discussion:

If this passes unchanged, does "Swiss privacy" retain any meaning?

Has the EU become a better jurisdiction than Switzerland for privacy services, given CJEU precedent striking down mass data retention?

When choosing a VPN, how much do you weight jurisdiction vs. audits/open-source/protocol design?
by varispeed | 2025-11-16 00:53:43+00:00
I know one US business that used to make niche electronic product. Most components they used were from China. Got hit by the tariffs that wiped all the operating profit. Guy also had to sell his home and is now couchsurfing. Business is unlikely going to recover.

Of course he considered making chips and other components in the US, but he was few billions short to start the fab.
by ricardobeat | 2025-11-16 00:54:39+00:00
The reason simple identity is not "better", and the whole reason these libraries and React's virtual DOM exist, is that the DOM is stateful.

This approach works for simple stuff, until it doesn't. Form inputs will lose values, focus will be lost (ruining accessibility in the process), videos will restart, etc. You need the diffing to prevent unnecessary changes to the DOM. Even worse, in complex applications you easily end up in situations where the trivial approach causes vast swathes of the page to rerender at once, either because of unplanned dependencies or simply because you have three, seven or forty teams working on the site at the same time.
by grishka | 2025-11-16 00:56:10+00:00
In my particular case, I don't mind the crawling. It's a fediverse server. There is nothing secret there. All content is available via ActivityPub anyway for anyone to grab. However, these bots specifically violated both robots.txt and rel="nofollow" while hitting endpoints like "log in to like this post" pages tens of times per second. They were just wasting my server's resources for nothing.
by mrtksn | 2025-11-16 00:56:55+00:00
Ah this is just another step towards Turkification[0] of USA. This situation is just how it is in Erdogan's Turkey but you still have way to go if you are able to get your package out of the customs in less than a few weeks and no hustle.

When the trade deals and tariff conditions get sufficiently complex(it gets more complex every day as the president accommodates specific companies and personal favors), the bureaucracy also increases so at some point it becomes too much of a nuisance to bother with individual imports.

[0] https://www.theglobalist.com/the-turkification-of-america-tr...
by varispeed | 2025-11-16 00:57:36+00:00
I had to buy two laptops recently, so I got Intel's 9 ultra 285k and Ryzen AI 9. The latter on paper should be slower, but it's a night and day difference. Intel's laptop sounds like a hairdryer when opening a browser tab. Ryzen's fans are far gentler on the ears and trigger less often. Still both laptops are league below even my old M1.
by RajT88 | 2025-11-16 00:58:15+00:00
I had this Ah-Ha moment a while back when I was presenting on how to shorten cloud outage times, by aggregating impact into a list of details, and hustling around to make connections to support engineers and their customers and the poor backend engineers running around trying to make sense of it all. Putting a little bit of structure to it, so other people can realize they can make a difference in a large organization.

I had a colleague make a passive aggressive comment about it being really cool how I put together "obvious" stuff. Well, it is obvious. At the same time, I have never seen him do this "obvious thing".

Doing the thing is being a performer. Making the thing happen somehow is called leadership. It's all about doing the thing, and not just seeing and understanding the thing - that's the easy part.
by pron | 2025-11-16 00:59:46+00:00
I think formal verification can and should be used everywhere it is helpful, which certainly includes hard realtime systems but isn't limited to them (it's helpful in quite a few areas). But formal verification is by no means the same as deductive theorem proving. Especially for hard realtime systems, which tend to be simple as you say, model-checking has been the formal method of choice for decades.

Even for large, non-critical software, there are useful formal verification methods that aren't end-to-end, i.e. they can cover the design but not the code, and have proven very useful in finding bugs. I for one, am a big fan of TLA+. TLA+ has both an interactive theorem prover and a model checker (or a couple). Most importantly, it allows describing the system at an arbitrary level of detail, which means you can use it at different levels as appropriate. For some things, it can and should, say, describe hardware in full detail; for others, it can be used to describe and verify a very abstract algorithm, well above the code level.

The problem with deductive theorem proving is that it tends to have a low ROI, and there are often more effective methods. It should be used when other methods don't work well.
by jleyank | 2025-11-16 01:00:18+00:00
The annoying thing about this setup is that people outside the us pay tariffs going both ways. They must pay the us tariffs to send into the us and then they must pay their countries tariffs receiving goods coming from the us. I read that the EU is ending de minimus in 2026. This is going to really put a hurt on small businesses like crafters, used bookstores, antique dealers, …

Yeah, it’s what they voted for, but having the world get into the tariff act is a real pain.
by VerifiedReports | 2025-11-16 01:00:59+00:00
I've had to return to Windows for my daily work after 20 years mostly away from it. I already knew about a lot of UI and functionality regressions, but when you truly experience the defective mess that Windows has become... it's hard to take.

So while I'd love to install this mod, it seems way too fraught with potential side-effects. But it looks like there might be some minor, safe mods to explore here.

Here's one gallingly dumb thing Windows does now that I wonder if you guys can recommend a fix to: If you hover over an application's icons in the taskbar, it pops up thumbnails of the app's open windows and forces you to choose ONE. WTF. I want to bring ALL of the application's windows to the front. It's incredible that clicking on the application's icon (instead of one thumbnail) doesn't do this. Instead, it does NOTHING. Is there a fix for this?