MurphyA/hacker-news huggingface dataset:
by mettamage | 2025-11-11 09:40:58+00:00
I see. I guess I simply think that Softbank isn't a good indicator for that. To me, they don't seem better than any other investment company that puts their money into technology stocks with a growth narrative. For example, they invested in WeWork and FTX.

They don't know the future, just like the rest of us.

If we're talking indicators, if 5 Softbanks would do it in rapid succession one after another it just mentions to me that the "smart money" is showing signs of moving out.

In terms of whether AI will or will not fuel growth, I think it will fuel growth. Self-driving cars seems to be a solved problem for cities at least fairly soon (e.g. Waymo, anti-example: Tesla, camera's is not the way).

It's a question whether LLMs state of the art models will grow more, but what hasn't been done that well yet is integrating it into current software. I know, because in part, that's my job. There's still a huge productivity unlock there, also in ways that people can't fully imagine.

Right now, LLMs seem to be an enabler for software engineers, especially software engineers on smaller projects (I can't find the research at the moment, it was a while ago that I read it). It seems to be an enabler for many people, but they do need to put time into prompting it in a way that works for them.

Fixing the context window issues and others I think will be really hard tasks, because I suspect we then need to know what goes on inside the black box.

If an LLM could continuously learn, so somehow continuously keep updating its weights such that it learns better, that would be a breakthrough.
by jiehong | 2025-11-11 09:41:04+00:00
TIL: PDF/UA is a thing!

While reading the article I could only think that all this semantic stuff is what html is about!

So, I think it makes more sense to do what arxiv is doing: providing a html version of articles on top of pdfs. I’d even say html should be the source and the PDF should be generated from it instead.
by aziaziazi | 2025-11-11 09:41:43+00:00
I don't know Trader Joe and what they offer but here's some quick preps I found convenient:

- cereals and lentils/beans semolina. Mix with oil, spices and hot water. Cover and wait 5 minutes.

- Cans of beans, lentils, chickpeas mixed with pre-made tabbouleh or another carb. Oil/spice and eat.

- Various marinated tofu: they're delicious own they own and don't need prep: open and bite.

- Instant mashed lentils/slip peas/quinoa (flakes). Oil/spice/water and eat.

- Tempeh: microwave and dip in sauce.

- bread and houmous.

- bread and nuts.

- Vegetable that can be eaten raw: rince and eat. Dip in sauces if you like. Carrots, cauliflower, cucumber, radishes, chicory, small iceberg salads...

- Fruits. rince and eat.

The trick is to have a few different oils and spices, those add taste and nutrients. Also you can add to anything a spoon of brewer's yeast if you're into that (cheese/fermented taste) or of silken tofu for more creamyness.
by blub | 2025-11-11 09:41:57+00:00
This whole memory-bugs-are-magical thinking just comes from the Rust community and is not an axiomatic truth.

It’s also trivial to discount, since the classical evaluation of bugs is based on actual impact, not some nebulous notions of scope or what-may-happen.

In practice, the program will crash most of the time. Maybe it will corrupt or erase some files. Maybe it will crash the Windows kernel and cause 10 billion in damages; just like a Rust panic would, by the way.
by netdevphoenix | 2025-11-11 09:42:56+00:00
Surely if your monolith codebase is good enough, migrations will be easy too. And a well architected system can be run on a single machine. If you don't believe me, try running windows 95 on your machine. These are True Scotsman fallacies that devs often use to justify whatever paradigm/philosophy they believe in. Most code in the wild is not perfectly designed or if it is, it doesn't stay so for long. Paradigms that rely on optimal conditions to work decently aren't universally useful imo.

If your car only works on pristine, smooth roads, it's not a good car, no matter how many cool features it has or how fast you can ride it.
by lazide | 2025-11-11 09:43:11+00:00
And per the stock prices Tesla is worth more than every other car manufacturer ever, as well.

Until it wasn’t. Then it was again.

Either way, cash flow != stock price, not that SoftBank is in a ‘business’ that likely needs a lot of cash.

Maybe they just needed a new yacht?

Or need to bail out one of their investments?
by mettamage | 2025-11-11 09:43:18+00:00
I mean for me it is, but not in an intellectual sense. Don't get me wrong, there are some good articles on HN about HFT and the technicality of it, but this is just, I don't know. Why Softbank? Didn't other big investment banks/funds sold out of NVidia at some point? Cathy Wood maybe, at some point? Why wasn't that on HN?

Stock news is barely on HN.

Oh, wait, I guess I see it now. It is on HN way more frequently when it involves Big Tech. And NVidia is increasingly seen as part of that. It used to be FAANG but now it's the Magnificent 7. The bias shifted.

That'd make sense.
by rtpg | 2025-11-11 09:43:22+00:00
getValue : (b : Bool) -> pickType b getValue True = 42 getValue False = "hello"

So given something like this, imagine something like the following:

someBool = flipACoinToGetABool thingy = getValue someBool

You're already in trouble here right? what's the type of thingy?

So maybe you write:

thingy: (pickType someBool) = getValue someBool

which is fine and great!

then you write:

print (thingy + 3) -- thingy can be an int right?

But at this point thingy is of type "pickType someBool" while + is expecting Int. So it's up to you to restructure your code to prove to the type checker that someBool is in fact True.

For example:

print ((if someBool then thingy else 5) + 3)

^ and here your code proves the fact! So in practice when you want to explore the results that are hidden behind the dependent types, you will need to have written code that unwraps it like this. But the whole point is the underpinning type theory means that you will be fine while doing it! You've proven that it'll be fine, so if you add thingy to 3 you'll have an integer.

I think of this stuff a bit like encryption password. You have this bundle of data, but to get in, you need to provide proof that what you're doing won't blow up. You'll need to write your code in a certain way to do it. But if you provide the right proof, then we're golden.
by luke-stanley | 2025-11-11 09:44:47+00:00
I am very picky, hard to place, but from a quick look at the README, I'd say the API interface on display seemed like the right level of abstraction for having to deal with the messy reality.

Since you're asking for feedback:

- perhaps some of the document type specific dependencies by optional?

- could there be LESS config surface?

- I noticed GitHub CI action has a cross.

It's good to add how to use with Astral "uv" these days, especially anything that might pull in PyTorch dependency hell, which they have mostly solved if used correctly!

Nice work!
by rstuart4133 | 2025-11-11 09:46:30+00:00
It's short by Australian standards. I was born 1000km away. It's a 12 hour drive. I've done it numerous times. It was a regular thing when I was young.

Uni students have been know to drive for a drink at the pub at the next Uni north (at the time) over the weekend for a lark. That's 2000km, one way.

A serious undertaking by Australian standards is a drive to Perth. That's 5000km in a straight line, but of course you can't drive in a straight line to Perth.

I met a guy once who was the last leg of circumnavigating Australia on his push bike. It had taken him years, and it looked like it. I've never seen someone so wirey, so obviously fit. Yet he rode at a slow measured pace. That was no doubt a habit forced by the trailer his bike towed. I guess the trip was around 15,000km.
by imiric | 2025-11-11 09:46:46+00:00
Yeah, I disagree.

I've read the Jujutsu documentation and a lot of praises for it, and its most compelling feature is a simpler UI compared to Git. There have been other VCS tools with arguably better UIs and feature sets than Git (Mercurial, Fossil), and yet they haven't gained traction, for better or worse. The only reason jj is having more momentum is because of its compatibility with Git, which was a smart decision by its developers.

A better UI is not something I would consider a next step for a VCS tool. I can do that myself with my shell and small helper tools. Whereas features like semantic and binary diffing would be compelling generational improvements over Git. I know these can technically be tacked on to Git itself, but a VCS built for them would be able to do things Git simply can't. These are just two I can think of, but a next generation tool would be evident without requiring much explanation. Just like DVCSs were over the previous generation of tools.
by animal531 | 2025-11-11 09:46:59+00:00
For the game industry this is practically amazing.

Firstly, for 99% of appointments they usually don't care how good of a developer you are. You may have invented 10 new technologies and have revolutionized the field, if you can't show them a portfolio of games you have shipped then they don't care. They don't hire you for a developer/code role because you're a great developer, they hire you because you've shipped some games before (which is totally a different metric). For whatever reason the whole industry is stuck in this mentality, they can't differentiate between the metrics of appointing a great developer vs trying to find someone that can ship titles.

Asking for expected salary is a pretty quick way to filter because no one ever lists their requirement in their cv. If the job listing included their range then they might have gone with just assuming that the applicants would be within that range, but it doesn't hurt to check.

The test itself is quite easy and straightforward, if anything the real gotchas around it would be to stand out significantly from everyone else.
by grishka | 2025-11-11 09:47:16+00:00
Meanwhile, in the USSR itself, if you wanted a car, thanks to the planned economy, you couldn't just go and buy one. There was a queue you had to register in and wait for months, maybe years.

The quality was crap. The cars came out of the factory essentially unfinished — you had to take your new car to a workshop to have an anti-corrosion coating applied for example.
Show HN: NoteDiscovery – Free Self-Hosted Alternative to Notion/Obsidian
by gamosoft | 2025-11-11 09:47:49+00:00
Hey HN! I built NoteDiscovery - a self-hosted note-taking app that stores everything as plain markdown files, and most importantly, free! :-)

Why I made this: I do like Obsidian and been using it for quite some time, but having to install in all different computers to use it in, plus the hassle of syncing notes made me think about a new alternative.

Key features: - Docker - Plain markdown files - Modern web UI with live preview

It's 100% free and MIT licensed.

Website: https://www.notediscovery.com GitHub: https://github.com/gamosoft/NoteDiscovery

Please bear in mind it's in VERY early stages so it doesn't get even close to what the excellent Obsidian can do, but for the time being it's more than enough to suit my personal needs, so depending on my availability I may be adding more features. ;-)

I really hope you like it!
by blub | 2025-11-11 09:47:49+00:00
All of that stuff doesn’t matter though. If you look close enough everything is different to everything, but in real life we only take significant differences into consideration otherwise we’d go nuts.

Memory bugs have a high risk of exploitability. That’s it; the threat model will tell the team what they need to focus on.

Nothing in software or engineering is absolute. Some projects have decided they need compile-time guarantees about memory safety, others are experimenting with it, many still use C or C++ and the Earth keeps spinning.
by rcxdude | 2025-11-11 09:48:43+00:00
What is the point of a war if not to achieve the political outcome of the war? No-one starts a war to get a high K/D ratio, so it's only relevant to the extent that it helps with the political outcome, and on that front the US failed to achieve its goals. And I don't think this was something the armed forces had no part in: the manner in which they went about trying to achieve this goal certainly has an affect on the outcome, even if it was a lot more difficult than just applying their sheer technological superiority and direct combat capability.
by nerdsniper | 2025-11-11 09:49:00+00:00
These days most of them seem to work just fine on Linux, Windows, and Mac. I use several brands across all 3 and never had an issue. I like the DOCKCASE Visual Smart ($40) or Explorer Edition ($50). They have large capacitors to provide 10 seconds of power loss protection, support 10Gbps USB speeds, and have a second USB port just for power which makes it compatible with SSD's that draw a lot of power. I like the info on the little screens because I swap SSD's in/out frequently. There are cheaper ones that work fine too - the "SABRENT USB 3.2 Type-C Tool-Free Enclosure" ($30) is nice for, well, not needing a screwdriver to swap out the drive - but it might not deliver enough power for some overkill SSD like the (now Sandisk) WD Black SN8100 - but the DockCase will, as long as you also plug in an auxiliary power USB cable.

A drive like the Patriot Memory P400 Lite is very low power, so it works with cheaper enclosures or USB ports that don't deliver as much power to the peripheral. It also generates less heat, which can help sustain performance depending on the enclosure and environment.
by coldtea | 2025-11-11 09:50:33+00:00
>Australia has ranked choice voting and mandatory voting. What else could be done to “give” people more choices?

None of the above are even close to giving people choices.

Australia has a seat-by-seat majority-based system that favors the bigger parties (HoR).

Choices come when there's direct proportional elections.

Choices come when you don't need campaign support, advertising budgets, rich sponsors to be elected.

When they media don't sway to their (owners) favorite parties and candidates.

When you're not elected on an huge laundry list of a program, and then left to do whatever and backtrack on any and all promises until the next election with no consequences.

When there are direct referendums for major issues, regularly, not just to change the constitution in rare cases.

And many many other things besides, those are just some big ones.
by s-lambert | 2025-11-11 09:52:51+00:00
But it's not an AI generated image, it has the artist's signature in the bottom right corner. Tigerbeetle has a lot of custom artwork designed for their stuff that's high quality. I don't even see why you would think it was AI generated even without the artist signature, it's using the Tigerbeetle mascot and it looks drawn for the particular theme the blog is talking about.
by Cthulhu_ | 2025-11-11 09:52:57+00:00
There's a 4K version out that does interesting things with colour grading, here's a post I found: https://www.reddit.com/r/Terminator/comments/d65pbi/terminat.... The one on the left is the remaster.

There was similar outrage (if that's the right word) about a Matrix remaster that either added or removed a green color filter, and there's several other examples where they did a Thing with colour grading / filtering in a remaster.
by supriyo-biswas | 2025-11-11 09:53:15+00:00
A few paragraphs below, the article answers that the company can't afford to pay as much as some others; I assume if you are being already being paid way over the market rate you should keep working at the place you're at.

As for the take home, I'd take it or any other kind of non-conventional question that allows me to show me my skills, rather than the usual interview where your interviewer gives you an algorithm or system design question they couldn't solve themselves, with the occasional smirk as they watch you fumble through that question.
by evertedsphere | 2025-11-11 09:54:16+00:00
As a general rule when it comes to this pattern of replying to "this is AI generated" with that link: the people that write these posts often read HN and attach a certain amount of importance to the opinions presented here, and it's important that people express their opinions about trends in how the majority of technical writing submitted to this website is either generated or presented, before they become well and truly entrenched as being problems "too common to be interesting".

There's a difference between criticisms of the content or the reader's ability to view it and complaints about "tangential annoyances" surrounding it.
by turtleyacht | 2025-11-11 09:55:25+00:00
How often is a drawing really trashed and restarted?

There's the saying, "Plan to throw one away," but seems like it varies in practice (for software).

There are even books about patching paintings, like Master Disaster: Five Ways to Rescue Desparate Watercolors.

In architecture, it's understood the people, vehicles, and landscape are not as exact as the building or structure, and books encourage reusing magazine clippings, overhead projectors, and copy machines to generally "be quick" on execution.

Would like to see thoughts on comparing current process with the "Draw 50" series, where most of the skeleton is on paper by the first step, but the last is really the super-detailed, totally refined, owl.
by smallstepforman | 2025-11-11 09:56:25+00:00
When you say Linux, reliability depends on distro. I had tried to install Mint on an external harddrive, and the stupid installer modified the boot loader to search for Grub on the removable disk. No removable disk, no grub, no booting of any OS. Idiotic. Lets not get started on the repair/recovery process since another mainstream OS recovery tools wont mount Fat32 EFI partition in R/W, needed to verify the uuid for bootmanager.exe - long story short, had to reinstall everything. Note - neither Windows or Linux are on that box anymore, but Haiku and OSX works brilliantly.
by alansammarone | 2025-11-11 09:58:03+00:00
I don't know the specifics of this particular tool, I assume it's at most using a couple of passes of (some frontier model with specific system prompt + custom tools, for example code-specific rag + some form of "summarize"). By at most I mean "probably isn't doing anything crazier than that".

But it seems to be producing docs that are better than I tend to see with basic "summarize this repo for me"-style prompts, which is what I usually use on a first pass.
by KaiserPro | 2025-11-11 09:58:58+00:00
Aha! I used to work in film and was very close to the film scanning system.

When you scan in a film you need to dust bust it, and generally clean it up (because there are physical scars on the film from going through the projector. Theres also a shit tone of dust, that needs to be physically or digitally removed, ie "busted")

Ideally you'd use a non-real time scanner like this: https://www.filmlight.ltd.uk/products/northlight/overview_nl... which will collect both colour and infrared. This can help automate dust and scratch removal.

If you're unluckly you'll use a telecine machine, https://www.ebay.co.uk/itm/283479247780 which runs much faster, but has less time to dustbust and properly register the film (so it'll warp more)

However! that doesnt affect the colour. Those colour changes are deliberate and are a result of grading. Ie, a colourist has gone through and made changes to make each scene feel more effective. Ideally they'd alter the colour for emotion, but that depends on who's making the decision.

the mechanics are written out here: https://www.secretbatcave.co.uk/film/digital-intermediary/
by falcor84 | 2025-11-11 09:59:36+00:00
I just saw that Terminal Bench introduced a new evaluation approach based on the new Harbor tool [0] and was surprised to see that it completely reshuffled the leaderboard, with the top 4 places now held by variants of gpt-5, whereas in terminal-bench@1.0 you had to scroll down to the 7th place to see gpt-5.

Does anyone here have any insight on whether this genuinely reflects capabilities better? I'm asking because last I checked, Codex+gpt-5 significantly underperformed Claude Code for my use case.

[0] https://github.com/laude-institute/harbor
by rsynnott | 2025-11-11 10:00:57+00:00
There not much in the way of what you’d call strong positive evidence. Lots of user testimonials, which are, as always, kinda useless.

The few serious studies attempting to measure out if (vs asking people “do you think this helped you”; again, that’s not useful evidence of anything), seem to have come come out anywhere from “a wash” to “mildly detrimental”.
by Theodores | 2025-11-11 10:02:23+00:00
In period I was somewhat in charge of the render queue at a small animation company. I had to get rendered images onto tape, as in Sony Digibeta or better. Before that I had to use film.

We had an incredible amount of fancy toys with no expense spared, including those SGI Onyx Infinite Reality boxes with the specialist video break out boards that did digital video or analogue with genloc. Disks were 2Gb SCSI and you needed a stack of them in RAID formations to play video. This wasn't even HD, it was 720 x 576 interlaced PAL.

We also had to work within a larger post production process, which was aggressively analogue at the time with engineers and others allergic to digital. This meant tapes.

Note that a lot of this was bad for tape machines. These cost £40k upwards and advancing the tape by one frame to record it, then back again to reposition the tape for the next frame, for hours on end, that was a sure way to reck a tape machine, so we just hired them.

Regarding 35mm film, I also babysat the telecine machines where the film bounces up and down on the sprockets, so the picture is never entirely stable. These practical realities of film just had to be worked with.

The other fun aspect was moving the product around. This meant hopping on a train, plane or bicycle to get tapes to where they needed to be. There was none of this uploading malarkey although you could book satellite time and beam your video across continents that way, which happened.

Elsewhere in broadcasting, there was some progress with glorified digital video recorders. These were used in the gallery and contained the programming that was coming up soon. These things had quite a lot of compression and their own babysitting demands. Windows NT was typically part of the problem.

It was an extremely exciting time to be working in tech but we were a long way off being able to stream anything like cinema resolution at the time, even with the most expensive tech of the era.

Pixar and a few other studios had money and bodies to throw at problems, however, there were definitely constraints at the time. The technical constraints are easy to understand but the cultural constraints, such as engineers allergic to anything digital, are hard to imagine today.
by alex-moon | 2025-11-11 10:02:52+00:00
So it's fascinating reading this looking at the screengrabs of the "original" versions... not so much because they are "how I remember them" but indeed, because they have a certain nostalgic quality I can't quite name - they "look old". Presumably this is because, back in the day, when I was watching these films on VHS tapes, they had come to tape from 35mm film. I fear I will never again be able to look at "old looking" footage with the same nostalgia again, now that I understand why it looks that way - and, indeed, that it isn't supposed to look that way!
by lukego | 2025-11-11 10:02:55+00:00
Joe used to have all that code in his world-readable NFS-mounted home directory. He would just create a new directory for every idea or project. Take it with him from one computer to the next.

I hope that's preserved and one day published as e.g. the old MIT AI lab file system snapshots were.

(Robert Virding or Bjärne Däcker might well have a copy of the Prolog code to share if asked nicely.)