MurphyA/hacker-news huggingface dataset:
by Aerbil313 | 2025-07-10 14:20:23+00:00
No, it's real. I have AuDHD and very strictly defined routines are how I manage to function day-to-day. It's not a productivity hack or how I'll be a billionaire in 5 years though, like scrollheads often promote. It's just how my brain works. A small fraction of those influencers might also be neurodivergent and sincerely posting what works for them.
by vinceguidry | 2025-07-10 14:21:13+00:00
You probably use a desktop environment like GNOME or KDE. Maybe do some light coding in an IDE. I do not. I run window manager only, i3, with a really stripped down toolset. I like the idea of knowing my system in and out. My current project is writing my own shell. It can switch between command mode and ruby REPL with ctrl-z.

You mention filing tickets / reporting issues, sorry, that means contributing to a project. I'm not wholly opposed to doing that, but I have to like the project first. And there's nothing to like about systemd.

You go do that if you like it so much. My guess is you simply won't, and will just keep using other people's software without a care in the world, thinking this kind of online warriorship is actually helping anything.
by frunkp | 2025-07-10 14:22:21+00:00
The model does well on highschool competition maths. Problems in the "Set Theory" and "Natural Numbers" chapters of Elements of Abstract Algebra may be doable with Kimina-Prover, nothing beyond because it doesn't know Sylow theorem etc. and hasn't used these objects with Lean 4 in practice.

You can start with a natural language description of the theorem: demo.projectnumina.ai and an autoformalizer will generate the formal statement. It's an additional click of a button to have it attempt to prove it.

For natural language interpretation of Lean proofs, the current LLMs (o4-mini-high, Claude 4, Gemini 2.5 Pro) do a decent job of walking you through.
by bheadmaster | 2025-07-10 14:22:23+00:00
For anyone who thinks I'm talking out of my ass, consider Qt.

If you don't own the Qt copyright, you cannot sell Qt to a company who wants to use it to build a proprietary product - since Qt is GPL licensed, using it in a proprietary product would not be permitted.

But since The Qt Company owns the copyright, they can sell their own software to companies that want to build a proprietary product with it - they just sell it under a proprietary license, specifically tailored for this. The fact that it was previously released under GPL is irrelevant, because the copyright holder can license it under as many licenses as they want.

If you don't own the copyright to it, you can only """sell""" GPL software in a manner in which local DVD shops sold pirated movies back in the early 2000s.
by Tadpole9181 | 2025-07-10 14:22:29+00:00
Elon Musk intentionally retrained an AI and released a model to interact with millions of people who calls itself MechaHitler and helps give instructions on how to break into a man's house and rape him? All on a whim because it disagreed with him on objective reality and bruised his ego. And this post is about that very AI. And that somehow doesn't matter?

Are you fucking kidding me?
by toomuchtodo | 2025-07-10 14:23:50+00:00
The price of LFP batteries in China is $35/kWh for cells, $52/kWh for fully integrated systems [1]. Roughly 1TW of solar is being deployed globally every year. We’re already there, it’s just a matter of pushing the pedal down harder. China destroys half a million barrels a day of global oil demand every year they build EVs at current output levels, which are still increasing.

Fossil fuels are already dead, it’s just time horizon. How fast we want to go is a function of how much fiat we want to shovel into PV solar and battery manufacturing.

[1] https://reneweconomy.com.au/watershed-moment-big-battery-sto...
by CydeWeys | 2025-07-10 14:23:51+00:00
I curate a relatively tame Twitter feed, but X has been showing me animated advertisements of some fleshlight-like device going to town on a dildo. W. T. A. F.

It's started making me worried that I can't even use the app in a place where anyone else is, lest someone shoulder surf that and wonder WTF I'm looking at.
by octopoc | 2025-07-10 14:24:10+00:00
Yeah it reminds me of the Bobiverse’s take on how AI needs to be built: it needs to grow up, rather than waking up fully formed.

To me, AGI is achieved when the machine can improve itself and reproduce in a way that allows survival of the fittest and evolution to take place, though I’m sure when those goals are achieved someone will redefine AGI to be something even more unattainable.
by general1726 | 2025-07-10 14:24:31+00:00
It kind of is a crisis. You will have lot of elderly people who will be expecting smaller younger generation to take care for them, while younger generation won't be able to do that while also trying to establish themselves, which will repeat for next generation with greater magnitude and so on...

Currently we have here a social system with a positive feedback loop which will eventually rip itself apart.
by EvanAnderson | 2025-07-10 14:25:05+00:00
Pipelines are cool. I don't have any direct references to give you, but you can search-engine for some interesting stuff. I did work for a petroleum distributor years ago and got to talk people w/ pipeline experience.

An interesting anecdote I can relate is learning abut "transmix", AKA "slop". I worked on a logistics planning app (a really, really fun mix of traveling salesman and bin packing). I saw an entry for "slop" in the pricing feed from an exchange. This caught my eye and led me to talk to one of the "pipeline guys" about what "slop" might be (spoiler - it's a mix of pipeline products that happens when the product in the pipeline is changed) and why one might want to buy "slop".
by mattlondon | 2025-07-10 14:25:12+00:00
It is interesting that they don't have wheels but have like spokes legs? I presume that is to climb up and over lips between pipes and the like?

I have a mystery pipe in my house that no one knows where it goes, and they refuse to put a CCTV camera down it beyond a certain distance due to leaving the property. Tempting to DIY something like this... But I have a U-bend in the gulley to contend with first
by Daviey | 2025-07-10 14:25:28+00:00
Perhaps I'm being overly cynical, but I'm struggling to see how this qualifies as an IDOR in the strict sense. While using UUIDs might reduce guessability, the real issue here is weak authentication, not insecure direct object references.

OWASP defines an IDOR as "an access control vulnerability that occurs when an application uses user-supplied input to access objects directly… without verifying the user is authorized for the target object" (OWASP Top 10 2021 – A01: Broken Access Control). But in this case, access to highly privileged internal functionality was granted simply by logging in with default credentials, no authorization bypass was needed because authentication was effectively absent.

This aligns more closely with CWE-1390: "Use of Default Credentials" and CWE-306: "Missing Authentication for Critical Function." The attacker was able to log in as a privileged user due to trivial credentials, and the lack of multi-factor authentication (MFA) further compounded the issue. Had MFA been implemented, or default credentials disabled, the ID enumeration would have been irrelevant. That makes it clear the real vulnerability lies in the authentication mechanism and not in how object references were structured.
by aksss | 2025-07-10 14:25:29+00:00
You need a home to party? News to my younger self. Parties in crowded shitty apartments, outdoors, or even in cars were the norm when we were young.

This complaint - we don’t have nice houses so we can’t party - is unintentionally emblematic of the root issue in misaligned expectations and excuses for realigned priorities. Nobody Inknew when young had houses either.

Look, it’s not obviously bad to me that young people party less. Blame gaming, blame some resurgent conservative cultural values, blame the internet or even laziness. Maybe the youth today just have better things to do, and that okay. Binge drinking, drugs, and stupid decisions aren’t necessary good investments in time, and many, many, friends from back in the day didn’t survive it. Like less kids smoking cigarettes, maybe this is a good thing (for them and all of us).

But it’s ridiculous to try and turn this behavioral trend into some manifesto on housing inequality. Give me a break.
by kadushka | 2025-07-10 14:25:30+00:00
o3 is definitely usable, as I said, it solved about half of the coding tasks I tried. My problem with your original comment was "bottlenecks in genAI is not the knowledge or accuracy". Knowledge and accuracy are absolutely the main bottlenecks for LLMs today. Hallucination rate for o3 and o4-mini models have doubled (compared to o1), and OpenAI does not understand why. If my AI model is not accurate, and if it makes up fake knowledge I don't care how fast it is - I will have to spend more time double checking its output than the time I saved by getting that output faster.
by bluGill | 2025-07-10 14:25:32+00:00
At 18% interest which happened in the 70s your yearly payments would have been 14468.02 or 36% of your income. A couple years ago you could get 3% rates and so your payment on that house would be 40473.98 or 40% of your income, not much difference (and likely the house is larger). At todays 6% interest the payment is 57556.85 or 57% of your income and so not affordable, but this is a very recent thing.
by yesfitz | 2025-07-10 14:25:38+00:00
US suburbs have very much changed!

The median new home size skyrocketed in the '80s.[1]

Many of the post-war suburbs were planned communities built with schools, churches, grocery stores, and other necessities within walking distance.[2] Compare that to developments today (and since the '90s), that are all housing, lack sidewalks, and require a car to get to necessities.

Serendipity doesn't happen when everyone's in cars. You don't pull over to invite an acquaintance over for a beer or offer to watch their kids.

1: https://www.bankrate.com/real-estate/average-home-size/#smal...

2: https://en.wikipedia.org/wiki/Levitt_%26_Sons#Construction_o...
by ceejayoz | 2025-07-10 14:25:52+00:00
I really don't know how to explain to you that "imports and employs people for cheap, compliant labor" does not automatically mean "personally likes those people".

Reword "Ah yeah, because Nazis were big on importing millions of Indian workers" to "Ah yeah, because Confederates were big on importing millions of African workers" and you'll see the dramatic logical failure in your attempted argument.

> Dude loves jews even

Thomas Jefferson reportedly loved Sally Hemmings. He still kept her (and his own resulting children!) enslaved.

Hell, there were pro-Nazi Jews. https://en.wikipedia.org/wiki/Association_of_German_National...
by HEmanZ | 2025-07-10 14:26:20+00:00
That’s the absolute percentage difference. Look at the under 35 category, it’s literally down 25%. That means 1/4 people that would have owned a house in that age group don’t now. Under 45 is a relative drop of ~17%, so about 1/5. One in four to one in five people is more than enough to see an effect.

I doubt it’s the only cause at all, this anti-social (“Bowling Alone”) trend has been going on for generations, and probably has multiple causes. But the US housing crunch on young people is adding to it.

And this damn attitude of “the younger generations are just entitled weenies” about housing is about the most infuriating attitude in the world. My parents bought their first house on a single earners blue collar salary at the age of 27. That house, with almost no updates, now literally needs a top 1% salary and payments for 30 years to be able to afford. Don’t tell the kids to stop whining when they’re watching older generations gobble up their future in the name of preserving property values.
by LegionMammal978 | 2025-07-10 14:26:28+00:00
It creates a Split<'_> iterator using the IsWhitespace function as the pattern. As the user calls .next() on the outer SplitWhitespace<'_>, it calls .next() on the inner Split<'_>, which yields slices "a", "", "", and "b", and the filtered iterator reduces them to "a" and "b".

(But as mentioned, this doesn't perform any allocations, since each slice is just a pointer + length into the original string.)
by __MatrixMan__ | 2025-07-10 14:26:40+00:00
I dislike bitcoin, but you gotta admit that that's a rather clever aspect of it: Anybody with the power to destroy it is better off participating in it instead.

We'll need to find our way out of that logic eventually. Scarcity in general and proof of work in particular are terrible bases for an economy. But it is a respectable foe.
by ferguess_k | 2025-07-10 14:27:16+00:00
I think whence things go into maelstrom mode, we just have to sit tight until the whole episode dies. It's not going to end very well judging by taking a look of history, but hopefully most people still live through. I recently got my ham radio certificate and is on the way to be more prep-minded -- definitely not the extreme type, but my plan includes getting a long weapon license, learning camping and fishing, as well as purchasing backup water/food and some legal weapons.
by taeric | 2025-07-10 14:28:37+00:00
Agreed on the uneven distribution. I would posit that this is probably even uneven in the communities, as well? Just because you knew everyone in your block doesn't mean they knew each other that well.

Similarly, I expect most kids in a classroom to know of each other, but I doubt they all know each other. If that makes sense. Such that, it is easy to think this is also a by product of how much more you can do inside your houses? Back when you would see folks outside more often, it was common for you to know of a lot of people. If you only had a few "shut in" type people, you knew them as the shut in type people. As it becomes more and more of us, it gets tougher.
by csa | 2025-07-10 14:28:42+00:00
> Why? (I speak as someone who fits that description and has kids)

I’m not the original commenter, but I assume that the reference is that this/your group fairly reliably across most cultures does not maintain the 2.1 children per woman birth rate / replacement rate needed to sustain a population.

At a minimum, this seems to be true for this particular socioeconomic class in most parts of Europe, East Asia, and US/Canada. Not sure about South Asia.
by CydeWeys | 2025-07-10 14:29:44+00:00
Hey man, just wanted to let you know, I had to downvote a bunch of your comments in this thread, not because I disagree with you, but because your commenting style is unnecessarily hostile and abusive. You can politely disagree with someone without calling their take "stupid and clueless", or any of the other mean-spirited things you've said elsewhere in the thread.
by serjester | 2025-07-10 14:30:03+00:00
Yes, this was completely image-based. Not quite of a point of using it in production since I agree it can be flakey at times. Although I do think there's viable workarounds, like sending the same prompt multiple times, and seeing if the returned results overlap.

It really feels like we're maybe half a model generation away from this being a solved problem.
by Barrin92 | 2025-07-10 14:30:41+00:00
It's an observation that precedes likes and modern influencers, as Baudrillard noticed in his 1989 book America:

"The skateboarder with his Walkman, the intellectual working on his wordprocessor, the Bronx breakdancer whirling frantically in the Roxy, the jogger and the body-builder: everywhere, whether in regard to the body or the mental faculties, you find the same blank solitude, the same narcissistic refraction. This omnipresent cult of the body is extraordinary. [...] This ‘into’ is the key to everything. The point is not to be nor even to have a body, but to be into your own body. Into your sexuality, into your own desire. Into your own functions, as if they were energy differentials or video screens. The hedonism of the ‘into’ [...]"

The replacement of a genuine social life with a kind of machine like, solitary optimization, the point of American Psycho basically, is very much real, common among ordinary people. This is every "second brain" note taking fanatic who never actually does anything but collect notes.

"What people are contemplating on their word-processor screens is the operation of their own brains. It is not entrails that we try to interpret these days, nor even hearts or facial expressions; it is, quite simply, the brain. We want to expose to view its billions of connections and watch itoperating like a video-game. All this cerebral, electronic snobbery is hugely affected - far from being the sign of a superior knowledge of humanity, it is merely the mark of a simplified theory, since the human being is here reduced to the terminal excrescence of his or her spinal chord."
by dinkumthinkum | 2025-07-10 14:30:55+00:00
Is this actually serious? This is pretty unbelievable and I can only wonder if it is parody. However, I am also aware that some can be so far left that they they think other leftists or even far leftist are mad right wingers but that is a very delusional level of thinking. I don't see how even a plain reading of their article headlines could yield that conclusion.
by g105b | 2025-07-10 14:31:56+00:00
Whenever Thunderbird makes its way to the front page of Hacker News, I always re-download it and hope that I can use it.

Every time I've ever tried it (spanning around 30 installs over the last 15 years), I've uninstalled within a week to a month, due to sluggish UI, phantom unread emails, crashes, and text formatting issues.

I do it because I believe that one day Thunderbird could be good. Today could be the day - I've installed it, added my accounts, and it looks like the developers have made some significant improvements. I'm not talking about fancy new features, instead I'm talking about the small nitpicky problems I've had whenever I've tried to use it.

For example, this time I installed, I didn't have to go into a hidden settings menu (here be dragons) to make new emails default to the top of lists. My replies are now made above the original message. Fastmail doesn't throw a wobbly when trying to add email, calendar and contacts with the same password.

Maybe today is the last time I install Thunderbird?
by DoctorOW | 2025-07-10 14:31:56+00:00
A growing number remain empty, hundreds of thousands of homes are unoccupied in the United States, especially rentals.[1] It turns out multiple billion dollar corporations can afford to keep homes empty in order to raise the price of their assets. Also, just think about what you're saying. Do you really think someone who makes less than you do, without any credit history, is purchasing a home that's out of your price range? If making less money would help you afford a home, I'd be happy to take it off your hands. :)

[1]: https://data.census.gov/table/ACSDP5Y2023.DP04?t=Housing+Uni...
by goku12 | 2025-07-10 14:32:46+00:00
Except the bug was filed in 2008. Back then, Rust was Graydon Hoare's personal project that Mozilla wouldn't start funding until a year later. Rust was written in OCaml and the famed borrow checker wouldn't be in place until 2010. The first public release was v0.1 in 2012 and the first stable release 1.0 wouldn't happen till 2015. The language was very different back then with sigils, garbage collection and green threading as language features. So this bug was already bugging people when Rust was just an embryo that was still years away from birth.

Now even if we neglect the timeline, Rust only guarantees memory safety. If TB is deleting mails on the server too, then the corruption is happening over IMAP connections as well. Does that sound like a memory safety bug to you? Perhaps it is. But how do we eliminate the possibility of a logical bug that Rust won't protect you against, when nobody has any clue even now? And all that aside, if you're going to rewrite it in Rust, you might as well start a new project in Rust instead of porting an old design that may potentially contain a language-agnostic logical Heisenbug.

I'm not trying to be hostile here. I started using Rust in 2013 (I have 12 years of experience in a 10 year old language, and a bunch of repos that I can't compile anymore unless I compile the compiler from old commits somehow!). I wouldn't use C or C++ for any of these applications - I simply don't have enough competence to avoid the kind of bugs that Rust protects me from (despite being a hardware engineer with more knowledge about memory management than about type system theory). Despite all that, statements like this will only cause an unwanted backlash against Rust. Not that you're entirely wrong, but some people are so offended by such suggestions for reasons that are still under investigation, that they start a crusade against Rust [1].

[1] https://fosstodon.org/@goku12/114077011555069124
by orchestratoz | 2025-07-10 14:33:19+00:00
Sure, if you are on our AWS AMI product as a new client, we can help you move to the free trial offer.

If you have any development assets you'd like to keep, you can use the "Migration" menu on your "Devops Navigator" to copy them.

Please send an email to hello+hn@rierino.com sharing your AWS ID and contact details and our support team will guide you for switching to our AWS private offer.
by nickparker | 2025-07-10 14:33:21+00:00
Bad popularizing article, doesn't cover the actual conclusion:

The main points emerging from the combined simulation and experimental study on atmospheric entry of the paper plane are: • Orbit: The paper space plane de-orbits from LEO extremely quickly due to its very low ballistic coefficient. Atmospheric entry from a 400 km circular orbit occurs within a few days. • Attitude: In the free-molecular portion of atmospheric entry, above ∼120 km altitude, the paper space plane maintains a stable flow-pointing attitude. Small-amplitude oscillations occur in pitch and yaw. Although the coupled simulator is not designed for application at lower altitudes, the results suggest the onset of uncontrollable tumbling at ∼120 km altitude. • Heating: Based on the hypersonic wind tunnel test results and simulation, surface forces acting on the space plane during atmospheric entry are not expected to cause significant deformation. However, the paper space plane experiences severe aerodynamic heating in the order of 105 W/m2 (or 10 W/cm2 ) for several minutes. Accordingly, combustion or pyrolysis is expected during atmospheric entry
by bunderbunder | 2025-07-10 14:33:23+00:00
I keep pining for a stripped-down gRPC. I like the *.proto file format, and at least in principle I like the idea of using code-generation that follows a well-defined spec to build the client library. And I like making the API responsible for defining its own error codes instead of trying to reuse and overload the transport protocol's error codes and semantics. And I like eliminating the guesswork and analysis paralysis around whether parameters belong in the URL, in query parameters, or in some sort of blob payload. And I like having a well-defined spec for querying an API for its endpoints and message formats. And I like the well-defined forward and backward compatibility rules. And I like the explicit support for reusing common, standardized message formats across different specs.

But I don't like the micromanagement of field encoding formats, and I don't like the HTTP3 streaming stuff that makes it impossible to directly consume gRPC APIs from JavaScript running in the browser, and I don't like the code generators that produce unidiomatic client libraries that follow Google's awkward and idiosyncratic coding standards. It's not that I don't see their value, per se*. It's more that these kinds of features create major barriers to entry for both users and implementers. And they are there to solve problems that, as the continuing predominance of ad-hoc JSON slinging demonstrates, the vast majority of people just don't have.