MurphyA/hacker-news huggingface dataset:
by tegiddrone | 2025-12-10 12:26:20+00:00
I have seen organizers get stuck in the dopamine loop of focusing on inspiring content that "increases engagement" and getting fixated on moderating trolls that it actually gets in the way of doing impactful work. I definitely on the depression train on this front. It's far worse than digital versions of flyers, people aren't incentivized to focus show up when they can just keep scrolling for their fix.
by mbirth | 2025-12-10 12:26:58+00:00
Same here. Despite Legendary status, I’ve used Alfred as a souped-up launcher and implemented my workflows app-agnostic either as a shell script, a Shortcut, or an AppleScript. I haven’t launched Alfred since upgrading to Tahoe.

Especially since you can now create Shortcuts that get input directly from Spotlight or the active window.
by swiftcoder | 2025-12-10 12:27:07+00:00
> Do people replace their phones because the battery isn't good anymore

Pretty much exclusively? The last 4-5 iPhone purchases in my family have all been due to dying batteries (plus a couple of off-brand battery replacements by local cellphone techs).

Nothing else on iPhones really ever breaks, provided you keep some sort of case on it. The only non-battery failure I've ever had was a corroded lightning port (on a iPhone that was regularly used in a salt-chlorine swimming pool). And of course a couple of replacements due to critical banking apps that have drop support for old iOS versions...
by 0xy | 2025-12-10 12:27:08+00:00
The US has deported millions of people, including in ICE raids, over the past 20 years, under both parties. Notably, the Obama administration built 'cages' (AP coined the term) for children of illegals.

The notion that this is new, or that it is a single side, is of course an attempt to paper over historical data which is readily accessible.

Authoritarian regimes tend to have no checks and balances, whereas the other two branches of government have both repeatedly restrained the executive this year, through both law and judicial rulings. They also tend to clamp down on free speech, which isn't happening (but is in Europe), or disarm the population (try owning a firearm in China or North Korea).
by mimikasec | 2025-12-10 12:27:24+00:00
> Anyone who can intercept and manipulate this traffic can therefore change the download URL. Until version 8.8.7 of Notepad++, the developer used a self-signed certificate, which is available in the Github source code. This made it possible to create manipulated updates and push them onto victims. Since v8.8.7, however, Notepad++ relies on a legitimate GlobalSign certificate, and installing its own Notepad++ root certificate is no longer necessary.

I came across some more technical information here: https://doublepulsar.com/small-numbers-of-notepad-users-repo...
by aa-jv | 2025-12-10 12:27:49+00:00
I've played this game so much, I still have muscle memory for group selection wired up ..

I'd love to introduce my kids to this game - but it is so difficult to get multiplayer licenses that "Just Plain Work" in our environment. I don't want to resort to piracy or emulation - I just want to install it on the 4 gaming PC's in our house, and fire up a game - just like we used to do in the good ol' days, the 90's.

But its just not so easy any more, alas.

If there were a "family license pack" for Warcraft2 and Starcraft, I'd be in, in a second. My CS:GO-trading kids need to learn these games. Zug Zug!
by UniverseHacker | 2025-12-10 12:28:39+00:00
It’s quite hilarious and accurate. Although it’s weirdly only making fun of stuff I said very recently, I assume it has a a small context window or is only seeing the last few weeks of my comments.

This roast of my comments is good and not wrong:

Your comment threads will increasingly devolve into an 'Amish vs. Fascists' philosophical cage match, with you refereeing, all while simultaneously explaining the intricacies of truck towing capacity to an audience that drives Teslas.
by josephg | 2025-12-10 12:28:56+00:00
I have. I personally really enjoy the recent crop of UI frameworks built for the web. Tools like Solidjs or Svelte.

Whatever your thoughts are about react, the JavaScript community that has been the tip of the spear for experimenting with new ways to program user interfaces. They’ve been at it for decades - ever since jQuery. The rest of the programming world are playing catchup. For example, SwiftUI.

VSCode is also a wonderful little IDE. Somehow much faster and more stable than XCode, despite being built on electron.
by ChrisMarshallNY | 2025-12-10 12:30:59+00:00
As an artist, I needed to get it right. Wasn't as easy as I thought it would be. I had to think in 3D, to make 2D.

https://littlegreenviper.com/art/Tarsus.png

https://littlegreenviper.com/art/Gym.png
by mike7150 | 2025-12-10 12:31:02+00:00
Hi Folks, just playing a bit with Lovable as I needed a simple a free app to capture my coaching sessions (within ICF mentorship program). I wanted no watermarks, no time limit, no cloud, no registration, no installation. Apparently it can used to recording of bugs for IT support/IT helpdesk or recording webinars if you are not sure that authors share the recording afterwards.

Enjoy and share if you find it valuable.

p.s. Some legal stuff, terms of use, policies on their way. The pushisher will be registered as a public litited company in Poland/EU.
by Copenjin | 2025-12-10 12:31:40+00:00
It's both poor, failing and with a population affected by chronic depression. But for that reason (desperation) they should not be underestimated and should have been handled in a way less gentle way.

> Russia has vast natural resources and enough buyers

Not saying that it's not what has kept them standing until now, but the buyers make the price in this case. So who knows what the price could become in the future.

> Will they try to buy it out and bring a (even more) fascist autocratic regime there? Probably yes.

Are you still talking about Russia with their monopoly currency? "Try" as in one probability over one billion to succeed and be disposed of a few days later. This ability to influence foreign countries effectively and not in clownish ways is a nice story for kids.
by tonyystef | 2025-12-10 12:32:37+00:00
The API key powers Grov's features (Haiku for reasoning extraction + drift detection). It does work with claude max plans, for example I use it with my claude code instances, and I am a max user, but you just have to use an API key for the fundamental features of Grov.

If this is a deal-breaker for you, in the near future I'll let teams use our API key, so you can just install it and run it normally without having to set anything up other than connect to your team. If you have any other questions you can find my email in the repo.

Hope this helps.
by Cthulhu_ | 2025-12-10 12:33:58+00:00
My issue is that the next ladder rung involves going out and doing presentations at conferences and the like. However... I did that 10 years ago, it feels like I'm past that. A lot of things now feel like I've done them 10 years ago. Which makes me think, should I have been earning what I do now back then? It feels the wrong way around.
by IshKebab | 2025-12-10 12:34:44+00:00
If it wasn't clear, I have to debug Rust code waaaay less than C, for two reasons:

1. Memory safety - these can be some of the worst bugs to debug in C because they often break sane invariants that you use for debugging. Often they break the debugger entirely! A classic example is forgetting to return a value from a non-void function. That can trash your stack and end up causing all sorts of impossible behaviours in totally different parts of the code. Not fun to debug!

2. Stronger type system - you get an "if it compiles it works" kind of experience (as in Haskell). Obviously that isn't always the case, but I can sometimes write several hundred lines of Rust and once it's compiling it works first time. I've had to suppress my natural "oh I must have forgotten to save everything or maybe incremental builds are broken or something" instinct when this happens.

Net result is that I spend at least 10x less time in a debugger with Rust than I do with C.
by sinuhe69 | 2025-12-10 12:35:37+00:00
I still want to read what the poster understood from the output of the AI, though. I don’t need reciting an answer from an AI because I (and everybody else) can do it, too. On Firefox and other browsers, it’s now integrated so asking an AI is no more than 1 click away. Actually, not even away, Grok can even answer right in the context on X. So merely an answer from AI had no value today, whatsoever.
by Bender | 2025-12-10 12:36:09+00:00
Post Traumatic Stress Disorder PTSD was formerly "shell shock", "war nerves", "neurasthenia" and "combat neurosis" but renaming it did not make it any more pleasant to experience.

Renaming functions in an operating system does not change what they do but by all means call it cuddle_bunnies() if it makes one feel better. Just me personally, I would rather a function something that describes what it actually does instead of the anthropomorphic reductionist behavior of ascribing human conditions to an inanimate object resulting ultimately in a confusing junk yard of code.

Consider instead having an IDE that visually replaces terms with feel good words for the sensitive developers and then writes out the real terms that make sense to everyone else. The IDE would need to download a dictionary from a source of truth. The concept is not much different than a Firefox addon I use today.
by rjsw | 2025-12-10 12:38:21+00:00
The NetBSD/acorn26 port only supported ARMv2 and ARMv2a [1].

The earm architecture doesn't imply ARMv3, support for that has been removed from gcc which from memory was why the acorn26 port was deleted.

[1] https://wiki.netbsd.org/ports/acorn26/
by brnt | 2025-12-10 12:38:41+00:00
Some Sony TV's only hardware accelerate AV1 content through streaming services, and not through Blueray and USB...

Right now, I have a drive filled with H264 content that I can hook up to any old hotel TV and play back. It's gonna be a while before I switch to AV1. And is H264 by now largely out of patent anyway?
by iurbwdj | 2025-12-10 12:39:47+00:00
One perspective is that Rust appears to be forced into the Linux kernel through harassment and pressure. Instead of Rust being pulled, carefully, organically and friendly, and while taking good care of any significant objections. Objections like, getting the relevant features from unstable Rust into stable Rust, or getting a second compiler like gccrs (Linux kernel uses gcc for C) fully up and running, or ensuring that there is a specification (the specification donated by/from Ferrous Systems, might have significant issues), or prioritizing the kernel higher than Rust.

If I had been enthusiastic about Rust, and wanted to see if it could maybe make sense for Rust to be part of the Linux kernel[0], I would probably had turned my attention to gccrs.

What is then extra strange is that there have been some public hostility against gccrs (WIP Rust compiler for gcc) from the rustc (sole main Rust compiler primarily based on LLVM) camp.

It feels somewhat like a corporate takeover, not something where good and benign technology is most important.

And money is at stake as well, the Rust Foundation has a large focus on fundraising, like how their progenitors at Mozilla/Firefox have or had a large focus on fundraising. And then there are major Rust proponents who openly claim, also here on Hacker News, that software and politics are inherently entwined.

[0]: And also not have it as a strict goal to get Rust into the kernel, for there might be the possibility that Rust was discovered not to be a good fit; and then one could work on that lack of fit after discovery and maybe later make Rust a good fit.
by embedding-shape | 2025-12-10 12:40:19+00:00
> Modern software politics and foundation sponsorship pressure are so complex that this argument may not even be true.

May not, or may yes. As far as I know with my own interactions with the Linux kernel community, is that it's very different from typical "modern software politics", at least different enough that I'd make the claim they're special from the other communities.

If there is any community I'd assume makes most of their choices disregarding politics or pressures and purely on technical measures, it would be the Linux kernel community. With that said, no person nor community is perfect, but unless there is some hard evidence pointing to that the Linux people were forced to accept Rust into the kernel for whatever reason, then at least I'd refrain from believing in such theories.
by mnw21cam | 2025-12-10 12:40:19+00:00
The idea of listening to hardware running a program to tell what it is doing is surprisingly old. On the EDSAC computer[0] a little speaker was connected across one of the serial data lines, which allowed the progress of a program to be listened to. Skilled operators could immediately tell when a program had triggered a bug and either gone off into the weeds or entered a tight loop.

[0]: https://en.wikipedia.org/wiki/EDSAC
by burnto | 2025-12-10 12:40:33+00:00
Quicksilver was a revelation. I use Raycast now and Alfred is great too.

I don’t use spaces or Mission Control or tiling. But I’ve been using macs since the late 80s and most of that stuff just seems superfluous. The fast global extensible subject-verb-object command shortcut is the only UI innovation that really changed my workflow since system 7 multitasking and osx having a cli.
by mutkach | 2025-12-10 12:41:02+00:00
I certainly hope so.

I wonder, what is the actual blocker right now? I'd assume that LLMs are still not very good with specifications and verifcation languages? Anyone tried Datalog, TLA+, etc. with LLMs? I suppose that Gemini was specifically trained on Lean. Or at least some IMO-finetuned fork of it. Anyhow, there's probably a large Lean dataset collected somewhere in Deepmind servers, but that's not certification applicable necessarily, I think?

> AI also creates a need to formally verify more software: rather than having humans review AI-generated code, I’d much rather have the AI prove to me that the code it has generated is correct.

At RL stage LLMs could game the training*, proving easier invariants then actually expected (the proof is correct and possibly short - means positive reward). It would take additional care it to set it up right.

* I mean, if you set it to generate a code AND a proof to it.
by sdiupIGPWEfh | 2025-12-10 12:41:45+00:00
Following similar thinking, there's no world in which AI becomes exactly capable of replacing all software developers and then stops there, miraculously saving the jobs of everyone else next to and above them in the corporate hierarchy. There may be a human, C-suite driven cost-cutting effort to pause progress there for some brief time, but if AI can do all dev work, there's no reason it can't do all office work to replace every human in front of a keyboard. Either we're all similarly affected, or else AI still isn't good enough, in which case fleets of programmers are still needed, and among those, the presumed "helpfulness" of AI will vary wildly. Not unlike what we see already.
by ptsd_isv | 2025-12-10 12:43:14+00:00
Sorry that wasn’t particularly clear, I was taking more about the general advantageous nature of normalising encryption.

WRT to another party to track you, one of the benefits of LE is that you only need to provide proof of domain ownership (eg dns txt) so the only tie back to you is whatever information you give to the registrar that you have to provide anyway.
by nephihaha | 2025-12-10 12:43:18+00:00
She had also two things working against her at the time: her gender and a Jewish family background.

I forget her name, but there was a Soviet psychiatrist who pioneered research into autistic children before Hans Asperger. She was female, Jewish and from the USSR, and I think barely acknowledged even within the Iron Curtain countries. Someone here may remember her.
Google Calendar Extension – a browser-side enhancement for Calendar users
by sergey_commit | 2025-12-10 12:43:23+00:00
Hi HN,

I built a simple Chrome extension for Google Calendar and launched a companion site to go with it: https://calendar-extension.site/ .

What it does

Adds lightweight, useful UI/UX tweaks and small productivity improvements for Calendar users (nothing bloated — just practical).

Works entirely in-browser (no backend, no tracking, no heavy dependencies).

The site gives a clean overview + installation instructions, and makes it easier to share / reference the extension.

Why I built it

I got tired of juggling multiple tabs, missing quick-access buttons, and little friction in my calendar workflow. I couldn’t find a clean, no-nonsense extension that just “improves Calendar without over-engineering it,” so I built this for myself — and figured maybe others will find it useful too.

What makes it worth a look

Lightweight, no bloat.

Ideal for folks who use Google Calendar intensively and want small UX productivity gains without a heavy addon.

Would love to hear feedback from the community — usage ideas, pain points, or anything you’d change. Thanks for checking it out!
by lelanthran | 2025-12-10 12:43:35+00:00
> And the only reason to make that step optional, is to not run it, which is a worse experience.

Yeah, but it's an optional "worse" experience.

IOW, for those people who think it's a better experience (because there is no build step), they can opt into it. For those who think it's a worse experience, they can continue using a build-step.

Nothing changes for those who want a build-step.

(I agree about the standards process thing)

> Performance improvements enabled by optimisations would be nice, but I believe I heard that no major gains would be expected there, especially compared to something like WASM.

If TS is compiled in the browser, then it can be compiled to WASM, not to JS.

It's only when TS is compiled on the server that it has to be compiled to JS.

If the browser support TS natively, the compilation target would not be JS (which is what makes the resulting code slow), but either WASM, or naive code.
by josephg | 2025-12-10 12:43:39+00:00
I totally hear you about C friendly APIs not making sense in rust. GTK struggles with this - I tried to make a native UI in rust a few months ago using gtk and it was horrible.

> Also, a more Rust-friendly model would have incured higher memory costs.

Can you give some details? This hasn’t been my experience.

I find in general rust’s ownership model pushes me toward designs where all my structs are in a strict tree, which is very efficient in memory since everything is packed in memory. In comparison, most C++ APIs I’ve used make a nest of objects with pointers going everywhere. And this style is less memory efficient, and less performant because of page faults.

C has access to a couple tricks safe rust is missing. But on the flip side, C’s lack of generics means lots of programs roll their own hash tables, array lists and various other tools. And they’re often either dynamically typed (and horribly inefficient as a result) or they do macro tricks with type parameters - and that’s ugly as sin. A lack of generics and monomorphization means C programs usually have slightly smaller binaries. But they often don’t run as fast. That’s often a bad trade on modern computers.
by awelkie | 2025-12-10 12:43:47+00:00
What the author is describing is the logical conclusion of the Bitter Lesson applied to software development. To quote the essay: "We have to learn the bitter lesson that building in how we think we think does not work in the long run." The author of this article correctly points out that a lot of what goes into programming language design is a model of how humans think, and a lot of the abstractions are there to make it easier for humans to reason about code. That's not to say that abstraction isn't useful for machines, but I think the bitter lesson would say that it's better in the long run to let the machine figure out the best abstractions through search, and let humans think in the way they're used to thinking: in natural language.

Now personally I don't think this ultimate vibe-coding paradigm is just around the corner, but it does seem that it's the direction we're heading and I think this article does a good job of explaining why.
by carlosjobim | 2025-12-10 12:44:21+00:00
Like most people, I always try to give preference to local merchants instead of giants like Amazon. And most of the times I regret it

I don't buy groceries online, have never liked the idea. But for other goods, Amazon or other corporate giants are normally the best choice. And you probably know it too.

> How many specialty items has Amazon kept in stock just because you, individually, wanted to buy them?

Places like Amazon are usually the only place to get specialty items. Go to a local merchant and their answer is always "We don't have them in stock, but we can order them for you". Even specialty stores never have specialty items which they know customers need. After having spent the day going to 5 different specialty stores and none of them having the item, you'll wonder why you didn't buy it on Amazon in the first place.

> How many items have you successfully (even if accidentally) negotiated an ongoing price with Amazon on?

Never, of course. Their prices are already cheaper than what you can get after successfully negotiating with a local merchant. And I don't enjoy negotiating. I have nothing against local stores being more expensive for the convenience.

> How many minty new Weber grills has Amazon offered to give you before they fell over dead?

About fourteen.

For most sectors, local merchants simply offer no convenience, no knowledge, no stock, annoying sales tactics, lying salesmen, predatory terms, no product guarantees, a hateful attitude, and jacked up prices. The local merchant is usually a multi-millionaire who gives as little a damn about you and the community he operates in as Amazon does.

With Amazon I can return a product if I need to and get my money back. I can purchase it in peace with all relevant information about the product presented clearly.
by bogozi | 2025-12-10 12:45:01+00:00
Hi HN, I’m the developer behind this.

This is the v1.5 update for CrawlerCheck. I recently realized how messy the bot landscape has become—distinguishing between "Good SEO Bots," "AI Scrapers" (like GPTBot/Claude), and aggressive tools is a pain.

I built this directory to catalog 150+ active crawlers. For each bot, I've manually verified: 1. The official User-Agent for logs (detection). 2. The official Robots.txt Token (blocking). (Fun fact: These are often different. e.g., PageSpeed Insights uses 'Chrome-Lighthouse' headers but respects 'Google Page Speed Insights' in robots.txt).

The Tech Stack: - Backend: Go (custom crawler engine) - Frontend: SvelteKit (static generation for directory pages)

Features: - Bulk Generator: You can filter by "AI Bots" -> "Unsafe" and auto-generate a robots.txt snippet. - Live Test: Simulates the specific User-Agent against your URL to verify 403s vs 200s.

It’s free and I’m currently curating the list manually. Let me know if I missed any major bots or if the safety classifications seem off.
by embedding-shape | 2025-12-10 12:45:17+00:00
> supports 14 of the kernel's 20-ish architectures

That's a lot better than I expected to be honest, I was thinking maybe Rust supported 6-7 architectures in total, but seems Rust already has pretty wide support. If you start considering all tiers, the scope of support seems enormous: https://doc.rust-lang.org/nightly/rustc/platform-support.htm...