MurphyA/hacker-news huggingface dataset:
by oceanplexian | 2025-12-18 16:33:53+00:00
At the last company I worked at (Large popular tech company) it took an act of the CTO to get engineers to simply attach a JIRA Ticket to the PR they were working on so we could track it for tax purposes.

The Devs went in kicking and screaming. As an SRE it seemed like for SDEs, writing a description of the change, explaining the problem the code is solving, testing methodology, etc is harder than actually coding. Ironically AI is proving that this theory was right all along.
by ridgeguy | 2025-12-18 16:34:44+00:00
The risk of this happening seems low, but the impact on my life as an Apple ecosystem resident would be catastrophic. It's an easy decision for me - I won't buy or redeem an Apple gift card again.

Not an expert in the issues presented, but I see increasing numbers of single-point process failures, like what happened to Paris, being designed into our civilization.
by cornonthecobra | 2025-12-18 16:34:46+00:00
Even better, the reboot wasn't needed as the kernel didn't get bumped on this one. Just restart the rtsold service if you're using it and sanity check your resolv.conf and resolvconf.conf.

As for noticing it quickly, add `freebsd-update cron` to crontab and it will email you the fetch summary when updates are available
by rayiner | 2025-12-18 16:35:18+00:00
> The administrative law proceeding is a judicial proceeding

It is structured like a judicial proceeding, but it is not a judicial proceeding in the sense that it doesn't exercise the "judicial power." For example, everyone agrees that determining violations of criminal laws is an exercise of judicial power. So the SEC cannot prosecute you in front of an ALJ and impose criminal penalties. SEC v. Jarkesy also held that the SEC cannot impose civil penalties in front of an ALJ: https://www.congress.gov/crs-product/LSB11229.

On the other hand, Congress can create a procedure in an executive agency that looks like a judicial proceeding, so long as it only does what an executive agency could do anyway. In Oil States, the Supreme Court held that the Patent Trial and Appeal board was constitutional, because patents were a "public right" that could be determined by the executive branch: https://www.supremecourt.gov/opinions/17pdf/16-712_87ad.pdf. A Patent Examiner can grant you a patent and can revoke an already-granted patent. That's an executive function. Back in 1790, Thomas Jefferson was doing that himself as Secretary of State. So Congress can create a court-like proceeding in the Patent Office to challenge a patent's validity, and that's fine because the result is something the executive branch could do anyway. It's not an exercise of the judicial power.

> But if the ALJs and the SEC rulemakers are under the direct control of the president, then the president is effectively performing legislation, prosecution, and adjudication all at once... That is precisely the kind of scenario that separation of powers seeks to avert.

Under your interpretation, the SEC is exercising legislative, executive, and adjudicatory powers all at once--regardless of how much supervisory authority the President has. You're correct that separation of powers seeks to avoid that. But the way it does not is not by creating agencies that exercise all those powers independent of the president. It does so by creating three branches of government, and requiring the executive, legislative, and judicial powers to be exercise by the respective branches. The problem you have identified is a problem with administrative agencies exercising legislative and judicial powers, not a problem with Presidential control over the executive branch.
by Shocka1 | 2025-12-18 16:35:37+00:00
Piggybacking off your comment, I just completed a detailed research paper where I compared Haskell to C# with an automated trading strategy. I have many years of OOP and automated trading experience, but struggled a bit at first implementing in Haskell syntax. I attempted to stay away from LLMs, but ended up using them here and there to get the syntax right.

Haskell is actually a pretty fun language, although it doesn't fly off my fingers like C# or C++ does. I think a really great example of the differences is displayed in the recursive Fibonacci sequence.

In C#:

public int Fib(int n) { if (n <= 1) return n; else return Fib(n - 1) + Fib(n - 2); }

In Haskell:

fib :: Integer -> Integer fib n | n <= 1 = n | otherwise = fib (n - 1) + fib (n - 2)

As you might know, this isn't even scratching the surface of the Haskell language, but it does a good job highlighting the syntax differences.
by knome | 2025-12-18 16:35:52+00:00
Selling prisoners as underpaid slave labor means everyone else now has to compete against companies using that slave labor. It's essentially cutting us twice. We both pay to house and feed the employees/contractors of the company benefiting who then undercuts us by not bothering to pay them.

Prisons should not be allowed to be a profit center. The ramifications of doing so create gross incentives.
by metadope | 2025-12-18 16:35:52+00:00
Topics from the video:

01, Super Grub2 Disk 02, Rescatux.org 03, commandlinefu.com 04, LDP (Linux Documentation Project) 05, wiki.Arch (Gentoo too) 06, wttr.in (TUI weather) 07, pure sh bible (pure bash bible) 08, ShellCheck 09, RodsBooks 10, Brendan Gregg 11, man pages 12, tldr 13, cheat.sh 14, 15, OverTheWire (ssh in to play a game or two) 16, Awesome (via Github repos) 17, Patience+Practice (general closing encouragement to noobs)
by layer8 | 2025-12-18 16:36:07+00:00
I’d go further and say while testing is necessary, it is not sufficient. You have to understand the code and convince yourself that it is logically correct under all relevant circumstances, by reasoning over the code.

Testing only “proves” correctness for the specific state, environment, configuration, and inputs the code was tested with. In practice that only tests a tiny portion of possible circumstances, and omits all kinds of edge and non-edge cases.
by giarc | 2025-12-18 16:36:16+00:00
https://www.pepboys.com/tires

They have a license plate checker on their site. I don't live in the states, therefore I don't have a plate to check. Or do I..... HY in Florida....

@lafond - do you own a 2010 Subaru Legacy with the 2.5L SOHC engine?
by quesera | 2025-12-18 16:36:28+00:00
It's not just corporate policy, it's regulatory requirements in the US.

You must block financial activity, and you must not communicate any details to the customer, upon reasonable suspicion of money laundering activity. There's a process and a prescribed timeline for getting things resolved. There is no penalty for a false positive, but there are large penalties for false negatives.

Having watched hundreds of these things happen, all of the details point squarely to an AML problem. For closed loop gift card programs, the merchant, program manager, issuing bank, and possibly the seller all get involved. It takes time.

This doesn't require shutting off a user's access to their data though -- just preventing financial activity. Apple might not have adequately fine-grained permissions around account suspension to support this, and obviously they should fix that!
by chamomeal | 2025-12-18 16:36:35+00:00
To your last point: If you're making an HTMX app, you're probably using built-in browser inputs instead of custom JS-based ones like react-select. If you NEED react-select, you probably should just use react. But if your site is mostly just displaying data with html and updating that data with forms, htmx will work great with much less complexity and effort.

I've only toyed around with htmx, but it really is refreshing. Of course you can't do everything that you can do with a fully-fledged client side framework. But once you try it out, you realize that more of the web is just markup + forms than you realized. I wouldn't build a live chat app with htmx, but I would totally build a reporting dashboard.
by Aurornis | 2025-12-18 16:36:56+00:00
Those programs you’re referring to in your quote are work within the prison itself:

> Institution work assignments include employment in areas like food service or the warehouse, or work as an inmate orderly, plumber, painter, or groundskeeper.

Meaning some prisoners work in the kitchen preparing food for other inmates, others are on clean up duty, and so on. You could argue that nobody in prison should have to participate in anything inside their community and that’s a valid debate to be had.

In my state, the jobs that provide things outside of prison are applied for.
by embedding-shape | 2025-12-18 16:37:04+00:00
> As long as we tolerate a society that only values ROI while ignoring the value of investing in humanity we won't resolve any of these issues.

That's exactly what we're not tolerating here in Spain. We have guaranteed right to "decent and adequate housing" enshrined in the constitution, which is why you're seeing these aggressive moves against companies that actively work against us having that.

I guess we in Spain are a bit of guinea pigs regarding this, as we've been hit hard by Airbnb et al, but we also have strong social movements trying to fight back, and right now being a bit successful. Gonna be interesting to see how it looks like in 5-10 years again, once we start to see the effect of the new laws passed these last few years.
by adventured | 2025-12-18 16:37:22+00:00
> who was democratically elected by the way

He was everything but democratically elected. He was installed. The Iranian people did not elect Mosaddegh. He was put there by a Shah and the elites of the Majlis, neither of which ever represented the people of Iran. At no point in the past century has Iran had representative government.

For the absurd 'democratically elected' premise to be true, there would have to be actual representative government. There wasn't, there isn't.
by stevenjgarner | 2025-12-18 16:37:35+00:00
The event demonstrated how kinetic energy is converted into heat and light, momentarily vaporizing lunar material and creating a flash bright enough to be seen from Earth.

Because the Moon lacks an atmosphere to burn up incoming debris, even golf-ball-sized objects strike the surface at incredible speeds (estimated at 35 km/s for this event). Studying these flashes is vital for understanding the impact risks posed to future lunar bases and astronauts.
by srean | 2025-12-18 16:38:07+00:00
Probably (k)not.

I like them too, including the math of weaving. They are very interesting structures. I spend an unhealthy amount of time playing with my belt *, twisting and knotting them and buckling them shut... reanimating Dirac's trick.

I don't think I am autistic. ADHD, very likely yes.

* Try this. Hold the loop of your buckled belt, so that the buckled is in your right hand and the mid-lengths of your belt in your left hand. Keep your thumbs up and pinky down as you hold the two. Now with your thumb of your left hand, push the top edge inwards to impart one half twist. Do that again. Now your belt will look quite twisted. Now exchange your hand position by moving your right hand towards left and left hand towards right. When you cross let the right hand pass below your left hand.

If you do this right, there might be a surprise waiting. You might have to do it a few times to get it right. Belts have natural variations in their preferred twistings, so it might take a few tries.
by ChrisMarshallNY | 2025-12-18 16:38:23+00:00
Still a different thing.

Hating on Apple is quite popular amongst tecchies. I understand. I've probably been more pissed off at Apple, than many folks, here.

But it does bother me, that people don't seem to understand the classic business model of making things, selling things, and supporting things. That's thousands of years old, and still very much relevant. Quite a few folks, here, do that. I spent most of my career, at companies that did it.
by ModernMech | 2025-12-18 16:38:47+00:00
I don't think you can make an argument the definition is settled based on popular usage when the replies to your comment show there's still plenty of contention about what it means. It hasn't entered the general lexicon yet because most people have never heard it and could only guess at what it means. Not even my students agree on what vibe coding means and they're the ones who do it most. And regardless, terms of art can still have technical meanings distinct from the general lexicon (like "theory", or the example you used "hacker", which means something different around here).
by TheRealPomax | 2025-12-18 16:38:58+00:00
If the question is about whether JSDoc is TypeScript, and you want to turn it into a different question, maybe your question belongs in a different thread.

JDoc, the spec and docs-in-practice, is not TypeScript, the language and tooling ecosystem in practice, and does not have type annotation parity with TypeScript (so it's not even "the choice is arbitrary in practice because they do the same thing").

JSDoc is simply a supported spec by the TypeScript tooling. Saying "JSDoc is TypeScript" when you're a programmer, especially one that uses one or the other, is idiotic: your job relies on precision in both code and terminology.
by pjc50 | 2025-12-18 16:39:04+00:00
I've given you a disagree-and-upvote; these things are significant quality aids, but they are like the poka-yoke or manufacturing jig or automated inspection.

Accountability is about what happens if and when something goes wrong. The moon landings were controlled with computer assistance, but Nixon preparing a speech for what happened in the event of lethal failure is accountability. Note that accountability does not of itself imply any particular form or detail of control, just that a social structure of accountability links outcome to responsible person.
by hamdingers | 2025-12-18 16:39:09+00:00
I previously worked in fraud/risk at a major ecommerce platform. On my biggest day I closed 60,000 accounts. In one day. I knew other agents who'd done 10x that.

The scale of this work is unfathomable to those who have only been on the consumer side of it.

#1 is doable but would destroy our ability to combat fraud. "Here's how not to get banned next time" is not an email anyone in this space would consider sending.

#2 is simply impossible. Fraudsters consume every available resource you can put into the appeals process. This is their full time job, they can afford to call repeatedly, all day long, until they find an agent they can trick. Regular users won't benefit.

#3 is what small claims court is already for. We should make this easier, I agree.
by modeless | 2025-12-18 16:40:17+00:00
Valve's hardware products will be successful but remain niche. And that's ok. They are unwilling to pursue business models that require locking down hardware in order to subsidize it with software purchases, and I love that about them. As a result their hardware will always be more expensive. They will not outcompete Meta in VR or Sony/MS/Nintendo in consoles because price is king for the mass market.

Valve's hardware products, aside from being awesome and setting a standard that others have to match, are really an insurance policy. They ensure Valve cannot be locked out of their own market by platform owners like Microsoft or Meta using their leverage to either take a cut of their revenue or outright ban Steam in favor of their own stores (as it looked like MS might try to do in the Win8 days). By owning a platform of their own Valve always has a fallback option.
by XenophileJKO | 2025-12-18 16:40:28+00:00
They're not wrong. I think many people also saw/see the trajectory of the models.

If you were pro-ai doing the majority of coding a year ago, you would have been optimistically in front of where the tech was actually capable.

If you are strongly against AI doing the majority of coding now, you are likely well behind what the current tech is capable of.

People who were pragmatic and knowledgeable anticipated this rise in capability.
by ZeroConcerns | 2025-12-18 16:40:28+00:00
Well, Valve got seriously concerned about the Windows Store, like, a decade ago, since that could have reduced the stranglehold of Steam on the gaming marketplace.

Turns out that the usual Microsoft incompetence-and-ADHD have kind-of eliminated that threat all by itself.

Also: turns out that, if you put enough effort into it, Linux is actually a quite-usable gaming platform.

Still: are consumers better off today than in the PS2 era? I sort-of doubt it, but, yeah, alternate universes and everything...
by locknitpicker | 2025-12-18 16:40:31+00:00
I don't know what argument you think you are making. React was released in 2011 whereas AngularJS was released in 2010 and Angular2+, what we actually call Angular, was released in 2014.

So your counter examples of popularity are projects what at best started out at the same time as React but unlike React winded down in popularity.

After over a decade l, React is not only the most popular framework by far but also is the support framework for a few of the top 10 frameworks.

So what point did you thought you were making? That React managed to become the dominant framework whereas your examples didn't?
by sovietmudkipz | 2025-12-18 16:40:42+00:00
Hobbyist game dev here with random systemd thoughts. I’ve recently started to lean on systemd more as my ‘local game server process manager’ process. At first I thought I’d have to write this up myself as a whole slew of custom code, but then I realized the linux distros I use have systemd. That + cgroups and profiling my game server’s performance lets me pack an OS with as many game servers dynamically (target 80% resource utilization, funny things happen after that — things I don’t quite understand).

In this way I’m able to set up AWS EC2 instances or digital ocean droplets, a bunch of game servers spin up and report back their existence to a backend game services API. So far it’s working but this part of my project is still in development.

I used to target containerizing my apps, which adds complexity, but often in AWS I have to care about VMs as resources anyways (e.g. AWS gamelift requires me to spin up VMs, same with AWS EKS). I’m still going back and forth between containerizing and using systemd; having a local stack easily spun up via docker compose is nice, but with systemd what I write locally is basically what runs in prod environment, and there’s less waiting for container builds and such.

I share all of this in case there’s a gray beard wizard out there who can offer opinions. I have a tendency to explore and research (it’s fuuun!) so I’m not sure if I’m on a “this is cool and a great idea” path or on a “nobody does this because <reasons>” path.
by chamomeal | 2025-12-18 16:40:47+00:00
Sorry I know other people have responded already, but it means you don't have to write any client side javascript at all. You can just skip along with a server that returns html. Just throw the script tag in there, and you're done.

The magic of this is that it's pretty easy to make SPA-like webapps with no javascript or complex client side framework. You can write your server in python, rust, clojure, whatever. If you don't need a lot of state management, it's really simple and awesome.
by dakial1 | 2025-12-18 16:40:51+00:00
Yeah this has nothing to do with playing RPG, just a generation of screens.

But it reminded one of the firsts prompts I tried with ChatGPT back in 2022. I asked him to simulate a text-based adventure (based on the discworld universe) and every command I gave it would behave as an open world text RPG. It was pretty mindblowing
by jhallenworld | 2025-12-18 16:41:07+00:00
So this link is interesting for a different reason: look at the references at the end of the paper. It's awesome that the references include URLs. IMHO, old papers should all be updated to include such hyperlinks.

I'm pleased that the references to other ACM papers do work.

But try to click on this one:

Bainbridge, L. 1983. Ironies of automation. Automatica 19(6): 775-779;

https://pdfs.semanticscholar.org/0713/bb9d9b138e4e0a15406006...

Fail! No way to read the paper without paying or pirating by using scihub (and even if you do get the .pdf via scihub, its references are not hyperlinks). This does not help humanity, it makes us look like morons. FFS, even the music industry was able to figure this out.
by WhyOhWhyQ | 2025-12-18 16:41:11+00:00
Well it's been interesting talking to you. In good faith, I honestly cannot conceive of how arming the population prevents tyranny though. You give the example of Iraq and Afghanistan. Presumably you're saying the tyranny was the US occupation? Weren't these groups armed not before, but as a result of first (I believe) soviet and then American occupations?

Are there examples in modern times of a stable society consisting of a heavily armed population such that as a result of this tyranny has been curbed? Americans are the most heavily armed population in the world and it seems that tyranny is measurably setting in right now. The stability seems like it was higher in the beginning of the 20th century too. The 60-70's and now are the most unstable periods I believe, and the number of guns has only increased. So I don't think the US would be a good example.

In good faith, I cannot see how arming civilians reduces tyranny in modern times, unless your model actually is Afghanistan and Iraq. In those cases it's not that all civilians are armed. There are armed groups. That's not a world I want to live in though, anyways.
by torginus | 2025-12-18 16:41:12+00:00
I think an important distinction has to be made between personal values and opinions, and politics, both in the confines of this discussion and generally in society.

I think the lack of this distinction has led to much, and very painful and bitter online discussion, whereas people in a tribalist political mindset try to pigeonhole others based on a throwaway statement into either a friendly or enemy camp.

I broadly agree with the value that competence is more important in politeness or vibes, especially in people who build critical infrastructure - in fact it is a very very welcome property of these people that they care about things on a level that seems unreasonable to me.

This is true basically of everything critically important in life. One example is security. Everyone enjoys the privilege of using a web browser to visit any website and not have their PC compromised thanks to a variety of measures created by people who care intensely about these things.

If the crash testing on my car was done by people who sought out some amicable middle ground so as to not upset engineers who have to redo the frame of the car after a test gone horribly wrong, and accounting, who gets the bill for it, I would be sweating bullets every time I had to drive anywhere.

Politics imo is the worst sort of tribalism - the idea that people must be sorted into totally disjunct groups who are the bitter enemies of each other - thankfully doesn't translate into practice. Two people might root for sports teams that are eternal rivals, one person's favorite food might be hated by the other, they might disagree on what the important issues are, or what should be done about them, but thankfully that doesn't necessarily stop them from being the best of friends.

That's why there's a blanket ban on discussing politics in every place where people are expected to maintain amicable civility towards each other - family dinners, the workplace, gatherings with friends and acquaintances etc., with everyone usually getting antsy whenever 'politics' is brought up.