MurphyA/hacker-news huggingface dataset:
by bradley13 | 2025-07-22 05:13:38+00:00
My parents "retrained" me to be right-handed. All primary-school things like writing, using scissors, etc. I do right-handed. For the rest? All I am is confused - some things I do right-handed, others left-handed. FWIW I was a very awkward and uncoordinated kid, which...may be related?
by ofalkaed | 2025-07-22 05:13:40+00:00
>GNUstep

How functional is this? It looks great but does not seem to get much use, is that just a popularity contest thing or does it have issues? Since it can compile any C code (up to what standard?) Does that mean we can mostly use C libraries? Are there issues with interfacing the C libraries with objc objects? Any good linux directed resources for learning objc/GNUstep?
by spacedcowboy | 2025-07-22 05:14:02+00:00
Why, thank you, fellow human :)

SwiftUI is probably awesome :), but I myself find the declarative style of programming to be harder to grok than the imperative style. This is probably just because I’m so used to imperative-style programming, and it’s probably (?) easier for those without huge experience in software engineering to understand. Personally, though, I find it’s a cognitive barrier, not an aide - I didn’t really prefer QML over the C++ Qt library either…
by panick21_ | 2025-07-22 05:14:13+00:00
If the overland regulation changed, there would very likely be Supersonic business jets after a decade or too.

Boom the only company trying to seriously do it, and they are facing a major uphill battle and will need many billions more.

And this NASA project doesn't really solve the problem, because its primary way to avoid the noise, is to reduce what would be cabin space for the already limited space. So that makes commercial viability even worse.
by dlcarrier | 2025-07-22 05:14:14+00:00
Saturating even a 100 megabit connection to a cloud provider gets really expensive, really fast. That's 45 gigabytes/hr. Only a subset of power users are going to have daily or even weekly sustained full-speed transfers of that size, and 100 Mbps is usually the bottom tier plan, from a US telco.

Even if you are doing that to initially back up your network or install Call of Duty, after the initial usage you're only making differential updates, unless something goes very wrong, which hopefully doesn't happen even once a month.

For some users, it may be worth an extra $1000/yr to get the gigabit plan instead of 100 megabit, so that a Call of Duty install could theoretically happen in tens minutes instead of an hour or two, but really it's going to take an hour for your computer to decompress and write the data. Everyone else paying that $1000/yr extra is just wasting their money.

Also, Netflix only uses 16 Mbps at most, for a 4K video which is only a small portion of their catalog and only available to their top-tier subscribers. The extra bandwidth is a recommendation to allow for other users to still use the network and also to account for a special case of high latency that used to occur when saturating the connection on the fastest plans some ISPs offered. Here's some good research into actual streaming usage: https://www.wsj.com/graphics/faster-internet-not-worth-it/ (It's WSJ, but there's no paywall)

On top of that, the cheapest plans offered by most telecoms in the US are over 100 megabit, so you still get a guaranteed three 4K streams Netflix without issue, but realistically could pull off double that.
by wbhart | 2025-07-22 05:15:05+00:00
I have not been working on formalization but theorem proving, so I can't confidently answer some of those questions.

However, I recognise that there is not so much training data for LLMs wanting to use the Lean language. Moreover, you are really teaching it how to apply "Lean tactics", which may or may not be related to what mathematicians do in standard texts on which LLMs have trained. Finally, the foundations are different: dependent type theory, instead of the set theory that mathematicians use.

My own personal perspective is that esoteric formal languages serve a purpose, but not this one. Most mathematicians have not been hot on the idea (with a handful of famous exceptions). But the idea seems to have gained a lot of traction anyway.

I'd personally like to see more money put into informal symbolic theorem proving tools which can very rapidly find a solution as close to natural language and the usual foundations as possible. But funding seems to be a huge issue. Academia has been bled dry, and no one has an appetite for huge multi-year projects of that kind.
by dangus | 2025-07-22 05:16:05+00:00
If you normalize transit assault rates versus car crash injury rates (in other words, assume we all take transit instead of cars and normalize based on 2% trips being transit by multiplying the transit statistics by 98/2), the car crash injury rate is still 4x higher than the transit assault injury rate. If you combine all transit deaths plus assault deaths (again, normalized) you are still at a lower than car crash deaths. I based this on 2019 statistics.

Per trip you are 4x more likely to be injured in a car crash than be injured in a transit assault incident.

I realize this is all napkin math and could be wrong, but I really want to emphasize just how crazy high the car crash injury and death statistics are. Over 6 million car crashes happen per year. 2 million+ car crash injuries, and close to 40,000 deaths.

Transit assaults and other incidents of the sort really are a rarity in comparison to all the ways driving can injure you. The only thing that your car gives you is the ignorant bliss of believing you are in control and nobody else can affect you.

The last thing to keep in mind is that getting assaulted while on transit doesn't necessarily mean you were a random victim. A lot or imagine possibly most most assaults are happening between people who know each other. In that case, public transit is merely a neutral location for the incident.

And the other last thing to keep in mind is that transit users are healthier with better cardiovascular rates and lower rates of obesity. Every 1% of increased transit use is associated with .2% lower obesity rate. Heart disease kills a whole lot more people than transit assaults.
by Abishek_Muthian | 2025-07-22 05:18:13+00:00
I've had my share of spicy pillows ranging from iPad to power bank from upstart company which became spicy after using it for just 3 times[1].

I've been overly cautious of batteries for several years now, I charge my devices with 1A charger and keep it between 40% to 80% . I now carry a single 18650 cell power bank instead of those 10,000 mAh, 20,000mAh power banks.

I don't sleep with phone, tablet or kindle on bed and I force my partner to do the same to her irritation. Last week her MacBook became spicy overnight and I had to rush to Apple Store morning, the price for battery replacement was more than the price of that MacBook in used market so I had to buy a new MacBook.

I miss the good old days where I could take the battery of the Nokia phone and spin it on the table to see if it's become spicy. I pray to EU gods to please force the manufactures to bring back user replaceable batteries.

[1] https://www.reddit.com/r/spicypillows/s/fMNcm07aT2
by spacedcowboy | 2025-07-22 05:20:49+00:00
GNUstep is actually great, but it’s been around for a long time, and has some baggage because of that - which means you want the right (modern) setup, and not every Linux distribution provides the correct combination. You get Arc, you get blocks, you get everything that ObjC can offer (apart from very new or obscure Apple frameworks), and yes, it links with C/C++ just like it does on a Mac.

The full GNUstep provides a lot of functionality, so it depends on having a runtime installed - so it can load system frameworks for example. This means that installing a GNUstep app will install quite a lot of extra stuff into a “system” location, which could be seen as a disadvantage though.
by recursivecaveat | 2025-07-22 05:23:32+00:00
Definitely. I mean if you believe in some future public health benefit or whatever (right or wrong) sure. Very weird to hear someone emphatically voice support for a position and articulate no upsides at all. Imagine if somebody ran up to you and said "don't open that letter!" and then calmly explained it was probably junk mail anyways.
by photios | 2025-07-22 05:23:46+00:00
> I use AI a ton for writing emails and other corporate stuff, I have no problems there, it structures and presents them well enough and quickly that it saves me a ton of time.

My manager uses AI when generating docs and emails. I think he does it because English isn't his native language and he goes for the "polished" look.

Frankly, I prefer the grammar errors and the authentic version. The AI polish is always impersonal and reeks of low effort.

I also love how everyone thinks coworkers don't notice the AI touch... of course we do.
by exodust | 2025-07-22 05:26:36+00:00
I'm in Australia, but I was talking about the whole globe. A clue is when I said "around the globe". From China to USA, the pandemic restrictions and hustle went overboard in many cases.

Often these opposition parties might use theatrics, exaggeration and outlandish claims to attract attention. In some ways, this might reflect the official channels who spray a lot of fear-based propaganda initially. So there might be an overcompensatory reaction to an overcompensatory action. Not trying to excuse blanket anti-vax theories.

Vaccines are of course great inventions, but sometimes the waters get murky with pharmaceutical companies and their ethically poor track records, suddenly making huge profits and frantic politicians calling the shots on public health. Throw free-speech crackdowns in the mix, and now we have a problem worth talking about without emotion.
by owlstuffing | 2025-07-22 05:27:22+00:00
What if these were real, type-safe expressions in Java:

2025 July 19 // → LocalDate 299.8M m/s // → Velocity 1 to 10 // → Range<Integer> Schedule meeting with Alice on Tuesday at 3pm // → CalendarEvent

That's the idea behind binding expressions — a compiler plugin I built to explore what it would mean if adjacency had operator semantics. It lets adjacent expressions bind based on their static types, forming new expressions through type-directed resolution.

Details here: [https://github.com/manifold-systems/manifold/blob/master/doc...](https://github.com/manifold-systems/manifold/blob/master/doc...)
by TFYS | 2025-07-22 05:29:40+00:00
Yes, not all things are zero-sum, but enough are that inequality really does matter. Take labor for example. There's only a limited number of skilled people. Who do those skilled people work for? The people that can give them the most money. So, instead of using their skills to build farms, housing, schools and other things that benefit a large number of people they use their skills to build yachts, mansions and manipulation algorithms. Demand from those with wealth increases the price of skilled labor to the point where people with no money can not afford it. Skilled people from poor communities move to the places where the rich throw their capital around, work on things that the wealthy think are important, and the communities they leave behind suffer as a result.
by conradev | 2025-07-22 05:29:58+00:00
Yeah, a regulatory goal that can be met by FiOS today but will take Starlink billions to get there does not seem like the correct way to allocate federal funds.

Brendan Carr's has critiqued federal broadband spending: too much spent on rebuilding existing networks to be faster, not enough going towards new build out. This is because upgrading wealthy customers' internet leads to increased profit, and there is less money in serving the underserved. Several states have tried fighting the telecom companies on what they've delivered and I think the worst case was a slap on the wrist.

Starlink and 5G are likely increasing broadband coverage far faster than fiber, which is a big goal of federal broadband spending.
by dlcarrier | 2025-07-22 05:30:04+00:00
I was just being unclear.

Everyone from your fiber provider is getting fiber-class latency, regardless of the plan's max speed. The fiber ISP in my area uses 10 gig ONTs for everyone, and limits each plan's speed with PPPoE. This is pretty common, and likely yours is doing the same.

On the other hand, everyone using the cable provider in my area, whether on their fastest or slowest plan, is getting the same tens of milliseconds of DOCSIS 3.1 latency, on a node that has tens to hundreds of gigabits of bandwidth but is using TDMA and FDMA to share it between a few hundred users.

My point is that the lowest-tier subscriber from your fiber ISP is getting magnitudes lower latency than the top-tier subscriber from my cable ISP. If either of the switch plans, but don't switch ISPs, they'll have the same latency.
by te_chris | 2025-07-22 05:31:57+00:00
Too many people here going on about UK politicians which, while problematic, seem mostly powerless in the face of a completely toxic department in the Home Office.

This sort of shit is pure Home Office authoritarian bullshit and the culture there is such that it perpetuates. They seem to be particularly skilled in getting MPs to side with their world view, but it is the Home Office leading this, not the MPs.

See the proscription of Palestine Action for a textbook example of Home Office bullshit.
by arjie | 2025-07-22 05:32:31+00:00
Here is my genome https://my.pgp-hms.org/profile/hu81A8CC

You'd think my ideal self-interest is for no one to volunteer for any research except my own relatives so that all medicine is optimized to my care. But that doesn't work that well. The genome itself is just not that useful. If you learn something from that VCF for a whole-genome sequence that's interesting, feel free to let me know.

I personally benefited from the aggregate that is the UK Biobank's repository of genome sequences and medical histories, and I'm grateful for everyone who contributed that for science. PGP is the closest I can get to providing my data apart from All Of Us which has a bit of medical data about me but no one has all my medical history.

I hope that, if nothing else, I am a piece in an instrument for humanity to comprehend the Universe. Either through my genome being useful when compiled with others or as a cautionary tale to making your genome available.
by theshrike79 | 2025-07-22 05:32:40+00:00
Pretty much yea. As soon a something becomes "medical-something" or "boat-something" the price goes up exponentially.

This is why JerryRigEverything started his "not a wheelchair" -company[0], who are not selling wheelchairs, but they happen to look a lot like wheelchairs :)

Because it's not certified as an official medical device (a wheelchair), they can sell it for (IIRC) 80% cheaper than Official Wheelchairs.

I don't even want to know what "The Rig", their offroad wheelchair, would cost if it was an approved medical device...

[0] https://notawheelchair.com
by ordu | 2025-07-22 05:32:44+00:00
Neural networks are on the hype now, but it doesn't mean that there was no AI before them. It was, it struggled to solve some problems, and to some of them it found solutions. Today people tend to reject everything that is not neural net as not "AI". If it is not neural net, then it is not AI, but general CS. However AI research generated a ton of algorithms for searching, and while gradient descent (I think) was not invented as a part of AI research, AI research adapted the idea to discrete spaces in multiple ways.

OTOH, AI is very much a search in multidimensional spaces, it is so into it, that it would probably make sense to say that gradient descent is an AI tool. Not because it is used to train neural networks, but because the specialty of AI is a search in multidimensional spaces. People probably wouldn't agree, like they don't agree that Fundamental Theorem of Algebra is not of algebra (and not fundamental btw). But the disagreement is not about the deep meaning of the theorem or gradient descent, but about tradition and "we always did it this way".
Ask HN: Are OpenAI models IP-range restricted?
by lynx97 | 2025-07-22 05:32:57+00:00
I oserve that the availability of OpenAI models seems to be tool and/or IP-range restricted. Does anyone else observe something similar?

I have NOT verified my "organisation". So I can not use "llm -m o3", OK. However, at the university, I can use o3 and o3-pro with aider. No errors. Same API key. At home, I can not use o3-pro with aider, error is roughly "chat/completion does not support this model, did you use the wrong endpoint?". However, aider with o3 works at home. "llm -m o3" does not work at home. I sacually checked the aider source code for some magic which would make o3 available while it does not work with "llm -m o3". Didn't find anything. This is rather strange. Does anyone else experience similar things?
by ack_inc | 2025-07-22 05:34:30+00:00
"... resent SO and Reddit trying to gatekeep": Am curious why you felt they were gatekeeping your content. They are free websites, and anybody who wants/needs to read your content, can.

"... not giving them free money if they're notnpassing some of the benefits ..." - Could you expand on the specific benefits you wanted them to pass on to the community? As a user, being able to find other people's content that is relevant to my current need is already a pretty solid benefit.
by lazide | 2025-07-22 05:36:31+00:00
Concorde never paid those initial costs, and had massive subsidies [https://www.nytimes.com/1981/01/09/business/france-extending...].

It was able to coast, eventually, but that’s some very fancy accounting.

“French Transport Minister Daniel Hoeffel, saying France ''will not and cannot abandon Concorde,'' signed a new agreement with Air France this week. The French Government, which with Britain had spent more than $2 billion developing the world's first supersonic passenger aircraft, will pay 90 percent of the plane's estimated operating losses for the next three years, compared with 70 percent in the past.

Under the new pact, the French taxpayer will contribute $66 million this year to the cost of Air France's champagne-and-caviar service linking Paris with New York, Washington, Caracas and Rio de Janeiro. In 1982, when losses are expected to decline slightly, the subsidy will be about $64 million, and in 1983, $59 million.”
by dlcarrier | 2025-07-22 05:37:02+00:00
Multiple video chats can saturate 20 Mbps up, but if they offered 200/200 it would be more than plenty. Them not offering reasonable plans in between a little to low and way too high doesn't mean that it couldn't exist, it just means that they aren't offering it, likely because they have paid your local government to prohibit any competition, allowing them to force a large portion of their customer base to use a more expensive plan than they need, because no one else is going to offer a reasonable one.
by bubblethink | 2025-07-22 05:37:58+00:00
To be the devil's advocate, the previous admin also squandered a lot of broadband money away in a pattern that seems common to all Democratic infra projects. See https://reason.com/2024/06/27/why-has-joe-bidens-42-billion-... . Neither party is good at this. The FCC broadband map and the b/w labels (previous admin) are nice though.
by exodust | 2025-07-22 05:39:07+00:00
> protect children from ideas

That's not the solution. The prevailing theme taught to kids these days is "question everything". Not taking things at face-value, or believing memes and one-line theories, forms part of the young person's toolbox these days. It really does. Their teachers are drilling into them the dangers of online misinformation.

You and I wouldn't have known the difference between misinformation and disinformation in our school days (I'm assuming you're grown up), but kids these days know all about it. That should give you some comfort.

If certain Japanese political parties are making wild claims, let the dust settle and the ridiculous stuff eventually is exposed. Don't ignore subtle variation and nuance when for example we examine the claims made about the covid vaccine and protection from transmission. Or effectiveness of masks, etc. In Australia, police were literally tackling people to the ground outside for not wearing masks. So let's not trust government issued health advice so blindly either. Let's find a middle-ground of analysis & discussion.
by bruce511 | 2025-07-22 05:40:07+00:00
I (fortunately) haven't had to look for a job in 30 years. So I'm not sure this advice will work in your context.

I have employed people though, so maybe that makes this a valuable point of view.

At the moment the market is crowded with available people. So traditional paths are flooded. Some people are getting hired but supply is vastly exceeding supply.

I would recommend an alternative approach to meeting prospective employers. Be creative. Try and stand out from the crowd by doing something different.

(Hopefully 95% of job seekers will ignore this advice leaving the field open for the 5% who prove that problem-solving employees are attractive. )

YMMV. Good luck.
by HellsMaddy | 2025-07-22 05:42:25+00:00
I really love this and I've been using it a lot. The one thing I'm unsure about is the best way to get my LSP working with inline dependencies.

Usually, when I use uv along with a pyproject.toml, I'll activate the venv before starting neovim, and then my LSP (basedpyright) is aware of the dependencies and it all just works. But with inline dependencies, I'm not sure what the best way to do this is.

I usually end up just manually creating a venv with the dependencies so I can edit inside of it, but then I run the script using the shebang/inline dependencies when I'm done developing it.
by tonymet | 2025-07-22 05:42:46+00:00
I live in a small town and I have my postmaster's personal cell phone number. She's very professional and attentive,. Based on our conversations, I don't believe USPS maintains the level of rigor for reliability that software engineers would expect (fire drills, KPIs for reliability, incident review, root cause analysis, etc).

We started having serious issues with valuable mail turning up missing. Car registration tabs, checks, statements , priceless letters . Informed delivery was inconsistent with physical delivery -- and the postmaster said that's expected. Some valuables were delivered to the wrong address and forwarded weeks later by conscientious neighbors.

What I came to discover is that USPS does not maintain quality controls , neither e2e or at the last line. The post office does not have any sort of log of delivery issues that I could tell. No real testing or auditing is being done (auditing, red-teaming, e2e testing). I doubt they could provide a quantitative measurement of reliability at any level of the system. If a zip code or subdivision had 5% mail go missing over a week, I doubt they would notice or have a protocol for resolving it.

The postmaster and staff did do their best to address the issue, with good customer care and attentiveness. But the issue was never resolved. I now send valuables via other vendors , and rely on USPS for junk mail.
by Nevermark | 2025-07-22 05:43:32+00:00
I like that.

AI for attempts at general intelligence. (Not just LLMs, which already have a name … “LLM”.)

ML for any iterative inductive design of heuristical or approximate relationships, from data.

AI would fall under ML, as the most ambitious/general problems. And likely best be treated as time (year) relative, i.e. a moving target, as the quality of general models to continue improve in breadth and depth.