MurphyA/hacker-news huggingface dataset:
by rdsubhas | 2025-11-11 10:02:57+00:00
There is no craziness here. It's a "Value rotation". Sell high, buy low, repeat. Capture a higher rate of return.

OpenAI just completed separating it's non-profit and for-profit restructuring: https://www.cnbc.com/2025/10/28/open-ai-for-profit-microsoft...

This probably means the for-profit structure will be going public in 2026, and there is probably a last private round happening.
by empiko | 2025-11-11 10:03:15+00:00
I can see both perspectives. If you are a skilled hiree, this seems like a waste of time. But if you are hiring online, you will inevitably get a lot of terrible candidates and you need to filter them out. If you are a small team, you can't spend weeks interviewing randos with little to none coding experience for a SE role. The problem is that online hiring is full of noise, but both sides suffer from the expenses this creates.
Show HN: Gerbil – an open source desktop app for running LLMs locally
by lone-cloud | 2025-11-11 10:03:57+00:00
Gerbil is an open source app that I've been working on for the last couple of months. The development now is largely done and I'm unlikely to add anymore major features. Instead I'm focusing on any bug fixes, small QoL features and dependency upgrades.

Under the hood it runs llama.cpp (via koboldcpp) backends and allows easy integration with the popular modern frontends like Open WebUI, SillyTavern, ComfyUI, StableUI (built-in) and KoboldAI Lite (built-in).

Why did I create this? I wanted an all-in-one solution for simple text and image-gen local LLMs. I got fed up with needing to manage multiple tools for the various LLM backends and frontends. In addition, as a Linux Wayland user I needed something that would work and look great on my system.
by ioanaci | 2025-11-11 10:04:44+00:00
I commented this before but deleted it because I hadn't tested my code properly. Anyway, here is a version that works.

You're right Zig isn't quite as powerful, but you don't need type erasure if you have enough monomorphization. It's a bit annoying to use since you have to capture the comptime version of b inside the inline switch prongs, and get_value does need to take a comptime bool instead of a runtime one. It's functionally the same, except that instead of using the bool to prove the type of the type-erased value is correct and delaying the actual if (b) check to runtime, we're moving it to compile time and instead proving that b has the right value for each case, then generating specialized code.

This does NOT mean that it isn't dependent on user input, the call do_thing(get_user_input()) would absolutely work. do_thing has no compile-time parameters at all.

I don't have the natToString thing because it's a bit more annoying in Zig and would obscure the point.

const std = @import("std"); fn get_value(comptime b: bool) if (b) u32 else []const u8 { if (b) return 12 else return "string"; } fn do_thing(b: bool) void { switch (b) { inline true => |known_b| std.log.info("{d}", .{get_value(known_b)}), inline false => |known_b| std.log.info("{s}", .{get_value(known_b)}), } } pub fn main() void { do_thing(true); do_thing(false); }

You could define a function

fn pick_type(comptime b: bool) type { if (b) return u32 else return []const u8; }

and change the signature

fn get_value(comptime b: bool) pick_type(b)

if you wish.

Perhaps more convincingly, you can use inline for with a similar effect. It's obviously horrible code nobody would ever write but I think it might illustrate the point.

fn do_thing(b: bool) void { inline for (0..2) |i| { // go through all bool variants const known_b = (i != 0); if (known_b == b) { // Essentially what we have now is a known_b which is proven // at compile-time to be equal to whatever runtime b we have. // So we're free to do any kind of dependent type things we'd like // with this value. const value = get_value(known_b); // Here we know the type of value but it still depends on the runtime b. if (known_b) std.log.info("{d}", .{value}) // treated as an int else std.log.info("{s}", .{value}); // treated as a string // We can also just decide based on the type of value at this point. if (@TypeOf(value) == u32) ... else ...; // Or, a switch switch (@TypeOf(value)) { u32 => ..., []const u8 => ..., } } } }
by epolanski | 2025-11-11 10:05:47+00:00
He's donated, already, the equivalent of 200+ billions USD (give or take 420M class B shares).

Say what you want, but the list of billionaires who have donated such large amounts of money while still alive (or dead) is small.

Cherry picking events like layoffs, without truly knowing how much was he involved (Berkshire directors notoriously enjoy lots of autonomy) or if the layoffs made sense, etc, seems a stretch when we're drowned with sociopath world-ruling-ambitious CEOs, from Musk to Altman, through Thiele.
by jcattle | 2025-11-11 10:06:10+00:00
If we take Elon Musks approach to challenging engineering problems, which in this exact order is:

1. Question every requirement

2. Delete any part of the process you can

3. Simplify and optimize

4. Accelerate cycle time

5. Automate

In my experience coding agents at the moment are really good at 4. and 5. and they absolutely suck at 1. and 2.

3, they are okay at if prompted well.

Humans are okay at 1. and 2. IF they understand the system well and critically question requirements. With LLM generated codebases this system understanding is often missing. So you can't even start with 1.
by hku333 | 2025-11-11 10:06:11+00:00
You are actually easier to track using these addons.

By installing Canvasblocker, Decentraleyes and NoScript you are providing more entropy to trackers and thus making it easier to track you. Imagine how many people worldwide block specifically Canvas, have weird looking network requests to certain js libs and have JS disabled for some (/all) scripts combined with your general setup (window size, font size, and many other factors that do not even require JS).

The Tor project explicitly suggests to not install an adblocker for example because of this.
by jabbywocker | 2025-11-11 10:06:14+00:00
> You're looking at where I told someone not be rude

That’s just it, you didn’t tell them not to be rude. You hid behind nebulous shunning of “gatekeeping”.

>I want them to recognize that a lot of qualified people don't in fact already know that specific thing

Again, you didn’t actually do that though, did you? Instead you used the term colloquially meant to signal they are creating a “hostile” environment

> Also, if you're calling out personal attacks, the way they used the word "disgraceful"

I’m distinctly not calling out personal attacks, I literally just gave you a thumbs up for doing it instead of taking the virtue signaling finger wagging approach you previously used.
by system2 | 2025-11-11 10:06:45+00:00
When I was studying at university, I had the highest-capacity USB drive of its time, which was 64mb. I was able to fit all my Word documents and some extras, and still felt huge. I can't find a reason for anyone to use a tiny flash drive and store 1tb info on it. It is too risky to store anything important without a backup. Versioning is also an issue and must be synced somewhere all the time. I thought we were over flash drives already. I only use flash drives for installing fresh distros on old computers. Can't find a reason to use them anymore.

I used SanDisk Cruzer Fit https://amzn.to/47OqNXT for a very long time (USB 2.0) for ESXi server installations too. Never had a problem. But this "new" design looks terrible.
by yason | 2025-11-11 10:07:25+00:00
China has been a rising star for a long time, albeit not without its share of problems obviously. I heartily agree there's a lot of momentum in China to the direction of things getting better whereas traditional western countries lack much of that, and might even ride a momentum for the worse. And China's centrally-led government can be very effective and more sophisticated, in a way most other dictatorships simply aren't. But China is still too weak to make moves. Their domestic policy and handling of their internal affairs eats up their resources of force, and they also have a long border full of territorial skirmishes they can't just ignore while acting out militarily. It's hard to see China being able to make a move that would be a threat to West and that wouldn't cost way too much. China can certainly posture threats left and right, but I think they understand they don't necessarily need to consider carrying out those threats for real. They also know the art of patience, and together with that and some effective propaganda they can just sit, wait, and slowly move the piece towards their favour, and there's some calm wisdom in that that I greatly appreciate. The constant talks and news we see about a threat posed by China is likely a significant part of just that.
by piltdownman | 2025-11-11 10:08:05+00:00
//Keep also in mind that the cleaning lady and the receptionist usually know way way more about the insides of a company than an entire board of directors and managers ever will.

In Buffet's time maybe. Nowadays the sanitation staff more likely to be a contractor from some form of MSP on an exploitative contract with a 3-6 month lifespan. All the more reason to be nice, but don't expect an 'Inside Baseball' level of insight. That sort of thing is generally the realm of Executive Assistants in contemporary offices.
by rootlocus | 2025-11-11 10:08:36+00:00
> Who better understands where capital restrictions should be applied

Should be applied for what purpose? What's the purpose of the government and what's the purpose of a corporation? When the latter is strongly influencing the former, why is it difficult to entertain the idea that their purpose and interests align?

> Why would we not seek input from the industries requiring regulation?

There's a difference between seeking and weighing input, and simply passing along legislature proposals without even looking at it. This is a strawman.

> Yet this is a golden age by every measure.

This isn't guaranteed to improve or even remain forever. And it really depends where you look. Plenty of war, misery and suffering to go around. And even in safe countries the lack of education, healthcare, financial stability is causing enough stress that people start favoring authoritarian options. That's not a great sign for the future. Just because most of us are doing better than our ancestors, doesn't mean we're going in the right direction or that we're doing the best we can. No progress is achieved by being content with the status quo, and the present is pretty miserable for a lot of people. Should we wait until a terrible war wipes out half the planet before we consider maybe changing things?

But I think that's beside the point. The argument being discussed is whether corporate entities parabolically "are" the government.
by Telaneo | 2025-11-11 10:09:32+00:00
I doubt many people 'remember' this to any significant extent, but there are probably many cases of media giving the 'wrong' vibe with a new release, and you just assume it's because you've gotten older, but then when you get access to the original you experienced, the 'good' vibe is back, and you can easily compare between the two.

Although some people do infact remember the differences, but I'd guess a lot of those incidents are caused by people experiencing them in fairly quick succession. It's one thing to remember the difference between a DVD 20 years ago and a blu-ray you only watched today, and another to watch a DVD 15 years ago and a blu-ray 14 years ago.
by aatd86 | 2025-11-11 10:10:21+00:00
Why doesn't it seem exactly true?

It is an integer. It is in the definition. And any value should be equal to nine. By construction Nine could have been given the same representation as int, at first. Except this is not enough to express the refinement/proposition.

One could represent it as a fat pointer with a space allocated to the set of propositions/predicates to check the value of.

That allows to check for equality for instance.

That information would not be discarded.

This is basically a subtype of int.

As such, it is both a dependent type and a refinement type. While it is true that not all refinement types are dependent types, because of cardinality.

I think Maxatar response in the same thread puts it in words that are possibly closer to the art.
by okaleniuk | 2025-11-11 10:10:45+00:00
Fun fact, there were no commercials in the USSR. No TV advertisements as a genre, so nobody knew how to make these. And one of the first Soviet commercials I saw was already during perestroyka, and it was about Lada. It was 15 minutes long, and it featured a line (sorry, may be misremembering it a bit) "if your brand new car doesn't start, no worries! Just take a 10mm wrench, and tighten the battery bolts. See how easy it is!"
by alamsterdam | 2025-11-11 10:10:47+00:00
Agree with the above, we built and run a ticketing platform, the actual transaction of purchasing the ticket at the final step in the funnel is not the bottleneck.

The shopping process and queuing process puts considerably more load on our systems than the final purchase transaction, which ultimately is constrained by the size of the venue, which we can control by managing the queue throughput.

Even with a queue system in place, you inevitably end up with the thundering heard problem when ticket sales open, as a large majority of users will refresh their browsers regardless of instructions to the contrary
by Cthulhu_ | 2025-11-11 10:11:39+00:00
Which is of course highly subjective; you could argue that film grain is an unwanted but unavoidable side-effect from the medium used, just like other artifacts from film - vertical alignment issues, colour shifting from "film breath", 24 frames per second, or the weird sped-up look from really old films.

I don't believe these were part of the filmmaker's vision at the time, but unavoidable. Nowadays they are added again to films (and video games) on purpose to create a certain (nostalgic) effect.
by lazide | 2025-11-11 10:14:33+00:00
Maybe they have a GoPro and want to be able to do some basic 4K video manipulation. Or want to download some warez or porn, or use it as a backup drive, etc.

1TB is enough space to be actually useful for some of this, and if you have a somewhat older laptop, it might only have 256GB or 512GB internal.
by anastasija2504 | 2025-11-11 10:14:51+00:00
Developers still have agency, but now they also have smarter tools. The question is: are they using them wisely? AI coding tools are rapidly moving from “interesting but too unreliable for real projects” to useful, indispensable aids, despite their current problems. Even incremental progress expands the range of tasks they can handle.

We’re also improving the tools and processes that make AI agents more reliable and easier to integrate into development workflows.

What does that mean for developers, especially juniors entering the industry?
by blfr | 2025-11-11 10:15:10+00:00
What do you do with all that storage?

Here's the root partition (well, lvm) on a laptop I have been using for over three years now

» df -hT ~ Filesystem Type Size Used Avail Use% Mounted on /dev/mapper/vgubuntu-root ext4 869G 298G 527G 37% /

I do have an external drive for backups and another for drone footage but this is it. Everything else is either fast enough in the cloud or just here.
by jacquesm | 2025-11-11 10:15:58+00:00
It's funny how HN goes through these Erlang cycles. It's a long standing tradition, starting off with 'Erlang Day': https://news.ycombinator.com/front?day=2009-03-11

Erlang gets a lot of stuff right for scalable web based stuff, and even though there are many of its influences that have by now made it into other languages and eco systems it is still amazing to me that such a well thought out system is run with such incredible modesty. You'll never see the people behind Erlang be confrontational or evangelists, they just do what they're good at and it is up to you whether you adopt it or not. And that is an interesting thing: the people that are good at this are writing code, not evangelizing. If I had to reboot my career I'd pick this eco system over anything else, it has incredible staying power, handles backwards compatibility issues with grace and has a community that you can be proud of joining. Modest, competent, and with a complete lack of drama.
by pembrook | 2025-11-11 10:16:04+00:00
> slippery slope dangerous thinking

> If I am eating a delicious meal but the people preparing it had a miserable time, or it was prepared entirely by robots controlled by nefarious people using the profits to harm society, I don’t want it.

So every restaurant you go to, you head to the back to run a purity test on the political beliefs and “happiness” of the people making your food to make sure they line up exactly with what you believe?

This just screams luxury beliefs to me, and historically, Utopianism like this has been the actual dangerous slippery slope. Like…tens of millions of people starving dangerous.

I just don’t think this fully automated luxury communism thing you are fantasizing about will make you happy. Seeking pleasure 24/7 is pathological and means you stop feeling it, and doing things for the benefit of others instead of yourself is miserable…but ultimately more fulfilling.
by Cthulhu_ | 2025-11-11 10:16:34+00:00
To add, when it comes to video games sometimes people go "baww but 24 fps is enough for film". However, pause a film and you'll see a lot of smearing, not unlike cartoon animation frames I suppose, but in a video game every frame is discrete so low framerate becomes visually a lot more apparent.

I think it was The Hobbit that had a 60 fps version, and people just... weren't having it. It's technologically superior I'm sure (as would higher frame rates be), but it just becomes too "real" then. IIRC they also had to really update their make-up game because on higher frame rates and / or resolutions people can see everything.

Mind you, watching older TV shows nowadays is interesting; I think they were able to scan the original film for e.g. the X Files and make a HD or 4K version of it, and unlike back in the day, nowadays you can make out all the fine details of the actor's skin and the like. Part high definition, part watching it on a 4K screen instead of a CRT TV.
by mrkeen | 2025-11-11 10:17:12+00:00
The hyperbole that Haskellers invoke around pure-functional vs impure is that you're never quite sure whether a function call you make will "fire the missiles".

It's colourful language, but it's just a stand-in for other properties you might care about. For instance, in head(sort(list)), will the whole list be sorted, or will the smallest element be returned? In atomically(doThis(); doThat()), will doThis be 100% reverted if doThat fails? If you stick to pure functions (and in the second example, STM) then you can unfire the missile!

AFAIK, Erlang just fires the missile "over there", not "over here". The author jumped from:

(X = X + 1) is bad

to

(mailbox = mailbox + message) is so simple!

I'm not bashing the BEAM, or the ease with which one can send messages (as an Actor language), but I am complaining about the lack of tooling to write non-missile-firing functions on a single node (as a Functional language).
Show HN: Visual GraphQL Query Builder
by mustaphah | 2025-11-11 10:17:54+00:00
A small tool to explore and build GraphQL queries visually.

I built it for fun, but I think it has real utility for navigating complex, deeply nested GraphQL schemas like GitHub's, which can contain hundreds of interconnected object and interface types.

Under the hood, it works by recursively introspecting the schema based on user selections.

Everything runs locally in the browser.

Source code: https://github.com/mhadidg/gqlvis
by Cthulhu_ | 2025-11-11 10:18:27+00:00
Make them into a drinking game. We watched The Princess Bride the other day (never watched it), I think it's aged pretty well but then I'm old. But if they get bored, make it a game to have a drink or get a point or whatever for every sexual innuendo, lol.

Some films didn't age well though.

And finally, accept it and move on, ultimately it's their loss.
by elsombrero | 2025-11-11 10:20:25+00:00
A custom provider for kubernetes cluster autoscaler for homelabs that lets you turn on and off the nodes without reprovisioning them.

https://github.com/homecluster-dev/homelab-autoscaler

https://autoscaler.homecluster.dev

Works with any mechanism to turn on and off nodes(IPMI, WoL...) I have some nodes that I turn on and off via a curl to homeassistant to the power plug.
by jorangreef | 2025-11-11 10:21:31+00:00
Thanks, appreciate your kind words!

Yes, everything we do at TigerBeetle is handcrafted (by humans) for quality, including the art.

Joy Machs on our team is an artist, and as you spotted, he signs all his work—I always ask him to! :)

Joy also did much of the Zig artwork, which is how we met.

You can see more of his work here: https://sim.tigerbeetle.com (and see if you can find or "not find" an Easter egg in our docs).
by johnisgood | 2025-11-11 10:22:10+00:00
> It's 2025, people have to give up on C/C++.

No, people should not give up on C.

???

You do realize there are a lot of projects written in C, right? Including Linux and most of its programs / utilities that you may be using.

I have new projects written in C, too, and you can do a lot to check for potential bugs using various flags to GCC / Clang, among other things like cppcheck and the rest.

No, people should not give up on C. C is really good to know, for many reasons... even if you are not going to use it.
by jimkleiber | 2025-11-11 10:22:49+00:00
I was reflecting on this yesterday, as I have often hated AI for generating emails and other written text, but kinda am loving it for writing code.

One realization was what you said about me just wanting the code done so I can use the app.

The second was that, for me, I care about the output of the code, not the code itself. Whereas with the written word, I care about the word. Perhaps if I used AI to summarize what someone wanted in the email then I would care less about the written word coming from a human, but right now I still want to read what they've written. You can say that there are programmers who want to read the code from someone else, but I don't think there's the equivalent of code abstracted away into a UI that exists for the written word (open to that being challenged).

The last and maybe biggest realization is that computer language exists as multiple levels of abstraction. Machine language, assembly language, high-level language, etc. I'm not sure human languages have as many layers of abstraction, or if they do, they exist within the same language.

I'll keep reflecting, just my short two cents for now.
Show HN: I Built Streamlit for Java
by cyrilou242 | 2025-11-11 10:22:52+00:00
Hey HN, I've been working on an Java alternative to Streamlit in the last 4 months: Javelit.

I've explored interactive programming and malleable code principles for a long time, and I've always felt that this kind of tool was missing in the Java ecosystem. I think this will be useful to the Java community for presentations, experimentation, talks, learning, data viz apps and small back office apps.

You can try a few apps in your browser in the playground: https://javelit.io/playground (note this is not compatible with Safari).

Under the hood the project is a bit different from Streamlit, as it is possible to integrate Javelit apps in existing Java systems. There are 2 main ways to run and build Javelit: "standalone", as a CLI, with a great hot-reload experience and a single click deploy with railway, or "embedded", as a library in an existing system. The API to build custom components is also simpler, as there is no difference between official components and user components.

If you are curious about my build process, I maintain a dev log here: https://world.hey.com/cdecatheu/