MurphyA/hacker-news huggingface dataset:
by pdimitar | 2025-12-16 23:25:16+00:00
> I just wonder if the USB protocol can be hardened for this using some appropriate internal cabling

Honestly no idea. Should be doable but with personal computing being attacked every year, I would not hold my breath.

> Once you get to uATX and larger, this could potentially be via a PCIe adapter card too, right?

Sure, but then you have to budget your PCIe lanes. And once you get to a certain scale (a very small one in fact) then you have to consider getting a Threadripper board + CPU, and that increases the expense anywhere from 3x to 8x.

I thought about it lately and honestly it's either a Threadripper workstation with all the huge expenses that entails, or I'd probably just settle for an ITX form factor, cram it with 2-3 huge NVMe SSDs (8TB each), have a really good GPU and quiet cooling... and just expand horizontally if I ever need anything else (and make VERY sure it has at least two USB 4 / Thunderbolt ports that don't gimp the bandwidth to your SSDs or GPU so the expansion would be at 100% capacity).

Meaning that going for a classic PC does not makes sense if you want an internally expandable workstation. What's the point in a consumer board + a Ryzen 9950X and a big normal PC case if I can't put more than two old-school HDDs in there? Just to have a better airflow? Meh. I can put 2-3 Noctua coolers in an ITX case and it might even be quieter.
by SiempreViernes | 2025-12-16 23:26:26+00:00
> I just can't feel confident in any form of self report

How do you decide what to eat when you are out with friends if asking them for their opinion is out?

Or do you ask but then spend all night afterwards worrying that maybe they lied and you should have gone for tacos instead?

Seems exhausting, why not trust people a little?
by didgetmaster | 2025-12-16 23:26:33+00:00
There is an old saying that you are as happy as you choose to be. While some people have experienced very challenging circumstances and have trouble feeling happy; most miserable people are that way because they let little things get in the way of their happiness.

There are rich, healthy, popular people who feel awful. They might feel like a failure because they are constantly comparing themselves with more successful people (or at least believe all the wonderful posts on social media). They might immerse themselves in negative thoughts about the world and their own immediate surroundings.

But if you are always counting your blessings and trying to serve people who are less fortunate; you might realize that 'It's a Wonderful Life'.
by rendx | 2025-12-16 23:27:44+00:00
Luz Ibanez: https://www.middleeasteye.net/news/life-icc-judge-sanctioned...

I have few words to argue against what I consider to be 'midieval practices' that should not even exist as a thought in 'modern' Western 'democracies' on how to deal with international relations and law. Can you point me at the legal basis for this decision apart from "because we say so"? What crime did they commit? What they did as part of their job is not illegal. The US is not required to join and help actively enforce the court's decisions.

I don't mind differences of opinion. I do mind authoritarian, purely escalatory behavior not fit for a modern society with no rational basis behind it other than rage. There is no educational, pedagogical message behind this. The thought process behind actions like this seems to purely be "We happen to not agree with you, so we are in the right to hurt you" territory. Law enforcement is not meant for punishment for punishment's sake, it is meant to aim for correction. Anything else just creates more polarization and leads to more violence. I thought we had figured that out as civilization. It makes no sense.
by DrSiemer | 2025-12-16 23:28:05+00:00
ChatGPTs implementation of Memory is terrible. It quickly fills up with useless garbage and sometimes even plain incorrect statements, that are usually only relevant to one obscure conversation I had with it months ago.

A local, project specific llm.md is absolutely something I require though. Without that, language models kept on "fixing" random things in my code that it considered to be incorrect, despite comments on those lines literally telling it to NOT CHANGE THIS LINE OR THIS COMMENT.

My llm.md is structured like this:

- Instructions for the LLM on how to use it

- Examples of a bad and a good note

- LLM editable notes on quirks in the project

It helps a lot with making an LLM understand when things are unusual for a reason.

Besides that file, I wrap every prompt in a project specific intro and outro. I use these to take care of common undesirable LLM behavior, like removing my comments.

I also tell it to use a specific format on its own comments, so I can make it automatically clean those up on the next pass, which takes care of most of the aftercare.
by wnevets | 2025-12-16 23:28:09+00:00
> Everyone is reacting negatively to the focus on AI, but does Mozilla really have a choice?

Do these type of also-ran strategies actually work for a competitor the size of Mozilla? Is AI integration required for them to grow or at least maintain?

My hunch is this will hurt Firefox more than help it. Even if I were to believe their was a meaningful demand for these kind of features in the browser I doubt Mozilla is capable of competing with the likes of Google & Microsoft in meaningful matter in the AI arena.
by 0xbadcafebee | 2025-12-16 23:28:21+00:00
Unlikely. It's more work than necessary and systemic/cultural change follows the path of least resistance. Formal verification is a new thing a programmer would have to learn, so nobody will want to do it. They'll just accept the resulting problems as "the cost of AI".

Or the alternative will happen: people will stop using AI for programming. It's not actually better than hiring a person, it's just supposedly cheaper (in that you can reduce staff). That's the theory anyway. Yes there will be anecdotes from a few people about how they saved a million dollars in 2 days or something like that, the usual HN clickbait. But an actual study of the impact of using AI for programming will probably find it's only a marginal cost savings and isn't significantly faster.

And this is assuming the gravy train that programmers are using (unsustainable spending/building in unreasonable timeframes for uncertain profits) keeps going indefinitely. Best case, when it all falls apart the govt bails them out. Worst case, you won't have to worry about programming because we'll all be out of work from the AI bust recession.
by stock_toaster | 2025-12-16 23:28:46+00:00
> In 2018, Baker received $2,458,350 in compensation from Mozilla. > In 2020, after returning to the position of CEO, Baker's salary was more than $3 million. > In 2021, her salary rose again to more than $5.5 million, > and again to over $6.9 million in 2022. > > https://en.wikipedia.org/wiki/Mitchell_Baker#Mozilla_Foundation_and_Mozilla_Corporation
by bikenaga | 2025-12-16 23:29:01+00:00
Abstract: "Americans can become more cynical about the state of society when they see harmful behavior online. Three studies of the American public (n = 1,090) revealed that they consistently and substantially overestimated how many social media users contribute to harmful behavior online. On average, they believed that 43% of all Reddit users have posted severely toxic comments and that 47% of all Facebook users have shared false news online. In reality, platform-level data shows that most of these forms of harmful content are produced by small but highly active groups of users (3–7%). This misperception was robust to different thresholds of harmful content classification. An experiment revealed that overestimating the proportion of social media users who post harmful content makes people feel more negative emotion, perceive the United States to be in greater moral decline, and cultivate distorted perceptions of what others want to see on social media. However, these effects can be mitigated through a targeted educational intervention that corrects this misperception. Together, our findings highlight a mechanism that helps explain how people's perceptions and interactions with social media may undermine social cohesion."
by tigroferoce | 2025-12-16 23:30:17+00:00
You can and you should. There are people that are happy to pay for email, for search, for videos, for news, for music. I don't see why there wouldn't be people happy to pay for a browser.

The idea that software is free is completely wrong and should be something that an organization like Mozilla should combat. If software is free, there can be no privacy, it's as simple as that.
by thomascountz | 2025-12-16 23:30:18+00:00
We chose to base our System-on-Module (SOM) + baseboard designs on the NXP i.MX 8M Mini evaluation platform Staff Electrical Engineer Ben Jordan prepared the design and constraints for the boards and submitted the jobs. Quilter ran parallel seeded runs with varied constraints, completing the layout in 27 hours, returning multiple ranked candidates. Quilter took care of the repetitive design work while the engineer stayed in control. Automation handled placement, routing, and physics checks, freeing him to focus on firmware prep, documentation, and constraint refinement. Common supply-chain hiccups—a few connectors out of stock and a Wi-Fi module dropped—were resolved instantly, with no delay to iteration. Cleanup was minimal: PDN pours, via clusters, and minor footprint swaps—no rip-ups, no re-spins.

Source: https://www.quilter.ai/project-speedrun
by misswaterfairy | 2025-12-16 23:30:26+00:00
The bit that really annoyed me: you can't even remove the Copilot button from the Office ribbon any more. Microsoft simply have hidden the option in the Ribbon customisation settings.

Even though I don't use it, and have disabled as much Copilot functionality as Microsoft will let me.

I can't wait for this AI bubble to burst.
by palata | 2025-12-16 23:30:30+00:00
> I think the sound is Z in all of them? It's partly a question of whether the orthography of the language uses S for a Z sound or not.

I'm confused here. What you call "the Z sound" in "synthetisieren" or "synthétiser" does not sound the same as "the Z sound" in "sintetizzare", for instance. The letters Z and S both exist in those languages, but they pronounced differently.
by lewisjoe | 2025-12-16 23:31:06+00:00
A while back I did this experiment where I asked ChatGPT to imagine a new language such that it's best for AI to write code in and to list the properties of such a language. Interestingly it spit out all the properties that are similar to today's functional, strongly typed, in fact dependently typed, formally verifiable / proof languages. Along with reasons why such a language is easier for AI to reason about and generate programs. I found it fascinating because I expected something like typescript or kotlin.

While I agree formal verification itself has its problems, I think the argument has merit because soon AI generated code will surpass all human generated code and when that happens we atleast need a way to verify the code can be proved that it won't have security issues or adheres to compliance / policy.
by bruce343434 | 2025-12-16 23:31:37+00:00
I get that, but your initial comment implied you were about to showcase a counter to "Hundreds of lines just to grab a query parameter from a URL", but instead you showed "Poorly and incompletely parsing a single parameter can be done in less than 100 lines".

You said you allocated 5 minutes max to this snippet, well in php this would be 5 seconds and 1 line. And it would be a proper solution.

$name = $_GET['name'] ?? SOME_DEFAULT;
by colechristensen | 2025-12-16 23:31:43+00:00
It absolutely can, I'm building things to do this for me. Claude Code has hooks that are supposed to trigger upon certain states and so far they don't trigger reliably enough to be useful. What we need are the primitives to build code based development cycles where each step is executed by a model but the flow is dictated by code. Everything today relies too heavily on prompt engineering and with long context windows instruction following goes lax. I ask my model "What did you do wrong?" and it comes back clearly with "I didn't follow instructions" and then gives clear and detailed correct reasons about how it didn't follow instructions... but that's not supremely helpful because it still doesn't follow instructions afterwards.
by eatsleepmonad | 2025-12-16 23:31:48+00:00
The language school I attended all but banned romanization. The idea was to learn, practice, and finally internalize kana and kanji as quickly as possible. Hepburn is just a band-aid when it comes to language study.

For people not interested in learning Japanese, however, a unified romanization could have its benefits. It just never struck me as particularly inconsistent to begin with, even after so many years living there.
by bigbadfeline | 2025-12-16 23:32:50+00:00
Great article, with dollars and numbers as it should be.

The proponents of orbital wunderbars may have different calculations and there's only one way to resolve the differences - make them pay for their space-centers themselves, making sure no public money is spent on the project which is also required to carry zero default risk and pay regular taxes without the right to claim deductions or write-offs for any losses. All this is necessary to avoid the usual corporate tax games.

I can sketch a contract to that end in like 10 minutes. Everything else is a waste of time.
by cromka | 2025-12-16 23:32:51+00:00
I am switching back to Android after nearly 10 years and:

- no native CalDAV support

- third party open-source DavX offers that, although it's hacky and the push support is even more experimental

- but, most importnatly, your Google account's calendar (which you need for Play Store) is still a default and any 3rd party app adding an event to your calendar will adds it to the Google one. You don't get to change the default calendar, you don't get to disable it!

- you ned to give Gemini full access to your Google Calendar (again) to get it to save your appointments or reminders. You can't use it with non-Google calendar.

None of these were an issue on iPhone, I was able to use my NextCloud instance to host all my events privately and securely, including with Siri.

I am actually super frustrated and find it odd that this is even legal in EU, because it definitely looks like protectionism.
by rmason | 2025-12-16 23:34:42+00:00
If I could give any advice to the people planning those data centers, they've got it all wrong. They assume that since they're noisy that we will plop them smack in the middle of some good farm land, surround them with corn fields and it solves the noise problem.

In Michigan cities there is plenty of vacant land. Thousands of acres of vacant land. Here in Lansing the old GM owns two large plots where factories stood stamping out Oldsmobile's. There is all the power you would ever need. They're surrounded by other factories making possibly more noise than even a data centers fans. A small business community that has been decimated by the GM employees business in the neighborhood leaving.

So where do they ask to put a small data center? Right in the city's entertainment district! Makes less sense than putting it on farmland. Look Michigan needs the jobs, just a little common sense would go a long ways.
by fredfilz | 2025-12-16 23:34:43+00:00
Hey @echelon,

Interesting thoughts on Comma. Ever thought of working in AV? We're quite similar to Comma but for construction vehicles. We have a couple customers, just raised our seed, and are now expanding our team with some very critical high-ownership founding engineers.

Some info about us: - https://crewline.ai/ - https://crewline.ai/blog/crewline-manifesto

LMK if this is of interest. -Freddie freddie@crewline.ai
by pdimitar | 2025-12-16 23:34:43+00:00
> I will maintain that it is absolutely alright to just dislike a programming language for any reason and those reasons if they exist outside of aesthetics don't have to be well formed or technical.

I too am just one guy on HN but when I go to certain threads, I do expect no emotional and preference comments because I want to fill up my blind spots and emerge better educated. Obviously that does not mandate anything from you but since we are expressing preferences, that's mine.

RE: the rest, I am trying to understand your POV but can't. Is your issue with the difference between GPL and whatever Rust is licensed under?

That I could somewhat understand. But your rather emotionally loaded language against Rust itself I simply cannot and will not take seriously. Apparently Rust has an unique talent to tick people off on HN would be my tongue-in-cheek conclusion here because it has been years since I saw what we might call a "zealot fiercely arguing in favor of Rust" here, so the reason should be somewhere else.

Feel free to elaborate on that, though I am fairly sure such a discussion would not go anywhere. Emotion resents reason; emotion just wants to express itself.

But I do get weirded out how many people treat Rust like it's coming to eat their kids and puppies.
by renhanxue | 2025-12-16 23:35:16+00:00
Maybe. I guess it's easier to handle in treated form though. At the point where it gets to the facility it's actually not really sewage anymore, it's just clean water, so after passing the heat pumps it's just released into a nearby lake via a small turbine (both the sewage treatment plant and the heating plant ar located above the water level of the lake).
by jauntywundrkind | 2025-12-16 23:35:24+00:00
Epic hacker work!

For what it's worth, it seems like there's a bunch of open source NPU work in progress too. There's a layer "TEFLON" for Gallium3D shared by most of these drivers, that TensorFlow can use. Then hardware drivers for Rockchip (via ROCKET driver), and Vivante (with their Etnaviv drivers). It'd be extra interesting now to see how (or if?) they've dealt with the system constraints (small scratchpad size) here. https://www.phoronix.com/news/Gallium3D-Teflon-Merged https://www.phoronix.com/news/Rockchip-NPU-Linux-Mesa https://www.phoronix.com/news/Two-NPU-Accel-Drivers-2026
by echelon | 2025-12-16 23:35:30+00:00
> Somehow it feels like we’re moving backwards.

I don't understand why everyone isn't in awe of this. This is legitimately magical technology.

We've had 60+ years of being able to express our ideas with keyboards. Steve Jobs' "bicycle of the mind". But in all this time we've had a really tough time of visually expressing ourselves. Only highly trained people can use Blender, Photoshop, Illustrator, etc. whereas almost everyone on earth can use a keyboard.

Now we're turning the tide and letting everyone visually articulate themselves. This genuinely feels like computing all over again for the first time. I'm so unbelievably happy. And it only gets better from here.

Every human should have the ability to visually articulate themselves. And it's finally happening. This is a major win for the world.

I'm not the biggest fan of LLMs, but image and video models are a creator's dream come true.

In the near future, the exact visions in our head will be shareable. We'll be able to iterate on concepts visually, collaboratively. And that's going to be magical.

We're going to look back at pre-AI times as primitive. How did people ever express themselves?
by teleforce | 2025-12-16 23:35:30+00:00
>writing those proofs is both very difficult (requiring PhD-level training) and very laborious.

>For example, as of 2009, the formally verified seL4 microkernel consisted of 8,700 lines of C code, but proving it correct required 20 person-years and 200,000 lines of Isabelle code – or 23 lines of proof and half a person-day for every single line of implementation. Moreover, there are maybe a few hundred people in the world (wild guess) who know how to write such proofs, since it requires a lot of arcane knowledge about the proof system.

I think this type of pattern (genuine difficult problem domain with very small number of experts) is the future of AI not AGI. For examples formal verification like this article and similarly automated ECG interpretation can be the AI killer applications, and the former is I'm currently working on.

For most of the countries in the world, only several hundreds to several thousands registered cardiologist per country, making the ratio about 1:100,000 cardiologist to population ratio.

People expecting cardiologist to go through their ECG readings but reading ECG is very cumbersome. Let's say you have 5 minutes ECG signals for the minimum requirement for AFib detection as per guideline. The standard ECG is 12-lead resulting in 12 x 5 x 60 = 3600 beats even for the minimum 5 minutes durations requirements (assuming 1 minute ECG equals to 60 beats).

Then of course we have Holter ECG with typical 24-hour readings that increase the duration considerably and that's why almost all Holter reading now is automated. But current ECG automated detection has very low accuracy because their accuracy of their detection methods (statistics/AI/ML) are bounded by the beat detection algorithm for example the venerable Pan-Tompkins for the limited fiducial time-domain approach [1].

The cardiologist will rather spent their time for more interesting activities like teaching future cardiologists, performing expensive procedures like ICD or pacemaker, or having their once in a blue moon holidays instead of reading monotonous patients' ECGs.

This is why ECG reading automation with AI/ML is necessary to complement the cardiologist but the trick is to increase the sensitivity part of the accuracy to very high value preferably 100% and we achieved this accuracy for both major heart anomalies namely arrhythmia (irregular heart beats) and ischemia (heart not regulating blood flow properly) by going with non-fiducial detection approach or beyond time domain with the help of statistics/ML/AI. Thus the missing of potential patients (false negative) is minimized for the expert and cardiologist in the loop exercise.

[1] Pan–Tompkins algorithm:

https://en.wikipedia.org/wiki/Pan%E2%80%93Tompkins_algorithm
by raw_anon_1111 | 2025-12-16 23:35:58+00:00
Apple can not charge for external links In the US.

I am saying that if the indie devs didn’t have go pay Apple a dime, it wouldn’t matter. You still aren’t going to stand out and monetize compared to companies selling loot boxes and coins that make up 90% of App Store revenue. You will still have the same discovery problem, people’s unwillingness to pay money for apps on the App Store aside from games and the same race to the bottom.

Just like no matter what, the indie band playing at the local bar is not going to make money off of Spotify and all of the money is going to go to Taylor Swift and Drake.