skysight-inc/HackerNews huggingface dataset:
> like LDS size, how they're banked and register count.

but you're acting like they pick these numbers using a random number generator for each generation when it's just reasonable/rational stuff like "here's 2x more LDS or more registers for free because the new process node is 2x smaller". like you must realize that they're not throwing everything away and starting completely from scratch for every new gen right? incidentally, while LDS will grow and # of registers will grow, there's absolutely no way they'd change the banking - e.g., CUDA hasn't changed it since 2.0.
I wonder if Elon will acquire it with shares.
My conclusion: If Tesla drivers are comfortable with vision-only FSD, that’s fine — it’s their responsibility to supervise and intervene. But when Tesla wants to deploy a fully autonomous robotaxi with no human oversight, it should be subject to higher safety requirements, including an independent redundant sensing system like LiDAR. Passengers shouldn’t be responsible for supervising their own taxi ride.
Does that counter the claim though? Is the correlation between value of goods and emissions and waste related to goods so strong that GDP value balance is an easy standin for emissions and waste balance?
https://github.com/DiceDB/dice/pull/1588

This PR attempted to fix the memory model violation I mentioned in the parent comment, but also added in an extra change that swapped the sync.Mutex to a sync.RWMutex. The PR description claimed 2 benefits: "Eliminates the data race, ensuring thread safety" -- correct! at least to some level; but also "Improves performance by allowing concurrent ExpandID calls, which is likely a common operation" -- which is totally unsubstantiated, and very likely false, as RWMutex is only faster than a regular Mutex under very narrowly-defined load patterns.

In any case, the PR had no kind of test or benchmark to validate either of these claims, so not a great start by the author. But then a maintainer chimed in with a comment that expressed concerns about edge-condition performance details, without any kind of data or evidence, and apparently didn't care about (or know about?) the much more important fixes that the PR made re: data races.

https://github.com/DiceDB/dice/pull/1588#issuecomment-274521...

> I tried changing this, but I did not see any benefit in benchmark numbers.

No apparent understanding of the bugs in this code, nor how changes may or may not fix those bugs, nor really how performance is defined or can be meaningfully evaluated.

Again, hobby project or whatever, all good. But the authors and maintainers of this project are clearly, demonstrably, in over their heads on this one.
In case you haven't see it. https://projectrho.com/public_html/rocket/
> For many tasks, validating a solution is order of magnitudes easier and cheaper than finding the solution in the first place.

A good example that I use frequently is a reverse dictionary.

It's also useful for suggesting edits to text that I have written. It's easy for me to read its suggestions and accept/reject them.
https://cdr.ffiec.gov/public/ManageFacsimiles.aspx

The fdic “call reports” are the ones you want. They have bulk download but it’s been ages since I looked at the format.
Sexuality isnt a crime and doesn't harm anyone. Actions do.

99.9% of Heterosexual people don't rape just because they are attracted to the opposite sex. Changing heterosexuality isn't the cornerstone of rape prevention. It isn't even part of the picture.
This is what a proper balance sheet is supposed to address. It’s fine to have different tiers of assets and liabilities as long as the net capitalization requirements for the parts are valid.
The fact we still have to explain what a tariff is because the president of the United States keeps lying about what a tariff is (and nobody in his circle bothers to call out his lies) pretty much summarizes the current state of the country.
>Trump pardoning some obvious crypto scammers

who?
> The original meaning of “woke” is something much more specific, to do with racism.

I must not know what woke means. Does woke simply mean anti-racist?
Will someone think of Larry Ellison
Exactly, any generic GraphQL server can be turned into a set of LLM tools with minimal overhead and complexity.
Windows 11 is closing a loophole that let you skip making a Microsoft account
Look, there is only one reason they could have to do this - to prepare for war.

There's no other way to connect anyone's goals with this action, and neither has there been any other route to electoral tolerance of self-imposed austerity.
What I really want to know: If Rust developers are 'Rustaceans' and Golang developers are 'Gophers', are Swift developers 'Swifties'?
Stocks were down in a big way today and this signals that they're expecting a bloody Monday.
This is really good news, I am looking forward to trying it out! Is XQuery also planned as an additional frontend? By the way, there is also χrust, a rust project working towards pretty similar goals (XPath 3.1, XQuery 3.1 and XSLT 3.0). At first glance, the architecture also seems quite similar, it is not as far along, though. Have you had any contact with them?
Fair enough. By the way, the original CSS from 1996 featured only:

- the "descendant" combinator (whitespace)
- the "class" selector (".foo")

The 1998 CSS2 introduced "child", "following sibling", and attribute selectors. This state of things then remained unchanged forever (I see that Selectors Level 3 became a recommendation only in 2018?).

On the other hand, in 1999, XPath already specified all those basic ways to navigate the DOM, and CSS still doesn't have them all as of 2025.
You admitted earlier that they are:

Person you replied to:
they intentionally use suggestive language that leads people to think AI is approaching human cognition. This helps with hype, investment, and PR.

Your response:
As do all companies in the world. If you want to buy a hammer, the company will sell it as the best hammer in the world. It's the norm.
And Nikola’s fraudster CEO. https://thehill.com/policy/technology/5219507-nikola-founder...
This sounds as tinfoily a take as I've heard here. TSLA is not related to this in any way.
Its required knowledge for financial literacy.

Its more than just balancing the check book. The reason's behind why you do it are many. One is in creating a documentation path of evidence you can fall back to if there are any discrepancies, which do happen both as mistakes/errors as well as maliciously.

Rare as they may be, having a teller add an extra 0 to the end of a $100 payment when processing is enough for most people to find out the hard way why you need to do these things a certain way.

If the bank refuses to correct the issue, you can take them to small claims court and use your documentation as evidence in support along with other evidence such as invoices, etc. Even memorializing something and sending a copy to the person for their documentation can be considered implicit acceptance when they do not respond which bad actors often will not.

If you don't have this, its your word versus theirs. A he-said she-said, and there are presumptions in law that may force you to pay if you do not know.

Things like failing to dispute amounts/demands for something owed within a certain period of time, may make you liable for remedying a non-existent credit/debt when it goes before a judge.
Some research may be warranted on your part before you have a kneejerk reaction. The US has nationalized businesses in the past even when those business were solvent [1]. SpaceX would of course be a larger case and much more politically fraught, but I don’t think nationalizing SpaceX automatically makes it a fascist government.

Oh, and you may want to look up eminent domain. The government regularly seizes private property and even does so effectively on behalf of other private entities. If you’re actually consistent on your framing then you’d have to admit you’ve lived your whole life under what you consider a fascist government regardless of political affiliation. For example, here’s [2] Trump using the government’s eminent domain power (before he was president) to take property from another private entity. And here he is doing the same thing [3] as president.

[1] https://en.wikipedia.org/wiki/State-owned_enterprises_of_the...

[2] https://www.cato.org/commentary/donald-trumps-eminent-domain...

[3] https://brooklynworks.brooklaw.edu/blr/vol84/iss2/3/
'X' is cumbersome. Everybody knows what you're talking about when you say Twitter.
>3:... Our Swift server codebase has around 30,000 lines of code. It produces a binary of 60 MB, and builds in ten minutes.

Ten minutes isn't very good for 30K lines.
Does anyone know who xAI's board of directors is now? I can't find reliable information online but it appears to be very small, maybe just two people (one of whom is Musk.)
in the most self-fulfilling prophecy way possible
Violating other road rules to let an emergency vehicle through is particularly allowed under the road rules where I am (Queensland Australia)
And people said Twitter was a bad investment
I'm curious to know if people on HN still think twitter is doing better than ever
Did Elon buy the Xe name from them or something?
So what we really need is good parental controls. This will benefit not only parents but also adults who need to parent themselves sometimes.
> After mixing for awhile, you will learn to listen in a different way than just someone listening to music.

There is a whole other side to song selection which is reading the room and figuring out what the audience needs next. That side isn't visible until you happen to start actually playing for an audience but it's ultimately the most important one, I think.

> If you then have to adjust the pitch for beat matching, how does that affect the key of the song and how it now mixes?

Music hardware/software can now do a pretty good job of changing speed and pitch independently. "Time-stretching" is the older term for how those algorithms work and they've gotten pretty good over the years.

I don't know how newer DJ software behaves by default you when change tempo. It's been a long time since I DJed.

But, also, producers making music for dancefloors know what they are doing and anticipate this. Most tracks made for DJs will have a long intro and outro that is mostly drums and other atonal instruments. That way DJs can mix without having to worry about keys clashing as much.

It always feels really good when you find two tracks that harmonize well with each other and you can mix their tonal parts together in the transition.

> The physical controller is precisely why I love vinyl.

100%. Beatmatching vinyl is one of those lovely zen activities, like driving a manual transmission, catching the wind in a sailboat, or hitting balls at a driving range. You're always chasing the perfectly smooth execution and never quite getting there.
Apple so very clearly does not give a shit about anything outside of the Apple ecosystem, it’s kind of a core part of their company DNA at this point.

I can’t ever see Swift on the server or in other contexts catching on and honestly just with the way platforms as a whole are developing I can’t see Swift surviving as a mainstream language beyond the next 5 years. Its value proposition is already on shaky grounds and is actively getting worse with time the moment you look outside Apple’s walled garden. Unless they are able to keep that lock in at the same level moving forward it’s just got very little going for it.

I think something like 1/3 apps in the App Store are ALREADY written in Dart / Flutter which is probably even a nicer language from a developer experience point of view, with much much better tooling and documentation, that runs everywhere and has comparable performance.
My windows laptop supports creating a wifi hotspot. It even allows sharing my upstream wifi internet connection over the hotspot, which I wasn't aware was a thing until recently (my Pixel 7 also supports this). I'm sure you could do the same thing with Linux with the right incantation. Not as cool as adhoc but it's also a paradigm people are very familiar with these days.
Very informative post. The author does an excellent job breaking down the costs by subsystem.

I am very surprised there are price increases though. The current administration said prices would start coming down on day 1. Doesn't seem like that's happening.
By “taking him seriously” I meant “engages with his ideas/texts/critiques deeply, on more than a surface level” which is different than “acknowledges him as a competent, popular, professional philosopher.”
go go gadget FIAT dollars
In order to combat inflation, the chocolate ration is being increased to 20 grams.
speak for yourself. I have plenty of hair!

but what I really wanted to say (because I'm a special interests person)

is that hair is a mammal trait. all mammals have hair!!! how cool is that?
https://www.cnbc.com/2025/03/28/trump-pardon-bitmex-crypto-e...
Then he buys the bank. DOGE is in the SEC now. Elon Musk is the regulator. If he decides that a bank is doing “fraud” and wants to shut it down, is there anyone to stop him? Serious question.
How does this help bring down prices?
With that logic Github, StackOverflow, rest of internet is also "only" training data.

X just produces extra valuable training data as a byproduct. Like power plants create certain byproducts that can be sold etc. Good to see it going to Grok primarily, as other LLM's are far from being truth seeking with their built-in, documented, extreme bias.
That seems like a bit of a misinterpretation of what is being described in the article - there isn't any controversy about heatpumps.

According to the article the controversy is a law making it mandatory to buy something that costs €17,000 which is close enough to double the price of a reasonable alternative. The thing being heat pumps doesn't really an issue.

It is the same as the "anti-solar" push back in the day. It was pointed out at the time that Germany's initial Energiewende push was going to be a disaster and they ended up with some of the most expensive electricity in Europe for a while there. Again, that isn't an anti-solar or anti-wind observation. That is an observation that the people running the electricity grid are incompetent and verging on enemies to German prosperity. It makes a lot of sense that people like the AfD if they can consistently pitch "we're not going to just slug you for thousands of euros" but that isn't an anti-heat-pump stance.

There isn't resistance to any particular technology, if it made sense to use I'd expect general support for the idea. The controversy is the people who are insisting on driving the costs up for no reason are quite controversial, because they are morons and shouldn't be in charge of anything.

My theory is post-WWII the British did something to permanently screw up the ability of the German elite circles to function, it is quite stunning to watch them struggle to understand why people might not like expensive, scarce energy and ongoing visible money wasting projects.
In similar news: my left hand acquired my right hand today in an all stock deal valuing the combined hands at $1T. Praising the announcement my arms noted on the deal: “With these two hands now together, there’s nothing our combined fist of might can’t do.” Competitors, my left and right feet, declined to comment on the merger but are said to be in their own separate talks about a deal.
I don't know if I'm more surprised by the amount of gold, or by the fact that there's still a royal family in India that owns it.
I would suggest that’s an insanely silly idea, given the list of components in the “Component-Specific Overview” section.
Summer child you don't really know how CN's work now do you
CEOs represent their companies. "The company didn't say it, the CEO did" is a nonsensical distinction.
AmiCube v1.1 PCB Unveiled
A story about the most destructive man in the history of high technology (who is currently demolishing the future for most everyone on here) bilking his co-investors out of billions of dollars was allowed to stay up on Hacker News for two hours? Huh!
You realize the current administration is shutting down law firms that criticize Trump, right? They'll have zero problems going "do this deal if you know what's good for you".
That would be a shocking conflict of interest - a public company paying a private company, which is owned by the CEO of the public one ?

All while the same CEO claims that the public company is the leader in the field ?

Even by Tesla & Musk lawlessness standard that would be too wild.
In US, it's not uncommon for small towns to have traffic fines be a significant part of their budget, which in turn incentivizes them to deliberately confuse motorists to fine them - this is especially true for towns located on busy routes where there's a lot of out-of-town traffic, since locals generally learn the where the traps are.
Save a ton on the legal department if you don’t have to worry about being convicted of fraud /s
To add on to this, Texas as part of this pitch is the promise of less oversight and they not following Delaware’s lead is a plus
Source: Grad student from Bengalaru I got lunch with.

It became India's Silicon Valley. Acecnture. Infosys. Western IT money came pouring in and never stopped.

https://www.businessinsider.com/india-silicon-valley-bengalu...
Happy to see xAI succeed and its fate being intertwined with X. Some paths to ultimate success for the greater good don't take the straightest ways
Classic AmigaOS Programming: The Network
That’s honestly depressing. I used flutter because I couldn’t figure out XCode, and am continually lamenting the poor type-checking, static analysis, and mediocre performance… how is swift worse?
> “I think our tariffs are very good for us. We’re taking in tens of billions of dollars. China is paying for it.”

We pay for it.

https://apnews.com/article/ba54214acc644729947c98f4539afc05
iReal Pro is a great resource, but what it provides are not lead sheets, they are just chord charts. Lead sheets have the melody of the song in standard notation, along with chord names and sometimes lyrics. iReal Pro's charts give chord names only.
Western Civ on Mars
Elon Musk sells X to his own xAI for $33B in all-stock deal
Banger. Truly excellent trolling
It’s been recommended many times, but I seem to be unable to get through those crucial first few hours. Thank you for the recommendation though.
Definitely great for the Twitter investors to be able to convert. I think they took a haircut relative to the 42B that they came in on, as the 45B includes the 12B debt. (42 gets reduced to 33, so 21-22% haircut)
xAI also raised 6B in December last year at a 45B valuation, and then in February, reporting was that xAI was trying to raise 10B more at the 75B valuation... so this is where the frothiness of AI helps to mask the fundamentals. Can gets kicked down the road.
> On top of that, I've Airdropped photos to complete strangers (e.g. if I managed to get a nice shot of something on a tour) with which I didn't have any desire to exchange numbers, and I just would not have been able to send the photo to Android.

Comments like this are one of the few things that can make me jealous of Apple users. I just can't stomach how locked down the platform is as a developer. Android is also getting worse though.
Seems like anyone who has three "shares" of X now has 1 share of xAI+X, which by Musk's valuation is three times as valuable as X. Assuming the xAI share price is wildly inflated, it seems that the inflated valuation has devalued their actual holdings.

Eg, for an extreme example, if xAI is worth zero, their actual holdings are now a third of what they were.
It has been for 30-40 years, it's just crossed some additional thresholds for visibility.

If you aren't looking at George W and Obama as building the road to this point, I don't think you are being critical enough in your analysis. Heck, Bill Clinton was out there being a governor pushing his state to mine blood from prison inmates to sell to international buyers -- blood that was full of hepatitis and hiv.

We need to step away from the "my team your team" mindset with us politics. Both the dominant teams are protecting wealthy interests and willing to do fraud to succeed.
None of the companies you mentioned are owned by a private AI company, except X.

I can't think of any other example of an AI company owning it's own social network, it's a fresh precedent.
Probably not. He bought twitter for $44bn and this is valuing it at $45bn. There probably isn't a profit after costs and what not.
Parazoa (e.g., sponges), radially-symmetrical creatures (jellyfish, corals, etc.), acoelomates (flatworms, I think), pseudocoelomates (nematode parasites, roundworms), echinodermata (sand dollars, sea urchins, etc), lophotrochozoans (molluscs, some worms, many more).

A 19th century breakdown by Cuvier, influential for a long time, was: Vertebrates, arthropods, molluscs, radiates. (I don't know where worms fit.)
Yeah. He’s not even the richest African emmigrant… because Mansa Musa tipped so heavily he broke intercontinental trade dynamics.
Darts type system and static analysis are genuinely great… I have no idea what you’re talking about.

Flutter does 120fps with ease I’m also confused what you’re talking about there too
Most quality apps should be e2ee right?
which are already measured in electron volts????
I think you’re missing a couple key benefits to go: compile time and cross arch builds. The story here is best in class by far. It’s so so simple and fast to compile go for 10 architectures and distribute a binary.
https://www.cnn.com/2024/09/09/politics/fact-check-trump-van...

Unless you’re just sea lioning, this is pretty easy to google.
It's either that or an East Texas judge.
(If this post is sarcastic, it's unclear. Particularly your statement about being surprised.)
you're arguing about something different to the person you're replying to.
> The current administration said prices would start coming down on day 1.

By which mechanism would that be? Not from the US so haven't picked up on what's been said.
The commenter also included past presidents, which is silly. Once a president is a past president, he no longer controls that military apparatus.
Generic RPG Engine: Dev Log #1
Every time I see deals like this that are going to be such raw deals for the majority of those who invested it feels like a keen reminder that all the talk of market efficiency the pro caps in Washington talk about are full of it

This is a terrible and inefficient use of money. It’s inevitable that this paper house will fall over
Supply & demand. More automotive CEO's => more supply => lower prices

Federal criminal justice is basically a stealth tax
Strike reelection and replace with power.
Shocked that increased costs lead to increased prices. Absolutely floored. No one could have predicted this.
Dr. Moon Kyung-Up has introduced a formal mathematical proof of P = NP using a framework called PQIS (Prime-Quantum Information Structure).

Unlike traditional approaches relying on circuit lower bounds or diagonalization, this method:

- Encodes information using prime-based number fields
- Maps problem-verification pairs onto high-dimensional topological manifolds
- Derives deterministic processes where solution = verification path

What this enables:
- Deterministic polynomial-time solution of all NP problems
- Real-time AI in physical systems with processor or memory constraints
- A new pathway for computing beyond silicon

It's not only theoretical—PQIS includes a physical implementation model for AI deployment.

Anyone else seeing this as a major paradigm shift in computation theory?

(Full details and proof summary available. AMA.)

Tags: PvsNP, AI, Complexity, Computability, Quantum, Algorithms
I'm impressed you managed to not use the R-word
If a browser was designed from scratch today it wouldn't have a markup language, documents would be PDF and everything else would be Javascript to canvas.

Suggesting something like HTML would have you laughed out of the room.