MurphyA/hacker-news huggingface dataset:
by WarOnPrivacy | 2025-09-27 07:02:57+00:00
The article examines the motivation of wingsuit base jumpers and suggests they are driven by the reward they get thru control that is gained from minimizing outsized risk.

While I can readily accept this, I would not readily dismiss the effects of stimulation and how it used to bridge mental gaps between decreased cognition and the level that one ought to be operating at.
by bostik | 2025-09-27 07:04:42+00:00
Keychron? I realise their prebuilt variants may have ISO layouts only for the various EU market segments, but they all run QMK so you could reflash with en-US keymap. They come with a set of replacement Mac/Win keycaps already, and have a physical switch to flip between the two variants.

Then reshuffle the physical keycaps to match your layout.

(Disclosure: I have two of their ISO keyboards: Q10 and Q11. Both require a wrist support, they are thick.)
by Symbiote | 2025-09-27 07:04:52+00:00
He wrote The Cathedral and the Bazaar in 1997, an essay about open source software development, and then later a book. He founded the Open Source Initiative (OSI).

I wasn't aware of his political views, especially more recent statements he's made such as the linked tweet above/below.

https://en.wikipedia.org/wiki/The_Cathedral_and_the_Bazaar
by vazgriz | 2025-09-27 07:05:05+00:00
Hi, author here.

In my experience in both the aerospace industry and the video game industry, there are no tools like this in use. In aerospace specifically, errors like that are caught by manual human review, including third-party validation companies. Unit tests are used to sanity check every calculation. And finally, everything is run in a flight simulator before ever going onto a real aircraft.

In video games however, it's the wild west. Math errors there are funny, not deadly.
by hirenj | 2025-09-27 07:05:22+00:00
I was ruminating about how Atproto would be great for re-thinking the peer review system for scientific journals.

Imagine a world where a preprint is “published” onto the social web, from which you could aggregate reviews/comments. I eventually ended up thinking about exactly what you raise - it would be great to have some degree of access control on this so both comments and published things can be selectively shared (with an option to make everything public later on, maintaining all the links).
by eesmith | 2025-09-27 07:05:45+00:00
> and if an ID app alleviates some concerns about immigration then I'm fine with it

It won't.

The US border is now locked down far tighter than it ever was when I was a kid, and the cries for locking it down even more and violently apprehending suspected violators are at a fever pitch. The UK too - like many countries in the recent rightward lurch - has gone from a country where I can just show up to visit to one when were I need to request permission beforehand.

It sure seems like the "concerns about immigration" in the UK mirror those in the US, which in my analysis is a reaction towards the loss of white privilege combined with the loss of economic power. Putting stricter id checks may assuage abstract xenophobia, but the concrete details don't fundamentally change the concrete details.

It's not like Brexit fixed those concerns about immigration.
by ivanb | 2025-09-27 07:05:47+00:00
The whole area is full of contradictions:

- mechanical keys - reduced movement;

- buy a custom build - have industrial build quality;

- barely any movement - good blood flow;

- avoid rolling - type fast;

- concave keyboards - tenting;

- fewer keys - minimal;

- uniformly shaped keys - touch typing feedback;

- keep hands on the keyboard - move pointer precisely;

- custom layout - conventional shortcuts.

This is ridiculous. I no longer take this field seriously. I get it, we get bored and need a new toy sometimes. Some indeed acquired a medical condition and need medical equipment to type now.

I noticed when I exercise I can sit comfortably on a firm basic stool, and when I don't I become a princess on a pea.

How about we start with the basics? Good posture, correct hand positions, monitor at the right level, exercise, nutrition. Then an IBM Model M would suffice.
by pabs3 | 2025-09-27 07:06:48+00:00
There are tools to import mails into whichever email client you prefer, especially if the list is archived on a public-inbox instance, which is the best mailing list archiving system so far.

https://lwn.net/Articles/875239/ https://blog.gnoack.org/post/lei/ https://people.kernel.org/monsieuricon/lore-lei-part-1-getti... https://b4.docs.kernel.org/ https://github.com/mikwielgus/forum-dl
by WarOnPrivacy | 2025-09-27 07:08:32+00:00
The request is to saturate Low Earth Orbit and Very Low Earth Orbit with 15,000 new satellites and get us closer to a state of pervasive optical pollution.

As of May 4th, 2025, there are 12,149 active satellites in all orbits.

For the endeavor of more than doubling our satellite presence, a minority will receive notably worthwhile gains, while the effects of eroding our planet's night sky - this will be felt by ~all.
by card_zero | 2025-09-27 07:10:32+00:00
Per 5, it says here "Human hands are packed absolutely full of sensors. Getting anywhere near that kind of sensing out of robot hands and usable by a human puppeteer is not currently possible."

Then another quote, "No one has managed to get articulated fingers (i.e., fingers with joints in them) that are robust enough, have enough force, nor enough lifetime, for real industrial applications."

So (3) and (7) are relevant to lifetime, but another point, related to sensors, is that humans will stop hurting themselves if finger strain occurs, such as by changing their grip or crying off the task entirely. Hands are robust because they can operate at the edge of safe parameters by sensing strain and strategizing around risk. Humans know to come in out of the rain, so to speak.
by throwawayqqq11 | 2025-09-27 07:12:56+00:00
Isnt it a little onesided to put blame on the payers for price insensitivity?

> The second you detach the consumer from the price of something, that is when they stop caring about how much something costs, and so the price jumps.

Why should nobody care about prices? The customer gets subsidizes by another payer, in this case governments that have to authorize budgets.

The reverse could be true too, companies raise their prices in lock step because they want to 'detach' more profits off of production and so, the government steps in to subsidize. So what is the causality chain here? Still the government not caring?

IMO you are putting blame onesidedly on payers and not on the ones in charge of price policy, which would include companies too. I dont understand why people dont apply their critizism of large organisations, like a government, to other large organisations, like a company.
by recursivecaveat | 2025-09-27 07:14:18+00:00
The world is full of curbs, stairs, lips, rugs, vehicles, etc. If you're a human-scale robot then your wheels need really wide base to not tip over all the time, so you are extremely awkward in any kind of moderately constrained space. I wouldn't exchange my legs for wheels. Wheelchair users have to fight all the time for oversights to be corrected. I can see maybe see a wheel-based humanoid robot, but only as a compromise.

On the other hand there is not much reason to constrain ourselves to the unstable and tricky bipedal platform or insist on having a really top-heavy human-like torso. You could have 3-4 little legs on a dog scale body with several extra long upwards reaching arms for eg.
by AnthonyMouse | 2025-09-27 07:14:33+00:00
> It takes more than just misaligned incentives to get a banking crisis -- you have to have structural corruption preventing the transfer of the loss gradient back to the "misaligned" decision makers.

Nah, you can do it just on the basis of information asymmetries.

Banks can sell mortgages. People think buying mortgages is safe, because banks don't loan money to people they don't think can pay it back, and even if they did, the mortgage is backed by the house so in the worst case you can foreclose and get back your principal. So lots of people buy mortgages.

Then banks figure out that it's easy to sell mortgages, and that if they sell them it doesn't matter that much if the people they loan the money to can pay it back. Plus, the less creditworthy people pay higher interest rates, and you can still foreclose if they default. So banks make a lot of loans to people who can't afford them, and then sell the mortgages, and people still buy them.

Except that if this happens at scale, the people taking out mortgages they can't afford bid up the price of houses. And then when they start to default and you want to foreclose, you'd have to sell the house to get back the money, which at scale means that the prices would go back down to where they were before they got bid up, which means you wouldn't even recover your principal.

If everybody realizes that this is what's going to happen then people wouldn't buy bad mortgages from banks and then banks wouldn't issue them. But if enough people don't notice until after the bubble is inflated...
by bekacru | 2025-09-27 07:15:34+00:00
1. We won’t sunset Auth.js unless we’re confident that anyone currently using it can migrate to Better Auth without any issues, which is quite difficult right now. So we don’t expect to do that anytime soon and chances are we will never require everyone to migrate.

2. The features we offer through plugins don’t exist in NextAuth, so that shouldn’t be a problem. You can use the core library for almost all of NextAuth’s features, and we provide most plugins first-party. Of course, you can choose not to use a plugin, write your own, copy and modify one, or only use the first-party ones we provide. We handle the database so you can own your auth without writing the logic yourself.

3. Auth.js hasn’t been actively maintained for a while. Our main reason for bringing it under Better Auth was to avoid a sudden deprecation, as that would directly harm the open-source auth ecosystem by eroding trust. Something we’ve already seen happen on a smaller scale with Lucia Auth.
by sph | 2025-09-27 07:15:39+00:00
I bought a ZSA Moonlander a few years ago and it went a bit like this:

1. Unpack and immediately set up a Colemak-DH layout. Customize the layout twice a day for 4 months. This is PAINFUL, slow and unproductive.

2. Got comfortable with Colemak and stopped doing any typing exercises. Still tweaking my layout.

3. Didn’t know where to position my mouse, so I got an Apple Trackpad 2 that sits beautifully between the two halves. Works great on Linux. Keep the mouse around for gaming.

4. Finally productive. I make minor changes to my layout every 6 months. Colemak is ingrained in my muscle memory. It’s just so comfortable.

And don’t worry about forgetting how to type QWERTY; the secret to retain muscle memory is that an ortholinear split keyboard is sufficiently different from a regular one that it’s like learning a completely new instrument. Hard at first, but it would be hard even if the layout was familiar; might as well then switch to something better than QWERTY.

I love my split keyboard now. Games are a bit annoying but I can easily switch to my gaming-QWERTY-hybrid layout (QWERTY on the left hand, colemak w/ tweaks on the right). Specialist tools like Blender might need minor rebinding to find comfort.

When I type on a regular laptop, I find shift+numbers for symbols to be hilariously unergonomic compared to my symbol layer, I don’t know how the hell people cope doing Rust or Haskell or even Lisp.
by xigoi | 2025-09-27 07:15:49+00:00
> Twitter has/had character limits. Instagram was primary for photo sharing. if you try to cram a long political rant in an instagram photo or description.. it is fighting against the app format and limitations. This sculpts the apps "culture"

A big part of Twitter’s “culture” is creating “threads” to work around the character limit, which kind of defeats the point.
by t14000 | 2025-09-27 07:17:12+00:00
Because they pinky promise? It'll be required to produce one like producing a driving license is required, but you don't need to have it with you. It'll be required because pubs/bars etc will require it. It'll not be required like giving a traffic stop breath sample is not required or like giving up your password is not required.

Imagine it was called IrishID or similar, help you to have empathy for how half of NI residents might feel about Brit-anything?
by radley | 2025-09-27 07:17:41+00:00
I dunno, based on Spotify's recommendation engine, AI is absolutely sufficient to make anyone a creator ;P

Almost all naturally-generated music is derivative to one degree or another. And new tools like AI provide new ways to produce music, just like all new instruments have done in the past.

Take drum and bass. Omni Trio made a few tracks in the early 90s. It was interesting at the time, but it wasn't suddenly a genre. It only became so because other artists copied them, then copied other copies, and more and more kept doing it because they all enjoyed doing so.

Suno ain't gonna invent drum and bass, just like drum machines didn't invent house music. But drum machines did expand the kinds of music we could make, which lead to house music, drum and bass, and many other new genres. Clever artists will use AI to make something fun and new, which will eventually grow into popular genres of music, because that's how it's always been done.
by vazgriz | 2025-09-27 07:18:50+00:00
Hi author here, I have worked in the aerospace industry on flight control systems. I'm very familiar with knots as a unit.

I'm just annoyed that so many educational resources and even flight code still use customary units for everything. I believe that metric should be used for all internal calculations and knots should only exist at the UI layer for the pilot.

When I play flight games though, I only have intuition for speed in terms of knots. Like 150 kts is takeoff speed and 400 kts is the corner speed.

I just think that the pilot letting out a spool of knotted rope from their plane is a very silly practice to defend :)
by Almondsetat | 2025-09-27 07:18:52+00:00
>Litex(website) is a simple, intuitive, and open-source formal language for coding reasoning (Star the repo!). It ensures every step of your reasoning is correct, and is actually the first reasoning formal language (or formal language for short) that can be learned by anyone in 1–2 hours, even without math or programming background.

>Making Litex intuitive to both humans and AI is Litex's core mission. This is how Litex scales formal reasoning: by making it accessible to more people, applicable to more complex problems, and usable by large-scale AI systems. These benefits stem from Litex's potential to lower the entrance barrier by 10x and reduce the cost of constructing formalized proofs by 10x, making formal reasoning as natural as writing.

>Even Kids can formalize the multivariate equation in Litex in 2 minutes, while it require an experienced expert hours of work in Lean 4. It is a typical example of how Litex lowers the entrance barrier by 10x, lowers the cost of constructing formalized proofs by 10x, making formalization as easy and fast as natural writing. No foreign keywords, no twisted syntax, or complex semantics. Just plain reasoning.

Boilerplate and constant repetition
by bfg_9k | 2025-09-27 07:20:03+00:00
The vast majority of countries do not have birth right citizenship, and amongst those that to only about half have it as unrestricted.

https://worldpopulationreview.com/country-rankings/countries...

I don't exactly know what you mean by citizenship register but I can't imagine it's hard to workout who is a citizen and who isn't.
by distances | 2025-09-27 07:20:58+00:00
I have somewhat similar experience. I had wrist pain for years, using a wrist support and topical pain gel. MRI and other tests were inconclusive, it wasn't any of the typical problems.

A physiotherapist said the problem is not the wrists but that the pain comes from higher up in the arms. I started going to the gym, and like for you, the issues are just gone now. I haven't worn the wrist support since.
by Elfener | 2025-09-27 07:22:03+00:00
> What on earth lurks in that massive download when the actual app could probably fit into a couple kB?

Other than the fact that an android app to has to bundle every dependency, Facebook apps also have lots of "useless" features.

For example, Messenger can show you how many Facebook notifications you have (only necessary because Meta doesn't know how to send an actual notification half the time). It also has "Stories", some "AI Studio chats" and a "Create an AI" button???

Also, I think they also have the ability to update themselves, because Meta doesn't trust google play?

And let's not talk about the main FB app bundling an entire web browser, which recently is your only option when clicking a link in Facebook.
by TeMPOraL | 2025-09-27 07:22:08+00:00
OTOH, if you talk about it first, then you forfeit the option to do the sticker thing later, because then the neighbor will know it was you who tampered with device. If you do it like OP did, then the neighbor will not be sure who was responsible, if anyone at all - they might assume they're just imagining things, or not even notice at all, because they're not paying attention. Asking first is a guaranteed way to make them pay attention.

Not advocating any course of action, just gaming out the options a little.
by 8n4vidtmkvmk | 2025-09-27 07:22:49+00:00
I'm not sure describing it in words is very helpful, and there's probably a good amount of such data available already.

I would think the way to do it is build the touch sensors first (and it seems they're getting pretty close) then just tele-operate some robots and collect a ton of data. Either that, or put gloves on humans that can record. Pay people to live their normal lives but with the gloves on.
by Retric | 2025-09-27 07:23:25+00:00
As you tighten a bolt the angle you need to apply force changes. So it’s not just a fixed position plus force in 6 directions its force in 6 directions at each position. You can learn quite a bit about something from such interactions such as an objects weight, center of mass, etc.

Further robots generally have more than a single rigid manipulator.
by fallat | 2025-09-27 07:29:07+00:00
Yeah, I don't think the authors _actually_ mean that. I think English isn't their first language.

We should try to be charitable (but with a healthy amount of skepticism!); it's possible they meant "Even a child [with a good understanding of Litex] could [mechanically] formalize this multivariate equation in Litex in 2 minutes [as opposed to remembering and writing Lean 4 syntax]"
by fragmede | 2025-09-27 07:29:08+00:00
The gravity of the crime to the one that commits it is lessened by the ease of committing that crime. Brutally stabbing someone to death is heinous because the person commiting that crime had to get up and personal with their victim and the weapon and the act. Meanwhile, if I angle my foot down by 10 degrees while in my car, I'm speeding, and hardly anyone considers that a reprehensible act that should ruin my life forever. The problem with lasers is there's no gravitas to them. They can be powerful and dangerous af, and barely make a sound. And they're way too easy to get off eBay. Shooting an RPG at a airplane... nevermind how big and heavy one is, how would I even get one? Operating one is non-trivial, too. Because a laser is a simple pushbutton to complete the circuit and turn it on, to the uncareful, and impulsive, you can commit a felony before your brain comprehends that it's even a crime in the first place. You have to really think things through before doing them an unfortunately not everyone is blessed with a brain that has that capability. I don't say this to excuse someone hurting other people, but to promote laser education.
by dminuoso | 2025-09-27 07:29:09+00:00
You can run your own mail server and name server on top. The network of mail is very much federated.

In mail we have so many freedoms. We have become so locked into technology that we have to introduce a term like “federation” to signify the interoperability and freedom of a single component. Mail is federation layered upon federation.

The fact that you can just use a mailings list address as a member of another mailing list gives you even more federation possibilities. All with the simplest of all message exchange protocols.
by lyu07282 | 2025-09-27 07:29:44+00:00
Why do you even argue against someone that doesn't think "insurance" should exist? Its a troll, not even most serious libertarian freaks are that idiotic. Our goal should be to make sure these freaks have no power.

OF COURSE single-payer means lower prices, the government has a shit ton of power in negotiating prices if they want to. They don't want to because they are corrupt, freaks like the above are only there to rationalize the theft. They need to be defeated politically.
by omnicognate | 2025-09-27 07:30:01+00:00
It's 3 mirrored surfaces at right angles, yes. However the purpose is to reflect the light back where it came from, and if you want to do that accurately over a significant distance the right angles have to be very precise.

Say the laser-toting miscreant is 100m away and you want to direct the beam back onto the hand holding the laser. For that you'll need the right angles to be correct to within around 0.05°. You're not going to do that by gluing mirrors together by hand. (That isn't to say that you couldn't make a useful one by hand, depending what you're trying to achieve. Just illustrating the precision calculation.)

The expensive prism reflectors gp linked are even more precise than that. They say 3 arcseconds, which is less than 0.001°.

There are corner reflectors placed on the moon for precisely measuring the distance to it. I bet those are really precise ones.
by Symbiote | 2025-09-27 07:30:16+00:00
Eric's suggestion for a CoC:

> "If you are more annoying to work with than your contributions justify, you'll be ejected."

is not unreasonable (whether written down or not) for an individual's hobby project, but for something run by a company or other organization I think more detail is required.

The OSI code of conduct seems too general, perhaps open for different interpretations or potentially selective enforcement: https://opensource.org/codeofconduct

The Linux one I prefer, since it's concise and clear, e.g. "sexualized language" and "harassment" are unacceptable: https://docs.kernel.org/process/code-of-conduct.html

My own employer's code of conduct (we have open source projects, discussion forums etc) looks similar to the Linux one. I think it is enforced about once a year, and I think the reason has been either sexual harassment or repeated personal criticism of individuals' work.
by agolio | 2025-09-27 07:31:29+00:00
That may be true but doesn't contradict the point of the parent commenter.

If Auth.js wanted to give up, that would be fine (although disappointing, since multiple options is always healthy, especially for something as critical as auth)

but this deal where they are "becoming part of BetterAuth" and recommending that new users use BetterAuth on the project README is concerning to me
by motbus3 | 2025-09-27 07:33:41+00:00
The digital id is not the reason for that comment, or not solely. I mean having AI cameras, legalised racial profiling, attack on vessels in international waters without proof (likely killing innocent civilians too when it could be intercepted easily on the coast), we have politics talking about cultural incompatibility of their own people because different religion, we have a post truth media, etc
by xbmcuser | 2025-09-27 07:34:10+00:00
This problem is not unique to buses it's in almost all markets or industries in the US. Almost every industry has monopolies or virtual monopolies. Incubants pay/finance politicians to make rules that make it harder for new entrants to get into the market or use false free market narrative to hamper community inniatives. The attack on wind and solar by the current administration is part of the same play.