skysight-inc/HackerNews huggingface dataset:
From the referenced slides[1]:

The 2012 discovery of the Higgs boson at the ATLAS experiment in the LHC relied crucially on the ability to track charged particles with exquisite precision (10 microns over a 10m length) and high reliability (over 99% of roughly 1000 charged particles per collision correctly identified).

In an attempt to speed up the calculation, researchers found that merely changing the underlying math library (which should only affect at most the last bit) resulted in some collisions being missed or misidentified.

I was a user contributing to the LHC@Home BOINC project[2], where they ran into similar problems. They simulated beam stability, so iterated on the position of the simulated particles for millions of steps. As normal in BOINC each work unit is computed at least three times and if the results don't match the work unit is queued for additional runs.

They noticed that they got a lot of work units that failed the initial check compared to other BOINC projects. Digging into it they noticed that if a work unit was computed by the same CPU manufacturer, ie all Intel CPUs, then they passed as expected. But if the work unit had been processed by mixed CPUs, ie at least one run on Intel and one run on AMD, they very often disagreed.

That's when they discovered[3] this very issue about how the rounding of various floating point functions differed between vendors.

After switching to crlibm[4] for the elementary functions they used the mixed-vendor problem went away.

[1]: https://www.davidhbailey.com/dhbtalks/dhb-icerm-2020.pdf

[2]: https://en.wikipedia.org/wiki/LHC@home

[3]: https://accelconf.web.cern.ch/icap06/papers/MOM1MP01.pdf

[4]: https://ens-lyon.hal.science/ensl-01529804/file/crlibm.pdf
I don't _think_ Civ 6 ever got an ARM build (or, well, not for MacOS; it did for iOS); it works okay on the Mx chips, but is certainly doing a lot of unnecessary work.
For anyone that wants it: https://archive.ph/WRbhV

but I encourage you to read the summary at the top of the non-paywalled report above instead
I have some inside information about Sam Altman's company. I don't have funds to pay to a lawyer, but I have video evidence of his firm stealing protected, sensitive and private data. What can I do with that? Can someone help?

I previously had huge respect for Sam Altman, he's a genius I thought and he is indeed very smart. But now I just think he may have delusion of grandeur. He has been asking for trillions [1], then getting $500B Tax Payer money for closed source software [2]. It's not that the ends doesn't justify the mean, but it's never an amount that would be needed to begin with. Is it corruption?

- [1] https://www.wsj.com/tech/ai/sam-altman-seeks-trillions-of-do...

- [2] https://venturebeat.com/ai/openai-stargate-is-a-500b-bet-ame...
And loud un-mutable audio, in case of bad hearing or unattention
It's an excuse for doing layoffs really badly. https://www.gartner.com/en/articles/the-data-is-in-return-to...
but the driver might be distracted by .... the real world, you know

OTOH cars do have very good speakers and their ears are not needed much for the road
If constraints and precision make you confused, maybe that's a you problem. I'm not a member of the religion which stipulates that states can create people without bodies, if you are, good for you perhaps but I'd prefer you became an apostate temporarily to make it easier to converse on this topic.
that is correct. players who essentially completed the game were promoted to wizards with editing privileges. in the muds where i was active though eventually not all players were interested in that and new challenges were created where the players could continue, while the bar to become a wizard was not raised so that at one point players could choose whether they became wizards or remained players.
For Civ it is. It's a pretty big title. It's the easy entry into the genre of big sprawling tech+strategy games, but it's not meant to be EU4. I play Civ as a casual game when I'm burned out from EU4. (I should really pick up and continue my Mare Nostrum attempt.)
For what it's worth:

The DailyDev plugin only has access to "https://*.daily.dev/" and "https://*.dailynow.co/". It is also not required, you can just go to app.daily.dev yourself (I did not want to install the addon on my main PC)
If I had attention of food scientists and motivation, I'll eat better. Is this experiment controlled for that?
Gotos are edges in a graph of basic blocks - runs of code with only one entry and one exit. Once you have your code in the form of basic blocks, there's lots of resources. See e.g. https://www.cs.cmu.edu/~fp/courses/15411-f13/lectures/06-ssa...
It is a car. Most people will spend a good chunk of time and research before they buy a car including researching things like maintenance cost, reliability and resale value.
funds with high 'skin in the game' as in high amounts of manager net worth in the fund, tend to be an exception to what I'm saying.
Would working with unums side-step the issue for math problems?
Your entire second paragraph is a strawman based on your subjective and unfounded "it's fine" opinion.

Unless you address actual points at face value instead of dismissing people as "perpetually pissed gamers" your entire point is moot. You just want to dismiss criticism.

I have no opinion yet on civ VII because I haven't tried it but there are legitimate concerns. Often times, companies have heard the concerns of their player base and reacted accordingly (not the loudest ones, but simply listening and evaluating if they might have a point and if driving your base away is worth it for an unseen/unproven growth)

Edit: my conjecture is that Civ switching is what is likely to make or break it for me. Either I like it due to refreshing gameplay or I hate it due to roleplay/continuity reasons.
Hybrid 3/2 schedules seem to be the landing point for most companies. I personally prefer to work at my office 4-5 days because it's basically my dream job and I have a real office with a kitchen area on the floor and no distractions. If I was back in a cube farm there is no way I'd want to RTO. The issue where I work is the mix of full remote and forced hybrid, even among the same roles. It's the ambiguous application of policy that is hated the most.
> By potentially introducing a PSU connector AMD and Intel do not use they abuse their market power to limit interoperability.

They are free to use them, they just don’t because it is a stupid connector. The cards that need 600W are gonna need an enormous amount of cooling, therefore they will need a lot of space anyway, no point in making the connector small.

Yes, NVIDIA created an amazingly small 5090 FE, but none of the board partners have followed suit, so most customers will see no benefit at all.
I have worked from home for 16 out of 22 years of my professional working life. Some people can hack it, some people can't. My first job out of college was WFH because the company I worked for had an office that was full. I spent the first 2 weeks at my boss's house (one of the founders of the company). After that we used Lotus Sametime (think corporate instant messaging for you youngins).

After that job I spent a couple of years working in offices. It was absolutely helpful in some ways (I worked and learned from smarter people (MIT, Dartmouth grads, etc) and less productive in others (employer tried to work us 100+ hours per week for months on end). Looking at the code you wrote at 3am the next morning and wondering what the hell you all were thinking (pair programming) was eye-opening.

I am so much more productive at home and more importantly I'm happier. Sure, it's nice to see people I work with a few times per year. But the fact is we're distributed all over the country (and the world for that matter). My neighbor works at IBM. She's been forced back to the office where she spends her day on Zoom calls. It's madness.

Shame on companies who use RTO and AI to disguise layoffs. Fuck these companies. Man-up and just say you want to save money.
6 has golden and dark ages which add a bit of dynamism to the game. But you’re not going to find real curve balls, like the Mongol invasion in Total War, or the civil war in Rome.
Form and no function is the essence of social media apps though, so they nailed that. 300 million monthly and 100m daily users is also pretty decent, so I don't think "nobody" cares. For comparison, that's approximately the same number of MAU as twitter.
> Distributed locking is still really hard for some reason

I think distributed locking is hard because it only offers certain properties and requires that the application work together to achieve consistency, just like what you said about DynamoDB:

> DynamoDB is a good database (IFF your workload lines up with what it's offering)

I have written a blog post about distributed locks: https://blog.damnever.com/en/2020/the-consistency-problem-of...
Typically, the -ists demand uncompromising change for a complete and instant transformative adoption of their utopian designs, like the Project 2025 anarcho-libertarian billionaires, rather than fair and practical compromise/accommodations.
Awesome link. So one wouldn't need AR, VR or even earbuds anymore.
In a previous version, I was using HTML, but it was written as strings. This allowed interaction with Go, but debugging was challenging since the Go compiler does not check the content inside strings, and no editor provides syntax highlighting for HTML embedded in a Go string.

With the current approach, the compiler can validate the written code, making it easier to use other Go code and enabling auto-completion in editors since everything is defined in Go.

Additionally, it eliminates the need to parse HTML, as every node state is represented in a Go-based virtual DOM, with only updates being pushed directly to the actual HTML nodes.

The key point here is that the UI can integrate background mechanisms written in Go, making them easy to use within the interface.
The marketing team will spin the casino ad as a way increase wakefulness, and the more "thrilling" ads as a way to keep the eyes on the road. You can even have the ads dynamic so that they jiggle when you hit a pot hole or steer the car.
2018 MBP.
The dereference table allows allocations to fail:

https://arxiv.org/pdf/2501.02305#:~:text=If%20both%20buckets...

(the text fragment doesn't seem to work in a PDF, it's the 12th page, first paragraph)
Loved Civ1 & 2, suffered one playthrough in 3 & 5 and then I discovered paradox games like EU4 and CK2 and just couldn't get back to Civs.
Ah, just had a good Mamluks run in EU4 :) Left Civ to Paradox (thru HOI1) after Civ4. Nice to see a fellow Paradox player
> WFH is largely like a chicken in a cage, just pooping out eggs without even being able to rotate.

I think that chicken in a cage is much better metaphor for staying at the office than for WFH.
Both of these only apply for US citizens or permanent residents so no, it's not just about paying some amount of money to avoid the theatre.
Show HN: Clarity.Tube – Make Time Matter with AI-Powered YouTube Insights
Hey HN,

I’ve built Clarity.Tube — an AI-powered Chrome extension that helps you instantly summarize YouTube videos, extract key insights, and structure information without watching the entire video.

Why I Built This

I consume a lot of long-form content—lectures, podcasts, and tutorials—but often don’t have time to sit through 2-hour videos just to get a few key takeaways. I wanted an efficient way to quickly extract valuable insights and organize them for later. That’s why I built Clarity.Tube.

How It Works

1. Install the Chrome extension

2. Open any YouTube video

3. Pick from 11 pre-built AI templates to extract exactly what you need:

Quick summary; Key timestamps; Important quotes & numbers; Expert opinions & recommendations; AI-powered problem-solution analysis; Glossary of key terms …and more

The AI does all the heavy lifting, helping you focus on what matters while skipping the fluff.

Who Is This For?

Students & professionals who need structured summaries of educational content
Entrepreneurs & researchers looking for key insights from industry talks
Anyone who values their time and wants to Make Time Matter

What’s Next?

We’re working on deeper AI-powered insights and note-taking integrations. Would love to hear your thoughts and feedback!

Try it out: https://clarity.tube
Install on Chrome: https://chromewebstore.google.com/detail/ofmjhidkfghnoknmhho...

Happy to answer any questions!
One of the productivity boosts I’ve gotten from wfh is the ability to have a 35 minute nap in the afternoon. Amazing how much better my work is compared to the post coffee break work that was equivalent when I was in office.
> Cash registers are nearly always out a dollar or two at the end of the day anyway, that's normal, and cash rounding doesn't change that much.

This is human error, not a software design error.
That feels like a massive misstep. Who on earth thought putting a chunk of development time into VR was a good idea for a Civ title.
Thanks for validating the point I was making.
> Twitter has long been declining

Why do you think so?
7 - 6 - 5 UI https://i.imgur.com/23AopFf.jpeg

Feels like they wanted the modern flat design in 7 but it just doesn't work in a game like this
From what I understood, they are just "reserved" areas. e.g. if you have 200 slots, the first 100 are the first "area", the second 50, 25 etc.
At least as recently as 2024, Nissan model S and SV vehicles (ie, the two lowest trims) did not have any sort of telematics that phoned home.

[edit]

I also know that some Fords for 2024 (specifically the Maverick, but possibly others) had a single, dedicated fuse for the telematics system which could simply be removed.
I presume their question is about "simple" techniqyes. With goto, the most famous one needs to compute dominance frontiers.
Yeah saw a few shots of it on Steam Deck, looks like they forgot the resolution there as theres more UI than map!
Too bad the evil one won
Hey, it ain't too hard! There are many amazing games out there :) They are just usually not made by huge studios.
Isn't Musks offer just mischievous - making an offer at a lower valuation than OpenAI recently raised funds at, and I suspect substantially lower than any further attempts to raise even more capital.

Sam Altman appears to be trying to rush to use the current hype to create a large capital moat, and Musks low ball/realistic ( take your pick ) offer is trying to interfere with the raising of cash - putting doubt about the hyped valuations in investors minds.
Not to be too harsh, but most Jeep buyers only buy for the name. That's the only way to justify these Wrangler prices.

It's why Ford was able to bring back the Bronco and take a decent chunk of that pie.
Exploring like this is a way to get familiar with the feature, explore its limits and inform you on how to use it in the future.

It's curiosity, play and learning. It's great.
I went to the office the other day, first time in a while and now I have COVID
EV sales are generally growing in Europe

Tesla sales are static or shrinking

Take January YoY in the UK, EV sales rose 24%, Tesla's sales dropped 8% ish
This is an interesting and somewhat orthogonal conversation (and sadly not what HN comments are designed for).

The 3 examples you give in each case are not the same though - they have a different colour to them and would be “wrong” to use depending on the context. This is
precisely the sort of nuance that I mentioned in one of the other comments and like you say it’s great for poetry but also for encoding additional context in fewer words. Incidentally, I recall my dad pointing this out as another similarity to Sanskrit.

As an example: I once spent some time trying to explain to my wife the difference between «какая-то фигня» and «фигня какая-то». Same words quite different meaning. :)

Taking it further, this difference can be used as a lens to see the fundamental difference between Western and Eastern philosophy and way of thinking but that’s a whole separate rabbit hole. (This is much more my subject of interest rather than linguistics.)
I suspect many people in this thread don't believe this is genuinely about preventing OpenAI from becoming a for-profit corporation.
> Most people

Source?

I have a feeling it's opposite. Maybe most people here would do that, but most of the general public? Doubtful.
It's arguably depreciating in value faster than a new car. One of Elmo's worst judgement calls (and that's saying a lot). Altman jabbed at Elmo and offered 9billion for X, 1/4th the price Elmo paid.

It's kind of hilarious watching the piranhas go at each other:

https://finance.yahoo.com/news/elon-musk-reportedly-offers-9...
This is a SlashDot post that is a link to YouTube video that discusses a Twitter post that reposts a reddit post - https://old.reddit.com/r/assholedesign/comments/1iij34r/jeep...

Which I thought is funny.
AI chatbots unable to accurately summarise news, BBC finds
People are letting their hatred of Nvidia blind them to what happened here, a customer upgraded from a 4090FE to 5090FE, they were using a 3rd party ASUS 12VHPWR cable and didn't realize the 5090FE actually uses 12V-2x6 not 12VHPWR, while the port is the same the pins are different lengths.

End of the day PC power cabling is such a shambles with things that look standard but are not so you should only ever really use the cables that came with the product if you don't want to risk issues, especially with this specific ports poor history with 3rd party cables.
As long as you keep the innovation boner in check it's fine tbh. I've noticed all of my problems in web come from trying to do sexy things. Stupid sexy things should be kept offline unless you sell stupid sexy things.
What's the complaint? I prefer V for familiarity, but VII looks better than VI to me.
Somehow y'all are getting it completely in reverse. Clearly ads in a car is going to alienate certain people, not appeal to them. That's the literal opposite of "diversity" and "inclusion".

You and I both hate the mere idea, but it's certainly an interesting idea and if it finds fans for one reason or another (eg: cheaper upfront price tag?) it's a good product whether any of us like it or not.
Feels like DeepSeek already did that far more effectively. What has xAI produced?
It was always easy to keep a perfect running balance when the cashier can make change accurately and when there was a penny/nickel jar because customers might not have had exact change. It's only the normalization of sloppiness, or sometimes theft, of cashiers that causes shrinkage in reconciliation. It doesn't just magically happen and isn't a foregone conclusion.
Other car manufacturers should immediately book all ad spots and advertise their ad free cars right there. Ideally they will play right after test drive ends at the car dealership.
Real time chess is a similar example of making a known game more dynamic and completely changing which positions are seen as strong or weak.
Looking at the 'best selling car' creates a distorted view

Tesla's sales are spread over a few models, VW's EV sales are spread over ten or so models
That is incredible. If you watch the computer with fog of war off it will make it hard to ever play the game again, honestly.
What? I am answering by quoting it:

> Rust is the first (yes, first) mainstream language that offered reasonable and composable memory safety, without compromising on speed.

My point is that I am not completely sure if we can say that Rust is the first (yes, first) at that.
> so out of touch they thought $90k for their Wagoneers was a good base price. A vehicle literally no one was asking for.

A premium 3rd row vehicle that's not a GM/Tahoe with those stupid reverse lights? My kids school is full of these. Seems to me like plenty of people were asking for them.
What good does any comment here do? The person I was responding to argued their side, I argued mine, hopefully readers can synthesise something that comes closer to the truth than if no-one was saying anything.

If you think people shouldn't make that kind of generalisation, why didn't you call out the person I replied to? What good does calling me out do that calling them out wouldn't do?
Civ 2 was great. I mostly skipped 3 and completely skipped 4, but have played 5 a fair bit through the years and still feel that Civ 2 was better. Not graphically, obviously, but the game mechanics evolved relatively little from 2 to 5 and in some cases not for the better (unit stacking??) Worse, Civ 5 games all turn out smaller and shorter than what I used to do in 2. Fewer cities, fewer units, smaller and shorter wars. Pity it's such a pain in the ass to run Civ 2 these days.
The constant need for tailored slide decks is what's destroying my motivation atm
If you travel to places unwilling to enforce basic rules of civility you should be willing to suffer additional consequences, rather than having the entirety of Europe continue to suffer because we are unwilling to do the right thing, which is to put an end to the far west of the internet.

Countries unwilling to sign regulations that would have them lock up scammers/DDoS botters and other toxic e-criminal, or unwilling to enforce their own laws when they exist, should not be allowed to continue to pollute the internet at large. Block them until they learn their lesson.

In the west, you can and will lose your access to the internet even if you are not doing this sort of shit on purpose but have an infected computer.
See for example :
https://it.slashdot.org/story/05/04/13/0320249/major-aussie-...

We enforce the rules on our own citizens, why are we tolerating this level of criminal traffic from China, India, and, the worst of them all, Russia, the country through which we are very much fighting a proxy war right now in funding Ukraine?

We can send missiles to kill russians but we can't cut them from the internet at large ? Really?

Internet access is not a human right. Just like driving on the roads is not a human right and terrible drivers get their license revoked.
Reach matters. If you’re a nobody with three followers and tell someone on the internet to kill themselves, you’re a troll and can be ignored. If you have millions of followers, that one comment will get the other person doxxed, threatened by your followers, and may end up in physical harm to them and their family.

If you own a social media platform and have this amount of reach you can never be “just a troll edgelord”.
I liked VI better than V (the districts were fun!) but never touched any mods. I think some of the ideas that were maybe a bit half-baked in VI comes together really nicely in VII.
You still need generic code to link the enum type to its format string, for example for use in std::format or std::ostream.

Nothing really difficult, normally all of this is done by hand, which is tedious and error prone, or incorporated in a macro. It would just be nice if there was a standard provided turn-key solution to the problem.
"The evil one"

So, the guy who dedicates his life and money to helping people less fortunate, to pursuing goals of global health and education for women and children in third world economies.

Have you noticed the behavior of other tech billionaires being discussed in this post? And Gates is "the evil one"?
TMC (Thinking Machines Corporation) was ahead of its time. https://en.wikipedia.org/wiki/Thinking_Machines_Corporation
>i feel for the guy

Altman, the sensitive, caring person, using his own caring personality to mount a mean put-down. Give me a fucking break. At least Musk isn't a sneaky weasel kind of asshole.
Right. Yeah then we agree :-). As I said, I do like Rust, and I think it makes sense in many cases.

I just feel like I read a lot of "Rust is the only worthwhile language our there", and actually there are many languages that are a better fit in their use-case.
Source: https://www.bloomberg.com/news/videos/2025-02-11/altman-says...

starts at around the 2:40 mark

The oligirlies are indeed feuding. I think I agree with Altman. Musk's whole demeanor is "unfunny nerd looking for approval getting embarrassed when the joke he's repeated for the third time doesn't land".