MurphyA/hacker-news huggingface dataset:
by array_key_first | 2025-11-14 03:26:25+00:00
It's due exclusively to network effects.

People use Google search because they have (or rather, need) a Google account. Also, there are no alternatives really, because search is very difficult.

Microsoft has alternatives, but it doesn't matter, because you're artificially restricted from using them. All your friends (MBAs who cut your check) are using Excel, so why don't you just use Excel too?
by IntrepidPig | 2025-11-14 03:28:21+00:00
I always felt like one of reasons LLMs are so good is that they piggyback on the many years that have gone into developing language as an information representation/compression format. I don’t know if there’s anything similar a world model can take advantage of.

That being said there have been models which are pretty effective at other things that don’t use language, so maybe it’s a non issue.
by recursivecaveat | 2025-11-14 03:28:44+00:00
The robustness principle is locally optimal. If you want your software to not crash for users, then yes you should just silently correct weird inputs and you should make sure your outputs are following everyone else's happy paths. If you want a globally optimal ecosystem of reliable and predictable behaviour then you want everyone rejecting non-conforming inputs and outputing data that hits all the edge cases of the formats to shake out non-compliant servers.
by array_key_first | 2025-11-14 03:30:07+00:00
It's run by an insane person and insane people are generally very volatile and difficult to rely on.

I mean, even just the name - 'X'. You can tell that's some Elon Musk bullshit because it's the stupidest fucking name I've ever heard in my life and nobody with even a quarter of a brain would ever suggest that as a brand name.

When that's literally the brand of your company, naturally I question if everyone has the screws tightened up there, you know?
by JulianChastain | 2025-11-14 03:30:14+00:00
When I grew up, I was taught that if someone in your friend group makes a racist joke, you should stand up to them, and inform them that casual racism leads to normalizing racism.

Even if "Kill All Men" was just a shibboleth of a specific online culture, it seems like objecting to it would be a kind of moral duty (for the same reasons), as long we are in agreement that normalized misandry is bad. But again, in my generation I don't think there was any kind of consensus that misandry is wrong. That's why objecting to a shibboleth like this would be evidence of how "oblivious" and behind the times you are
by philipkiely | 2025-11-14 03:31:19+00:00
I played with Marble yesterday, Fei-Fei/World Labs' new product.

It is the most impressed I've been with an AI experience since the first time I saw a model one-shot material code.

Sure, its an early product. The visual output reminds me a lot of early SDXL. But just look at what's happened to video in the last year and image in the last three. The same thing is going to happen here, and fast, and I see the vision for generative worlds for everything from gaming/media to education to RL/simulation.
by rramadass | 2025-11-14 03:31:39+00:00
> If a human coded the proof into a computer, the human is reasoning, the computer isn't. ... If the computer comes up with the proof, the computer is reasoning.

That is exactly what "formal logic programming" is all about. The machine is coming up with the proof for your query based on the facts/rules given by you. Therefore it is a form of reasoning.

Reasoning (cognitive thinking) is expressed as Arguments (verbal/written premises-to-conclusions) a subset of which are called Proofs (step-by-step valid arguments). Using Formalization techniques we have just pushed some of those proof derivations to a machine.

I pointed this out in my other comment here https://news.ycombinator.com/item?id=45911177 with some relevant links/papers/books.

See also Logical Formalizations of Commonsense Reasoning: A Survey (from the Journal of Artificial Intelligence Research) - https://jair.org/index.php/jair/article/view/11076
by MaulingMonkey | 2025-11-14 03:34:35+00:00
> File descriptors are a limited resource, but the limits are huge.

Maybe in the linuxy servery context we're talking about, but I'll note I've encountered EMFILE and ENFILE errors attempting to open a mere couple hundred files on iOS simultaniously. And while my own experience is over a decade old, here's someone hitting those limits this year: https://github.com/bevyengine/bevy/pull/17377

(Context for my own encounter: gamedev, with massively parallel asset streaming and multiple layers of direct blocking dependencies in deserialization. One of my hackarounds involved temporarily closing the least recently read files, and then reopening them on demand in our VFS abstraction. Of course, for non-dev builds, you can just use a pack file and `pread` a single fd from multiple threads, but loose files were handy for incremental dev updates...)
by macintux | 2025-11-14 03:35:16+00:00
One of the few lessons I distinctly remember from college was finite automata in my PL class. I really enjoyed exploring the concepts and writing a grep tool; we were supposed to write either a NFA or DFA processing application, but I decided to write both.

20 years later I got to apply some of the same ideas to a language processing application, and it was such a pleasure to actually use something conceptual like that. Made me briefly regret landing in more hybrid infrastructure/automation roles instead of pure software development.

Somewhere I may still have my copy of Preperata and Yeh that my professor recommended at the time for further reading. Like most of my books, it was never actually read, just sat around for years.
by ChuckMcM | 2025-11-14 03:36:04+00:00
The "production" lift capacity included some assumptions apparently about how much they could get out of Raptor and what they expected the assembly to weigh. Engineering constraints requiring more structure, the heat shield being inadequate, and the inability to raise the chamber pressure on Raptor to get the promised ISP have all impacted what the "expected" lift to LEO/GEO will actually be. Don't misunderstand, I am impressed as heck with SpaceX's engineering team and they are definitely getting closer to the point where they will have the design space fully mapped out and can make better estimates. The NASA documents are a better source of news on how Starship is going (as it's slated to be part of the Artemis program) than SpaceX marketing (one is engineering based, one is sales based). AND New Glenn isn't "fully" re-usable, its another 'upper stage gets consumed' platform (like Falcon). That is definitely an advantage with Starship if they make that work. For history, the shuttle has a similar history of shooting high and then finding that the engineering doesn't work.
by lo_zamoyski | 2025-11-14 03:36:39+00:00
Not actually, but it is not identical to nonexistence. It's capacity. If something didn't first have the potential for something, it could never become actual in that manner. And which potentials something has depends on the kind of thing it is. Thus, only human beings in their early stages have the potential to be adult human beings.

You're basically committing the error of Parmenides all over again.
by w_for_wumbo | 2025-11-14 03:36:48+00:00
I believe you're joking here, but I do think it'd be useful to have some engineering background in each of these domains. The number of miscommunications that happen in any domain, due to oversight, presumptions and assumptions is vast. At the very least the terminology will shape how we engage with it, so having an aspirational title like prompt engineer, may influence the level of rigor we apply to it.
by exabrial | 2025-11-14 03:37:19+00:00
The Java version looks pretty danged cool paging through the some of the code.

I was trying to think of a use case for this and I was reminded of a Sun Microsystems demo (yes I'm that old) I saw. The paused a JVM and "slept" it, then kicked up on another machine almost instantly, all over the network. Was a pretty cool party trick, but then they did it when an HTTP request came in (Serverless was invented a LONG time ago!). I kinda wonder if this could be used for that?
by IAmGraydon | 2025-11-14 03:37:47+00:00
The LLM grift is burned up, so this is the next thing. It has just enough new magic tricks to wow the VCs who don't really get what's going on here. I think this comment from the article says it all:

“Taking images and turning them into 3D environments using gaussian splats, depth and inpainting. Cool, but that’s a 3D GS pipeline, not a robot brain.”
by echelon | 2025-11-14 03:38:17+00:00
The most useful models are image, video, and audio models. It makes sense that we'd make the video models more 4D aware.

Text really hogged all the attention. Media is where AI is really going to shine.

Some of the most profitable models right now are in music, image, and video generation. A lot of people are having a blast doing things they could legitimately never do before, and real working professionals are able to use the tools to get 1000x more done - perhaps providing a path to independence from bigger studios, and certainly more autonomy for those not born into nepotism.

As long as companies don't over-raise like OpenAI, there should be a smooth gradient from next gen media tools to revolutionary future stuff like immersive VR worlds that you can bend like the Matrix or Holodeck.

And I'll just be exceedingly chuffed if we get open source and highly capable world models from the Chinese that keep us within spitting distance of the unicorns.
by lrvick | 2025-11-14 03:39:06+00:00
If I as a security researcher want to send a super sensitive disclosure to an organization like "I have reason to believe your devices are compromised", I want to be damn sure it goes to a PGP key held on smartcards that decrypt reports on airgapped operating systems.

I also may want to do this anonymously.

Signal is the wrong tool on both counts. Fine to have as an option but I would never have that as the only option.
by MichaelZuo | 2025-11-14 03:40:16+00:00
If opinions were worth, or equivalent to, any kind of argument whatsoever… then my example holds true.

I would become the most productive HN user ever… anyone could do so by following that… so clearly opinions cannot be worth anything.

All the opinions you’ve ever written, and will ever write, must literally all add up to less than one solid argument.
by petermcneeley | 2025-11-14 03:42:25+00:00
The implication here of course that if we allow AI to be taken down by copyright then it could also take down Wikipedia. I am not even sure this is close to being true despite the article trying to suggest otherwise.

Perhaps a section on what the differences are might be helpful. For example what role does style play in the summary. I dont think that the summary of wiki is in the style of George R Martin.
by MBCook | 2025-11-14 03:42:42+00:00
It’s not. And trying to just be a transformation of the source to JS without its own standard library (mostly, some old stuff doesn’t follow this) means it really isn’t possible with just TS alone.

That’s OK with me. I use TS because I like it and hate the total lack of safety in JS. I have to use JS on the web, so TS it is.

If I don’t need it to run on a webpage, I wouldn’t be writing it in TS. I like other languages more overall.
Show HN: AI SDK Rust – With Storage
by saribmah | 2025-11-14 03:43:24+00:00
Mainly started working on AI SDK Rust as I was frustrated with the bootstrapping required to just create a small agent for personal use-cases. Feel like it's almost getting there with future support for other storage providers. Currently filesystem storage seems like enough for my personal use

Github Link: https://github.com/saribmah/ai-sdk
by tptacek | 2025-11-14 03:43:35+00:00
That is very silly. I founded and ran what was at the time the 2nd or 3rd largest software security consultancies in North America, then acquired and rolled up into what was the largest software security consultancy in North America (NCC Group US), our client list was a phone book of every major tech firm and every major manufacturer and infrastructure company with a significant code footprint, our firm at its peak was generating many game-over findings per day across a wide range of companies, and most of our clients would have gotten angry at us if we told them to install PGP.

More of them required password-protected ZIPs than PGP, so much so that we had a whole complicated document to ensure we were using the versions of ZIP file programs that used AES and not Bass-o-matic.

Apple and Google routinely get findings worth 6-7 figures that aren't PGP encrypted.

PGP-encrypting bug bounty submitters are mostly LARPing.

I will take the Pepsi Challenge with you on experience with bounty programs if you'd like. But here's another question: have you ever been on a major-vendor embargo list before? Was it your experience that those embargo lists were uniformly PGP-encrypted? (I can spoil this one for you if you like).

Tell me more about how major vulnerability disclosures depend on PGP, please.
by cruffle_duffle | 2025-11-14 03:43:36+00:00
Dude I had to stop watching that “sleepy whatever” channel. It was so blatant simply based upon how frequent the “thing” was posting. It’s simply not possible for a human to crank out well researched two hour long videos daily. And even then, the things content is so repetitive in each video (granted that might be the point, it is “sleepless historian” after all).

That sleepless channel is one of an entire series of very similar channels with the same voice and same “style” of content. Some get lots of views, others not so much.

Honestly, eventually people will spot that shit stuff from a mile away. None of it is unique nor does it add any “entropy” as some other commenter here said.
by array_key_first | 2025-11-14 03:44:02+00:00
I think what changed is that people sort of realized compilers and build systems aren't just those things, they are also tools. They can be leveraged for making your code work better, automatically, and they can help you.

The dream of scripting languages you can just throw somewhere is great, but in an IDE, they really struggle. They're editor languages - you can understand them without extra context and tools, but your level of understanding is baseline more wishy-washy.

TS embodies this. It directly trades off that scriptability and ease for... really nothing. The compilation isn't a side effect, it's the entire draw. People WANT a compiler, or, at least, something similar.
by dboreham | 2025-11-14 03:45:28+00:00
Hmm. Not one single bit of information about "natural dog/cat life" is encoded into a shelter kitten's brain. All the data used to train their brain came from humans and their human environment. Cats even learn to talk human (as best as their vocal apparatus and GPU allows). Whether they're better off or worse off I don't know, but any given cat only knows it's historical environment. They're not "taken" from some other place. That happened tens of thousands of years ago and no brain content from that time has been propagated to present day cats.

Fwiw my cats have friends that are deer, by virtue of there being deer in their environment, and their curiosity. And deer are quite curious too. Actually we have magpies that are friends with deer too. If cats were somehow pre-wired to only want to associate with cats, why are they associating with deer?
by MBCook | 2025-11-14 03:45:39+00:00
If you need to run in a JS environment it’s a hell of a lot. It’s a FANTASTIC improvement.

I wouldn’t use it server side or for a client application that doesn’t run in a web browser. That’s not its place, for me.

But I will 100% reach for it every time if I need to run in a JavaScript environment.
by aw1621107 | 2025-11-14 03:46:59+00:00
> The obvious(?) question is why it sends gigabytes of stuff to llvm

IIRC it's a combination of technical debt from earlier in Rust's life (it's easier to generate naive LLVM IR and let LLVM's optimizer do the heavy lifting of chewing through that) and how Rust implements generics via monomorphization

> and if that can't be reduced somehow.

I believe the technical debt bit can be (and is being!) reduced by implementing optimizations and better IR generation in rustc itself. As for the monomorphization strategy, I thought I remembered reading something about how Rust technically allows for generics to be implemented via non-monomorphization strategies like type erasure/dynamic dispatch, but I can't seem to find that post/article/whatever it was now so I'm not sure I'm not making it up. That being said, there are patterns to reduce the amount of code generated (e.g., generic facade that forwards to a non-generic implementation), but those need to be manually implemented at the moment and I don't think there's significant work towards automating that at the moment.
by wkat4242 | 2025-11-14 03:47:15+00:00
> Megacorps are slow lumbering beats that suffer from entropy and signal loss at every edge on the graph.

True. I work for one and its terrible. My work is 95% jumping through hoops imposed by other teams, restrictions put in for political reasons by substandard business 'leaders', and often even keeping vendors happy (really why should we care, we are their customers not the other way around :( )

5% is doing actual improvement. And meanwhile HR want me to show I'm making a difference to the company. Well yeah 5%.

I hate it a lot but the pay is good and a permanent contract with 20 years service is valuable (if I'd get made redundant I'd get more than a year's severance so I'm definitely not leaving on my own for something that may not work out)
by bitwize | 2025-11-14 03:47:16+00:00
> Again, concepts are not copyrightable. Nothing you have posted indicates otherwise. When your expression looks exactly like another persons expression... that's what substantial similarity is. I find it very odd that you think looking like something isn't an expression but is actually just a concept instead. It's not.

There is no definitive answer for what is an idea (not copyrightable) and what is an expression of an idea (copyrightable). It really depends on the judge and what the prevailing legal opinion is. During the nineties it was generally thought that software's "look and feel" was not copyrightable, and there were rulings to that effect. That is no longer the case. These days, judges grant copyright coverage to very abstract ideas. For example, one may not own the copyright on "side-scrolling platformer", but if you make a "side-scrolling platformer where you hit bricks from below to get power-ups, collect coins, and jump on enemies to defeat them", you may just be close enough to _Super Mario Bros._ that Nintendo might sue you and win. And we're not even getting into the specific names and appearances of the characters, enemies, and setting.
by runako | 2025-11-14 03:47:35+00:00
> Hardware failures on server hardware at the scale of 1 machine are far less common than us-east-1 downtime

A couple pieces of gentle pushback here:

- if you chose a hyperscaler, you should use their (often one-click) geographic redundancy & failover.

- All of the hyperscalers have more than one AZ. Specifically, there's no reason for any AWS customer to locate all/any* of their resources in us-east-1. (I actively recommend against this.)

* - Except for the small number of services only available in us-east-1, obviously.
by _DeadFred_ | 2025-11-14 03:49:22+00:00
If you live in the PNW/Hawaii and more than 30 minutes, or you go skiing, hiking, mountain biking, boating, or commute on highways that could take excess ambulance time think about getting a Life Flight membership. Know someone who is active outdoors but don't know what to get the for XMas, might make a good gift?

https://www.lifeflight.org/
by kccqzy | 2025-11-14 03:50:32+00:00
Any Rust code longer than ~20 lines uses Rust iterators which use type families. The Iterator trait in Rust has an associated type called Item. This is the innovation here. Classic type classes can only contain functions not types. It was in 2005 that a paper was written to show how having a type inside a type class makes sense, including how it can be type checked (via entailment of type class predicates with type equality), type inferred (by changing the standard HM system to return partial type equality constraints in addition to substitutions).

Now if Rust did not have such language features maybe it would have implemented iterators very differently. Current Rust iterators are similar to Java iterators, and in Java, iterators themselves have a type parameter, rather than having an associated type inside the iterator trait.
by varenc | 2025-11-14 03:50:40+00:00
I struggled to find a good video of the landing. This is a clip from their live stream: https://youtu.be/xHlPwTE-FOo

It seems like multiple video feeds glitch out right as it's about to land. There's even a black screen saying "buffering..." encoded into the video.

Still early days though, and I'm sure they're working to improve, but they're missing a huge opportunity here by not having high-quality footage like SpaceX. For comparison, here's a great clip of SpaceX's Starship landing: https://youtu.be/Hkq3F5SaunM
by KraftyOne | 2025-11-14 03:50:42+00:00
Haha yes, one thing you can use this for is "long waits" or "long sleeps" where a program waits hours or days or weeks for a notification (potentially through server restarts, etc) then wakes up as soon as the notification arrives or a timeout is reached. More info in the docs: https://docs.dbos.dev/java/tutorials/workflow-communication
by DonaldPShimoda | 2025-11-14 03:50:45+00:00
Oh, lord, spare me the corporate apologetics.

Releasing a chatbot that confidently states wrong information is bad enough on its own — we know people are easily susceptible to such things. (I mean, c'mon, we had people falling for ELIZA in the '60s!)

But to then immediately position these tools as replacements for search engines, or as study tutors, or as substitutes for professionals in mental health? These aren't "products that shipped with defects"; they are products that were intentionally shipped despite full knowledge that they were harmful in fairly obvious ways, and that's morally reprehensible.
by hahahacorn | 2025-11-14 03:50:48+00:00
When Trump was elected I convinced myself it was positive in the way the depression of a business cycle is positive. Sure there is pain but it’s good to cut the strangulation and inefficiency of too much bureaucracy. I hoped this admin would “throw the baby out with the bathwater” more than I’d like. And those differences in opinion are okay and healthy.

But this is just insane. There is no bull case in these actions. None. It’s just outright grift and corruption.
by cruffle_duffle | 2025-11-14 03:52:37+00:00
Why would anybody even bother publishing or adding new content if the only thing that ever reads or interacts with it are bots?

I use the shit out LLM’s but you know what they can’t do? Create brand new ideas. They can refine yours, sure. They can take existing knowledge and map it into whatever you’re cooking. But on their own, nope. They just repeat what is in their training data and context window.

If all “new” content comes from LLM’s drawing from a huge pool of other LLM content… it’s just one giant echo chamber with nothing new being added. A planet wide circle jerk of LLMs complementing each other on what excellent ideas they all have and how they are really cutting to the heart of the issue. “Now I see the issue” they all say based on the slop context ingested from some other LLM who “saw the issue” from a third LLM. It’s LLMs all the way down.
by cadamsdotcom | 2025-11-14 03:53:33+00:00
Dropbox app, what a mess.

Clicked the link and instead of you know, respecting your user and taking me to what I clicked on, I am thrown out of Safari to a full screen popup in Dropbox claiming it is “urgent” to address my account being out of storage. Closed that popup and got another full screen prompt to upgrade my plan.

This is why I won’t download your app.

To OP: can you host your link elsewhere?