MurphyA/hacker-news huggingface dataset:
by constantcrying | 2025-11-23 21:52:03+00:00
Exactly, you do that by installing Debian with KDE. Not by creating a new distro, which you do not have the resources to properly maintain, which is then perpetually broken in weird ways, which no user can figure out since the base distribution does not have the problems the completely understaffed maintainers introduced.

What all of these distros want to be is a basic configuration script. What they are is a nightmare for every user, since the user is now in the hands of a few people, who as a hobby are maintaining his OS and occasionally will break it.

It is so bizarre that so many people want to make distros, when they are completely unequipped up do so.
by MyFirstSass | 2025-11-23 21:52:22+00:00
The number one priority must surely be fixing the keyboard, besides the horrible UX?

Millions are having problems for years so it's not just me, honestly thought i was "getting old" but no incredible amount of threads and now this on YT with 1 mil views:

https://www.youtube.com/watch?v=hksVvXONrIo

Wild typing on a 3210 was less stressful for me.
by hermanzegerman | 2025-11-23 21:52:26+00:00
Switzerland to Italy, Switzerland to Portugal.

The French illegally checked everyone passports on Arrival when I Flew to Corsica once, but I don't expect much from them with all their "Plan Vigipirate" Bullshit which is also just about reducing freedom under the guise of "Protection against Terrorism".

Also Germany isn't much better right now with their also illegal border controls.

Right-Wing-Populism destroys many nice things

>It's also required to at least carry ID (presumably because it may be checked)

That's true, but for Schengen Flights you don't have to go through a government passport control like you have to do for international flights.

Airlines ask for ID sometimes because they make some money off it (to avoid people reselling tickets, charging for correcting misspelled names etc...), but they are not required to.

https://www.mdr.de/nachrichten/deutschland/panorama/fliegen-...
by ryandrake | 2025-11-23 21:53:48+00:00
Children who are not cognitively and emotionally ready for the Internet shouldn't have access to it. Similarly, any elderly folks who are not cognitively able to deal with social media (or the Internet in general) should be cut off from it, too.

You can (and should) have That Talk with your parents about scams on the internet, but if they're still falling for them and not getting the message, maybe it's time to gently steer them off the Internet. We take the car keys away from people who can't handle driving anymore.
by Nextgrid | 2025-11-23 21:54:00+00:00
It's generally a symbiotic relationship though, as the workers grow their own resume while helping their boss grow theirs (and generally the boss is growing his own while helping his boss grow theirs and so on. Sometimes it goes all the way up where even the founder just wants that lifestyle subsidized by investor money and does not care to actually ever build a profitable product).

This kind of perverse incentive comes up when the rank and file has no meaningful way to profit off the company's success, and so it instead becomes more profitable (in future profits from the inflated resume, or kickbacks/favors from vendors, etc) to act against the company. Just like in security bug bounties, companies should reward their employees more than an external malicious actor would, otherwise they will choose the rational option.
by rafabulsing | 2025-11-23 21:54:22+00:00
People also slow down to look at the flipped car on the side of the road. Doesn't mean you want to see more flipped cars down the road.

Either way. Do you have any points other than that you think any and every action, no matter how small, is explicit, and therefore it's ok that for it to be fed into the recommendation engine? Cause that's an ok position to have, even if one I disagree with. But if that's all, I think that's as long as this conversation needs to go. But if there's any nuance I'm failing to get, or you have comments on other points I raised such as labeling of recommendation altering actions, I'm happy to hear it.
by Moldoteck | 2025-11-23 21:54:52+00:00
It didn't make sense to shut down nuclear before coal/gas for Germany. It should deploy both ren and nuclear, even restarts unless it wants to use gas firming.

Germany's low carbon twh is unchanged since 2015. What changed is it became net importer and demand dropped, hence a lot of coal closed.

Wholesale is irrelevant. Taxes are needed to fund infrastructure. In case of Germany a big chunk is transmission which will be subsidized from 2026 just like eeg already is. Example of why- sudlink, but that's just for redispatching, ren require by default more transmission due to distributed deployment

France is open to subsidize epr2 project. The challenge is, edf must first show a bill by EOY and, EC must approve state funding, unlike ren subsidies. Epr2 is expected to cost about 60-80bn, half being offered by the state as 'nice loans'. 40bn is about what Germany pours into EEG alone in merely 2y.

Germany can reuse own konvoi designs or try to make a deal with khnp and Westinghouse

French debt and electricity/edf are not connected. Most of the debt is from pension system because well, work hours, pension age and vacation days vs neighbors. Edf debt is peanuts in comparison. In fact it's debt to ebitda ratio is in normal range.
by sho_hn | 2025-11-23 21:54:56+00:00
It's probably Reitberger's 38-segment AFA alphanumeric LCD:

https://www.reitberger.de/English/Large%20displays/Alphanume...

https://www.reitberger.de/English/Broadsheet/Prospekt_GA_AFA...

These are very common here.
by ac29 | 2025-11-23 21:55:07+00:00
Zorin OS' main pitch is the design work they put into it to make it look like Windows or macOS. As far as I can tell they wrote zero new software (the taskbar is a forked GNOME extension, and the Zorin Connect app is a forked KDE Connect).

So, its not surprising they made an effort to make a nice looking webpage, design work is basically the only thing they are doing.
by WheatMillington | 2025-11-23 21:55:14+00:00
I agree. I don't expect perfection from anyone, including myself. But what I expect from myself is to give my kids a better upbringing than I had - which was actually a mostly great upbringing, but we should always strive to be even better. I despise parents who hurt their kids through negligence and inaction, I find it inexcusable.
by constantcrying | 2025-11-23 21:55:17+00:00
None of these distros economize time. This is not Debian/Arch/Ubuntu with some preconfiguration. Every single user of these distros is in the hands of a tiny number of developers who mostly work on this as a hobby. Things are going to break and they will break in ways nobody will know why, since the base distro does not have these problems.

There is a very good reason why the Arch forums do want reports from arch derivatives, because they are all inevitably broken by their tiny maintainer teams.
by raw_anon_1111 | 2025-11-23 21:55:41+00:00
Yeah - and how are any of those other bets doing? The shareholders only voted for him to keep their meme stock afloat.

Again what is their moat? Waymo is much further along with self driving, they are a very distant also ran in AI and absolutely no company is going to choose them over anyone else, and their supercharging network is more anemic than you think it is in the vast majority if the US let alone the world.

China has shown its very capable when it comes to battery technologies and they have most of the rare earth minerals needed.
by ffsm8 | 2025-11-23 21:56:22+00:00
I use an (at this point older) MacBook pro myself (M1) and honestly believe it is a great product. I am a lot happier with it then if I bought an equivalent windows device.

However, its definitely true that Apple prioritizes looks is function.

We're just currently in a generation where it ceased to matter for the most part, because Apple Silicon has made the previous tradeoffs basically meaningless. But that's not because Apple started to prioritize function, technology has just gotten good enough for their design philosophy to no longer hamper it significantly
by simonw | 2025-11-23 21:57:28+00:00
Presumably you're talking about this - https://lethain.com/digg-v4/ - "Digg's v4 launch: an optimism born of necessity"

Did you read the title of that post and not the actual content? Because it's a fantastic insider's war story about one of the most infamous product launches in our industry's history.

Here's the conclusion, which you can count as justification if you like but seems like a very interesting piece of insight to me:

> Digg V4 is sometimes referenced as an example of a catastrophic launch, with an implied lesson that we shouldn’t have launched it. At one point, I used to agree, but these days I think we made the right decision to launch. Our traffic was significantly down, we were losing a bunch of money each month, we had recently raised money and knew we couldn’t easily raise more. If we’d had the choice between launching something great and something awful, we’d have preferred to launch something great, but instead we had the choice of taking one last swing or turning in our bat quietly.

> I’m glad we took the last swing; proud we survived the rough launch.

> On the other hand, I’m still shocked that we were so reckless in the launch itself. I remember the meeting where we decided to go ahead with the launch, with Mike vigorously protesting. To the best of my recollection, I remained silent. I hope that I grew from the experience, because even now I’m uncertain how such a talented group put on that display of fuckery.

I can't imagine how reading that could make you think they were less rather than more credible as a source of information on engineering management!
by lilsneddz | 2025-11-23 21:57:47+00:00
Honestly, I wasn't expecting this font to go anywhere, and then the SF Chronicle reached out, which has been lovely. Anyone who emails me can have a copy, I just haven't made an easy download link. I've thought about it since, but actually it's way nicer to hear from people and hear about what they're making. It is a community-driven project, and this slower form of distribution feels closer to my original intent. :)
by jltsiren | 2025-11-23 21:57:57+00:00
It's better to think that markets are about competition between centrally planned economies. We call those centrally planned economies companies. A successful company is one that managed to beat the market. History gives us evidence that a company can beat the market for decades, but not forever.

Markets allocate resources efficiently. In the long term, in large enough scale, on the average, and with a high probability. But the scale is often not that large. In many fields, a small number of companies dominate the market, making it susceptible to groupthink. When business leaders are biased in the same way, the market is also biased. Once in a while, we get a bubble that way.

Because value is ultimately subjective, the efficiency of the market depends on how you weigh individual value judgments. If each dollar gets one vote, efficient resource allocation looks different than when each person gets one vote. Markets tend to favor the former. Regulators like to think that they moving the needle towards the latter. Sometimes they manage to do that, and sometimes they move it in a completely different direction.
by GaryBluto | 2025-11-23 21:58:02+00:00
> A distro with a DE that nearly perfectly replicates “greatest hits” Windows versions (2K/XP/7/10) would probably be doing serious numbers right now if it existed.

Funnily enough Zorin used to offer this.

http://web.archive.org/web/2012fw_/zorin-os.com

"Zorin Look Changer" used to "let you select from Windows 7, XP, Vista, Ubuntu Unity, Mac OS X or GNOME 2" themes, whilst newer versions want you to pay nearly $50 for the privilege (although they have significantly reduced their offerings, with their "Windows Classic" theme just being their "Windows-list like" theme with a slightly different start menu).
by Moldoteck | 2025-11-23 21:58:47+00:00
With classic pwr rods can't be used for weapons because of parasitic isotopes. At best you need to run the reactor in a specific way that would trigger global attention looking at power fluctuations. And still it'll not be easy afterwards. You can buy enriched uranium from others. With th- I'm not sure but don't you need enriched material anyway to kickstart it?
by chamomeal | 2025-11-23 21:59:02+00:00
Although if your executables are script-like, you can use babashka, which lets you write shell scripts in clojure. Good stdlib, full macro support, shell out to other commands, just a great tool.

I love babashka. I could never convince my company to use clojure for a big project, so now I’m exposing all of my coworkers to clojure by making a set of nice specific-to-our-company utilities in babashka.
by jclarkcom | 2025-11-23 21:59:04+00:00
That's a very good point. I included a "Cost Comparison by Bandwidth Usage" section that shows the cost for Digital Ocean compared to a commercial bonded solution. At 10TB the monthly DO cost goes up to $84/month which is significant, but if you compare that with a commercial solution that gives you a bonded connection (Speedify) they would charge $120/m for 10TB.

If you used Oracle cloud, I think 10TB is still in their free tier so you'd be looking at ~$15/month.
by ryandrake | 2025-11-23 21:59:06+00:00
Surely there are employees at Meta who are not making the world a worse place. There may even be people in technical roles who are not. I can imagine Meta probably has some kind of ethics or privacy department (what a demoralizing place to do that kind of work!) who are even trying against the tide to do good! You can't just use "worked at Meta" as the filter. I'd want to know exactly what they worked on, and have them explain their ethical rationale for continuing.
by qcnguy | 2025-11-23 21:59:09+00:00
The people showing you those interviews have a massive agenda though. Was it BBC? C4? They search for such people until they find them. Some of them might even be fake, the BBC admitted recently to showing fake footage of a Trump speech and if they're willing to do that they're definitely willing to fake other stuff.

Look at gdp numbers or other economic stats. British voters aren't worse off because of brexit. They're told they are and probably some of them believe it, but it's not true, you can see that in the data.

Anyway during the campaign Remain politicians said there would be economic impact. Leave said it won't be as bad as is claimed (they were right), but even if there is an impact it's worth it to regain control over other things. That was their argument. In a vote with 30 million+ voters you can find people who will say anything, but there was no way anyone could miss that message.
by raw_anon_1111 | 2025-11-23 21:59:13+00:00
I’m the last person to try to convince racists not to be racists (referring to Idaho politicians - not you). I’ve lived an entire life ignoring them and living my best life. That’s a lost cause.

That’s like trying to convince people that a man didn’t rise from the dead after three days and the only way that he will come back to take them to heaven is if the government protects Isreal - yea that is what evangelicals think.

Hell I had a house built in an infamous “sundown town” (where the outskirts were still conservative but more traditional conservative)

Yeah this one:

https://youtu.be/WErjPmFulQ0?si=BpsfzQXo0HP2AXLB

And completely ignored the looks I got every time I walked out of my house.
by troupo | 2025-11-23 21:59:27+00:00
> MCP is not just providing an API

It does just provide an API. Your client may have a way to talk to some software via MCP protocol. You know, like a client can talk to a server exposing an endpoint via an API.

> And it does so in a standard way so that my client is available across AI providers.

As in: it's an API on a port with a schema that a certain subset of software understands.

> What’s the alternative? Providing a sandbox to execute arbitrary code and make API calls?

MCP is a protocol. It couldn't care less what you do with your "tool" calls. Vast majority of clients and servers don't run in any sandbox at all. Because MCP is a protocol, not a docker container.

> Having an LLM implement OAuth on the fly when it needs to make an API call?

Yes, MCP has also a bolted-on authorisation that they didn't even think of when they vibe-coded the protocol. And at least finally there was some adult in the room that said "perhaps you should actually use a standardised way to do this". You know, like all other APIs get OAuth (and other types) of authorisations.
by byko3y | 2025-11-23 21:59:49+00:00
My firefox automatically installed perplexity search engine — it's actually much better in for just searching the web. Or use Grok. If you need to generate content there are lots of better AI-s which do not limit request rate as heavily: gemini, deepseek, qwen. If you need to write and refactor code, Claude is the best one I've met — but it's mediocre at pretty much anything else. I stopped using ChatGPT after summer 2025 incident with response quality plummeting. It was average LLM before that incident, but afterwards there was really no reason to get back to ChatGPT again for me.
by saghm | 2025-11-23 22:00:16+00:00
I'm probably at the level of "moderately skilled amateur" when it comes to type theory (I took courses in college about compilers and the math behind type theory like Hoare logic), but I got confused by the second sentence:

> A function has a dependent type when the type of its result depends upon the value of its argument

Pretty straightforward, and something I'm familiar with.

> The type of all types is the type of every type, including itself.

I...don't know what this means. It's unclear to me how to understand the meaning of "the type of every type", since I don't have an intuition of how to "combine" all of those types into something that I can reason about. My first instinct would be that it's saying it's a set, but if it contains itself, doesn't that run into Russel's paradox (unless they're assuming some specific set of axioms around set construction to solve this, which seems strange to leave implicit)?

Am I missing something obvious, or is it kind of unclear what they're talking about here? Maybe my confusion is that I feel like the difference between "all" and "every" is ambiguous, so I don't know how to read this as circular other than logically grouping "all types" into one thing and "every type" into a group of separate things, only I don't know what that group even is.
by jedberg | 2025-11-23 22:00:17+00:00
Today I make a private/public keypair, and the private key is on my laptop in my encrypted home folder. It also gets backed up to my encrypted offsite backup. That way if my laptop breaks or is stolen, I can restore from backup and be up and running as before.

I was simply asking if that is still possible with this method, nothing more.

And not every service that uses ssh auth allows multiple keys.
by bigiain | 2025-11-23 22:00:56+00:00
> whatever counts for good has to be contextualized within the culture and habits of the organization

Within and outside the organization.

A "good" manager during a time of mass recruiting uses a very different skillset to a good manager during times of mass layoffs.

I suspect we won't really know what a good manager in the era of AI tools looks like for another 5 years or more.
by pnathan | 2025-11-23 22:00:57+00:00
The question of leadership is much larger, more general, and more timeless than the last 15 years. I invite those curious about it to look into the American Army.

> Leadership is the process of influencing people by providing purpose, direction, and motivation to accomplish the mission and improve the organization.

taken from -

-- https://www.eiu.edu/armyrotc/docs/adp6_22.pdf
by ryandrake | 2025-11-23 22:01:26+00:00
> I would like to understand the downvotes: is it from doubting these facts? If so, I will post the sources (which were recent mainstream news on the front page of HN). Or is it because of the negative sentiment about Meta? Or disagreement that Meta has any responsibility over moderating scams they promote?

It may be as simple as "there are a lot of Meta employees browsing HN."
by constantcrying | 2025-11-23 22:01:31+00:00
I think Kubuntu looks very reasonable and switching KDE themes is as simple as it gets.

Where I think you are right is that it would be very feasible to create a few different builds of e.g. Kubuntu which come with different presets or make those available during installation, with easy switching in the life desktop environment. Maintaining each one should be quite simple, as it is just a few packages, with some configuration on top.
by jeepj | 2025-11-23 22:01:44+00:00
Hi, I created a TUI for GitHub, firstly because I wanted to be able to trigger and watch workflow runs in my GitHub org. [tgr](https://github.com/jjournet/tgr) For the moment, the software is mostly intended towards workflows, I want to extend it to issues, discussions, PRs, etc... it's a standalone Go program, with no dependencies. Also, it's scanned by CodeQL in Github for security. Let me know what you think, I would really enjoy feedback. Thank you
by iLemming | 2025-11-23 22:01:50+00:00
> I'm not a fan of modal interfaces

I'm assuming you're using Emacs (otherwise why would you be commenting in this thread, right?). It's weird to hear that from an Emacs user - it's inherently a modal editor - keycords are modal, isearch is modal, repeat-mode is modal, transients are all modals with states. Evil-mode only adds some consistent "language" and structure to deal with modality, there's nothing much to it.

Idea of vim-navigation is actually pretty neat thing - absolutely beautiful, practical model. Its biggest problem is that it encapsulates some tacit knowledge - nobody can really explain the benefits of it to anyone until they try it for some time and it "clicks". I suppose just how learning to ride a bike may work differently for different people - it also takes different amount of time and effort. But once you figure it out - there's really no going back - no reason. It's very rare to meet people who've mastered it and then willingly stopped using it.

There's no conceptual difference in switching between navigation and insert modes in Vim and e.g. C-c C-c/C-d in Emacs - the only difference that you're in-between state more often, but once muscle memory trained, it becomes second nature - you don't even think about what mode you're actually in - it becomes very fluid and consistent flow state that allows you to very efficiently navigate and deal with text - with any kind of text - plain and structured.

Also, I find that mastering efficiency in Emacs using only vanilla keybindings is a bit harder than becoming a keyboard-maestro with the help of evil-mode or similar modal modes like meow. I've been working over a decade in various teams where people use Emacs, and evil-mode users typically figure out things much faster, while those sticking to native keybindings, don't even discover some great features of Emacs for years.