MurphyA/hacker-news huggingface dataset:
by ben_w | 2025-11-25 11:25:41+00:00
> And the US Gov is in so much debt, drastic measures are absolutely required. Any argument to the contrary ignores the fiscal situation.

When your household expenses are 38% higher than your household income, you don't fix it by eliminating the 3% you spend on refuelling your car.

The USA federal budget in 2024 was 38% higher than its income, DOGE claims to have saved about 3%: https://upload.wikimedia.org/wikipedia/commons/4/49/Fy2024_f...

When "your household" is a metaphor for "a government", the obvious other things they can do include:

• Just directly ordering itself more income (taxes)

• Literally printing more money to reducing the burden of existing interest payments that are 4 times what DOGE claims to have saved

• Increasing the pension age, broadening the tax base and reducing the expense for whatever the USA's federal pension is. Every year of increase to the federal pension age makes about as much difference as DOGE claims to have made.

• In the USA's case sorting out the mess that is how Medicare (12.7% of federal spending) and Medicaid (9% of federal spending) spend more per person than the UK spends on the NHS despite Medicare and Medicaid being in addition to all that private healthcare and also despite the combination of public and private American health spending giving worse average life expectancy. This would free up by far the largest amount of money in the overall economy, but you may have to pretend in this already hypothetical scenario that the federal government first nationalised all the insurance payments before you see it impact the combined budget of taxes-and-insurance.

• Even just shrink the armed forces (12.5% of federal spending) from "biggest by a large margin" to "biggest by a smaller margin".

• Encouraging as many working-age foreigners as possible to come and do work while being registered as taxpayers.
by merelysounds | 2025-11-25 11:26:42+00:00
> Until recently most textile fabrication processes were limited to the creation of surface-based forms.

If you enjoyed this article, you might enjoy looking at the existing knitting machines, many are fascinating and very accessible. There are models powered by a hand crank[1], or with programmable patterns[2], or open source (open hardware).

[1]: https://en.wikipedia.org/wiki/Circular_knitting#/media/File%...

[2]: https://machineknitting.fandom.com/wiki/Silver_F370K
by nl | 2025-11-25 11:26:53+00:00
Wait, you think I'm coding this by hand! That is amazing. I love it!

I don't remember when which part happened, but I've been gradually moving over to the tools in https://github.com/nlothian/Vibe-Prolog/tree/main/ai-tools for most of the development. Most of the coding itself there is done with kilocode.

Most of the early conversations don't seem to be available in Claude code now (is there a way to see complete history?), but here's a typical session:

> can this interpreter pass command line arguments to the prolog program?

[no]

> add these as missing to @FEATURES.md

[done]

> use `gh issue` to create an issue to address this.

> - Explain comprehensively what needs to be done > - Note that new test cases must be created > - Note that @FEATURES.md needs updating

> Do not provide estimates

That raised: https://github.com/nlothian/Vibe-Prolog/issues/75

Here's the PR for that: https://github.com/nlothian/Vibe-Prolog/pull/92/files

That PR was generated using my fix-issue-with-kilocode command. The source code for that is all in here: https://github.com/nlothian/Vibe-Prolog/tree/main/ai-tools.

The code reviews were done with Codex and Gemini, and responded to using my address_pr_comments command in that same directory.
by malux85 | 2025-11-25 11:27:22+00:00
How do you know anything is correct? LLMs can be wrong, humans can be wrong, you can be wrong. The motto of the royal society, is "Nullius in verba" which is a latin phrase : "take nobody's word for it," that's LITERALLY the motto of the royal society. Its your job as a scientist and critical thinker to test assumptions, oberve reality and use empirical inquiry to seek truth, and in the process, question ALL sources and test all assertions, from multiple angles if required.
by pessimizer | 2025-11-25 11:27:34+00:00
It's as simple as that successful people are selected due to their proud and energetic obedience to authority and institutions. It's tautological - the reason their opinions are respected is because institutions have approved them as people (PhD's!, management!) Authority is anyone wearing a white coat (or really any old white man in a suit with an expensive haircut), and an institution is anybody with serif letterhead.*

People are only aware of the deceit of their own industry, but still work to perpetuate it with varying levels of upset; they 1) just don't talk about how obviously evil what they do is; 2) talk about it, wish that they had chosen another industry, and maybe set deadlines (after we pay off the house, after the kids move out) to switch industries, or 3) overcompensate in the other direction and joke about what suckers the people they're conning are.

I can tell you first-hand that this is exactly what happened inside NAR. At the top it was entirely 3) - it couldn't be anything else - because they were actively lobbying for agents to have no fiduciary duty to their clients. They were targeting politicians who seemed friendly to the idea, and simply paying them to have a different opinion, or threatening to pay their opponents. If you look at how NAR (or any of these groups) actually, materially lobby, it's clear that they have exactly the same view of their industry as their worst critics.

* And by this I mean that if you are white, try to look older (or be old), buy a nice tailored suit, get an expensive haircut, incorporate with a name that sounds institutional, get letterhead (including envelopes) with a professional logo with serifs and an expensive business card with raised print, and you can con your way into anything. You don't have to be handsome or thin or articulate, but you can't have any shame because people will see it.
by slooonz | 2025-11-25 11:27:52+00:00
I think you should clearly spell out how the key is derived.

From the description, I believe it's random string hard-coded in the executable + user-provided password => AES key ?

Also… "full offline", but "my API is on a digital ocean droplet" ? What ?

(I guess the API to generate a .exe with its own random string ? But again, very unclear of what it is, what’s it’s doing, and how)
by nickpp | 2025-11-25 11:28:33+00:00
> In the hands of the owners of the AI

With a hundred bucks and a Robinhood account, you too can be part of this greedy, evil and mysterious "owners of AI" class and (maybe) some day enjoy the promised spoils.

Oh the wonders of Capitalism, the economic system offering unequal abundance to everyone caring to take part... Where are the other, much touted systems, masters at spreading misery equally?
by iso1631 | 2025-11-25 11:29:10+00:00
The "punch out" part is the problem. You can't "punch out" without using special tricks (send UDP source port 1234 to target port 1234 on both machines at the same time and then pretend that UDP is an established connection to get through your stateful firewall)

If your firewall randomises your source ports then sure, you have to use the birthday problem style tricks that tailscale uses, it's not onerous though.

> Aren't these features of your router, not of your IP stack?

Yes, and that's where I want them to stay. Which means NATing depending on which direction I want to send the traffic (and get return traffic) -- even if I have a BGP handoff upstream. So ipv6 doesn't get rid of NAT's use, just changes it to a 1:1 mapping which is a minor benefit (and renames it to NPT)

> This sounds like a pretty niche application, but sure.

The internet has two sets of people

1) Consumers who just want to establish https connections to server, in which case they don't care about NAT, CGNAT, etc

2) People with niche applications

NAT is a very useful tool, and the ipv6 fanboys that go on about how evil it is just want to take that ability away from people because they don't understand it. Most of the arguments against NAT stem from a time when stateful firewalls were not a thing.

> Right now you're using the NAT as a kind of forwarder to send the data to different hosts, so if you have a router you can run software on you could just have it forward to both devices on the local network.

Yes, this software runs at a layer 4 level and forwards the selected traffic by translating the address. That's exactly what NAT is, it's great.

I'd be quite happy running an ipv6 network with network translation but given that far too many things simply don't work on an ipv6 only network (tv, nintendo switch, zscaler laptop), and those that do require 64 translation (github)

IPv4 addresses are not increasing in cost by the way - in nominal terms let alone adjusted for inflation. In real terms they're 20% cheaper than 2019

https://auctions.ipv4.global/prior-sales
by exDM69 | 2025-11-25 11:29:24+00:00
I disagree, lock poisoning is a good way of improving correctness of concurrent code in case of fatal errors. As demonstrated by the benchmarks in this article, it's not very expensive for typical use cases.

In 99% of the cases where one thread has panic'd while holding a lock, you want to panic the thread that attempts to grab the lock. The contents of anything inside the lock is very much undefined and continuing will lead to unpredictable results. So most of the time you just want:

let guard = mutex.lock().expect("poisoned");

The last 1% is when you want to clean up something even if a panic has occured. This is usually in a impl Drop situation. It's not much more verbose either, just:

let guard = mutex.lock().unwrap_or_else(|poison| poison.into_inner());

What is painful is trying to propagate the poison value as an error using `?`. In that case you're probably better off using a match expression because the usual `.into()` will not play nice with common error handling crates (thiserror, anyhow) or need to implement `From` manually for the error types and drop the contents of the poison error before propagating.

This might be the case for long running server processes where you have n:m threading with long running threads and want to keep processing other requests even if one request fails. Although in that case you probably want (or your framework provides) some kind of robustness with `catch_unwind` that will log the errors, respond with HTTP 500 or whatever and then resume. Because that's needed to catch panics from non-mutex related code.
by david-gpu | 2025-11-25 11:29:32+00:00
Thhe "God helmet" was likely a placebo device. From the very same Wikipedia article you linked:

> Other groups have subsequently found that individual differences such as strong belief in the paranormal and magical ideation predict some alterations in consciousness and reported "exceptional experiences" when Persinger et al's experimental set-up and procedure are reproduced, but with a sham "God helmet" that is completely inert or a helmet that is turned off.
by DaisyChenMS | 2025-11-25 11:30:42+00:00
CVFormatter is an enterprise-grade AI platform that brings real recruitment automation to resume formatting for staffing and recruitment agencies. Instead of spending hours fixing messy CVs in Word, your team can automatically generate polished, branded, client-ready documents in seconds — consistently, at scale, and without per-seat fees.

Built exclusively for recruiters, CVFormatter eliminates one of the industry’s biggest bottlenecks: manual resume cleanup. With 98%+ parsing accuracy, multi-format support, anonymisation, AI summarisation, and all-in-one template management, it standardises every CV your agency sends out.

What CVFormatter Does Instant resume formatting — transforms any resume into your branded template in seconds True recruitment automation — eliminates manual work across formatting, editing, and polishing Consistent branding — every CV follows your agency’s design, fonts, structure, and style AI-powered enhancements — summarising, proofreading, fixing grammar, and translating content Team-wide collaboration — unlimited team members with role-based access Ready for clients — export in DOCX and PDF, clean, polished, and ATS-compatible
Ask HN: My post not shown in showhn
by witnessme | 2025-11-25 11:30:45+00:00
I posted here (https://news.ycombinator.com/item?id=46036970). But after an hour when I scrolled through all the showhn posts, I couldn't find mine. What could be the reason? Am I doing something wrong here?

I'm new here and still learning. Appreciate the help.
by armchairhacker | 2025-11-25 11:31:17+00:00
I agree, but @gasche brings up real points in https://github.com/ocaml/ocaml/pull/14369#issuecomment-35565.... In particular I found these important:

- Copyright issues. Even among LLM-generated code, this PR is particularly suspicious, because some files begin with the comment “created by [someone’s name]”

- No proposal. Maybe the feature isn’t useful enough to be worth the tech debt, maybe the design doesn’t follow conventions and/or adds too much tech debt

- Not enough tests

- The PR is overwhelmingly big, too big for the small core team that maintains OCaml

- People are already working on this. They’ve brainstormed the design, they’re breaking the task into smaller reviewable parts, and the code they write is trusted more than LLM-generated code

Later, @bluddy mentions a design issue: https://github.com/ocaml/ocaml/pull/14369#issuecomment-35568...
by aleph_minus_one | 2025-11-25 11:31:20+00:00
> People do not understand AI is necessary to prevent the U.S. GDP bubble from popping — not the AI bubble, that’s just a sideshow. If AI succeeds, growth of wealth per capita continues (while us all working-class folks stay poor, but that’s not anything Microsoft would know or care about); if AI fails, much of the corporate economy shatters into dust, including Microsoft. Don’t we all want Windows to continue existing, etc.

It is investment 101 not to put all eggs in one basket.

I immediately get it that some years ago an investment into AI (in the sense of NLMs) was a decent idea because in the (rare) event that people actually get NLMs to work decently, it would pay off big. But if you apply some common sense, already from beginning on it was clear that the hurdles to overpass so that AI becomes more than just some experimental toy were huge.

So, what Microsoft did was like investing, say, 1 billion USD into one single lottery ticket which with a probability of, say, 0.1 % gives you 50 trillion USD and with 99.9 % probability it gives you 0 USD, i.e. the investment opportunity has a huge expected value, but in all likelihood, it will burn money.

In a solid portfolio, you add some of these highly experimental investments to your portfolio, but you base your company on much more solid investments. The same statement hold for betting a big part of the future of the national economy on such a strange lottery ticket. I cannot find any other explanation for this behaviour than stupidity.
by jacquesm | 2025-11-25 11:31:35+00:00
Here's to hoping that's the case. But the GGGP was arguing about that other case, where in fact Google manages to lock down the desktop to the point that you have to ask their permission in order to be able to ship a piece of software.

And since we've already seen two other players take that exact stance thinking that the third (who is already doing similar stuff on their mobile platform) is going to do the same thing is not just a theoretical risk.
by rock_artist | 2025-11-25 11:31:50+00:00
We're now in a mixed computing era that is shaping the future of computing: Ignoring niche OSes (eg consumer electronics such as TVs/dishwashers/etc)

- PC (Windows, Linux, macOS) - Mobile (to simplify, this includes phones, watches and ongoing AR / AI progress based around Android and iOS with some Meta)

Mobile already "broke" the rules, and we have locked down devices with simplified "app stores" and more complex off-the-market OSes since each device is a unique SoC combination many times with closed-sourced blobs.

Web did a major change for desktop (which I guess part of the assumption for ChromeOS). but there are still some scenarios where native APIs are needed.

On the other hand, current Desktop OS market is a mess, Windows is focusing on intrusive features and enforcing user account, Apple is all about "notarizing" and making desktop similar to mobile, and Linux is diverged with multiple variants.

I really hope for opinionated Linux distribution promoted by a big player (I've always hoped Adobe or someone in the right size will understand the need and their ability to get enough common products to it).

Having said that, Linux did great advancement over the years. Many companies including closed source already have some support and also gaming made great advancement.

Anyway, Making a "locked os" won't do much. So unless Google plans to shoot their own leg, they'll need to make it open enough.
by jeremyvisser | 2025-11-25 11:32:07+00:00
Here’s the thing. That SSD controller is the interface between you and those blocks.

If it decides, by some arbitrary measurement, as defined by some logic within its black box firmware, that it should stop returning all blocks, then it will do so, and you have almost no recourse.

This is a very common failure mode of SSDs. As a consequence of some failed blocks (likely exceeding a number of failed blocks, or perhaps the controller’s own storage failed), drives will commonly brick themselves.

Perhaps you haven’t seen it happen, or your SSD doesn’t do this, or perhaps certain models or firmwares don’t, but some certainly do, both from my own experience, and countless accounts I’ve read elsewhere, so this is more common than you might realise.
by Aerroon | 2025-11-25 11:32:54+00:00
The problem is the VRAM segmentation.

A GTX 1080 came out in the first half of 2016. It had 8 GB of VRAM and cost $599 with a TDP of 180W.

A GTX 1080 Ti came out in 2017 and had 11 GB of VRAM at $799.

In 2025 you can get the RTX 5070 with 12 GB of VRAM. They say the price is $549, but good luck finding them at that price.

And the thing with VRAM is that if you run out of it then performance drops off a cliff. Nothing can make up for it without getting a higher VRAM model.
by tw1984 | 2025-11-25 11:32:59+00:00
some ideas -

1. using a second hand single frequency Ublox LEA-M8T GNSS receiver is not a good idea in 2025 when a dual frequency GNSS receiver chip can be purchased online for as little as $20-30. buy one of those ublox ZED-F9P receivers with the 2018/2019 firmware, they get you the exact same timing performance as ZED-F9T with QEerr support. PPS jitter is going to drop from 20ns to less than 2ns after qErr compensation.

2. you can replace that highly unstable crystal oscillator with a $10 used OCXO + $20 PLL board and save that PID temperature controller to be used as the secondary oven for that OCXO. people have been doing that for Raspberry Pi for ages.

3. or you can configure your GNSS receiver to output a 10Hz signal from the PPSOUT pin so chrony can get 10 updates per second, GNSS receiver's internal TCXO is going to be more stable than raspberry Pi's crystal oscillator.

4. for more fun - just keep measuring the frequency drift vs. temperature change. a sample set of 24-48 hours of such measurements should be enough to figure out the tempco of that unstable crystal oscillator so you can get chrony to do the drift compensation. from memory, chrony supports such a temperature compensation lookup table to be specified.

good luck and have fun
by NekkoDroid | 2025-11-25 11:33:08+00:00
Luckily I bought my extra 32G of DDR4 (now have 64G) used a while ago, only paid like 80€ for it. I remember back in like 2018 or so when I originally build this PC I got 4x4G DDR4 for like 160€ when prices were also crazy.
by ourmandave | 2025-11-25 11:34:56+00:00
At least LA wasn't down wind. Veritasium did an eye opening vid on how fallout blew across the country and was ruining Kodak's film on the East Coast.

And they stayed quiet it about it.

How Kodak Exposed Nuclear Testing

https://www.youtube.com/watch?v=7pSqk-XV2QM
by b112 | 2025-11-25 11:35:42+00:00
Why? Nobody _needs_ Mickey Mouse. If the price for Mickey Mouse is too high, just don't buy it.

That's not the point. The parent was saying "if you own content and display content, you must license it", not "the price needs to be reasonable".

Typically, there are ways to do this. One way is forcing a company's distribution and streaming to be separate, and this already exists in some other parts of the market.

So if Disney sells Mickey Mouse content $x to its own streaming service for $5, they have to do the same for Netflix. Disney can still set the price. It just has to pay it as well, and that reflects on its own balance sheet. The problems involved in regulating this have already been solved in other markets, it's a solved issue.

Now, you can typically enter volume sales agreements still. So Disney streaming can buy 100k 'streaming options' for $4 if they hit the volume. But that means the same agreement has to be available to, say Netflix.

Of course, the same will be true for any Netflix created content!

Nothing is perfect, but this is the sort of common carry stuff that separates out 'cable companies' from 'TV studios', and there's been loads of legislation about this over the years.
by bakugo | 2025-11-25 11:36:37+00:00
Really? I pointed out how patronizing your comment was and your response was to write a massive wall of text that is somehow even more patronizing?

Naming a branch in my git repository "master" does not "hurt people". It does not "bring misery" unless you were already miserable and looking for things to justify it. This change is of consequence to me. It does affect me. "Barely more than zero cost" is more than zero cost. I don't care if you think my opinion "doesn't matter" or is "weightless", because yours doesn't matter any more than mine. You are not a higher being of superior importance because you chose to dedicate your life to fighting a never-ending war against the unreleting evil force that is a word on a screen. Your tears are the biggest, and most pathetic of all.
by sehansen | 2025-11-25 11:37:04+00:00
Hard disagree. The difference between "good" and "bad" billionaires is in how the operate the entities they control. No matter how much money Bill Gates gives to charity, he should mainly be judged based how Microsoft acted while he were in control. Similarly, Gabe Newell is a much "better" billionaire than Mark Zuckerberg or Jeff Bezos.
by bellamoon544 | 2025-11-25 11:37:21+00:00
Flowtion is your go-to solution for maximizing productivity with expertly crafted Notion templates. Designed to streamline your workflow, Flowtion eliminates the time-consuming process of building from scratch, allowing you to focus on what truly matters—getting things done. Enhance your organizational skills and increase efficiency with Flowtion's intuitive templates, tailored for individuals and teams alike. Discover the power of smart organization and elevate your productivity today.
by fzeroracer | 2025-11-25 11:39:07+00:00
> Yes, we have $2000 GPUs now. You don't have to buy it. You probably shouldn't buy it. Most people would be more than fine with the $200-400 models, honestly. Yet the fact that you could buy a $2000 GPU makes some people irrationally angry.

This is missing the forest for the trees quite badly. The 2000 price GPUs are what would've been previously 600-700, and the 200-400 dollar GPUs are now 600-700. Consumers got a shit end of the deal when crypto caused GPUs to spike and now consumers are getting another shitty deal with RAM prices. And even if you want mid range stuff it's harder and harder to buy because of how fucked the market is.

It would be like if in your example companies literally only sold F-150s and stopped selling budget models at all. There isn't even budget stock to buy.