MurphyA/hacker-news huggingface dataset:
by sidewndr46 | 2025-06-24 13:30:05+00:00
Judges generally are either lawyers or have legal experience. The judge in question was formerly a practicing lawyer, albeit claims to have nearly completed a Ph.D. in zoology.

It's extremely unlikely that a protected class is going to start treating a non-protected class with the same regard in society.

I'm not even sure how there could be a constitutional issue here, but it probably isn't for this court to figure out anyways.
by gabrielruttner | 2025-06-24 13:30:11+00:00
this is interesting and i've been poking at autumn for a little bit. and nice to see more billing in the oss. we started on a self hosted billing solution, but quickly realized that a single centralized (hosted) model was better for our particular use case (less to manage). curious if you're seeing the oss as a driver for trust or if folks are demanding this for some reason?

also a fan of a single state for billing, metering, and entitlements. any plans for a go sdk for these?
by binarystargazer | 2025-06-24 13:30:30+00:00
I agree their results are also great! We do go a bit deeper, but he big difference it the speed we are able to build these images. We are able to image a larger area of the sky in each exposure, and are able to collect more light. This will lets us build images like this one in a few hours of observation, and build up an equivalent image of the entire southern hemisphere.
by this_user | 2025-06-24 13:30:51+00:00
> But how do we know? Is it a guess?

We can be pretty certain that something is happening, and we are not just seeing randomness. We can also be certain enough for practical purposes that we know what the cause is.

In a situation where the consequences will be nothing short of catastrophic on a global scale and we are already far too late, insisting on 100% academic purity is really not a sensible position.
by SunlightEdge | 2025-06-24 13:31:05+00:00
Respectfully I don't agree with you. I do think that part 2 massively changed the story to one where it catered to female/lgtb audiences. Examples: 1. Ellie and her girlfriend 2. Abby (who I really wasn't sure if they were trans or just a very butch woman (turned out to be the later) 3. Abby's male forest friend (who turns out to be a trans-man).

I have no problem with game companies creating a range of stories (in fact I fully support it) but it was very much a game for female/lgtb audiences. I do also think that the difference in tone between part 1 and 2 was quite striking.

Personally I do think it was a very bold creative direction but I know I will not play part 3 - its not a series that interests me anymore. But that's just an opinon.
by amluto | 2025-06-24 13:31:47+00:00
At the end of the day, reactive power in and reactive power out need to add up to zero (keeping in mind that many components can add or remove reactive power and that reactive energy is not conserved the way that real energy is) or, equivalently, that the grid voltage needs to be in range. It’s not sufficient to merely keep the higher frequency components of the voltage in range.

So if the grid wants to be at 400kV, and achieving 400kV under particular generation conditions requires 1500MVar of reactive power absorption by the grid (I made up that number), and the grid operator is relying on 220kV conventional generators to collectively have 1000Mvar of absorption available under said conditions, then something needs to communicate that need to those generators so that they actually absorb those 1000Mvar. And if the OLTCs fool the control algorithm into causing those generators to absorb only 400Mvar, then there’s a mismatch, and that mismatch doesn’t go away because the OLTCs are supposed to be slow.

If, as the writeup seems to suggest, the grid design also requires the OLTCs to operate quickly under large voltage fluctuations because the secondary side cannot tolerate the same fractional voltage swing that the primary side is specified to tolerated, then I would not want to be the person signing off on the grid being stable. (Writing the simulator could be fun, though!). Maybe the idea is that, if the primary voltage is stable at 10% above nominal, then the OLTCs are intended to be stable at a position that holds the secondary at 5% above nominal, and that in turn is intended to result in the correct amount of reactive power absorption?

If I were designing this thing from scratch, I would want an actual communication channel by which facilities that can adjust their reactive power can be commanded to do so independently of the voltage at the point at which they’re connected. And I would want a carefully considered decentralized algorithm to use these controls which, as a first pass, would take input from the primary side at the relevant substations. And then I would want to extend a similar protocol to most or all of the little solar generators at customer sites (not to mention the larger solar facilities that don’t dynamically control reactive power at all in Spain) because they, collectively, can quickly supply or absorb large amounts of reactive power on demand. (Large facilities would use fiber. Small facilities would use digital signals over the power lines or, maybe, grudgingly, the Internet. We really don’t want a situation where the grid cannot start up without customer sites having Internet access.)

Or I would dream of a grid that’s primarily DC with AC islands where the DC portions don’t care about reactive power or frequency at all and merely need to control voltage and power flow.
by sorcerer-mar | 2025-06-24 13:31:53+00:00
Again: what you said is there was no basis to believe social distancing would help.

I have just linked to basis to believe exactly that.

Sure, it may have turned out that COVID-19 would be totally different (though it didn't -- we now know empirically social distancing was helpful here too), but even if it had, clearly there was evidence to assume from the start that distance from infected person would be a component of infection rate.
by rybosworld | 2025-06-24 13:31:54+00:00
I think it's weird to ignore that every GPU used for AI equates to 10-50 gaming GPUs (10 if you assume every gamer has a 3080, which they don't), and that the number of GPUs used for AI is 10x every 18-24 months.

It's not that AI uses too much power today, it's that at the current trend, it'll be using somewhere between 100x and 1000x as much power by 2030/2035. Which would place it between 2-20% of total power consumption.
by spwa4 | 2025-06-24 13:32:20+00:00
This totally breaks due to complexity. This "works", except that AI destroys earlier functionality when adding new things. Also there is a very low level of complexity where AI just blows up and won't work anymore, not even a little bit.

(and certainly Google's newest AI model is actually a step backwards on this front)

Add to that that nothing changes for difficult work. Writing a driver still requires hardware knowledge ... of the actual hardware. Which AI doesn't have ... and doesn't make any attempt to acquire.

I've seen articles that this part can actually be fixed. If you create a loop where the AI is forced to slowly build up low-level knowledge it can actually find this sort of things. But you need 10 expert AI researchers to do anything like this.

(frankly I don't see how this part could be fixed by better AI models)

What's in danger is the coding job consisting of "write me a form with these 20 fields". The 100% repetitive ones.
by garbthetill | 2025-06-24 13:32:48+00:00
yeah the website says a whole bunch of nothing imo & doesnt really define a problem needing to be solved, perhaps they've struck a deal with phone carrier's to get unsold phones that are destined for the landfill as they have a t-mobile logo on their site, thats the only business aspect I can imagine get 10s of million worth of components for like a 1/10 of the price etc

google is telling me around 400k phone like devices are thrown out into landfills everyday, there might be a market to bring down costs eventually if they get logistics properly moving
by scythe | 2025-06-24 13:33:15+00:00
I think you're half right. But there are cultures in which people save money. (You can just run a web search for "savings rate".)

My hypothesis is that "human" nature does play a role, specifically a very general phenomenon in animal psychology called "observational learning". If you see people around you who saved money and it worked out for them, you're more likely to imitate those people. Saving money probably isn't instinctive for the vast majority, but that doesn't mean it's unattainable.

Taking the contrapositive, if we look at cultures where people don't save money, it's probably because of a lack of successful role models. Saving money hasn't worked out for people in that culture in the past, so there's nobody to imitate. There are always going to be a few people who do save money, but if they get wiped out by medical debt, rampant hyperinflation, or some other systemic crises, or if the country's bankruptcy laws are so generous that their spendthrift counterparts ultimately live better than they do, then their behavior is less likely to catch on.

In the US, savings culture has been decimated by years of QE and ZIRP, so the people who poured all of their money into housing and stocks did better than the cautious types. Skeptics have claimed for years that this will lead to an awful hangover. We'll see.
by deltarholamda | 2025-06-24 13:33:22+00:00
>3x the cost of a similar spec'ed windows laptop

Man, I'm not so sure about that. The M-series Macbooks are just crazy good for speed and battery life. The basic bottom-tier Macbook is $1000 and will do for a vast majority of people. A $330 Windows laptop is going to be a phenomenal heap of junk. People were running Ableton on 16GB M1 Macbooks a couple of years ago.
Show HN: Vela – An LLM Client for the PS Vita
by callbacked | 2025-06-24 13:33:24+00:00
Hello all, awhile back I had ported llama2.c on the PS Vita for on-device inference using the TinyStories 260K & 15M checkpoints. Was a cool and fun concept to work on, but it wasn't too practical in the end.

So in the spirit of "doing things because you can", I have made a full fledged LLM client for the Vita. You can even use the camera to take photos to send to models that support vision. I'm happy with how it all turned out. It isn't perfect, as LLMs like to display messages in fancy ways like using TeX and markdown formatting, so it shows that in its raw form. The Vita can't even do emojis!

You can download the vpk in the releases section of the repo. Throw in an endpoint and try it yourself! (If using an API key, I hope you are very patient in typing that out manually)

https://github.com/callbacked/vela
by ninetyninenine | 2025-06-24 13:33:47+00:00
Analogies aren’t proof. Like if an analogy doesn’t apply in certain context it is not a reflection of the actual situation. It just means the analogy is bad and irrelevant.

Often people who don’t know how to be logical end up using analogies as proof. And you can simply say that the analogy doesn’t apply and is inaccurate and the whole argument becomes garbage because analogies aren’t logical basis for anything.

Analogies are communication cools to facilitate easier understanding they are not proofs or evidence of anything.
by linguae | 2025-06-24 13:34:24+00:00
I 100% agree. In fact, even in the original C/Unix versus Lisp/Lisp machines that were mentioned in Richard's Gabriel "The Rise of Worse is Better" article, C and Unix were inexpensive compared to Lisp implementations and Lisp machines. Unix's relatively liberal licensing rules in the 1970s and early 1980s helped lead to its embrace in academia, and it also gained a footing in industry, especially with the rise of Unix workstations from companies such as Sun.

Another example is how C++ and Java, but not Smalltalk, became the dominant object-oriented programming languages in the 1990s, despite Smalltalk being older and (debatably) being closer to Richard Gabriel's "right thing". There were affordable C++ implementations from Borland and Microsoft, and Sun released the Java Development Kit for free. However, the leading Smalltalk implementations of the 1990s were much more expensive. Perhaps had there been a Borland Turbo Smalltalk or a Microsoft Visual Smalltalk in the 1990s, maybe things would have turned out differently.
by agile-gift0262 | 2025-06-24 13:34:42+00:00
> I recently suggested that GrapheneOS support devices with average security on Mastodon. Much like yourself, I think "moderately okay security" is better than "just use Google's spyware infested OS".

For most use cases, like mine, I agree. But I understand GrapheneOS disagreeing with that statement. "average security" is not their goal, nor the use case they are working for. GrapheneOS' focus is security. They just happened to make the best AOSP version there is out there. So lots of us wish they better support our use cases disregarding the use case they work for. But they obviously don't want to spend resources on it, and I'd assume they wouldn't even accept extra resources to do those things, as it would dilute their "most secure mobile OS" brand by having less secure versions of it.

For those of us who don't need the best security, another fork of AOSP that incorporates many of the features GOS has, like sandboxed Google Play and contact and storage scopes would do. But we can't expect GOS to be the one doing that.
by Lio | 2025-06-24 13:34:52+00:00
Speaking as someone that professionally played vinyl for around 5 years back in the 90s, here's my tip:

If you sum the stereo channels into mono then feeback present but inverted on each channel is cancelled out and the problem goes away like magic.

This seems to be lost knowledge but it's how old school sound systems[1] were able to have their turntables basically on top of a collection of speakers without feedback.

Many mixers back in the day, from people like Pioneer, used to have a mono/stereo switch for this purpose.

It's very easy to demonstrate this by placing a stylus on a stopped record, then tapping the record surface directly

The speakers are right next to each other so it's not like you're loosing stereo image.

1. I'm talking old school Jamaican and UK Sound Systems here. https://en.wikipedia.org/wiki/Sound_system_(Jamaican)
by ecshafer | 2025-06-24 13:35:08+00:00
There are a few options but they are pretty radical departures. There are a few grocery stores, typically natural food co-op type places in the US, that will have no packaging. These places you weigh out your peanuts and put them into your own bag, or they might have burlap or similar. The issue is more when you get into wet things. Meat, cheese, etc. these can be wrapped in wax paper. But thats not going to work if you have a central butcher factory.
by lesuorac | 2025-06-24 13:35:50+00:00
> You'd have to invest the savings and get way higher than inflation returns to break even.

You say that like it's a difficult thing to do.

S&P500 is up 710% since 1996. Gold is up 92% since 2012.

Personally, the rent control is the best part of a mortgage and even though renting is typically better, I'm fine paying a premium for that. That said, good luck getting somebody to loan you 900k so you can play the stock market; it's much easier to get that for a house though.
by ben_w | 2025-06-24 13:36:50+00:00
Given what I see in these discussions, I suspect your use of the word "spontaneously" is a critical issue for you, but also not for me.

None of us exist in a vacuum*, we all react to things around us, and this is how we come to ask questions such as those that led Gödel to the incompleteness theorems.

On the other hand, for "can a program prove it?", this might? I don't know enough Lean (or this level of formal mathematics) myself to tell if this is a complete proof or a WIP: https://github.com/FormalizedFormalLogic/Incompleteness/blob...

* unless we're Boltzmann brains, in which case we have probably hallucinated the existence of the question in addition to all evidence leading to our answer
by binarystargazer | 2025-06-24 13:37:08+00:00
Image creator here. This is such a massive dataset, most of the image processing needed to be custom written software pipelines. It not really practical for every pixel to be hand inspected. A few defects (and bright asteroids) imprinted through. It really hard to decide what is a real weird thing in the universe, and what is some sort of instrumental effect. We try to not pre-decide on what we think we should be seeing and filter for those by using things such as using classifiers. That leaves us with heuristics based on temporal information, size (is it smaller than a point spread function), and other related things. On large numbers of objects and pixels 1 in a thousand or 1 in a million outliers are bound to occur.
by keyle | 2025-06-24 13:37:34+00:00
This is cute, I saw someone walk past and the information showed what they were wearing correctly, or as correctly as can be.

For a while there I thought about recording cars driving in my quiet street, by colour, make, try to categorise them... Never got around to setting up the length needed for the camera cable and a good weather proofing solution.

I didn't realise you could get Gemini to respond that fast. We live in the science-fiction times.

What's amusing to me is that if a mugger was going to mug someone in front of the camera, your system would happily report what they're wearing, blissfully ignorant of the situation.

Consider open sourcing this mangled up solution!
by jerf | 2025-06-24 13:38:08+00:00
I think it's helpful to separate out the "Haskell is imposing" from "This language that I don't know is imposing". It is unrealistic to expect to be able to read a language you don't know. It is easy to be accidentally trained otherwise, because there are several languages out there that are hardly different from each other except in unimportant details and in a perfect world perhaps we wouldn't need both of them, and if you work with a couple of them you might get used to being able to read across languages, but those are really the exceptions rather than the rule. Even if they are very, very large and popular exceptions.

I won't say this reduces the "Haskell is imposing" to zero, but a non-trivial amount of the initial impression of imposingness is just the very different syntax, such as the way functions are not called with parentheses after the function name. But the different syntax isn't really that big a deal. You just don't know it and aren't used to it. Under the hood it does have some differences, but the differences are magnified when you try to swallow the surface differences and the deep differences all in one shot. Nobody who knows Haskell did that; they learned it the same way you learn any other language, one bit at a time.
Show HN: I built Hispi, an app to design custom jewellery
by camjw | 2025-06-24 13:38:17+00:00
Designing is free and gives you a breakdown of material choices and costs, then you can get a quote if you want to buy the ring. I'm working with around 50 jewellers in London and the UK's Jewellery Quarter but I think just designing a ring is pretty nice.
by strict9 | 2025-06-24 13:38:30+00:00
An interesting exercise is to view https://www.plasticlist.org/ and sort the items from highest to lowest.

Whatever your gut tells you about what has the most or least plastic in the food you're eating is probably incorrect.

War rations from the 1950s had the most, along with fast food cheeseburgers and Whole Foods grass fed steak.

Kraft Mac and cheese was low, especially after microwaving.
by perilunar | 2025-06-24 13:38:47+00:00
The tankers were visible but the bombers weren't:

> At no point were the B-2s visible on Flightradar24, they did not broadcast ADS-B or Mode S, the signals our network is capable of receiving. We’re often asked why military aircraft show up via ADS-B. It’s because they want to.

Why show the tankers though? Why the need for the westward diversion flight when they could have all stayed hidden?
by ericfrederich | 2025-06-24 13:39:18+00:00
The 10x performance wasn't mentioned in the article at all except the title.

I watched the video and he does mention it going from 30s to 3s when switching from a requirements.txt approach to a uv based approach. No comparison was done against poetry.

I am unable to reproduce these results.

I just copied his dependencies from the pyproject.toml file into a new poetry project. I ran `poetry install` from within Docker (to avoid using my local cache) `docker run --rm -it -v `pwd`:/work python:3.13 /bin/bash` and it took 3.7s

I did the same with an empty repo and a requirements.txt file and it took 8.1s.

I also did through `uv` and it took 2.1s.

Better performance?, sure. A lot better performence?, I can't say that with the numbers I got. 10x performance?... absolutely not.

Also, this isn't a major part of anybody's workflow. Docker builds happen typically on release. Maybe when running tests during CI/CD after the majority of work has been done locally.
by tomhow | 2025-06-24 13:39:51+00:00
> You're just a pawn for billionaires

I called out the other commenter for their reply to you but they were right to point out that you initiated the "pawn" slur. Please don't comment like this on HN. It's against the guidelines and takes discussions away from being substantive.

https://news.ycombinator.com/newsguidelines.html
by asdfasvea | 2025-06-24 13:40:39+00:00
Depends on your definition of 'penalized'. FICO is all about identifying good ROI candidates.

Say you are a lender, you want someone who constantly uses credit, always pays their bills and has the capacity take on new debt. That's what FICO is for.

It's not some consumer reward system. It's not your score to game, it's a score on you for companies to game. Quit playing the game.

Credit score NULL.
by jerf | 2025-06-24 13:40:45+00:00
It would look pretty much the same. It would just have been written to be multithreaded from the beginning, and lack the long list of restrictions and caveats and "but it doesn't work with our C extensions" and such. There wouldn't be a dozen major libraries trying to solve the problem (which, contrary to many people's intuition, is often a sign that a language lacks a good solution). This is part of why I say there's no fundamental reason this can't be done, it's just a historical accident.
by alkonaut | 2025-06-24 13:40:57+00:00
Does anyone else live in a place where there isn't a visible "score" for how valuable you are, but rather only a "credit check" for how risky you are, which is performed if you apply for new credit (buying anything with an invoice, getting a credit card, or taking any other kind of loan)? Meaning that if you have a good income and no history of failing payments, you are basically passing the check with flying colors, and will have the same "score" as someone who has had tons of well-served credit before?

This thing where the score as in "risk" and score as in "business opportunity for lenders" is intertwined, and creates weird incentives for consumers, is that only a US thing or do any other countries have something similar?
by jaxn | 2025-06-24 13:41:34+00:00
That is true when you close an account (like paying off the last $10k on a home loan), but I don't think that is correct when paying a credit card down to a $0 balance and leaving it open.

The reason is that your credit score is impacted by both your available credit (higher is better) and credit utilization (lower is better). When you pay of the last of a home loan and close that account, your available credit goes down and your credit utilization goes up (assuming you had any other debt). Both of those hurt you. When you pay the credit card down to $0 and leave it open, your available crediot stays the same and your utilization goes down.