MurphyA/hacker-news huggingface dataset:
by VanTheBrand | 2025-12-08 22:28:56+00:00
David Ellison was an intern at Pixar in college and has a personal relationship with Lasseter. Annapurna games was under his sister and has no management connection to Skydance.

I guess if there is any common denominator it’s a familial default to loyalty vs fear of public perception? Not the worst trait in the world despite leading to this outcome.

Also to be fair Lasseter’s “serial harassment” (while real and I’m not trying to discount) consisted of his insistence that everyone hug him when greeting him. So while you can make the argument his firing had merit, his ”issue” is pretty easy to prevent at a new firm: No hugs policy
by aspenmayer | 2025-12-08 22:29:16+00:00
As we don’t have an official or authoritative body that determines “proper” English usage as other languages do, appealing to a dictionary strikes me as a mite better than prescriptivism or pedantry, though I don’t think was your intention either.

> Is it equally accepted for "peoples" to be possessive and "people's" to be plural?

That’s entirely unrelated and uncontroversial; one is the plural of a “people,” as in multiple distinct groups of folks with shared culture, nationality, or other traits, whereas the other is the possessive form of a word that is already plural, so I’m not sure if that’s a red herring or if you’ve actually seen such incorrect usage being advocated for.
by bonzini | 2025-12-08 22:29:20+00:00
They could still preserve it for backwards compatibility in microcode. They didn't do that because the 386 made it possible to get out of protected mode, and in fact allowed a more efficient implementation (big real mode) without undocumented opcodes.

It amuses me that the SMM state save area still lists the descriptor cache fields as reserved, even now that (thanks to virtualization) descriptor caches and big real mode finally have become an official feature of the architecture.
by still_grokking | 2025-12-08 22:29:54+00:00
Scala is broadly used by the biggest companies in existence.

https://business4s.org/scala-adoption-tracker/

The stuff currently cooking in Scala 3 will once more revolutionize the whole programming language landscape.

https://softwaremill.com/understanding-capture-checking-in-s...

https://www.youtube.com/watch?v=p-iWql7fVRg
by fluorinerocket | 2025-12-08 22:30:04+00:00
I on the other hand can't stand PDFs.

They take up valuable screen space, it is annoying to scroll to the sections you need. Yeah yeah some PDFs have the side navigation thing. Most don't

With a book I can put in those little flags to bookmark sections, I can easily riffle the pages and scan for the chapter I need, I can hand write in the margins

I often need 2 or 3 books open to different sections, I like keeping them on my desk so I can glance at them when I need to

I've probably cracked $1000 spent on books this year.
by Ajedi32 | 2025-12-08 22:30:15+00:00
I often wonder if people who make these kinds of statements simply don't know how market forces work, or if they know how market forces work but just choose to pretend they don't exist in certain contexts where that reality feels particularly unfair...

Demand suppression doesn't work. "Having money doesn't make your illness more important" sounds like a noble sentiment, but by applying it in the real world you'd actually be reducing the total size of the pool of resources available to treat everyone. Talk about holier than thou...
by SilverElfin | 2025-12-08 22:30:24+00:00
> On the economic front, China’s new economic strategy — a combination of shutting out European products, sending out a massive wave of subsidized exports, and putting export controls on rare earths — threatens to forcibly deindustrialize Europe

This is definitely a problem. China wants to freely operate in foreign markets, but wants to also lock others out of their own market, or control their companies to a level where they can perform intellectual property theft, or commit straight up asymmetrical warfare (like cyberattacks). But competitiveness with China requires more than fixing those problems - it also requires plain old effort - and the culture of work and social safety nets in Europe (the pension problem mentioned in the article) are difficult to fix.

Finally, I wonder who Europe can partner with now - not China, and obviously not America. Does that leave India as the only alternative? Because it doesn’t appear to me that European leaders or its citizens are very friendly towards them either. Maybe Southeast Asia or South America could also be partners. But the geopolitical strategy of Europe seems non existent. The American dependency has been destroyed but what fills that empty space?
by speps | 2025-12-08 22:30:33+00:00
Windows has PIX for Windows, PIX is the name of the GPU debugging since Xbox 360. The Windows version is similar but it relies on debug layers that need to be GPU specific which is usually handled automatically. Although because of that it’s not as deep as the console version but it lets you get by. Most people use RenderDoc on supported platforms though (Linux and Windows). It supports most APIs you can find on these platforms.
by bob1029 | 2025-12-08 22:30:56+00:00
In context of B2B SaaS products that require a high degree of customization per client, I think there could be an argument for this figure.

The biggest bottleneck I have seen is converting the requirements into code fast enough to prove to the customer that they didn't give us the right/sufficient requirements. Up until recently, you had to avoid spending time on code if you thought the requirements were bad. Throwing away 2+ weeks of work on ambiguity is a terrible time.

Today, you could hypothetically get lucky on a single prompt and be ~99% of the way there in one shot. Even if that other 1% sucks to clean up, imagine if it was enough to get the final polished requirements out of the customer. You could crap out an 80% prototype in the time it takes you to complete one daily standup call. Is the fact that it's only 80% there bad? I don't think so in this context. Handing a customer something that almost works is much more productive than fucking around with design documents and ensuring requirements are perfectly polished to developer preferences. A slightly wrong thing gets you the exact answer a lot faster than nothing at all.
by Noaidi | 2025-12-08 22:31:04+00:00
I don't understand why Samsung, with all their money, does not make their own fork so it does not have to rely on Google. I guess that is how they get all their money though. I was inches away from buying a 25+ this week. Glad I did not.

But I mean, why do we only have two choices of OS for phones (I did not include GrapheneOS because it not easily available for the normie)? That is what is ridiculous. And why, in the US, do I only get three choices of flagship phones when in Asia they have like twenty? I hate this third world country I am living in.
by kikimora | 2025-12-08 22:31:15+00:00
>The solution to that problem is "the court orders the bank to send the funds back to my account"

I see this as a very naive statement. A big story in Russia - popular singer sold her appartment, then told court she was scammed to sell appartment and have sent all money to scammers. Appartment returned to the singer, court suggested the buyer to get money from unidentified scammers.

So much for court orders :))) Poor buyer has lost > $1M. There are over 3000 similar cases all across Russia. Appartment sellers get their apartments back in court without compensating buyers. This madness is going to be resolved someday, next will appear immediately.

Another story - a prosecutor's office tells that largest pasta producer in Russia was actually illegally bought from the government some 20 years ago. Boom, entire business goes to government (to prosecutor friends, really). I can go on and on, there are literally hundreds such stories just in Russia just in the past couple of years.

The point is - having certain independence from the government is good. For the majority of world population (China, Middle Wast, all Africa) government is not a friend but either an unpredictable force of nature or a foe.
by _puk | 2025-12-08 22:31:22+00:00
It's where you have processes etc set up to manage your IT infra, but these very processes often make it impossible / too time consuming to use anything.

The team that needs it ends up managing things itself without central IT support (or visibility, or security etc..)

Think being given a locked down laptop and no admin access. Either get IT to give you admin access or buy another laptop that isn't visible to IT and let's you install whatever you need to get your job done.

The latter is often quicker and easier.
by cogman10 | 2025-12-08 22:31:27+00:00
A coworker of mine that worked at Adobe through the death of flash said a big reason for that death was Apple deciding the Ipod touch Safari would not support plugins.

Adobe had big plans on the Ipod supporting Flash and that announcement all but killed their Flash division.

Yes, Adobe supported Flash for years after that, but it was more of a life support thing and not active development. They saw the writing on the wall and knew that for flash to survive, it had to survive in a mobile world.

With the decreased support of flash, the other browser devs simply followed suit and killed off a route for something like Flash running in a browser.
by AnthonyMouse | 2025-12-08 22:31:34+00:00
> How did you first obtain your crypto? What level of anonymity was available for that tx?

Suppose you mined it or received it as payment for selling something to a stranger who doesn't know your identity.

> Where do you store your crypto short and long term?

If you're using it as a payment method you don't store it long-term. You either spend it promptly or convert it into some ordinary form of investment.

> What are you buying with the crypto? Why does it need to be purchased with crypto?

Whatever you want to buy with it. Suppose you want a VPN subscription. Suppose you want to make an anonymous donation. Suppose you're just eating at a restaurant and don't want a record of that on your bank statement.

> Where are you having it shipped?

There are lots of things you can buy that don't need to be shipped.

Also, that's a separate problem. If you actually had such requirements then you would have to deal with them, but first you'd need to solve the problem of not having a charge for the thing you want to be private appearing on your credit card statement tied to your government ID.

> Why do they need to use your specific crypto coin? Why can’t they use a locally invented (read: forked) one?

Because a major benefit is to be able to make transfers between countries.
by arcbyte | 2025-12-08 22:31:41+00:00
This a really interesting and persuasive read for me. I've been thinking about this topic as part of brainstorming a simple design system and I had come to the conclusion that the inconsistency of not having icons for every menu item was a big annoyance. After seeing how descriptive the icons are in older menu examples compared to the abstract blobs in newer menus, I have to admit I might be wrong. At the very least, ensuring that the icons themselves are as illustrative as possible about the intended outcome of its selection is necessary.

It also makes me think about the classic Save icon: the floppy disk. That was certainly descriptive at its origination, but is it still so? In the age of natively storing documents in the cloud or copying to a USB drive, it seems like we might want more than one save menu or an appropriate icon for where the file resides on the single Save menu item. Microsoft Office has the Autosave toggle switch that serves some of this purpose, but it could definitely be better.

I also think about the Zune UI where sometimes a menu consisted only of the icons. How do you enable unique menu designs like Zune without icons for everything?
by sharpy | 2025-12-08 22:31:48+00:00
I think AI can be really powerful tool. I am more productive with it than not, but a lot of my time interacting with AI is reviewing its code, finding problems with it (I always find some issues with it), and telling it what to do differently multiple times, and eventually giving up, and fixing up the code by hand. But it definitely has reduced average time it takes me to implement features. But I also worry that not everyone would be responsible and check/fix AI generated code.
by twelvedogs | 2025-12-08 22:33:00+00:00
Generally I have treated toasts as reassurance rather than important information

Like little 'saved' notifications when clicking through tabs, or email sent after clicking a send email button that might leave you on the same page

Web sites tend to over inform you of what's happening I like toasts (though I no longer use them since they're it of fashion) simply because you can disregard them
by mindcandy | 2025-12-08 22:33:00+00:00
“About half of all food deliveries globally are shorter than 2 and a half miles, which basically means that all of our cities are filled with burrito taxis”

There is a future where a city's burrito taxis are replaced with drones rolling on the sidewalk or flying to the rooftops. And, the large majority of the remaining city drivers are replaced by robotaxis with multi-sensor 360 tracking. Where there are nearly zero parked cars. So, the parking spaces have been replaced with bike lanes of bikers and scooters with every robotaxi on the street planning around their motion.

Far less fuel consumption. Far less street crowding. Far fewer accidents.

And, of course everyone hates the idea.
by vb-8448 | 2025-12-08 22:33:31+00:00
AI doesn't overcome the limits of the one who is giving the input, like in pre-ai era SW, if the input sucks the output sucks.

What changed is the speed: AI and vibe coding just gave a turboboost to all you described. The amount of code will go parabolic (maybe it's already parabolic) and, in the mid-term, we will need even more swe/sre/devops/security/ecc to keep up.
by DeathRay2K | 2025-12-08 22:33:35+00:00
I changed the UX in my mobile app from text only to icon + text by default in menus, buttons, and links.

There are several reasons I made the switch, but the primary reason is that it makes it easier to build a kind of muscle memory for navigating and performing particular actions. In essence, the text is there for new users and the icons are there for experienced users.
by alephnerd | 2025-12-08 22:33:38+00:00
> Does that leave India as the only alternative?

> Because it doesn’t appear to me that European leaders or its citizens are very friendly towards them either

There's a reason the EU is finalizing an FTA with India [0], with the backing of France, Italy, Germany, Denmark, and others. India also has a multiple veto in the EU now thanks to France, Greece [1], and Cyprus [2]. India is also heavily investing in France's MIC leading to Safran [3], Thales [4], and Dassault [5] transferring IP to Indian SoEs and setting up shop in India.

But this inevitably gives India an indirect veto position like China and the US, because of India's hard anti-Turkiye stance aligns with Greece and Cyprus' national security needs (ambivalent/indifferent about Russia but antagonistic to Turkiye) and subsidizes a large portion of France's industrial base. Essentially, it allows India to use pressure on Greece and Cyprus to influence the EU the same way China uses pressure on Spain and Hungary to influence the EU, and the US uses the CEE and Ireland.

[0] - https://www.reuters.com/world/india/india-eu-trade-talks-ent...

[1] - https://www.eliamep.gr/en/syndeontas-efkairies-o-stratigikos...

[2] - https://m.kathimerini.com.cy/gr/politiki/ptb-endeixi-dynamik...

[3] - https://aerospaceglobalnews.com/news/safran-india-fighter-je...

[4] - https://www.thalesgroup.com/en/news-centre/press-releases/th...

[5] - https://www.dassault-aviation.com/en/group/press/press-kits/...
by Aurornis | 2025-12-08 22:33:40+00:00
> Classes of drugs have expected side effects, so it's common to use medications with similar effects as placebos.

This would be called an "active placebo" and would certainly be documented.

It's common to find controlled trials against an existing drug to demonstrate that the new drug performs better in some way, or at least is equivalent with some benefit like lower toxicity or side effects. In this case, using an active comparison against another drug makes sense.

You wouldn't see a placebo-controlled trial that used an active drug but called it placebo, though. Not only would that never get past the study review, it wouldn't even benefit the study operator because it would make their medication look worse.

In some cases, if the active drug produces a very noticeable effect (e.g. psychedelics) then study operators might try to introduce another compound that produces some effect so patients in both arms feel like they've taken something. Niacin was used in the past because it produces a flushing sensation, although it's not perfect. This is all clearly documented, though.
by johncolanduoni | 2025-12-08 22:33:58+00:00
Pulsar can do most of what NATS can, but at a much higher cost in both compute and operations (though I haven’t seen a head-to-head of each with durability turned on), along with some simply different characteristics (like NATS being suitable for sidecar deployment). NATS is fantastic for ephemeral messaging, but some of this report is really concerning when JetStream has been shipping for years.
by fc417fc802 | 2025-12-08 22:34:21+00:00
EQs are a release of energy. That energy is stored as stress prior to release. There is a finite amount of stored energy at any given time.

So the statement "EQs release stress" is true and it follows that adding the modifier "small" to the front doesn't change this.

It should also be immediately apparent that it would be very surprising if there were not statistical implications as a result of this. So surprising in fact that I would suggest that the burden of evidence should fall on those claiming that any such statistical effects are unexpected.
by fixpointflow | 2025-12-08 22:34:23+00:00
OP here — thanks for taking a look.

A few clarifications that didn’t fit in the submission text:

Right now Axis is just a draft whitepaper, some semantics notes, and the beginnings of a language outline. I’m sharing it early because I’d really value feedback from people with experience in PL theory, semantics, compilers, verification, and AI-assisted program synthesis.

A lot is still missing. Execution model, type system formalization, proofs, verified interpreter/runtime, examples, and integration with AI models are all very much in progress.

Strong criticism is welcome — I’d prefer to hear corrections now while everything is still in formation.

I’ll be around to answer questions. Thanks again for taking the time.
by awithrow | 2025-12-08 22:35:19+00:00
Playstation/Sony always a contender? They were the clear leader. The PS2 is still the best selling console of all time. 160M units to Xbox's 24M. Xbox360 caught up but the PS3 still sold more units. PS4 sold twice as many as Xbox One. The console wars has been mostly Sony vs Nintendo for a long time.
by refulgentis | 2025-12-08 22:35:31+00:00
You asked what I would have asked, in a sentence, my understanding is: it was LITERALLY a prophecy, I.e. an unscientific statement out of thin air, that in July, there would be an earthquake followed by a larger one. Here, we have reality, an earthquake, ergo the first prong of a mega quake was satisfied, as opposed to prophesied.
by randerson | 2025-12-08 22:35:48+00:00
Yes, opaque accounting was a real problem. I would love to see a more streamlined, modern take on SOX. Today's SOX, in practice feels like a box-checking exercise and mandatory funneling of money to accounting firms who don't understand the intricacies of (among other things) modern software development. They forced inefficient processes on my company and weren't willing to discuss smarter solutions. No doubt there are better SOX auditors & consultants than I dealt with. But its part of the reason companies now stay private for longer and prefer secondary rounds for employee liquidity. So now retail investors miss out on the action, while accredited investors have even less transparency than a pre-SOX public company.
by JabavuAdams | 2025-12-08 22:36:14+00:00
Fantastic! I'll be sending in an application ASAP. I think I would have been a good fit for the AI role, but I no longer see it on the jobs page.

I'm actually quite excited about the Math and CS Producer roles, and I see that you'd like examples of existing online interactive teaching work. I can supply shots of static boards I've used for IRL teaching, but I don't currently have interactive work to showcase. I was thinking of applying immediately, but spending the next week making an interactive demo. Would this work, or should I wait to apply until I have everything in place? I don't want to miss out on this opportunity.
by yuedongze | 2025-12-08 22:36:23+00:00
It's nice to see a wide array of discussions under this! Glad that I didn't give up on this thought and end up writing it down.

I want to stress that the main point of my article is not really about AI coding, it's about letting AI perform any arbitrary tasks reliably. Coding is an interesting one because it seems like it's a place where we can exploit structure and abstraction and approaches (like TDD) to make verification simpler - it's like spot-checking in places with a very low soundness error.

I'm encouraging people to look for tasks other than coding to see if we can find similar patterns. The more we can find these cost asymmetry (easier to verify than doing), the more we can harness AI's real potential.
by alecco | 2025-12-08 22:36:35+00:00
H200 is the previous generation expansion card (PCIe). The current B200 is ~2x in many ways. Note there is no mention of GH200 (integrated GPU-CPU) and all those fancy NVIDIA servers.

OTOH, DeepSeek squeezed well their impaired bandwidth H800 cluster. I hope they get a lot of H200s.
by krupan | 2025-12-08 22:36:43+00:00
I love how LLMs have made everyone forget how hard it is to verify software correctness and how hard it is to maintain existing software. There is endless gushing about how quickly LLMs can write code. Whenever I point out the LLMs make a lot of mistakes people just wave their hands and say software is easy to validate. The huge QA departments at all software shops would beg to disagree, along with the CVE database, the zero day brokers, etc. But you know, whatever, they're just boomers right?
by kishore-jalleda | 2025-12-08 22:36:48+00:00
The cognitive velocity gap is the distance between how fast AI can produce artifacts — code, text, summaries, decisions — and how slowly humans can reason, verify, and understand them.

AI can generate outputs in seconds that would take humans hours. But comprehension, validation, and judgment don’t scale at the same speed. When output velocity outpaces reasoning velocity, mistakes compound:

Code that “looks correct” but solves the wrong problem

Summaries trusted without reading the source

Decisions made on outputs nobody fully understands

Teams repeating mistakes they thought were solved

We see it in software, writing, business decisions, and education. AI accelerates production, but not understanding.

I’m curious: has anyone tried to measure or mitigate this gap in real teams? What strategies help human reasoning keep pace with AI outputs?
by jfengel | 2025-12-08 22:36:52+00:00
Modals are different from toasts. Modals take over your screen; you go into a separate "mode" for them. Toasts are non-modal; they just take up screen space but you don't have to interact with them.

"Toast" usually implies something that goes away on its own, though that's generally considered bad UX.

It's just jargon. Every field does that. In this case, you can really tell that it's two bits of jargon made up at different times, because one is dry and technical, and the other is a pun on "pop-up".