MurphyA/hacker-news huggingface dataset:
by jm4 | 2025-07-23 15:14:29+00:00
I think market share is important to the extent that the OS receives enough developer support to be easy to use. What I mean by easy to use is you can generally find good software and you don't find it difficult being a user of a niche OS in a world where most people use something else.

Linux on the desktop feels about the same as Mac OS X back in the early 2000's. It hasn't quite taken off yet, but it's past the point where you can be a user and generally expect things to work well. Overall, I'm very happy with where Linux on the desktop is these days.
by danans | 2025-07-23 15:14:39+00:00
Most people don't want to "install a distro" on their desktop computer.

They buy desktop computers like they buy microwave ovens: hardware + OS without any sense of distinction between the two. Then they decide what to cook in it (based on their own culinary interests).

There have been only a few opportunities in the history of desktop computing for a new user-facing OS to break through, usually at the emergence of a new user paradigm (i.e mobile), and those have all been captured by big brands like Apple, MS, and Google, using either complete vertical or tightly horizontal integration, and their offerings were mostly like microwave ovens.

Ironically, all 3 of those companies now offer "Linux" that you can run on top of their desktop OS's to use for software development, effectively making Linux an "app", no different than Photoshop. And that paradigm works pretty well.
by ceejayoz | 2025-07-23 15:15:13+00:00
> One major logistical difference is the propensity of Hamas to use its citizens as human shields.

The IDF HQ is across the street from a shopping mall; https://en.wikipedia.org/wiki/HaKirya.

(Iran targeted this area, which resulted in civilian casualties. https://static01.nyt.com/images/2025/06/13/12israel-iran-rep... / https://en.wikipedia.org/wiki/Marganit_Tower)

> It certainly indicates war outcome in both cases (Germany and Gaza). Both these antagonists started wars which they then lost.

Hamas and the Nazis (and the Iranian regime) suck.

Indiscriminately killing civilians also sucks. It sucks even more in the era of modern precision weaponry.

This really isn't as complicated a position as you seem to think.
by red-iron-pine | 2025-07-23 15:15:27+00:00
AI is almost certainly involved and I'd argue that it's hitting hard in 2 places.

First, it's finding more targets to hit via better ads, tracking, and collating information that was sold.

Secondly it makes finding vulns, hacking phones, and running the "physical" (may actually be a compromised camera, or a deliberately built ephemeral cloud system) infrastructure easier.
by _mlbt | 2025-07-23 15:16:43+00:00
It was a joint effort. Most serious World War II historians acknowledge that there were many important efforts among all of the Allies and the underground resistance in occupied nations. The siege of Stalingrad was crucial to the downfall of the Third Reich, but so was Normandy, the North Africa campaign, and the invasion of Italy.

Opening up a second front pushed the Wehrmacht too thin, ensuring Allied victory. It is entirely possible that the Soviets would have ultimately defeated Hitler, but the actions by the Western Allies hastened Nazi Germany’s demise.
by Havoc | 2025-07-23 15:17:07+00:00
The core issue here is that privacy concerned looks the same to police regardless of motivations - criminal or principled.

That does sweep up innocents in the net. But at same time if police see a strong correlation with criminals then focus on it from their side seems logical too. Forcing them to intentionally be blind to that sort of correlation seems insane too.

Tricky
by 999900000999 | 2025-07-23 15:17:18+00:00
I welcome a good conversation.

Linux still isn't really ready for normal people who have other things to do.

Arguably if it's within your budget and you just want your computer to work, buy a Mac.

I make music and I don't want to fiddle with external drives so I'm basically stuck on Windows.

My biggest issue with Macs is not being able to replace the SSD. Eventually all SSDs must fail. Might not be in 2 years, might be in 6 or 7, but at that point the entire laptop is useless.
by ubermonkey | 2025-07-23 15:17:22+00:00
Yeah, same here -- my Macbooks (and the Powerbooks before them) have been the most solid, reliable, and long-lived laptops of my entire life (and I'm 55).

I'm still using a 10 year old one as a poor-man's-NAS-controller. And the backup system that ships with the tool is insanely solid -- while I don't trust any single backup solution alone, the one time I did have to recover from backup (we were robbed), Time Machine had my new machine in exactly the same state as my stolen one within about 2h. I'm sure with faster bus speeds and drives now, it'd be even faster.
by hbn | 2025-07-23 15:18:14+00:00
My "favorite" tactless Windows update story in recent memory was when an update pinned a Copilot link to my taskbar. I unpinned it, then a few weeks later another update added the Copilot link back to my taskbar, but not as a pinned app. Rather it replaced the god damn "show desktop" button in the bottom right of the screen! They replaced an always on-screen OS navigation button that's been there since Windows 7 with an ad!!

I hope to god that Valve takes the opportunity they have with Steam OS to give us a potential real alternative to Windows that focuses on gaming support. Cause that's literally the only reason I'm forced to continue using this Microsoft adware slop of an OS.
by hombre_fatal | 2025-07-23 15:18:37+00:00
> The counter point is how LLMs can't find a missing line in a poem when they are given the original.

True, but describing a limitation of the tech can't be used to make the sort of large dismissals we see people make wrt LLMs.

The human brain has all sorts of limitations like horrible memory (super confident about wrong details) and catastrophic susceptibility to logical fallacies.
by black3r | 2025-07-23 15:19:12+00:00
Are you sure your computer really doesn't have TPM? Because Intel CPUs since Haswell and AMD CPUs since Zen 1 have firmware-level TPM (implemented at the Intel ME / AMD PSP side) built in, but disabled by default, but you can mostly turn it on in BIOS/UEFI setup interface (if the BIOS supports it), and Windows 11 will work with it. And sometimes even discrete TPMs on motherboards come disabled by default.

If you haven't already, check your BIOS for TPM/fTPM settings (or if you're on Intel also look for "Intel Platform Trust Technology" or "Intel PTT").
by amendegree | 2025-07-23 15:19:41+00:00
This is both categorically false and completely irrelevant.

The first claim is that genocide has been happening since 1948, the second claim is that it has increased in intensity in the last two years, both claims can be completely dismissed as fabrications by simply looking at the population growth of the nation that is supposedly being killed.

I honestly don’t know why you would bring up the fact that the Jewish population is climbing after the eponymous genocide was attempted.
by rvz | 2025-07-23 15:19:55+00:00
This is why the most seasoned of engineers will be employed back to clean up the mess that these AI agents and vibe-coders have created.

I suggest that the author should properly read up on the technicals of these compiled languages before having to be fully dependent on an AI bot which by his own admission can lead him and the chatbot into the wrong direction.

Each of these languages all have different semantics and have complete differences between them; especially compiled languages like C/C++,Rust verses Ruby and Javascript (yuck).
by smileysteve | 2025-07-23 15:20:02+00:00
Waymos, or Uber blacks...

have a lot going for them.

Initially, the 2008 cut off for Ubers, and the related on site inspections led to high quality; but over time, I've been in more vehicles with check engine and other lights on -- and heard more failed shocks (and mounts) than I would like to ride in; though the suspension is more sketch in a cab.
by shafyy | 2025-07-23 15:20:07+00:00
> This Uber gender segregation is about safety for women.

It's always about "safety for women". Or so they say. The argument for disallowing trans women in female bathrooms is also "safety for women". Complete bullshit. Similar argument with end-to-end encryption and safety for children.

However, often times these separations make society more unequal und unsafer for women.

It's a sad world if you think this to it's conclusion: Should females only ride with female taxi drivers? What about trains? Should we have separate train cars for females? Should we disallow females going out on the street alone without a male companion because they might get raped? It's about the safety for women, after all.

No, let's not start down this road. Are there men that harass and rape women? Of course! Will it happen a bit less if there's separation? Maybe. But it has many second-order effects that are not desirable.

Instead, as others have said, we need to think as a society why men are harassing women in the first place, and what we can attack this problem at the root.
by riquito | 2025-07-23 15:20:28+00:00
> no other PC or mobile phone manufacturer is providing warranty service (for consumer hardware) that remotely matches Apple's.

Maybe, but Apple is also among the worst companies for repairability of their hardware. If a PC (which you mention) breaks is usually only one part to be replaced (without looking at actual repairs), and any individual with necessary know-how can do it
by ajkjk | 2025-07-23 15:20:36+00:00
imo there just need to be a few more default easing functions, the standard ones aren't quite natural enough. There must be a standard curve equivalent to the "human pushing/pulling an object from A->B" function that would actually look natural. EaseIn/EaseOut/etc is never quite it; human motion has a bit of higher-order feedback used to regulate it. Maybe to do with the combination of: all the motion happens via muscular springs, plus, there's a well-trained system that regulates the motion to minimize inefficient use of energy. Whether I jerk suddenly and then stop it, or move it slowly so it smoothly decelerates to the final point, it never looks as mechanical as the stuff you see in code.
by Atreiden | 2025-07-23 15:20:55+00:00
> you're not doing something you WANT to hide from law enforcement.

Why should law enforcement have the privilege to know arbitrary information, especially deeply personal information, about law-abiding individuals?

It is a core requirement of democracy to be able to conceal information from the arm of the state. Political retribution and targeting of ones opponents is not just hypothetical, it's happening now, in America, right now.

Why should law enforcement get to search my phone to find out that I'm critical of the administration? This is information about me that is completely allowed under law, but can be used to discriminate against me.

The definition of legal also changes over time. Giving someone an Uber ride in Texas to an out-of-state abortion center is now a crime. Definitely wouldn't want information on my Uber ride history to be freely available to Texas police. Even if I've never given such a ride, my entire ride history, and possibly my life as a whole, is now subject to deep, targeted scrutiny. Facts would not protect me here, as even if I have done nothing wrong my life could be irrevocably altered. Corruption exists. People make mistakes. Sometimes they have hidden agendas that supersede our shared values of common decency.
by Trenthug | 2025-07-23 15:21:18+00:00
This paper presents a descriptive model of consciousness based on information theory The aim is to enumerate definitely described aspects of consciousness and present them in a coherent manner,talks about both phenomenal Consciousness (seen as attention)and access Consciousness,

Some aspects described about consciousness might seem akin to karl friston's view of defining brains as Bayesian inference machines, Wittgenstein's private language argument and Tononi's IIT usage of a complexity metric(amount of information) for measurement purposes with some subtleties of of it's own to add .

The part about choosing a method of measuring complexity seems to be something that can be looked over by a logician to get it refined for the models usage, some thought experiments with conjectures are there in that regard which might be worth looking into or to check their validity.
by alistairSH | 2025-07-23 15:21:32+00:00
For starters, the option doesn't appear to be available for men. Male drivers in particular may want to skip female passengers for fear of baseless allegations/lawsuits.

Second, if my personal experience with Uber is typical, there aren't anywhere near enough female drivers available to serve female customers. In order to make this system work, female passengers will either need to wait much longer (for an available female driver) OR Uber will have to increase wages for female drivers (to entice more drivers). That second option is likely illegal - generally speaking, we can't determine wages strictly on gender.

I don't necessarily have a problem with the notion of females selecting female drivers/customers, but I do have concerns about rolling out an actual real-life feature in a legal and fair/equitable manner.
by hbn | 2025-07-23 15:21:47+00:00
This is only tangentially related, but I just started using Brave (on Windows) in the past couple weeks in preparation for uBlock Origin being blocked in Chrome. Once I disabled all the weird service integrations/upsells it's been a decent enough experience. But the one bizarre thing I've found is typing in the YouTube comment box is laggy as hell for some reason. No other text field that I've found has this issue, just the YouTube comment box in particular is super laggy in Brave. Has anyone else experienced this?
by anthk | 2025-07-23 15:22:27+00:00
Emacs has cl-lib. If you come from Common Lisp you will be 90% at home, minus closures and a few rough edges. Still, PAIP code has been ported to Elisp:

https://github.com/yfuna/paip-el

The original one:

https://github.com/norvig/paip-lisp

Paradigms of AI Programming:

https://upload.wikimedia.org/wikipedia/commons/d/d4/Peter_No...
by 1718627440 | 2025-07-23 15:23:05+00:00
I think the go-to for sharing users is not to manually sync UID/GID, but to just connect it to a database. For example you can install libpam-mysql add your database credentials and be done.

For remote access I think ssh -X works? Not sure it will work with Wayland, but I am not a fan of that anyways.
by sneak | 2025-07-23 15:23:13+00:00
Fact of the matter is, this is institutionalized discrimination. It might be beneficial, but it's discrimination.

From a purely logical standpoint, if this type of discrimination is tolerated, others should likely also be tolerated.

If other types of discrimination are not tolerated, then this type of discrimination should not be tolerated either.

It's no different than white people not wanting black drivers, and Uber supporting that.
by Const-me | 2025-07-23 15:23:27+00:00
I believe the reason why management specifically asked for animated GIFs was compatibility. The GIF format is ancient and supported by everything, makes it trivial to share or embed these animation files.

Ignoring the compatibility, modern video codecs like h264 or h265 are substantially better than animated GIFs, in terms of both size and quality.

BTW I supported them as well. The only target platform of that software is modern versions of Windows. It only took couple pages of straightforward C++ because the OS includes a functional equivalent of libavcodec and libavformat libraries. Moreover, GPU drivers install and register the components to leverage the codecs implemented by hardware of these GPUs. The high-level API to encode compressed video files from a sequence of frames is MFCreateSinkWriterFromURL function.
by adithyassekhar | 2025-07-23 15:24:02+00:00
Just yesterday I wiped my dual booted linux mint. As bad as Microsoft is, there is a certain sense of polish and dare I say confidence to using windows. Lol I can't believe I'm saying that even though just now I saw chris titus's video on AI code inside windows.

Say when an application starts being slow for memory issues or io issues or downright freezes, I can still click a button or start typing something in that application, wait and it'll work eventually. I can push windows as far as I can, I can be absolutely careless and it'll still work.

On mint, if things start going slow, I'll stop clicking and wait for it to die so I can restart the app again. I don't feel confident enough to push it.

It's like buying a boring, easy to maintain japanese car and a fancy, one of 100, exotic super car from some obscure european brand. I know which one I can confidently thrash about.
by DrBazza | 2025-07-23 15:24:04+00:00
Another 'problem' with the Linux desktop was that it was entrepreneur hostile due to the culture. The kind of folks that YC might have funded a decade ago..

Pre-mobile, pre-'fast internet', there wasn't really a home in Linux land for paid-for apps, there were a few, but not many. And devs flocked to Windows, and to a lesser extent Macs.

Fortunately, in 2025, people are developing software as a service, and that can be successfully achieved using Linux as your buyers aren't other Linux users. Paid-for (native/desktop) apps are still a rarity and probably will continue to be.
by hombre_fatal | 2025-07-23 15:24:23+00:00
Oh, I go bug hunting all the time in sensitive software. It's the basis of test synthesis as well. Which tests should you write? Maybe you could liken that to considering where the needles will be in the haystack: you have to think ahead.

It's a hard, time consuming, and meandering process to do this kind of work on a system, and it's what you might have to pay expensive consultants to do for you, but it's also how you beat an expensive bug to the punchline.

An LLM helps me run all sorts of considerations on a system that I didn't think of myself, but that process is no different than what it looks like when I verify the system myself. I have all sorts of suspicions that turn into dead ends because I can't know what problems a complex system is already hardened against.

What exactly stops two in-flight transfers from double-spending? What about when X? And when Y? And what if Z? I have these sorts of thoughts all day.

I can sense a little vinegar at the end of your comment. Presumably something here annoys you?
by Pxtl | 2025-07-23 15:24:45+00:00
Issue trackers are often politicized. You get projects where they auto-close stale issues. Or where they're resistant to creating issues that they know that realistically nobody is going to work on this in the foreseeable future.

TODOs are an excellent place for developers to describe where they'd like to go with a given pile of code if they had the time, and realistically that kind of work isn't suitable for every issue tracker depending on who has access to that issue tracker and who has opinions about what goes in there.
by indoordin0saur | 2025-07-23 15:25:11+00:00
You can look through a telescope and the actual light from the stars will be hitting your retinas, so you can answer this question for yourself!

For most things like nebula and galaxies the shapes can be made out easily but often the colors are absent or muted because our eyes' color cones don't do as well in low-light as a monochromatic rods. This is similar to how if you have ever seen the aurora the colors are hard to perceive but if you use a camera they pop out a lot more.

There's a big range though and it depends on the intensity of light from the object. There are certainly nebulas and other objects out there with enough light intensity that our eyes can naturally perceive the color.

The other thing to keep in mind is that people's night vision and ability to perceive color in low light is highly variable, much like how our visual acuity (near/far sightedness) vary greatly by individual and worsen somewhat with age.
by SOLAR_FIELDS | 2025-07-23 15:25:14+00:00
There's a lot of fear over things like black mold in the states. It's extremely rare but it can be life threatening, and it's one of those things that people see and get nervous about when they see that for instance their HVAC vent has mold spots, that they are breathing toxic air. 9 times out of 10, it's totally fine. This method mentioned above gives homeowners the peace of mind that they aren't poisoning their families accidentally for an extremely affordable price. The alternative of calling mold remediation experts in is going to be extremely pricey, and those people cannot be trusted to be upfront on whether your mold problem is 1. actually a problem and 2. actually dangerous - because they make money on selling expensive remediation solutions.
by johnisgood | 2025-07-23 15:25:15+00:00
Yes, the police are arguing both sides, according to what I have read[1], and that they are not doing it in English but in other languages, e.g. Swedish. I am not sure why I am getting down-voted though.

[1] https://grapheneos.social/@GrapheneOS/114784488424006190 and so forth.
by snikolaev | 2025-07-23 15:25:40+00:00
The speedup comes from a number of architectural and low-level performance optimizations in Manticore Search.

Manticore has a modern multithreading architecture with efficient query parallelization that fully utilizes all CPU cores. It supports real-time indexing - documents are searchable immediately after insertion, with no need to wait for flushes or refreshes.

It uses row-wise storage optimized for small to large datasets, and for even larger datasets that don’t fit into memory, there's support for columnar storage through the Manticore Columnar Library.

Secondary indexes are built automatically using the PGM-index (Piecewise Geometric Model index), which enables efficient filtering and sorting by mapping keys to their memory locations. The cost-based query optimizer uses statistics about the data to choose the most efficient execution plan for each query.

Manticore is SQL-first: SQL is its native syntax, and it speaks the MySQL protocol, so it works out of the box with MySQL clients.

It's written in C++, starts quickly, uses minimal RAM, and avoids garbage collection — which helps keep latencies low and stable even under load.

As for benchmarks, there's a growing collection of them at https://db-benchmarks.com, where Manticore is compared to Elasticsearch, MySQL, PostgreSQL, Meilisearch, Typesense, and others. The results are open and reproducible.
by littlestymaar | 2025-07-23 15:25:50+00:00
There's a funny small list of true claims in your message above…

First, Dassault Systèmes doesn't fall "under one umbrella" with Dassault aviation, it is an independent public company (with the Dassault group having minority shares in the company). And just because a software company has defense related products doesn't make it a “defense company”, nobody would ever call either IBM or Microsoft “Defense Companies”.

Then Facebook doesn't seem to be using Ocaml in Facebook Messenger, and instead uses its standard tech stack for that (the Hack PHP derivative).

The fact that Facebook has a developer-facing team building internal development tools with OCaml doesn't suffice to change the status of a language: since there are barely any Ocaml developers at Facebook, an Ocaml enthusiast would have to be very, very lucky to land an Ocaml job there…

And that's the whole point of the “hobby language” status: can you land a job using it or not, and Ocaml simply isn't that kind of language. And again, France has been teaching Ocaml to at least a hundred thousands of students over the years.
by pier25 | 2025-07-23 15:26:03+00:00
> Very very few people, in practice, write vanilla CSS.

That's not what I've seen. Most frontend developers I know usually write CSS (or SCSS previously).

> CSS is just too cumbersome, too awkward, and too complicated for most developers and companies.

Really?

I disagree but are you arguing TW solves any of that?