MurphyA/hacker-news huggingface dataset:
by idle_zealot | 2025-07-14 15:28:08+00:00
It is worse on phones, but most desktop computing feels like this too, at least when you're not at a command line. I've been trying to puzzle out what I'd like computing to look like instead, but I don't get far beyond a concept of "objects" and "actions" as fundamental building blocks. How to actually expose this... yeah, it's tough.
by throwawayffffas | 2025-07-14 15:28:17+00:00
So does this, it says at the bottom "© 2025 Runju Huang". Mister Huang is publishing this, presumably, he would be responsible for any wrong doing.

Is your objection that he is distributing this by himself, instead of through the app store? Or that it appears that he is doing it as an individual instead of a company?

Sure, it's a little sketchy, it's a guy with a website and a privacy protected domain and that's about it. But if anything were to happen you would be suing the developers of refine.sh.

I guess I do see your point though. For my software I have indeed created a legal entity and can be easily looked up.
Show HN: Atleastimnotfuckingkids.com – Dark Satire for Perspective
by throwaway743 | 2025-07-14 15:28:49+00:00
I built AtLeastImNotFuckingKids.com. It's a satirical site where users submit a "sin," and it displays a random one, always followed by "...but at least I'm not fucking kids."

It puts minor transgressions into jarring perspective. Built with standard web tech (PHP/JS).

Curious for your thoughts.
by OutOfHere | 2025-07-14 15:28:53+00:00
There absolutely is something special about Mauna Loa. It is first and foremost a dataset that has been in scientific use. To disrupt the dataset is damaging to ongoing science. Secondly, it is far away from human activity.

Sure, there are other data sources for CO2, but Mauna Loa has been the gold standard.
by NoMoreNicksLeft | 2025-07-14 15:29:16+00:00
≥At this point I can’t buy any arguments that claim that availability of drugs has no impact on misuse or addiction.

I don't much care whether more people are addicted or not. When alcohol was illegal, booze dealers had machine gun fights in broad daylight on Main Street over it. When's the last time you heard about machine gun fights over whiskey?

Legalize it all. Heroin, cocaine, meth... sell it retail out of liquor stores in plain wholesale packaging. Manufactured by pharmaceutical companies, supervised by pharmaceutical engineers, unadulterated by poisons, measured doses, and include a dose of the antidote in the box. Make the junkies pay a deposit on a red plastic sharps container for their disposable needles.

I do not care how bad you think things will get... they're already that bad, but right now you're able to pretend that they're not. For every soccer mom addicted to oxy that you save, ten undesirables are dying of overdoses of fent in some filthy truck stop restroom somewhere. And we're spending half a trillion every year to do it, too.
by jf22 | 2025-07-14 15:29:40+00:00
The boring answer is 99% of promotions and raises are not tied to productivity or impact.

The "10x" programmer in your org is getting a pat on the back and a 2.1% raise instead of the 2% raise everyone else is getting.

The company I work for is improving their software at a much faster rate. We've solved extremely tricky problems plaguing our reliability and usability using AI. The error rates for key systems are approaching 0%.
by CommenterPerson | 2025-07-14 15:29:48+00:00
Re. Whataboutism. At times it is worthwhile looking in the mirror. In 2003 we bombed and occupied Iraq based on fabrications and propaganda by the Bush administration. According to the Lancet, there were 650,000 excess deaths attributed to violence 95% confidence. The middle east was thrown into turmoil and the effects are very much being felt by neighboring countries and Europe.

Sooo .. if we are curious about how other countries run their affairs, maybe we should study high school education in Finland. They did a remarkable job of turning their system around to where their kids outperform American kids on the average.

https://en.wikipedia.org/wiki/Lancet_surveys_of_Iraq_War_cas...
by orderone_ai | 2025-07-14 15:30:32+00:00
Thank you for the question!

I would say that ease of use and deployment is actually a good reason to have a single model.

We don't train 20 LLMs for different purposes - we train one (or, I guess 3-4 in practice, each with their own broad specialization), and then prompt it for different tasks.

This simplifies deployment, integration, upgrading, etc.

This model is basically the same - instead of having a restriction to doing single-task classification. This means that a user can complete new tasks using a new prompt, not a new model.
by renewiltord | 2025-07-14 15:30:35+00:00
In general, modern English uses “this is immoral” to mean “I don’t like this”. It’s a language quirk. It’s good that you’re asking the whys to get somewhere but I might as well just get to it.

“Immoral”, “should not exist”, “late-stage capitalism” are tribal affiliation chants intended to mark one’s identity.

E.g. I go to the Emirates and sing “We’re Arrrrrsenal! We’re by far the greatest time the world has ever seen”. And the point is to signal that I’m an Arsenal fan, a gooner. If someone were to ask “why are you the greatest team?” I wouldn’t be able to answer except with another chant (just like these users) because I’m just chanting for my team. The words aren’t really meaningful on their own.
by Aurornis | 2025-07-14 15:30:44+00:00
Internet bro science about testosterone has evolved into something resembling a horoscope: If you read a list of symptoms of “low T” on the Internet nearly everyone will think they have a problem.

There’s a parallel problem where the testosterone replacement therapy industry has diverged from its original stated purpose of replacing missing testosterone. The trend now is to prescribe excessive doses, beyond what the person ever naturally had. It’s basically a doctor-prescribed steroids when overdosed, but that’s also what a lot of people think they want.

Even crazier, some of the TRT clinics are now prescribing anabolic steroid compounds that were only FDA approved for severe muscle wasting disorders and cancer patients. The subreddits even had scripts you could follow to trigger certain clinics to prescribe the steroids for a time.
by kmill | 2025-07-14 15:30:52+00:00
In Lean's parsed `Syntax`, binders are plain identifiers. The way this works is that identifiers can be annotated with the module it was parsed in as well as a "macro scope", which is a number that's used to make identifiers created by macros be distinct from any previously created identifiers (the current macro scope is some global state that's incremented whenever a macro is being expanded) — an identifier with this annotation is called a hygienic identifier, and when identifiers are tested for equality the annotations are tested too. With this system in place, there's nothing special you need to do to elaborate binders (and it also lets you splice together syntaxes without any regard for hygiene!). For example, `fun x => b x` elaborates by (1) adding a variable `x` to the local scope, (2) elaborating `b x` in that scope, and then (3) abstracting `x` to make the lambda. The key here is that `x` is a hygienic identifier, so an `x` that's from a different module or macro scope won't be captured by the binder `x`.

Yes you can define the syntax that's in the article in Lean. A version of this is the Mathlib `notation3` command, but it's for defining notation rather than re-using the function name (e.g. using a union symbol for `Set.iUnion`), and also the syntax is a bit odd: notation3 "⋃ "(...)", "r:60:(scoped f => iUnion f) => r

The ideas in the article are neat, and I'll have to think about whether it's something Lean could adopt in some way... Support for nested binders would be cool too. For example, I might be able to see something like `List.all (x in xs) (y in ys) => x + y < 10` for `List.all (fun x => List.all (fun y => x + y < 10) ys) xs`.
The Future Feels Boring
by ATiredGoat | 2025-07-14 15:31:03+00:00
Everything feels so blah lately. When you really stop to think about it, even the world of technology feels stagnant and uninspired. AI sparks endless debate, yet as a tool, it still feels lightyears away from being truly useful. And gaming? It's become dull, predictable, and hollow. Some days, I feel like a wanderer in the world of Blade Runner, drifting through neon shadows, just trying to find something, anything genuine, something that still feels alive.
by jqpabc123 | 2025-07-14 15:31:47+00:00
In terms of auto sales, Tesla is toast. Chinese manufacturers will easily overwhelm them in India without protective tariffs.

The same applies to other manufacturers. China is on track to literally own the international auto market in a few years.

And we already know the result for American consumers from past history --- higher prices and lower quality --- and tariffs will only make things worse.

And who doesn't want lower quality and higher prices?
by duped | 2025-07-14 15:31:52+00:00
Simple languages are not necessarily easy languages to understand. See: brainfuck, APL, K, etc.

I think the problem with assemblers in particular is that the canonical definition is the byte code, not the human readable text. x86 is particularly annoying because no one agrees on the syntax of that text, there are hundreds of mnemonics, things are constantly being updated, and the practicing assembly programmer cares deeply about the execution semantics of the microarchitecture more than the specific sequence of instructions. Some of the language is also completely foreign to higher level programmers, like instruction pipelines, uops, instruction latency, and so on.

Rarely do you sit down and write this assembler by hand, you compile some C code and poke at it with vtune/uprof to measure hot sections of the code, break those down, and implement faster versions. It's fundamentally an iterative, experimental process.
by matthewdgreen | 2025-07-14 15:31:56+00:00
I don't see this as a truly organic reaction. When I see the same laws popping up in multiple states, my suspicion is that it's driven centrally by right-wing think tanks, probably to benefit the fossil fuel lobbies. You don't need aerosol injection if there's no climate change, so we need to make it illegal (just as we need to defund Earth sciences, fire climate scientists, etc.) Similarly, if we need aerosol injection, then climate change is real. It's all one big package.
by MonkeyClub | 2025-07-14 15:32:58+00:00
Γεια σου, πατριώτη! (Hello, compariot!)

I think I read the same text in a 1996 reprint some years later, in 1999 - coincidentally also during my last year of highschool with impending doom^Wexams afoot.

Definitely mind-expanding, and helped shape my early cyberpunk tastes, though it didn't get me hitched :)

I do think the translation was excellent, he definitely must have put hard work and passion into it!
by arp242 | 2025-07-14 15:33:36+00:00
When wood-like structures first evolved there were no bacteria that could penetrate the tough cellulose. The trees would just fall over and ... stay there, as rotting wood is just wood being eaten by bacteria. This is where coal comes from.

I suppose something along those lines could happen: Venusian microbes are sufficiently alien that Earth-based life can't really interact with them, while the Venusian can interact with Earth-based life, or something like that. They can eat you but you can't eat them.

In lots of sci-fi like Star Trek all aliens have DNA and you can create Vulcan-Human hybrids and whatnot, and while e.g. Star Trek does offer an explanation for this[1] in reality alien life would be foundationally different. It will have some sort of DNA-like encoding structure, which isn't DNA.

I agree it's somewhat unlikely, but it's also completely uncharted all-bets-are-off territory. It's not so much about competing, but more about how it will interact (or not).

[1]: https://i.redd.it/16xmtid83sbf1.jpeg
by alphabettsy | 2025-07-14 15:34:14+00:00
A night in the hospital is easily $12k almost anywhere in the U.S.

People with chronic health conditions spend an inordinate amount of time at the doctor and in hospitals. That could save a significant amount of money if that’s reduced or eliminated. Not to mention the time savings.

I could be wrong, but all things being equal doesn’t it make sense to spend $12k/year on medication than $12/year on doctor and specialist visits in addition to medication?
by AdamJacobMuller | 2025-07-14 15:34:57+00:00
I just started doing this with my car, mostly to add a camera/temp monitoring for when I leave my dog in the kennel in the car (she's well watched over, please don't fret over it).

I'm hooking it up via starlink specifically so it works in remote areas with no cell coverage too.

Monitoring and proxying everything via an RPI as well. Victron DC-DC inverter to keep the bluetti battery pack charged with bluetooth relay boards so we can turn loads (camera/starlink/others) on/off programmatically (it only turns the starlink on when there's no good/known wifi for example).

Fun project, combines software dev (which I'm fairly good at) with hardware work (which I'm less) and my dogs (which I'm a big fan of).
by TeMPOraL | 2025-07-14 15:35:48+00:00
As kids, my friend and I had an idea of getting Microsoft to fund us buying used Buran and building a launchpad for it in Poland, in exchange for painting the shuttle all blue and slapping big Microsoft Windows logos on it.

I still think this wasn't that bad of an idea. Maybe if we followed through with it, Poland would've had a proper space program now.
Show HN: Free Unlimited Photo Enhancer, Background Remover, AI Image Gen, etc.
by d60 | 2025-07-14 15:35:52+00:00
I built a scraper tool that provides free and unlimited access to picwish.com

* Features *

- photo enhancement

- background removal

- OCR

- image expansion

- image translation

- AI Image generation

Refer the readme.md for usage. Please comment for feedback.
by jerf | 2025-07-14 15:36:10+00:00
This has been hypothesized for a while. Same for Mars too, FWIW.

Life on another planet of any sort is an exciting scientific development regardless of how it happened. However, even if definitely proof of life is found in the Solar System, one should resist leaping to the conclusion that it is a separate "branch" of life because it's reasonable to think that it could still be from the same abiogenesis event.

I use "the same source" carefully, because it could be independent events of galaxy-level "panspermia" spreading. It can also be the case that Earth provided the source of panspermia... or, if you want to get a lot more exotic, that life started on Mars and spread to Earth through hitchhiking. We'd need to get it into a lab to see if it is truly from a separate abiogenesis event.

Fortunately, it wouldn't necessarily take long. Earth life seems to have many, many, many highly-conserved characteristics to it that show that it is all comes from a single source here, but that there is no reason to believe those are the only valid choices that life could have made. The odds of another abiogenesis event being able to pass itself off as the some one we came from is negligible. It is most likely that the life would be so immediately and completely different in many ways that it would be completely clear.
by v3ss0n | 2025-07-14 15:37:17+00:00
The scam centers started around 2017. They are stared in collaboration with BFG which is under command of Military. 60 year cilvil war is nothing compare to current Revoultionary war where due to military coup and 90% of people are against Military and youth formed alliances called PDF , and getting arms , miltiary training , fighting back to restore the country's democracy and rule of law.

But during that , Rule of Law is totally diminished and we are under rise of crime. The military regime allow the scams center to free roam and let the thugs to do what they want to create unrest.
by jillesvangurp | 2025-07-14 15:37:18+00:00
The math is biased towards when you are using the vehicle. The solar panels also work when you aren't using the vehicle. They work from when the sun comes up until it goes down. And actually most people don't actually use their cars most of the time. It's just sitting there parked doing nothing well over 90 percent of the time. And especially hybrids have tiny batteries to begin with. Instead of charging those burning petrol, you could be partially charging those with solar.

If you get 400W watt performance for a few hours per day, that's maybe a couple of kwh per day. 2 would be alright. 4 would be amazing. 6 probably not that likely unless you live in a very sunny place. Most decent EVs do at least 3 miles per kwh. So, you get maybe 6-12 "free" miles per day. Maybe more with an efficient one. Up to 20 miles even.

Most commute round trips aren't that long. You are might need more power than that. But not a lot. You could be cutting how often you charge by some meaningful percentage. It's not going to be that useful on a long journey. But most people don't do those all the time but they drive small distances on a daily basis. Imagine you drive to work, and back maybe covering 20 miles. You go to sleep, and the car is back at 100% charge. Because you only used a few kwh driving there and back and the car had plenty of time parked to collect those back because the weather is nice. Or maybe it got to 95%. The difference is meaningless because you only use a few percent on a given day. Basically you'd be charging a bit less often and stretch existing charges a bit longer.

If you have a 60kwh battery and you get 2kwh per day from the sun, that's 1 full charge per month. Most people would charge maybe 2-4 times per month. So that's a meaningful amount. Cutting them amount of power that you have to pay for by 25 or more percent can be interesting. I think for most the savings aren't going to be dramatic. But it's nice that the car just sits there slowly topping its battery up without you having to worry about it. That's convenient.
by heady | 2025-07-14 15:37:33+00:00
It's a highly-dimensional box, isn't it? This age-old tension between interface standards and business/innovation speed.

Everything is a file is a good example of a fundamental and major standard that lasts till today and even though IPC kind of didn't make it all the way, I think about the core UNIX philosophy and Alan Kay's thoughts around as very, very accurate in terms of where we've ended up and what the likely ways out look like to me.
by gpm | 2025-07-14 15:37:52+00:00
> The issue is that if you want to make a browser in the EU, you have to be extremely serious about it.

The current browser vendors have made the web so complex that this is already the case regardless of what laws do or do not impose. It's simply too large a project to implement one for any non-serious project to succeed (as evidenced by the fact that we haven't got a new browser since... Chrome. Microsoft edge sort of I guess but that project was abandoned and they moved to chrome).
by Ductapemaster | 2025-07-14 15:38:48+00:00
I spent a LOT of time on this website as a 90's kid. One of many that inspired me to get an EE degree. Projects like this always felt like some incredible magic, and came with an artistic aesthetic that I find inescapably captivating. We've instead got little bits of black epoxy everywhere these days and it's just not the same!
by suralind | 2025-07-14 15:39:14+00:00
Here my problem with this: I don't want to be jumping an editor/IDE every 6 months, learning new key bindings and even more importantly, getting used to a completely new look.

In a space that moves as quickly as "AI" does, it is inevitable that a better and cheaper solution will pop up at some point. We kinda already see it with Cursor and Windsurf. I guess Claude Code is all the rage now and I personally think CLI/TUI is the way to go for anyone that has a similar view.

That said, I'm sure there's a very big user base (probably bigger than terminal group) that will enjoy using this and other GUI apps.
by quilombodigital | 2025-07-14 15:39:28+00:00
This really reminds me of what Plan 9 was aiming for — breaking out of the 'box' by making everything a file, using per-process namespaces, and cleanly exposing system and network resources with proper permissions. It had that same idea: your environment shouldn't be a prison, it should be a flexible, composable space. (https://en.wikipedia.org/wiki/Plan_9_from_Bell_Labs) (https://fqa.9front.org/fqa0.html)
by bri3d | 2025-07-14 15:39:31+00:00
I was recently introduced to fully integrated lightning sensor ICs: https://www.digikey.com/en/product-highlight/a/ams/as3935-fr... - supply it a repurposed RFID coil and it will tell you when it detects lightning and how far the storm front is. I have one in my weather station just for fun, but it's a highly practical device for golf courses, swimming pools, sporting facilities, etc. where knowing how far away lightning is is operationally important.
by pjc50 | 2025-07-14 15:39:38+00:00
There's an additional factor on the phone and increasingly the computer: mutual distrust.

All the apps are carefully sandboxed, because left unattended they will steal your data. The new category of AI largely works by sending your data to a server in the US where it can be surveilled. It would be great to have interoperability but first the user has to have confidence that it's not going to be weaponized against them.
by gpderetta | 2025-07-14 15:39:43+00:00
I have a much longer rant elsethread, but the tl;dr; is:

In some languages red can call blue, but blue cannot call red (JS). In some other languages blue can call red, but the resulting combined function is blue (traditional async with optional blocking). Finally some languages allow blue to call red and having the resulting combined function to be red (lua, scheme, go, and I believe Zig). As color is no longer a n unabstractable restriction in these languages, it no different than other kind of typing.
by Dracophoenix | 2025-07-14 15:39:50+00:00
Are cartels inherently unethical? The US government approves of and protects certain cartels (e.g. unions, hospital systems, defense contractors).

If anything, cartels thrive under heavily regulated and dirigiste economic systems, where as in an unregulated market a cartel would eventually lose to a competitor or succumb to infighting.
by mlnj | 2025-07-14 15:40:23+00:00
At this point, I've given up having hope for Windows to be actually a good experience for anything at all.

Development has been a pain over the last decade. MacOS has it's rough-edges, but it has become a pleasure to code on.

Normal everyday experience is just a pain with unintuitive settings pages, slow Files Explorer, and a horrendous start panel experience.

Gaming seems to be the last thread my Windows machine is around for anymore. Although I have not tried moving to Linux for this, the gaming community seems to be happy enough for more and more games every week.
by techpineapple | 2025-07-14 15:40:34+00:00
I think a lot about how technology is more interesting when it’s becoming rather than “is”. I think that’s a big part of 80’s nostalgia and the early internet. It was really exciting when you had to fill in the gaps with your imagination and every year something new was happening.

I think about a lot of the experimental phone designs that came out. Most were objectively crap but it seemed so cool to see the new things people were trying.
by BeFlatXIII | 2025-07-14 15:40:59+00:00
> “It’s like a science-fiction kind of facility,” says JICA’s Inaoka, whose job involves collaborating with experts from developing countries to share Japan’s expertise.

My first thought upon seeing the photos was that this was the inspiration for many of the indoor levels in the original Half-Life. All that's missing are the headcrabs.