MurphyA/hacker-news huggingface dataset:
by testdummy13 | 2025-11-12 17:32:14+00:00
As long as they don't sit in the passing lane, I don't see how a fleet of vehicles moving at a consistent speed and not driving erratically will have any more negative impact on traffic than a human driver. Like other's have mentioned, it might actually improve traffic as you don't have people speeding up to get close to a person and then quickly slowing down, causing "phantom" traffic jams.

Also, if the Waymos are following the laws, and that causes problems... then maybe those laws should be changed? Especially if most drivers already don't follow the laws.
by simonw | 2025-11-12 17:32:24+00:00
I'm not sure how much of a security concern this one is, at least for the kinds of things I care about with respect to containers.

I want my containers to be able to run work without other containers spying on them (already hard thanks to timing attacks).

This IPC channel only works if both containers are collaborating together. I don't think you can use it to spy on my container if my container isn't actively participating.
by jjfoooo4 | 2025-11-12 17:32:29+00:00
Yes. People do in fact safely drive the speed limit.

If "we'll have too many cars on the freeway following the speed limit" ranks as a serious concern, I think we've really lost the plot.

I recently drove by a fatal accident that had just happened on the freeway. A man on the street had been ripped in half, and his body was lying on the road. I can't imagine the scene is all that unlike the 40 thousand other US road deaths that happen every year.

As a driver I'm willing to accept some minor inconvenience to improve the situation. As a rider I trust Waymo's more than human drivers.
by dfxm12 | 2025-11-12 17:32:38+00:00
A punishment may (or may not) be deterrent enough for the people who saw it. However, when you get a new class/userbase regularly or when new technology becomes available (including devices that can control your hardware remotely), an ounce of prevention is worth a pound of cure.

Perhaps using your watch as intended doesn't seem particularly mischievous in the moment. In this way, legitimate users/sys admins/script kiddies get into trouble because a sys admin didn't have reason to believe their users would be "particularly mischievous".
by tajd | 2025-11-12 17:32:38+00:00
I feel like articles like this need to come with a diagram like this to put it in the context of relevant tradeoffs.

High Scale/Revenue │ │ Managed Services │ Self-hosted K8s (Overpaying but │ (article is no choice) │ pitched here) │ ────────────────────────────┼──────────────────────────── Low capacity │ High capacity │ │ Managed Services │ Managed Services (Right choice - │ (Wasting money on focus on product) │ platform team) │ Low Scale/Revenue

Or something like that. Maybe as a function of time as well but that might be harder to do in 2d.

Sure I can absolutely manage my own k8s, but there is no doubt it's easier for me to spin up postgres and ship faster on my own. At enterprise scale it's definitely a lot easier to do everything in k8s and be able to manage as many aspects as possible. I have experience of both.
by edarchis | 2025-11-12 17:32:49+00:00
It's funny to talk about internationalization but only support Western date format.

If you are managing hospital admissions in Nepal, you have to be able to provide the date in Nepalese calendar and in the common one. And believe me, the Nepalese calendar is a complex one.

In Ethiopia, you'll have to support 13 months but they'll be close enough to common dates that people will manage mentally. But imagine that you have to handle a quarter of 4 months, one of which is 5 or 6 days long.

If someone has a good reference for a properly international picker, I'm all ears.
by verdverm | 2025-11-12 17:34:01+00:00
Helm is my example of where DevOps lost it's way. The insanity of multiple tiers on templating an invisible char scoped language... it blows my mind that so many of us just deal with it

Nowadays I'm using CUE in front of TF & k8s, in part because I have workloads that need a bit of both and share config. I emit tf.json and Yaml as needed from a single source of truth
by stackskipton | 2025-11-12 17:34:12+00:00
Counter Argument to "HA HA, Kubernetes sucks": https://www.macchaffee.com/blog/2024/you-have-built-a-kubern...

Kubernetes is a rat nest and I long hope for Kubernetes be simpler (Who needs this Gateway API?) but Devs keep building crazy and crazy solutions so we have to pivot to keep up.
by cubefox | 2025-11-12 17:34:18+00:00
There seems to an interesting difference between Prolog and conventional (predicate) logic.

In Prolog, anything that can't be inferred from the knowledge base is false. If nothing about "playsAirGuitar(mia)" is implied by the knowledge base, it's false. All the facts are assumed to be given; therefore, if something isn't given, it must be false.

Predicate logic is the opposite: If I can't infer anything about "playsAirGuitar(mia)" from my axioms, it might be true or false. It's truth value is unknown. It's true in some model of the axioms, and false in others. The statement is independent of the axioms.

Deductive logic assumes an open universe, Prolog a closed universe.
by glenstein | 2025-11-12 17:34:46+00:00
Discovery isn't binary yes/no, it involves competing proposals regarding methods and scope for satisfying information requests. Sometimes requests are egregious or excessive, sometimes they are reasonable and subject to excessively zealous pushback.

Maybe you didn't read TFA but part of the case history was NYT requesting 1.4 billion records as part of discovery and being successfully challenged by OpenAI as unnecessary, and the essence of TFA is advocating for an alternative to the scope of discovery NYT is insisting on, hence the "not rolling over".

Try reading, it's fun!
by senderista | 2025-11-12 17:35:14+00:00
So the "obvious" (but complex!) solution is a "hybrid cloud": use on-prem for the predictable, constant "DC component" of your demand, and use cloud for cyclical or unpredictable demand changes. That will keep peak demand decoupled from permanently provisioned capacity while saving on always-utilized capacity. Easier said than done, of course.
by estearum | 2025-11-12 17:35:18+00:00
> These sentances conflict. I recently took a taxi from JFK to Manhattan during rush hour, and I estimate if the driver didn't use all of the paved surface, it would have taken at least 10 more minutes to arrive. (And it wouldn't have been an authentic NYC experience)

My hot take is that people who "use all of the paved surface" because their whiny passenger is "in a rush" (which of course everyone stuck in traffic is) should permanently lose their license on the very first offense.

It is just gobsmackingly antisocial behavior that is 1) locally unsafe and 2) indicative of a deep moral rot.

Obviously exceptions can be made for true emergencies and what not, but "I need to save 10 minutes" is not one of them.
by ivankra | 2025-11-12 17:35:20+00:00
My page is about generic JS benchmarks. Just did a quick run with a sample javascript challenge I got via yt-dlp (https://raw.githubusercontent.com/ivankra/javascript-zoo/ref...):

$ time ./v8 /bench/yt-dlp.js | md5sum - a730e32029941bf1f60f9587a6d9554f - real 0m0.252s user 0m0.386s sys 0m0.074s $ time ./quickjs /bench/yt-dlp.js | md5sum - a730e32029941bf1f60f9587a6d9554f - real 0m2.280s user 0m2.507s sys 0m0.031s

So about 10x slower for the current flavor of YouTube challenges: 0.2s -> 2.2s.

A few more results on same input:

spidermonkey 0.334s v8_jitless 1.096s => about the limit for JIT-less interpreters like quickjs graaljs 2.396s escargot 3.344s libjs 4.501s brimstone 6.328s modernc-quickjs 12.767s (pure Go port of quickjs) fastschema-qjs 1m22.801s (Wasm port of quickjs) boa 1m28.070s quickjs-ng 2m49.202s
by ndriscoll | 2025-11-12 17:35:33+00:00
I also use a malware blocker at all times (to not have one on all computers would be like running an open telnet server: insane), so can't say I have personal experience with it, but there is plenty of anecdotal discussion about blatant financial scams, e.g. [0][1]. That first one OP claims Youtube acknowledged receiving their report, investigated it, and determined that the ad was acceptable. If true, they are admitting they are specifically aware of these ads and that users are raising complaints about them (they don't exist now, but a court could subpoena information about whether OP's story is true).

Additionally, Google has a well known policy of allowing people to take out ads (which look exactly like a search result) for someone else's trademark (defeating the entire purpose of a trademark), and the FBI has a frequently referenced notice[2] to US citizens to be aware of fraud where scammers take out impersonating ads on "Internet search results" to e.g. lead people to the wrong site for financial institutions. It absolutely blows my mind that no one is prosecuted for participating in this.

[0] https://old.reddit.com/r/youtube/comments/18gjiqy/youtube_do...

[1] https://www.reddit.com/r/Scams/comments/1h6rdtj/massive_incr...

[2] https://www.ic3.gov/PSA/2022/PSA221221
by flanbiscuit | 2025-11-12 17:35:44+00:00
A while ago I was at an agency and we got a client that was a very popular weather app. Things like mapbox and some analytics libs (can't remember exactly, this was 2019) The project was a big redesign of the app. We looked into using Xamarin to see if we can at least write the core logic in C#. The issue we ran into is that there were many third party libraries we needed to import that weren't converted to Xamarin/C#. There was a way to try and have it automatically bind but never worked properly. In the end we just went pure native. Turns out Xamarin was a fun toy framework but Microsoft couldn't point us to anything serious and battle tested in production written in it.

I'm curious to see if .NET MAUI will surpass Xamarin and actually get serious adoption. They have to figure out the third party binding issue.
by pegasus | 2025-11-12 17:35:52+00:00
I get sick not only due to overexposure to LLM style, but also because I associate it now with a very poor substance-to-style ratio. LLMs tend to not only overuse but also misuse those turns of phrases it returns to obsessively. For example, enumerating three items where one is just another way to reference one of the first two, or it's of a different kind and doesn't really fit with the other two items. Or it will use "it's not just A, it's B" where B is unrelated to A, so "it's A and B" would have been more appropriate. Sacrificing logic for reasons of style. It also signals I should be on the lookout for possible hallucinations.
by dekhn | 2025-11-12 17:36:07+00:00
Frankly I think this is inevitable- it's practically one of the laws of computing: any sufficiently complex system will ultimately require a turing-complete language regardless of its actual necessity.

See also: """Zawinski's Law states: "Every program attempts to expand until it can read mail. Those programs which cannot so expand are replaced by ones which can."""" and """Greenspun's tenth rule of programming is an aphorism in computer programming and especially programming language circles that states:[1][2]

Any sufficiently complicated C or Fortran program contains an ad hoc, informally-specified, bug-ridden, slow implementation of half of Common Lisp."""

(from the above I conclude that if you want to take over the computer world, implementing a mail reader with an embedded Lisp).
by Karrot_Kream | 2025-11-12 17:36:14+00:00
FedNow is a push protocol, like crypto and most other bank transfer methods. The account holder needs to specifically approve moving funds over.

1. Yes unless FedNow can interface with other bank interchange standards, I'm not sure where this will end up.

2. Exception resolution is a part of FedNow [1]. My guess is banks will have their own layer atop the resolution layer discussed. I suspect this will be a middleman layer.

3. FedNow is a push protocol, like crypto. Banks would have to offer recurring payment functionality atop FedNow.

4. Yes this will probably turn into some form of deposit like what happens with a debit card.

5. Again FedNow is a push protocol it's not a pull protocol. It allows for Request For Payment requests but nothing can directly debit from your bank account.
by ux266478 | 2025-11-12 17:36:18+00:00
Did they teach you how to use DCGs? A few months ago I used EDCGs as part of a de-spaghettification and bug fixing effort to trawl a really nasty 10k loc sepples compilation unit and generate tags for different parts of it. Think ending up with a couple thousand ground terms like:

tag(TypeOfTag, ParentFunction, Line).

Type of tag indicating things like an unnecessary function call, unidiomatic conditional, etc.

I then used the REPL to pull things apart, wrote some manual notes, and then consulted my complete knowledgebase to create an action plan. Pretty classical expert system stuff. Originally I was expecting the bug fixing effort to take a couple of months. 10 days of Prolog code + 2 days of Prolog interaction + 3 days of sepples weedwacking and adjusting the what remained in the plugboard.
Show HN: Replace Your macOS Dock
by talksik | 2025-11-12 17:36:22+00:00
If you're familiar with Streamdeck, this is a similar but simpler alternative built for work, and free (ad-supported). Essentially, it allows you to use your iPad for shortcuts on your mac. The extra real-estate is quite nice for people who have a desk setup with monitor and other peripherals.

I'm posting this because I completed a new project which lets people declaratively define all of the "key" that show up in their app, via YAML. This allows you to specify when particular shortcuts show depending on which app or website you're in (e.g. create specific shortcuts for Gmail, Neovim, Linear, Notion, etc). Nix fans will appreciate this. However, I'd like feedback on this overall approach and experience, so please hit me in the comments!

Check out our docs for more information on this. Go to https://flowylabs.ai and then "Docs" for more technical details. I call this "programming your keypad" which allows people to configure every inch of their macro-pad.
by GuinansEyebrows | 2025-11-12 17:36:25+00:00
i like and agree with all of this, with one extra dimension: i've challenged myself throughout my life to view my (almost entirely stupid) tattoos as a memory reference for where i was at in my life at the time. rather than regret them (with one exception, which i've since blasted over with a solid black box as a different type of reminder), i can gauge my own growth against them and appreciate that while i'm still a huge idiot, i'm at least getting a little better day by day :) plus, my memory is pretty bad, so having a few material reminders of my past helps jog some good (and occasionally bad) memories that contribute subconsciously to who i've become as a person. thanks for posting this!
by zahlman | 2025-11-12 17:36:46+00:00
> To answer your question more directly: "Yes. If I were working with a coworker that I know has publicly and thoroughly quoted science that indicates men are categorically more impulsive than women and he gives me, a man, a bad performance review, I would wonder if he did because he doesn't think men have the self-control to make good leaders." That's the hostile work environment, sadly.

1. Okay. So the psychologists deserve a lifetime of unemployment for daring to choose that major. Understood.

2. This is, as far as I can tell, the same form of argument as: "Yes. If I were working at a company that I know has publicly discussed and implemented DEI policies that argue for hiring people on the basis of traits other than their ability to do the job, and I saw a coworker do a bad job, I would wonder if that coworker were an unqualified 'diversity hire'." This is, to my understanding, one of the arguments that got Charlie Kirk shot; as it's one of the ones people cite when trying to justify the shooting.

But that argument is more coherent, because it considers the effect of hiring policy on hiring, rather than the effect of statistical traits of the general population on hiring. And because it considers job performance as evidence of job aptitude, rather than misrepresenting a statistical difference as a "categorical" one and then making an interpretation about personality traits as they correspond to job aptitude. (Part of the memo was specifically about how to prevent personality traits from interfering with job aptitude, coming from a belief that they don't inherently.)

> one cannot be "just asking questions" about protected categories

Again: his feedback was explicitly solicited. It is extraordinarily unjust to solicit feedback but punish people for saying things you don't want to hear. This is in fact a hallmark of the sorts of authoritarian regimes Damore complained about.

> it's not like individuals from the categories with the ... traits ... magically stop being of that category when they are hired

No, but if the trait is relevant to job performance, then they do stop having that trait when they are hired, because the hiring process filters for it. That's the point. Damore repeatedly, explicitly stated throughout the memo that such stereotyping is inappropriate. It represents ignoring evidence you already have. "You are in a group that tends to X, therefore you are X" is false logic that Damore calls out as false logic. It is being projected onto him by the complainants. Reasonable people did not make that inference, because the inference is not reasonable — because it is not backed by logic, nor is it compatible with the principle of charity that is expected of reasonable people. Coming to these sorts of conclusions requires many unreasonable acts, such as repeatedly ignoring explicit disclaimers.
by elchananHaas | 2025-11-12 17:37:23+00:00
It is well known that Rust's async model can lead to deadlocks. However, in the futurelock case I have come around to blaming the Async Locks. The issues is that they are not "fair" in that they don't poll the future holding the lock. There may be some other tradeoffs that would happen if the locks were in some way "fairer" but I think they should be explored.
by SamPatt | 2025-11-12 17:37:34+00:00
You blame the calculator for people's innumeracy?

I'd argue it's a failure of education or general lack of intelligence. The existence of a tool to speed the process up doesn't preclude people understanding the process.

I don't think this relates as closely to AI as you seem to. I'm simply better at building things, and doing things, with AI than without. Not just faster, better. If that's not true for you, you're either using it wrong or maybe you already knew how to do everything already - if so, good for you!
Show HN: FPGA Based IBM-PC-XT
by bit-hack | 2025-11-12 17:37:52+00:00
I built an IBM-PC-XT compatible computer using a mixture of authentic parts and a modern FPGA. The article linked contains a detailed description of the development process, and at the bottom is a link to the schematics and HDL source code.

My main goal for this project was to push myself to learn as much as possible while ending up with an small, fun, usable retro device I can play with.

The computer currently has the following features: - NEC V20 CPU running at 10Mhz - 1MB SRAM system memory - CGA graphics adapter with some EGA support - Micro SD card emulation of a Hard Disk - PS/2 keyboard and Mouse support - Adlib audio output using an authentic YM3014 DAC - Internal hard drive clicker - System peizo speaker

Feedback and suggestions for improvements are very welcome.
by morcus | 2025-11-12 17:37:53+00:00
I just tried this, and I couldn't quite get it to work.

``` type PickType<B extends Boolean> = B extends true ? number ? string;

function foo<T extends Boolean>(t: T): PickType<T> { return t ? 42 : "42; } ```

The compiler doesn't seem to get that the type of T is narrowed in the ternary branches, and thus Pick<T> is determined.

The error I get is that a number isn't assignable to a Pick<T>.
by dfxm12 | 2025-11-12 17:38:03+00:00
Were you under the impression that federal procurement was all above board before?

No, the only impression I had was from the earlier post, which is light on details, which is why I was asking for clarification.

Your options are corrupt procurement or corrupt procurement with a 15% administrative surcharge of make-work patronage jobs for someone’s mistress or friends.

This is an obvious false dichotomy.
by gjm11 | 2025-11-12 17:38:06+00:00
I think companies always prioritized their own interests.

A company can increase its profits (1) by improving their products and services, so that they'll get more customers or customers willing to pay more, or (2) by increasing how much of their revenue is profit by (e.g.) cutting corners on quality or raising prices or selling customers' personal information to third parties.

Either of those can work. Yes, a noble idealistic company might choose #1 over #2 out of virtue, but I think that if most companies picked #1 in the past it's because they thought they'd get richer that way.

I think what's happened is that for some reason #2 has become easier or more profitable, relative to #1, over time. Or maybe it used not to be so clearly understood that #2 was a live option, and #1 seemed safer, but now everyone knows that you can get away with #2 so they do that.
by wpm | 2025-11-12 17:38:23+00:00
> Speaking of copy/paste, that should work too, and ctrl-e, and ctrl-a, etc, etc.

readline in bash and zle in zsh both default to the standard emacs bindings so you're covered there.

The emacs bindings also work in every Cocoa NSTextField on macOS.

As far as having to go and download and configure all of those, 1., you don't need to do any of that, and you certainly wouldn't need to do it all at the same time. Configuring one of those a month when you come across needing one, and you find something in the default config you don't like, is definitely doable. 2. Once you do figure out your configs, they end up in your init.el. emacs is preinstalled on macOS and a quick $pkgmanager installed emacs away on Linux. Beyond that you can ship your entire setup just by downloading your emacs.d directory or init.el.

The same goes for basically any text editor, modern or not.
by fwip | 2025-11-12 17:38:56+00:00
When I was younger, I picked up a copy of "Mutant 59: The Plastic Eaters"[0] at a used book sale. While the book itself was rather shlocky, I always thought the premise was very compelling.

From memory; a scientist created a breed of bacteria that could digest a special food-like plastic, which was accidentally released, but sporulated as their special food source could not be found in the environment. Decades later, a product company introduced "bio-degradable" plastic for greener packaging, which happened to be similar enough to their original food source that the bacteria were able to feed on it. Unfortunately for humanity, plastic itself was also much more widely distributed in the current year, and the bacteria was able to make the jump from eating this plastic to eating "any" plastic. (For added drama, this process also resulted in the release of explosive gases - methane, maybe?)

Also perhaps related, I also picked up The Last Gasp[1] at the same book sale, another speculative sci-fi about global warming. It was very influential on my preteen mind.

[0]: https://www.goodreads.com/en/book/show/2368220.Mutant_59

[1]: https://www.goodreads.com/book/show/1685500.The_Last_Gasp
by georgehopkin | 2025-11-12 17:40:26+00:00
Researchers have developed a technology to swap the insecure foundations of global software with a safer alternative, outperforming artificial intelligence by guaranteeing “mathematical correctness” in the translation process.

The C programming language has underpinned critical systems — including operating systems and web browsers — since the 1970s. However, its age means it suffers from structural limitations that continuously cause severe bugs and security vulnerabilities.