MurphyA/hacker-news huggingface dataset:
by constantcrying | 2025-07-25 15:49:17+00:00
I liked the talk, but it was given very much from the perspective of a game developer and not from the perspective of an engineer wanting to simulate a car. (Unsurprisingly)

There is actually a lot of literature on how to simulate vehicles, which would be quite a bit of help. He also mentions BeamNG whose approach is very weird if you actually want to get accurate vehicle dynamics. Their ongoing tire simulation project seems even weirder and as if it was done by people who actively tried to ignore standard approaches for modeling tires.
by pridzone | 2025-07-25 15:49:25+00:00
It would be in Apple and Google’s best interest to pull these apps immediately. Multiple Supreme Court justices have indicated an interest in narrowing the breadth of section 230 immunity. This app, structured entirely around effecting the reputation of private individuals, provides a relatively clean case to do so. It’s not a stretch that the app could be considered a ‘developer in part’ of the content it hosts, and thus lose section 230 protection.

A narrowing of section 230 would not be good for Apple or Google, though they wouldn’t face any liability for the Tea apps conduct.
by Swizec | 2025-07-25 15:49:36+00:00
> Doesn't seem to add up that at "huge" resolution that PNG would be that small either.

Well maybe not huge huge. Like 1000px wide so they look nice on retina screens.

The key is that these images were just 2 contiguous color areas. Black and transparent. PNG is really good for that because the compression algorithm works on the basis of contiguous color areas.
by shafyy | 2025-07-25 15:49:38+00:00
I should have said "should have...", maybe this was not clear. I am not claiming tha there's a "perfect" country. Some countries come pretty close though, where you have affordable public transportation, affordable housing and affordable health care. For example and Germany and Switzerland (two countries where I have lived for long periods of time), nobody will die because they can't afford health care. Nobody will be homeless because they can't afford an apartment (yes, I know, there is also homelessness in these countries, but for a variety of other reasons).

Doe that mean it's perfect? No, of course not, there is always room for improvement.
by christianqchung | 2025-07-25 15:49:42+00:00
They made it very clear that they were reporting that score for the non-thinking model[0]. I still don't have any guesses as to what happened here, maybe something format related. I can't see a motivation to blatantly lie on a benchmark which would very obviously be publicly corrected.

[0] https://x.com/JustinLin610/status/1947836526853034403
by vitorbaptistaa | 2025-07-25 15:50:11+00:00
Pix already has tap to pay [1]. However it's still a recent adition (a few months), so most card machines still don't support it (AFAIK).

Once this is widespread, then the only reasons to use credit will be cashback/points or paying in credit.

[1] https://www.gov.br/secom/pt-br/assuntos/noticias/2025/02/pix...
by theGnuMe | 2025-07-25 15:50:22+00:00
It's a herd mentality for both. AI may be the next big thing. And the old things need realignment.

So the "market" demands sacrifice basically and there is cover when everyone else is doing it. You can be contrarian but your stock may get punished. Intel may not have a good plan anyway. The reason the market demands sacrifice is likely because of predicted unfavorable economic headwinds (etc... so signs of recession or what not). These predictions could be wrong though. Companies do constantly realign though, product initiatives fail etc...
by jvanderbot | 2025-07-25 15:50:27+00:00
PNG keeps a count of sequentially-same color pixels (not really but roughly speaking) instead of keeping pixels themselves. So scaling a monocrome png image means just changing the count entry (very roughly speaking), so it'll be nearly zero cost.

What I mean is, if you have a million pixels of the same color (0xDEADBEEF maybe), then PNG will call that 1,000,000 x OxDEADBEEF. So, it scales very nicely for few-color, sparse or "blocky" images.
by shostack | 2025-07-25 15:50:33+00:00
Roo Code has had Orchestrator mode doing this for a while with your models of choice. And you can tweak the modes or add new ones.

What I have noticed is the forcing function of needing to think through technical and business considerations of ones work up front, which can be tedious if you are the type that likes to jump in and hack at it.

For many types of coding needs, that is likely the smarter and ultimately more efficient approach. Measure twice, cut once.

What I have not yet figured out is how to reduce the friction in the UX of that process to make it more enjoyable. Perhaps sprinkling in some dopamine triggering gamification to answering questions.
by eggy | 2025-07-25 15:51:00+00:00
Yes, but a qualified compiler is but one of many pieces in having an ecosystem/tooling for creating, testing, and having high-integrity applications reviewed and certified. A couple of the industries we are elbowing in on, are already familiar with the type of reports generated by the AdaCore tooling. Ada has a decades-long history in safety-critical systems (e.g., Boeing, Airbus, NASA), with proven reliability in real-time, embedded applications.

AdaCore’s GNAT Pro suite includes qualified tools (e.g., GNAT Pro, CodePeer, GNATcheck) that support traceability, code coverage, and certification evidence for standards like MISRA, DO-178C, and EN 50128. These are battle-tested in aerospace, defense, and medical applications.

Ada is defined by an ISO standard, specifically ISO/IEC 8652. The latest revision, as of 2025, is Ada 2022 (ISO/IEC 8652:2023), which includes updates to the language features. Ada is also recognized as an ANSI standard through its adoption by the American National Standards Institute, aligning with the ISO specification. The standard defines the language’s syntax, semantics, and features, ensuring consistency across implementations including compilers.

Rust’s safety guarantees prevent many runtime errors, but its approach relies more on programmer discipline vs. Ada/SPARK2014's "correct by construction" methodology. Ada is designed for real-time systems, with built-in features like tasking, protected objects, and precise control over timing (e.g., Ravenscar profile), optimized for cyber-physical systems.

Excuse my verbosity, but I pulled a few things from our tech pitch deck, and a little of the above is in our business plan as well that I copy/pasted.

Two great books if you're interested:

Analysable Real-Time Systems: Programmed in Ada (2016)

Building High Integrity Applications with SPARK (2015)
by bernoufakis | 2025-07-25 15:51:16+00:00
They have been usually pretty fast !

I think the Pixel Tablet was a matter of a week or two.

There seems to be two challenges though that popped their nasty head lately. Some developer being temporarily unaivalable due to personal issue, and something about Android Open Source Project (GOS is built upon it, to put it simply) not necessarily support upcoming Pixels.

But the team seems resilient and motiviated to keep the project going.
by yieldcrv | 2025-07-25 15:51:46+00:00
the local side of things with an $7,000 - $10,000 machine (512gb fast memory, cpu and disk) can almost reach parity with regard to text input and output and 'reasoning', but lags far behind for multimodal anything: audio input, voice output, image input, image output, document input.

there are no out the box solutions to run a fleet of models simultaneously or containerized either

so the closed source solutions in the cloud are light years ahead and its been this way for 15 months now, no signs of stopping
by blurbleblurble | 2025-07-25 15:51:57+00:00
It's probably a distro thing. I'm on a rolling release distro (arch) and I've been using wayland on arch and it's worked great. There are still some things I struggle with, but for ~7 years I've been using wayland without major issue. Things iron themselves out pretty quickly these days when you're using a rolling release distro. This is not so for popos/ubuntu/debian etc.
by 999900000999 | 2025-07-25 15:52:08+00:00
Tbh, if the model is small enough you can train locally.

I don't need my code assistant to be an expert on Greek myths. The future is probably highly specialized mini llms. I might train a model to code my way.

I'm not that smart enough to figure this out, but the solution can't be to just brute force training with more gpus.

There is another answer.
by vitorbaptistaa | 2025-07-25 15:52:11+00:00
This has already started with Trump's tariffs: https://valorinternational.globo.com/foreign-affairs/news/20...

> While the system is not named directly, a document from the Office of the United States Trade Representative (USTR) says that “Brazil also appears to engage in a number of unfair practices with respect to electronic payment services, including but not limited to advantaging its government-developed electronic payment services.”

I'd be surprised if there aren't big tech/credit card companies lobbying behind this.
by smeej | 2025-07-25 15:52:15+00:00
Yes, but none of those are of the human species. A Hunan zygote is a unique living human organism, and I think history has shown us we must at least be very, very careful when we start arguing that some unique living human organisms are different enough from the unique living human organisms that matter that it should be morally acceptable to kill them.

Maybe this really is different from all the things about which we've later lamented, "Never again!" but we certainly ought not consider that criterion easily satisfied.
by sunscream89 | 2025-07-25 15:52:42+00:00
The mutagenic human quality for self success I believe you are looking for is “the grind.” Everyone wants to clever their way out of the work, and every upstart should try, though we often fool ourselves into putting off the real work when it would be easier to just do “the grind.”

Who could really start calling themselves successful programmers before mastering the grind? Ordinary people are more comfort and convenience prone.
by goku12 | 2025-07-25 15:52:44+00:00
For one, not enough people seem to be aware of it. They don't seem to have given that announcement the importance and effort it deserved. Secondly, I can't say that they have a good migration plan when shutting down their services. People scrambling like this to backup the data is rather common these days. And finally, this isn't a service that can be so easily replaced. Even if people knew that it was going away, there would be short-links that they don't remember, but are important nevertheless. Somebody gave an example above - citations in research papers. There isn't much thought given to the consequences when decisions like this are taken.

Granted that it was a free service and Google is under no obligation to keep it going. But if they were going to be so casual about it, they shouldn't have offered it in the first place. Or perhaps, people should take that lesson instead and spare themselves the pain.
by hn_throwaway_99 | 2025-07-25 15:53:17+00:00
> This thread is really clutching at straws.

Fully agreed, but it's a bit baffling to me that you don't realize how you are the one clutching at straws. "There's probably some ticketing person that to this day are scratching their heads wondering where their scanner went after briefly placing it down on a baggage cart in the chaos of an airport" is simply like the least likely explanation for what happened.
by _DeadFred_ | 2025-07-25 15:53:57+00:00
This is how it's been done in the USA since 9/11. Data isn't subpoenaed (would getting into people's rights) it's just bought (no rights violation). Controls aren't from the government, they are 'implementing industry standards'. Want to silence someone? Deplatform them. Want to deny access? Flag them with an opaque trust score. No constitutional rights are violated.
by suzzer99 | 2025-07-25 15:53:59+00:00
The way I look at it is the Patriots in '85 had maybe a 1 in 10 chance to beat the Bears in the Super Bowl. And I think that's being charitable.

Meanwhile the best regular season team of my lifetime, the '01 Seattle Mariners, still only win maybe 75% to 80% of the time vs. the historically terrible 2024 White Sox.

Now put the '85 Bears against a historically inept team instead of one of the other best teams in the league that year. I'm not sure the '76 Buccaneers win 1 game out of 100.

It's just not possible to physically dominate a game in baseball the way it is in football.
by firefax | 2025-07-25 15:54:07+00:00
>The full URl to the original page.

I thought that was the standard in academia? I've had reviewers chastise me when I did not use wayback machine to archive a citation and link to that since listing a "date retrieved" doesn't do jack if there's no IA copy.

Short links were usually in addition to full URLS, and more in conference presentations than the papers themselves.
by paradite | 2025-07-25 15:54:11+00:00
It's actually more complex than just input and output tokens, there are more pricing rules by various providers:

- Off-peak pricing by DeepSeek

- Batch pricing by OpenAI and Anthropic

- Context window differentiated pricing by Google and Grok

- Thinking vs non-thinking token pricing by Qwen

- Input token tiered pricing by Qwen coder

I originally posted here: https://x.com/paradite_/status/1947932450212221427
by enobrev | 2025-07-25 15:55:08+00:00
I've noticed in the "task complete" summaries, I'll see something like "250/285 tests passing, but the broken tests are out of scope for this change".

My immediate and obvious response is "you broke them!" (at least to myself), but I do appreciate that it's trying to keep focused in some strange way. A simple "commit, fix failing tests" prompt will generally take care of it.

I've been working on my "/implement" command to do a better job of checking that the full test suite is all green before asking if I want to clear the task and merge the feature branch
by andrewmcwatters | 2025-07-25 15:55:12+00:00
I realize the author goes super hard into actual physical vehicle hardware components, but every time I think about super good feeling vehicles in video games, I think about how ridiculous the Warthog in Halo 1 feels, but the vehicle physics in that game seems to make almost no sense, and when vehicles go flying it's hilarious and absurd, and I wish some developer from the Halo 1 days of Bungie would talk about it.

I recall the Warthog and other vehicles actually defining some specific properties about vehicles like RPM and gear ratio, at least I think, because in first person you'd see some of those properties reflected in the dashboard of say the Warthog, or you'd hear it in the audio for a covenant vehicle.

But wow, man, what great feeling vehicles. Nothing else like it in the industry, in my opinion. The ridiculous feeling of vehicles in Grand Theft Auto 4 came really close, but those seemed to be much, much more detailed from vehicular motion and damage-taking perspectives.
by motorest | 2025-07-25 15:55:30+00:00
> The way to reduce the risk is to diversify. Taiwan with a China risk and the US with a "US risk" is much safer than either alone.

Not really. Taiwan with a China risk means China has pressure to not change the status quo.

US with a US risk means they have a vested interest to facilitate China's imperialistic agenda to try dethrone Taiwan as a competitor in the chip market.

That, coupled with the imbecile tariff war, underlines the unacceptable risk presented by the "US risk".
by dodomodo | 2025-07-25 15:56:04+00:00
You got it backwards, once you have users, they are your "greatness", if you go to the path of self gratification, are are betraying your users. Of course some times sacrifices have to be made, but you have to understand the graveness of them. I don't like the current state of Windows, but Microsoft won't ever break such a huge portion of applications that run of Windows just for the sake of some refactoring.
Show HN: Metaessen 2.10 – Manage resources for practical use
by lilerjee | 2025-07-25 15:56:05+00:00
Hi everyone,

Metaessen is a resource manager, and manages resources for practical use. It is practical, safe, concise, easy to use, and open. It can be used as a better bookmark manager or note-taking app.

For more information, please refer to the website: https://metaessen.com/

I just released the version 2.10.

Highlights or big features on the version:

- Group selection and deletion - Shortcuts for creation, selection, or other actions. - System tree condition to searcher, keyword filter - Options to delete the corresponding resource(s) when deleting instance(s) or a system - Options to delete system tree, descendants or only descendant instances when deleting a system - Improved UI and user experience - Display data statistics about total number of entities

For more, please refer to: https://metaessen.com/docs/blog/release-v2.10

If you have any issue or question, please contact me via the email on the home page.

Thank you
by johnmaguire | 2025-07-25 15:56:11+00:00
> So sad that we traded fast lenses and film for color. I am not sure the quality ever quite caught up again to the better B&W until we get to modern digital.

Can you explain why color film would be a tradeoff against fast lenses? Can't you use the exact same lens with color or B&W? Or what you mean by "traded film for color"? After all, color film existed decades before digital.
by ipv6ipv4 | 2025-07-25 15:56:15+00:00
These arbitrary distinctions are in your mind. The real world is messy, and there is an algorithmic fallacy at the core of your argument.

You've carefully laid out why carrying a chambered weapon is critical for minimizing the reaction time to a perceived threat. So you've explained why a suspect has his gun chambered. It's anyone's guess when that suspect decides he has "identified an immediate violent threat" in the cop near him. Now the cop, by definition, must identify and respond faster than the suspect pulling out his chambered weapon. That doesn't work well for the cop, and you've optimized away any time for his to reason and react about the situation he's in.

You haven't reasoned about anything you are saying.
by rconti | 2025-07-25 15:56:25+00:00
I'd expect a long lens shooting down a series of S-curves (think: Austin) would exaggerate how fast the cars look, but everything else would seem faster in person. My first F1 race was, indeed, in Austin, and the cars seemed mind-bendingly fast. Even just the sound sent a shiver up my spine as I walked up to the track from a half mile away. But that was in the V10 era; now they're very quiet.

On the other hand, my last F1 race was at Silverstone, and we were at Vale grandstand which is right at pit entry and the final chicane before the front straight. Sitting in a braking zone definitely makes the cars look slow.
by smeej | 2025-07-25 15:56:27+00:00
- Parents: https://pmc.ncbi.nlm.nih.gov/articles/PMC3353148/pdf/nihms37...

- People who have DS: https://pmc.ncbi.nlm.nih.gov/articles/PMC3740159/pdf/nihms37...

- Siblings of people with DS: https://doi.org/10.1002/ajmg.c.30101
by AlecSchueler | 2025-07-25 15:56:33+00:00
Would you celebrate the choice of someone entering the garbage disposal field? Sex work seems to be singled out in these arguments somehow. I would again tie that back to misogyny, in the sense that a man working a demeaning job is seen to only demean himself, but a woman is seen to demean her father and family, let down all of society, and raises these questions of "how would you feel if it was your daughter?"

But that's not actually what I was arguing. My point was that women who produce their own content to sell on OnlyFans are generally treated with a contempt that isn't applied to men who hire women to produce the same content for them.
by derektank | 2025-07-25 15:56:40+00:00
I actually think it's reasonable to accept terms as they are if their definition has a long history. If eugenics means a system of forced sterilization intended to unfairly prevent certain people from having kids, (and it has for over half a century) that's fine. I can come up with another term to refer to practices such as embryo screening and we can all agree that eugenics was a very bad thing and would be bad if we tried to bring it back in the future. What I object to is then using a very loaded term outside of that original context to smear people that are making very hard choices, like parents trying to conceive a healthy child
by spankalee | 2025-07-25 15:57:07+00:00
The compiler is about 730k compressed, not 10 MB. You can also lazy load it so that you show code before being able to run it.

Being in a worker only causes the synchronous fetches to not block the main thread. It's still terrible for performance as you lose all ability to load files in parallel.

It's really not that difficult to pre-traverse the import graph and fire off as many parallel fetches as the browser will allow.
by TurkTurkleton | 2025-07-25 15:57:45+00:00
Agreed. Immersion in a game world, at least for me, is less about how accurately it visually reflects reality and more about how detailed the overall world feels -- whether the designers have crafted worlds that feel like they live and breathe without you, that you could imagine inhabiting as someone other than the protagonist. For instance, I can imagine what it would be like to live in Cyberpunk 2077's Night City, whether I was a merc like V or just one of the nobodies trying to get by that you pass on the street; I can imagine living in Dishonored's Dunwall (or the sequel's Karnaca) in the chaos and uncertainty of their plagues; I can put myself in the shoes of one of the faceless, downtrodden members of the proletariat of Coalition-occupied Revachol in Disco Elysium; a lot of AAA games, on the other hand, feel like theme park rides--well-crafted experiences that are enjoyable but don't stick with you and discourage you from thinking too deeply about them because they don't withstand much scrutiny. But Cyberpunk 2077 is evidence that they don't have to be that way, and Dishonored and Disco Elysium are equally evidence that you don't need a half-billion-dollar budget and photorealistic graphics to create immersive worlds.

(edited to clarify that I'm not laboring under the misapprehension that Cyberpunk 2077 isn't a AAA game)
by pm215 | 2025-07-25 15:57:47+00:00
At least in the UK, one advantage of the credit card is that it puts the transaction under the consumer credit act. That means that for purchases above 100 quid the credit card company is jointly on the hook with the supplier if, for example, the supplier fails to deliver the goods because they go bust, or if the goods are faulty, and you can get your money back from the credit card company if necessary. This doesn't apply for debit card purchases.