MurphyA/hacker-news huggingface dataset:
by yourdetect | 2025-12-19 11:30:51+00:00
> Of course, this bug was in an `unsafe` block, which is exactly what you would expect given Rust's promises.

The fix was outside of any Rust unsafe blocks. Which confused a lot of Rust developers on Reddit and elsewhere. Since fans of Rust have often repeated that only unsafe blocks have to be checked. Despite the Rustonomicon clearly spelling out that much more than the unsafe blocks might need to be checked in order to avoid UB.
by mft_ | 2025-12-19 11:31:35+00:00
> Yea, I don't understand why people use LLMs for "facts". You can get them from Wikipedia or a book.

Because web search is so broken these days, if you want a clean answer instead of wading through pages of SEO nonsense. It's really common (even) amongst non-techy friends that "I'll ask ChatGPT" has replaced "I'll Google it".
by eCa | 2025-12-19 11:31:56+00:00
> Why search, wade through dubious results, etc when you can just instantly get the result you want in the format you want it?

For one, that way you can see that the source is dubious. Gemini gives it to you cleaned. And then you still have to dig through the sources to confirm that what it gave you is correct and not halucinated.
by guessmyname | 2025-12-19 11:31:57+00:00
Is there a monospaced version of this font?

Pretty much every font I try has one or two things that bug me. I’ve spent the last ten years making my own, first in FontForge, now in Glyphs.app, but it’s incredibly time-consuming. I’ll work on it for a while, then give up for months, delete everything, switch to a different font, use it for a few days, start hating it… and end up back at making my own font again. This cycle repeats pretty much every year.

You’ll probably want to recommend your favourite font, but trust me, I’ve tried all the well-known ones, and they all have their quirks.

Edit: I’m going to try Guguru (“Google” pronounced with a Japanese accent) Sans Code for a few days → https://github.com/yuru7/guguru-sans-code , created by https://x.com/tawara_san
by godelski | 2025-12-19 11:32:50+00:00
> By having the most engaged users leave and splinter the community furtehr

Power users going to a fork like Mullvad or Waterfox still helps Mozilla. Just in the same way that people switching to Brave helps Google.

> We really will do anything except message your policy makers, huh?

I actually do this. And I'm actually decently satisfied with one of them. I bet you're grateful for that person too even if you don't know it.

> I migrated several times before and am browsing around now.

Cool? Switching browsers is literally one of the easiest platform migrations you can do. All your bookmarks and everything transfers. I'd bet something like Mullvad (works with the Tor foundation and their fork of Firefox) is better your speed. Yes, you can uninstall their built-in mullvad VPN extension and it'll just go away.

> But I don't think "no one cares about you, just leave" is the healthiest option for your stated goals.

Yet that's not what's going on

> I don't want my tools to be bloated.

So don't install them?

Seriously, I don't get the problem. As far as I'm aware the only things that are opt-out are the smart tabs. Which is a 22.6MB and 57MB vector embedding models that can be easily removed.

So what bloat?

They said everything will be opt-in and that's cool with me. If they go back on that then yeah, grab the fucking pitchforks and I'll be right there with you because fuck those lying bastards. But so far they haven't done that so put the pitchfork down. All you're doing is being over zealous and attacking the greater enemy's (Chrome) enemy. You don't have to call Firefox your ally but it's pretty clear that Chrome is significantly more misaligned with your wants than Firefox is. So stop attacking the best thing we got right now.

> this industry bewildered on how this apocalypse came upon them

I'm pretty confident this is happening because all the privacy maximalists are not actually privacy maximalists and would rather lick the fucking boot than take a knight who's armor isn't pure. Doesn't matter if that boot is orange and shaped like a lion, it's still the boot.

I'm sorry the choices are slim. I really do wish it was better. But we're never going to get there if we kill the last thing standing against the monopoly. So yeah, pick the right fucking battle.
by 6510 | 2025-12-19 11:32:59+00:00
It simply should be required to post all job openings with a government agency that will negotiate the terms and fine you horrifically if your offer smells like bullshit. It should go as far as to force the company to hire the best fitting candidate. Elaborate investigations if the candidate turns out a poor fit. Lavish unemployment benefits but you do have to show up at the agency at 8am 5 days per week to follow courses and take tests. If we don't have the employee you need in stock we will build one.
by 0dayz | 2025-12-19 11:33:53+00:00
>It is irrelevant who invented Rust. The relevant fact is that it can be used as a tool to divide the community because of its very opinionated design.

Compared to C where it has the opinion of no fixed data types making you deal with it.

>Systemd was equally opinionated and also caused huge division. Who is paying the bills of Poettering these days: Microsoft.

Systemd was only opinionated in how it should break posix, because it's meant to be Linux only.

And you're then saying that there is credible evidence that Poettering was a Microsoft mole almost 15 years ago with instructions to create systemd to "disrupt" the Linux ecosystem?

Boy did Microsoft fail there, more distros than ever adopted it and it's these days almost entirely pain free.

>The Halloween documents show that Microsoft is playing these games for a long time now. Who knows in which way they have advanced their psyops. Just because we can't read their E-mails anymore doesn't mean they stopped doing it.

If you have actually read the docs you would know that their strategy is not to divide and conquer as they say FUD does not work, but to instead compete with OSS.
by Aerolfos | 2025-12-19 11:33:57+00:00
Ok so it was that. The responses given did sound off, while it has some period-appropriate mannerisms, and has entire sections basically rephrased from some popular historical texts, it seems off compared to reading an actual 1900s text. The overall vibe just isn't right, it seems too modern, somehow.

I also wonder that you'd get this kind of performance with actual, just pre-1900s text. LLMs work because they're fed terabytes of text, if you just give it gigabytes you get a 2019 word model. The fundamental technology is mostly the same, after all.
by brazukadev | 2025-12-19 11:34:03+00:00
great to hear! I'm getting a bit worried about possible legal issues - although that is because I might not be involved in every meeting so I'm worried about possible risks.

I sent you an email, my email handler is alanmeira. If you are too busy and can't waste time on this there is no problem tho, your post was quite motivating already.
by lgas | 2025-12-19 11:34:25+00:00
I'm not sure I understand what you're getting at -- your last paragraph suggestions that you understand the point of formal specification languages and theorem provers (ie. for the automated prover to verify the proof such that you just have to trust the toolchain) but in your next to last paragraph you speak as if you think that human mathematicians need to verify the lean 4 code of the proof? It doesn't matter how many lines the proof is, a proof can only be constructed in lean if it's correct. (Well, assuming it's free of escape hatches like `sorry`).
by notarobot123 | 2025-12-19 11:35:12+00:00
Does this kind of general shift more firmly establish a marketplace and business model for eminent "peers" to more easily create independent journals? Universities increasingly price in this pay to publish model so groups of editors could very easily corner their respective niches with independent publications if they cooperate with one another. The market is ripe for fragmentation.

Maybe this is wishful thinking but a proliferation of openly accessible and competing independent publications could correct for a lot of the ills of the Goodhart effect in academic publishing. Market shifts that make this evolutionary pathway feasible and realistic are exiting.
by AnthonyMouse | 2025-12-19 11:35:55+00:00
> There are caps to those tax advantaged savings accounts.

Caps that are set to the amounts where people start having enough money to hire a tax accountant and thereby use the various other ways of deferring income tax on money you're not immediately spending.

> You're still designing a system where the highest effective tax rates are paid by the lowest income people and the lowest effective tax rates are paid by the highest income people.

The status quo is even worse: They not only defer income tax on the money they're not spending, they defer it on money they are spending, by borrowing against the assets and spending the loan. Which a consumption tax would have them paying.

Meanwhile you can exempt necessities from a consumption tax to various degrees or issue a large fixed tax credit to everyone, which lowers the effective rate on ordinary people by as much as you like.
by Al-Khwarizmi | 2025-12-19 11:36:17+00:00
> I assume uploading to arXiv doesn't count as having published a peer reviewed journal article, which is a problem for professionals.

Yes, in fact this is mainly what I meant with "quality badge". It's a badge mostly for instutitional bean-counting processes. Fellow scientists don't need it that much, typically we can separate the wheat from the chaff with a very quick skim.
by PaulRobinson | 2025-12-19 11:36:44+00:00
Books enter the public domain. Project Gutenberg and others produce DRM-free versions. Many academics and people who wish to share their knowledge also publish works DRM-free, sometimes under permissive (copyleft), licenses.

The fact you see DRM as the norm and non-DRM as “a unicorn” that “doesn’t exist”, is mildly sad. You should explore all of the above a lot more, and much more besides.
by jstimpfle | 2025-12-19 11:36:52+00:00
I deny this rhetoric; you can use it to justify all kinds of wrongs. I can't tell you what I'd done if I was living in the early days of Hitler, because I don't have that context, while I do have the hindsight. Comparing Hitler with the current US administration seems a bit of a stretch to me, even though I have strong disagreements with some of the things that Trump/MAGA are doing (or _seem_ to be doing. At this point it's hard to trust anything anymore). On the other hand, there's a serious question to be asked, had we not been on a descent to madness for more than a decade before the current administration?
by farbklang | 2025-12-19 11:37:32+00:00
I fail to understand how you can measure keystroke latency coming from a KVM. Everything behind the KVM is invisible to you, assuming that it is spoofing a legitimate logitech dongle and emulating a legitimate screen edid.

The KVM uses buffering and queues the keystrokes. So the net time between them is the same as if I would type them locally.

What you could measure is the fingerprint of USB initialization and enumeration of keyboard, mouse etc when connecting and starting up.
by Aerolfos | 2025-12-19 11:37:34+00:00
> https://github.com/DGoettlich/history-llms/blob/main/ranke-4...

Given the training notes, it seems like you can't get the performance they give examples of?

I'm not sure about the exact details but there is some kind of targetted distillation of GPT-5 involved to try and get more conversational text and better performance. Which seems a bit iffy to me.
by conartist6 | 2025-12-19 11:37:53+00:00
You don't seem to be aware of any of the work I'm doing on CSTML (built to replace HTML and XML, and yes, built to be useful for legal documents (even though IANAL)). If you're interested in collaborating to go after the law market, let's talk! You're trying to sneak in a side door. I'm planning to smash down the main gates, the ones you say are impregnable. My investigation says they're not unbreakable, but instead strong and brittle. Many attacks will bounce off, yes, but brittleness means that these are defenses that will shatter before they bend.
by josephg | 2025-12-19 11:38:02+00:00
Saying "appeal to authority" doesn't refute the point made above. Expertise is real. Someone with 25 years of experience with the linux kernel will know a lot more about linux and C than the average HN commenter. Almost certainly more than me.

Its possible that you might be right about whatever point you're trying to make. But if you are, I can't tell that from your comments. I can't even find a clear claim in your comments, let alone any substantive argument in support of that claim.

I'm unmoved and unimpressed.
by pwillia7 | 2025-12-19 11:38:59+00:00
This is why the impersonation stuff is so interesting with LLMs -- If you ask chatGPT a question without a 'right' answer, and then tell it to embody someone you really want to ask that question to, you'll get a better answer with the impersonation. Now, is this the same phenomenon that causes people to lose their minds with the LLMs? Possibly. Is it really cool asking followup philosophy questions to the LLM Dalai Lama after reading his book? Yes.
by user34283 | 2025-12-19 11:39:18+00:00
Yes, as I said, it is working well in my side project. The application works and I am happy with my results so far.

It's interesting how this workflow appears to almost offend some users here.

I get it, we all don't like sloppy code that does not work well or is not maintainable.

I think some developers will need to learn to give control away rather than trying to understand every line of code in their project - depending of course on the environment and use case.

Also worth to keep in mind that even if you think you understand all the code in your project - as far as that is even possible in larger projects with multiple developers - there are still bugs anyway. And a few months later, your memory might be fuzzy in any case.
by albert_e | 2025-12-19 11:39:42+00:00
>> Product lockups didn’t match the new Google logo >> The 2015 logo redesign was a smashing success.

Watch the distance between these two lines.

It changes to more compact - subtly- as we scroll it into view (am on mobile- chrome on android).

Feels like the page is trying to do too much fancy stuff. I cant take their blog seriously if this is their idea of good design and user experience.
by willvarfar | 2025-12-19 11:39:45+00:00
A really clear explanation!

So if I were running a provider I would be caching popular prefixes for questions across all users. There must be so many questions that start 'what is' or 'who was' etc?

Also, can subsequences in the prompt be cached and reused? Or is it only prefixes? I mean, can you cache popular phrases that might appear in the middle of the prompt and reuse that somehow rather than needing to iterate through them token by token? E.g. must be lots of times that "and then tell me what" appears in the middle of a prompt?
by psychoslave | 2025-12-19 11:40:05+00:00
I don't know. Walking on everybody's face to climb a human pyramid, one don't make much sincere friends. And one certainly are rightfully going down a spiral of paranoia. There are so many people already on fast track to hate anyone else, if they have social consensus that indeed someone is a freaking bastard which only deserve to die, that's a lot of stress to cope with.

Future is inevitable, but only ignorants of self predictive ability are thinking that what's going to populate future is inevitable.
by black3r | 2025-12-19 11:40:18+00:00
There are GPUs from 3 different generations in that list... Quadro 6000 is an old Fermi from 2010, Quadro RTX6000 is Turing from 2018, RTX6000 Ada is Ada from 2022...

Oh and there's also RTX PRO 6000 Blackwell which is Blackwell from 2025...
by mohsen1 | 2025-12-19 11:40:24+00:00
Since they are not showing you how this model compares against the benchmarks they are showing, here is a quick view with the public numbers from Google and Anthropic. At least this gives some context:

SWE-Bench (Pro / Verified) Model | Pro (%) | Verified (%) --------------------+---------+-------------- GPT-5.2-Codex | 56.4 | ~80 GPT-5.2 | 55.6 | ~80 Claude Opus 4.5 | n/a | ~80.9 Gemini 3 Pro | n/a | ~76.2

And for terminal workflows, where agentic steps matter:

Terminal-Bench 2.0 Model | Score (%) --------------------+----------- Claude Opus 4.5 | ~60+ Gemini 3 Pro | ~54 GPT-5.2-Codex | ~47

So yes, GPT-5.2-Codex is good, but when you put it next to its real competitors:

- Claude is still ahead on strict coding + terminal-style tasks

- Gemini is better for huge context + multimodal reasoning

- GPT-5.2-Codex is strong but not clearly the new state of the art across the board

It feels a bit odd that the page only shows internal numbers instead of placing them next to the other leaders.
by pera | 2025-12-19 11:40:51+00:00
I didn't mean it as VR being useless - I'm sure it can be useful for some applications or fun for gaming - my point was that you shouldn't fear getting left behind just for not having an Apple Vision Pro app or a land in the Metaverse :)

Another way to see this: Hammers can be useful, the Internet can be useful, but this doesn't mean that as a hammer manufacturer you should make your next hammer an IoT product ASAP or you will be left behind.
by johncolanduoni | 2025-12-19 11:41:13+00:00
Even more fun is that some of those (IOMMU and ACPI version) depend on motherboard/firmware support. Inevitably there is some bargain-bin board for each processor generation that doesn’t support anything that isn’t literally required for the CPU/chipset to POST. For userspace CPU features the new x86_64-v3/v4 profiles that Clang/LLVM support are good Schelling points, but they don’t cover e.g. page table features.

Windows has specific platform requirements they spell out for each version - those are generally your best bet on x86. ARM devs have it way worse so I guess we shouldn’t complain.
by Parmacoy | 2025-12-19 11:41:26+00:00
Hey @bbx,

Appreciate the different approach to this user experience. I can certainly see it being a more user friendly way where pick and place and explicit actions, versus an accidental finger release on touch devices for example.

I think this has potential for accessibility, just at the moment your demo page has issues in certain cases.

(Different behaviour experienced on iOS 26.2 Safari vs commonly used WebView containers and/or websites masquerading as apps.

If you test the following (edge) cases in a webview. 1. Pick item One, try and move it down. You will find item Two goes along for the ride, and when you drop it, item One stays at the top and item Two is dropped instead. 2. No matter what I tried in the webview, I was unable to purposefully move an item to First or Last position.

Weirdly this doesn’t occur for me in dedicated safari.

I have looked at drag and drop libraries for use on mobile and feel your approach has the potential to be more intuitive, especially for the use cases I have.

Thanks for sharing a new approach.
by duskdozer | 2025-12-19 11:41:38+00:00
To be honest, while I'd heard of it over a decade ago and I've read LOTR and I've been paying attention to privacy longer than most, I didn't ever really look into what it did until I started hearing more about it in the past year or two.

But yeah lots of people don't really buy into the idea of their small contribution to a large problem being a problem.
by monomial | 2025-12-19 11:42:43+00:00
I recently switched to GrapheneOS and it's been great. Letting any sort of commercial entity between you and your computing just seems like a bad idea these days. Linux is top notch, self-hosting has never been easier. There's really no excuse (as a technologist at least) to subject yourself to these increasingly enshittified platforms.

As someone who works in tech for a career it's honestly a bit of an existential crisis. I actively work on a SaaS product but would never even consider paying for SaaS any more myself.
by pityJuke | 2025-12-19 11:43:12+00:00
From TFA:

> Google Sans Mono was created in 2020 to support contexts that needed fixed-width characters for editorial design, at medium and large text sizes. Despite this, it soon got its first big product integration, replacing Roboto Mono in Google Chat. The only problem? Developers hated it.

[...]

> Recognizing this critical need, a dedicated effort was launched to craft Google Sans Code, a monospaced typeface specifically designed to make code more readable. This involved thorough research into the 20 most common programming languages and how developers interact with code, aiming to make the new coding typeface more visually appealing while reducing the ambiguity of similar-looking letterforms. Based on these insights, Google tasked the Universal Thirst foundry to meticulously focus on specific letters, numbers, and operators to meet these requirements. The result is an eminently readable and surprisingly playful typeface.

> Google Sans Code launched as an open-source font in 2025, and is the typeface used to display code in Gemini.
by fragmede | 2025-12-19 11:44:18+00:00
My answer is that the code they generate is still crap, so the new skill is in being able to spot the ways and places it wrote crap code, and how to quickly tell it to refactor to fix specific issues, and still come out ahead on productivity. Nothing like an ultra wide screen monitor (LG 40+) and having parallel codex or claude sessions going, working on a bunch of things at once in parallel. Get good at git worktree. Use them to make tools that make your own life easier that you previously wouldn't even have bothered to make. (chrome extensions and MCPs!)

The other skill is in knowing exactly when to roll up your sleeves and do it the old fashioned way. Which things they're good/useful for, and which things they aren't.
by stavros | 2025-12-19 11:45:36+00:00
People seem to be divided between "AI doesn't work, I told it 'convert this program' and it failed" and "AI works, I guided it through converting this program and saved myself 30 hours of work".

Given my personal experience, and how much more productive AI has made me, it seems to me that some people are just using it wrong. Either that, or I'm delusional, and it doesn't actually work for me.
by uecker | 2025-12-19 11:46:15+00:00
Giving the size and age of the C ecosystem, the number of bugs is not really a valid argument. We will see an increasing numbers with Rust as Rust is increasingly used. I also do not question that Rust solves some problems. It just solves them rather badly and at high cost while bringing new problems.

I looked at firefox code a decade ago, it was a complete complex nightmare mix of different languages. I can see that this motivated starting something new, but it was not a clean C code base (and not even C).
by quadruple | 2025-12-19 11:46:30+00:00
I believe Valve's concerns went(or maybe go?) beyond just the Windows Store, and into "We believe Microsoft may become unable to ship a good Operating System in the future".

In a 2013 interview with Gabe Newell: "Windows 8 was like this giant sadness. It just hurts everybody in the PC business. Rather than everybody being all excited to go buy a new PC, buying new software to run on it, we’ve had a 20+ percent decline in PC sales — it’s like 'holy cow that’s not what the new generation of the operating system is supposed to do.' There’s supposed to be a 40 percent uptake, not a 20 percent decline, so that’s what really scares me. When I started using it I was like 'oh my god...' I find [Windows 8] unusable." [0]

The Windows Store probably was a part of it, sure, but looking at that quote from 2025, after having your SSD broken, your recovery unusable and your explorer laggy? It's quite bitter-sweet.

[0] https://archive.is/eBP6q#selection-3645.0-3645.729