MurphyA/hacker-news huggingface dataset:
by utopiah | 2025-09-27 07:34:53+00:00
> proponents of mechanical keyboards say you need fewer keys than a regular keyboard, for _reasons_

Well "reasons" is quite obviously travel distance and thus time. If your fingers are always on, or nearby, the resting position (home row) then you go faster and don't stretch in repeated weird (ergonomically speaking) ways.

This though comes at a BIG cost, namely layers and other tricks to make "far" thing stay "close", which is cognitive. You have to remember where things are and how to activate them. Until it comes second nature because you drilled for so long then it might not be worth it for most.

The "reasons" are not arbitrary.
by NoiseBert69 | 2025-09-27 07:35:17+00:00
Partial Auto-Routing always worked quite good.

But: 99.9% of the people forget about setting the routing constraints/rules so the results turn out to be very bad. Even professionals forget about this.

Lots of things also cannot be auto-routed as you have to work around of details. Usually high-frequency DCDC converters belong into that region for example.

As a beginner these are no tools for you as you cannot judge if they are creating extremely bad designs or what will work. Stick super close to reference designs from datasheets and there will be a good chance that they will work just fine.
by GistNoesis | 2025-09-27 07:36:28+00:00
Being able to quantify the importance of the environment is one advantage of using a simulator based approach. You know what's happening, and you can simulate other environments by adding the relevant molecules around.

Speeding-up the folding is not the real problem, knowing what happen is. One way to speed-up the process is just to minimize the free-energy of the configuration (or some other quantity you derive from the neural network vector potential). (That's what the game fold-it was about : minimizing the Rosetta energy function). An other way would be to just use generative method like diffusion model to generate a plausible full trajectory (but you need some training dataset to bootstrap the process). Or work with key-configuration frames. The simulation can take a long time but it goes through specific arrangements (the transitions between energy plateau), and you learn these key points.

The simulator can also be much faster because it doesn't have to consider all the pair of atom arrangements (n^2 behavior if you are naive) into O(n) with n the number of atoms (with the bigger constant which is running the neural network hidden inside the O notation).

The simulations are classical but fundamentally they rely on the shape of the electron clouds. The electron density can deform (that's what bonding is), providing additional degrees of liberty, allowing the atom configuration to slide more easily against itself and avoid getting stuck in local optimum. Fortunately all this mess is nicely encapsulated inside the neural network potential and we can work without worrying about the electrons, their shape being implicitly defined by the current position of the atoms (using the implicit function theorem make abstracting their behaviour sound because of the faster timescales).
by bekacru | 2025-09-27 07:37:27+00:00
NextAuth has supported delegating your db for years, companies like cal.com, deel.com and many others use that directly (not just for stateless jwt). I don’t really see the difference here, except that we handle more for you. And of course, If you don’t want to delegate your database, you can keep using NextAuth with stateless auth and we plan to add support for that as well.

There are already many companies with lots of users and revenue using Better Auth from simple auth setups to organizations, billing and what not.

If your question is more about whether we should allow database adapters to be written directly by developers (some people ask that) that’s just not realistic at the scale of what we handle. No one is realistically going to write hundreds of queries manually
by teiferer | 2025-09-27 07:38:51+00:00
Kids hardly know what a multivariate equation is. Unless you use "kid" to denote 20-year old college students enrolled in a math program which some people do.

The other claim is doubtful too:

> while it require an experienced expert hours of work in Lean 4.

No, it doesn't. If you have an actual expert, it only takes a few minutes.

And besides, isn't this exactly what an artificial intelligence would solve? Take some complex system and derive something from it. That's exactly what intelligence is about. But LLMs can't deal with the complex but very logical (by definition) and unambiguous system like Lean so we need to dumb it down.

Turns out, LLMs are not actually intelligent! We should stop calling them that. Unfortunately, there are too many folks in our industry following this hyped-up terminology. It's delusional.

Note that I'm not saying LLMs are useless. They are very useful for many applications. But they are not intelligent.
by pasc1878 | 2025-09-27 07:40:27+00:00
I don't see any incentive for Amazon to do that. Even if you do not buy any books from Amazon you still paid them for the Kindle. And if you have a Kindle you might buy the odd book from them.

Also the Kindle is marketed as allowing you to put your own documents on it.

Yes Amazon want to stop you reading books licensed from then on anything but a Kindle but not the other way around.
by vermilingua | 2025-09-27 07:41:03+00:00
This makes sense but doesn’t this imply that displaying comments under a post is a very expensive operation?

Also not totally clear to me (apologies if I missed it in the post) is where repositories live, I have a bsky account with my own domain, but I am not running anything to host a repo. Am I correct in assuming that bsky is hosting my repo, but I would have the option to self host or move it elsewhere and continue using bsky?
by myrmidon | 2025-09-27 07:41:55+00:00
First: I'm not blaming US workers for being unreasonably expensive.

But those higher wage levels are not just affecting a products core-labor working at the assembly line-- you'll have project managers, sales, purchasing, contractors, even the construction workers building your factories: All of them are affected by this (and those people exist in China, too!). I would assume that the total sales price of a bus contains a larger fraction proportional with hourly wages than you might expect at first glance.
by scotty79 | 2025-09-27 07:41:56+00:00
I misread the title and I thought it was about humans.

And I could see it. With prevalence of screens kids already don't learn a lot of dexterity that previous generations have learned. Their grip strength is weak and capacity for fine 3d motions is probably underdeveloped as well.

Last week I've seen an intelligent and normally developing 7 year old kid asking mum to operate a small screwdriver to get to the battery compartment of a toy because that apparently was beyond his competence.

Now with recent developments in robotics, fully neural controllers and training in simulated environments there could be that modern babies will have very little tasks requiring dexterity left when they grow up.
by rswail | 2025-09-27 07:43:39+00:00
The keychron K10 max seems closest to what I want and has the keytops I want (with a bit of rearranging). The UK keytops are the closest to what I want,

I already use Karabiner to swap a few things, so that's probably the closest.

Just need to be able to get blue switches, I WFH and there's no one around to be bothered by the clicking.

Considering I started "typing" on an ASR-33, and then an original IBM PC, I want the clicks :)
by baobun | 2025-09-27 07:43:42+00:00
I guess one possible gotcha I can think of is, be prepared to build your own binaries/images if you aren't already. Some bread-and-butter features like L4 proxying depend on plugins and aren't part of the core package. It's good to self-build for other reasons, just sayin', distro versions or the official docker image will only get you so far.

Also iirc not all such functionality is actually available when configuring via Caddyfile so it can be confusing if you expect that and don't realize you need to switch to json/yaml configuration to do what you want. A little remniscient of the Traefik static/dynamic confusion ;)

All good, just things that can be different than what you are used to and expect.
by am17an | 2025-09-27 07:44:43+00:00
I don't feel weird about it because it's a trillion dollar business, and it's in their best interests to muddy the waters regarding any cohesive argument. But when you just look at these things from first principles, boasting about 1 billion hours of shorts watched in a month or something ridiculous like that, AI generated content on loop, teens/adults getting into status/envy games on these platforms, the "connection" aspect looks like a very small positive.

I don't think your example of off-label Ozempic is isomorphic - the more apt comparison is one I already gave: Why did it take us 30 years to realize cigarettes cause 400k deaths a year? The answer is because there was simply huge amounts of money involved.
by Ygg2 | 2025-09-27 07:45:20+00:00
> The second you detach the consumer from the price of something, even through an intermediary such as health insurance, that is when they stop caring about how much something costs, and so the price jumps.

That's not the only problem with health. It's a very inelastic resource.

If you and your neighbor's have cancer, and I promise to treat whoever pays most, I can safely assume I'm going to be filthy rich. After all, money is pointless if you die, so barring money for descendants, the logical thing is to give me as much money as you can.
by rossy | 2025-09-27 07:45:59+00:00
I don't think being able to migrate your account addresses the rugpull concern. The rugpull scenario is that one day, in five years or so, bsky.app drops all AT Protocol support and transforms into a Twitter-like centralized social media website. The problem isn't that the account will stop "existing" but that Bluesky users will stop seeing it. The average non-techie Bluesky user who doesn't know about the AT Protocol won't even notice the change, except that, from their perspective, a tiny percentage of nerdy users have stopped posting. For you, "migrating" your account away is effectively just deleting it from the now-centralized Bluesky and willfully decreasing your audience by 100-fold or more.

The problem is a social not a technical one. It doesn't matter how good AT Protocol is at account migration. The vast majority of AT Protocol users think of themselves as Bluesky users and don't even know what the AT Protocol is. If the official Bluesky clients move away from the AT Protocol, the majority of users are moving with Bluesky.

For all the UX concerns people have with Mastodon/ActivityPub, at least they make it obvious that different users are hosted on different instances, and no one instance has more to gain than it does to lose by defederating.
by pasc1878 | 2025-09-27 07:47:13+00:00
Yes that works to read them - and I do use that.

But if you want to write a message in reply or start a new conversation - RSS does not allow that. (In the cases that I use RSS - I will just copy to my mail app - it is more cumbersome than just replying in mail (or usenet via gmane) but this is not something I do often for those lists.
by AnthonyMouse | 2025-09-27 07:47:18+00:00
It's also a mechanism for some governments to cheat, because medicine is R&D-intensive.

Suppose that to devise some treatment for 10 million people worldwide, it costs a billion dollars once for R&D, i.e. $100 each, and then $10 more per person to actually manufacture it. So the average person will have to pay no less than $110.

Then some countries say "that costs you $10 to manufacture, we won't pay more than $40" and if you don't take the $40 you can't sell there at all. So, if you don't recover $30 of your R&D per person there then you recover $0, even though you need to average $100.

If everybody does that it doesn't work; they go out of business. But suppose that half the patients live in those countries and the rest live somewhere that the company can charge enough to sustain themselves, i.e. in those countries people have to pay an average of $180 instead of $40 so the total average can stay $110. Then they don't go out of business, but the countries not paying their share are cheating the people in the other ones.

And to add insult to injury, you then hear the people in the countries paying $40 saying "why are you paying $180 instead of doing it like we do"?
by j4coh | 2025-09-27 07:47:39+00:00
You can do exactly what you describe with interdimensional Spotify. People can describe all kinds of fun and interesting things that can be statistically generated for them, but they still didn’t make anything themselves unlike in your other examples of using new tools.

Japanese oldies became a trend for a while - the people who found and repopularised the music dont get to say they created it and how it’s so awesome to have mastered the musical instrument of describing or searching for things. Well, of course they can, but forgive me if I don’t buy it.

Maybe when there is actual AGI then the AI will get the creative credit, but that’s not what we have and I still wouldn’t transfer the creative credit to the person who asked the AGI to write a song.
by 1dom | 2025-09-27 07:48:02+00:00
I mess around with fedify a lot, it's great. It's fun to integrate with existing websites.

I've thought a lot about ATProto and integrating it in similar ways. I'd love to have a look at what you're doing and how. The struggle I have is that I think the ATProto repos have a fairly strong cryptographic structure compared to AP

If someone requests an object over AP, that object contents can come from anywhere easily, and can be signed easy. So for me, when someone requests an activitypub object of one of my notes via fedify, it just reads the truth from my markdown note files and returns it. If I edit my markdown files, it's no real issue, the next request gets the latest version of that markdown (there's some signing nuances in places, but it's generally straightforward)

With ATProto PDS and repositories use things like Merkle Search Trees and other things which I assume means the backend data needs to be a lot more... consistent. Like the data has to live in the PDS, and that has to become the source of truth to maintain the merkle structures, including updates.

But with AP via fedify, it feels super easy and nice for my source of truth to be whatever backend store I like (markdown notes).

I've done enough with crypto to see the benefits provided by the transparent verifiable history of merkle like structures, but honestly, this is social media not cash: I don't care if someone wants to subtly change something to manage how they come across with their own social media. In that respect, I feel the ATProto repositories overcomplicate things a bit.
by distances | 2025-09-27 07:48:19+00:00
You got a lot of exotic suggestions, I'll give one closer to normal: Perixx Periboard 535. Split (though non-adjustable), low profile mechanical switches with three options, three tilting levels, wired or wireless, with or without numpad. And has function keys. Also quite cheap.

I got the wired option with tactile brown switches and numpad, and I've been happy with this. I was looking for a replacement for MS Sculpt and didn't want one of the wild models, this finally ticked all the boxes.

https://perixx.com/products/periboard-535

DE: https://www.amazon.de/dp/B0BZZJH9W2

US: https://www.amazon.com/dp/B0BLT4HDPR
by jononor | 2025-09-27 07:50:51+00:00
One could build a dataset out of Github data, by analyzing KiCAD files. They are likely to be "completed" projects, so one would have to rip out all the traces and start from that. And the parts are also placed (in a way which makes routing feasible for a human), which is a large part of routing. So one could have another task setting where the parts also have to be placed, and then routed. Such a dataset would likely represent simple to medium cases, as open designs are usually on the lower side of the complexity compared to industry. And it would be hard to automatically infer important constraints such as differential pair matching. That would require manual annotation, most likely. But if there indeed are no open datasets, then I think this would be a worthwhile contribution to the field.
by toyg | 2025-09-27 07:51:28+00:00
He has always been somewhat on the right of the American political spectrum, mostly rooted there because (people thought) of his maximalist views over the right to own guns. When he (co)started OSI, he was one of the most business-friendly personalities in the FOSS ecosystem.

Over the last 15 years he seems to have shifted further and further into the MAGA spectrum, increasingly exhibiting outright racist views. It might be age, it might be the evolution of the political debate over there, but the fact is that he's utterly unpresentable now, and I'm surprised anyone still listens to what he's basically just an old racist uncle yelling at everyone.
by Erwyn | 2025-09-27 07:53:29+00:00
> You can run your own mail server and name server on top. The network of mail is very much federated.

While I do completely agree with that in theory (and I also love mail) I think it does not stand the reality test because of email deliveravility which tends to be a nightmare.

How do you solve this? Do you use a third party SMTP?
by octo888 | 2025-09-27 07:53:50+00:00
> but officials haven’t yet announced their intentions to abuse it

That one is perfect lol. It speaks to the baffling immense amount of trust people still have in institutions.

I mean, people are still outright alarmed that the BBC resort to clickbait or quietly change articles after publication. I mean, it's been a good 10-15 years - stop trusting them.
by LinAGKar | 2025-09-27 07:54:30+00:00
Places are increasingly expecting people to have a smartphone, and using an app for things like parking your car, charging you car, going to the gym, paying for stuff, identifying yourself online etc. Sure, for now most of the time you can get away with most things without one (possibly ate the cost of being a second class citizen), but every now and then you run into something that straight up requires a phone.

For example, at the gym I go to they do have a card reader as an alternative to checking in with the app, but at one point it was not working, which meant a smartphone was mandatory to go to the gym. And it was left that way for months; fixing it was clearly not a priority because the expectation of society is that everyone has a smartphone (you'll be met with surprise if you tell people you don't have their app installed, and incredulity at the idea that someone might not have a smartphone). And outside my workplace they put up car charging stations that have no way to pay for charging without an app.

And then (at least here in Sweden) there are increasingly places that accept no payment methods other than mobile payments (Swish here in Sweden), and online services like healthcare services requiring you to authenticate with BankID on a smartphone (or sometimes Freja e-ID, which also requires a smartphone), for things like ordering from pharmacies, doing your taxes online (and getting your tax return sooner), accessing healthcare services etc, and meanwhile physical alternatives like physical pharmacies are increasingly getting outcompeted and shutdown. So you may be able to get by without one, but at the cost of getting cut off from parts of society, and that's likely to increase.

And of course there was recently the news that the UK may require a digital ID (probably on and Android or iOS phone) in order to get employment or residence: https://www.independent.co.uk/news/uk/politics/starmer-digit...
by Fricken | 2025-09-27 07:54:44+00:00
One very important task to solve is the ability to select a box from a shelf and set it neatly on a pallet, as well as the reverse. People have been working very hard on this problem for a long time, there are impressive demos out there, yet still nobody is ready to set their best box manipulating robots loose in a real warehouse environment.

How hard can it be to consistently pick up boxes and set them down again in a different location? Pretty hard, apparently.
by mytailorisrich | 2025-09-27 07:55:19+00:00
Everything can be selectively enforced and open to interpretation.

Good questions are: What purpose does a CoC serve? How does it help?

In most, if not all cases, they are not very helpful beyond, indeed, politics and drama because they turn into a weapon (on the assumption that this wasn't the aim all along).

When a CoC is pushed by a company I think it's probably because companies need company policies for employees for HR and legal reasons. I am not convinced they could explain why that must extend beyond that, and really this is an ass-covering exercise in case things get too "raucous" in the project and produces bad PR.
by delusional | 2025-09-27 07:55:57+00:00
> humanity has some deep desire or curiosity for robots to look like humans.

I don't think you can draw that conclusion. Most people find humanoid robots creepy. I think we have a desire for "Universal Robotics". As awesome as my dishwasher is, it's disappointing that it's nearly useless for any other task. Yeah, it washes my dishes, but it doesn't was my clothes, or put away the dishes. Our desire for a humanoid robot, I think, largely grows out of our desire for having a single machine capable of doing anything.
by europeanNyan | 2025-09-27 07:56:17+00:00
As a long time Kagi user, I absolutely love this. I have tried getting into the RSS game for a long time but it never seemed to stick. This seems like a good middleground because it also follows the Kagi philosophy of simplicity with a wide range of diversity of sources.

As far as I can tell, it's a really nice aggregator of articles with a nice presentation which will hopefully allow me to slowly stop going to news sites multiple times per day. Also, it's a nice way of escaping enshittification in the same way Kagi as a search engine (by being paid) and other Kagi projects (like Small Web) are doing it.
by hitekker | 2025-09-27 07:56:26+00:00
I’ve enjoyed https://github.com/WiseLibs/better-sqlite3/blob/master/docs/... as a code of conduct.

Simple, well-motivated, well-practiced (I think). Unlike more convoluted CoCs, it’s tightly scoped on work, not fun. Specific labor intended to produce contributions instead of enjoyable social experiences.

I feel a lot more OSS should avoid fun. Fun doesn’t seem to scale, especially when it gets in the way of real work.
by wsve | 2025-09-27 07:56:47+00:00
The author is talking about owning a domain and how having that domain gives you ownership over your data... But I can't but think that, at least in the US, domain names are rented from private Internet service providers. There is no ownership involved. One way or another, we are still paying a company.

The assumption of the article is that ISPs are stable and net neutral enough that one would not worry about the ISP going under or seeking some personal vendetta against you and booting your domain. A separate entity may no longer be hosting our data, but a private entity is the gatekeeper of whether anyone is able to see your data.

All that to say, if we want true ownership of domains, ISPs need to be a nationalized, democratized service.