MurphyA/hacker-news huggingface dataset:
by pqtyw | 2025-07-19 12:33:24+00:00
> It’s annoying, but not onerous.

So government regulating stuff like that does go against much of the thing you said in the comment above?

> doesn't turn into some societal ideological divide.

When governments try to introduce mass surveillance of personal communications to "protect the children" liek ChatControl maybe it should turn into one. Instead of everyone just handwaving and ignoring it...
by the_mitsuhiko | 2025-07-19 12:33:40+00:00
I don't know, but I find this quite confusing:

>>> f"{'42':<10}" '42 ' >>> f"{42:<10}" '42 ' >>> f"{None:<10}" Traceback (most recent call last): File "<stdin>", line 1, in <module> TypeError: unsupported format string passed to NoneType.__format__

(Or any other type. What can be padded is quite inconsistent)
by gverrilla | 2025-07-19 12:34:49+00:00
Sorry but ancaps are not allowed to complain - it's a 'free market' and the credit card companies are bigger than gabe newell - end of story, cry is free.

In ancap logic I think the fault here is all on gabe for not lobbying the government enough and/or for not having been able to gather enough force to fight against those companies somehow.
by bawana | 2025-07-19 12:34:54+00:00
Well i asked chatGPT IF i could run kimik2 on a 5800x 3d with 64 gigs of ram with a 3090 and it said:

Yes, you absolutely can run Kimi-K2-Instruct on a PC with:

:white_check_mark: CPU: AMD Ryzen 7 5800X3D :white_check_mark: GPU: NVIDIA RTX 3090 (24 GB VRAM) :white_check_mark: RAM: 64 GB system memory This is more than sufficient for both:

Loading and running the full Kimi-K2-Instruct model in FP16 or INT8, and Quantizing it with weight-only INT8 using Hugging Face Optimum + bitsandbytes.

Kimi k2 has a trillion parameters and even an 8 bit quant would need half a gig of system ram +vram

This is with the free chatGPT that us peasants use. I dont have the means to run grok4 heavy, deep seek or kimi k2 to ask them.

I cant wait to see what accidental wars will start when we put ai in the kill chain
by vladvasiliu | 2025-07-19 12:35:55+00:00
Maybe... When I was younger, I used to buy and sell computer stuff. Didn't have much money, so it kinda made sense. But it required me to keep up to date with prices, specs, figure what's the best value, follow markets and jump on an occasion, etc. It got old after a while. There's also value in getting something that just works for you, if it's not absurdly expensive, and forget about it. Do something else with my time.

I still love to tinker and set up a homelab and whatnot, but I don't care that much about hardware anymore. For my needs, if it's at least a 6th gen Intel and I can't hear it in my living room, it's good enough. The NAS lives in my parents' basement, so it can be somewhat louder (with 4 drives instead of two).

For this particular setup, my initial usage was above 4 TB, so I should have went with 2x6, which was /maybe/ cheaper (don't remember), but then it would have required me to deal with selling used gear and go through the motions of upgrading again. Doing this every 4-5 years? Sure. Every year? Hell no.
by johnecheck | 2025-07-19 12:36:00+00:00
Wow. That's an impressive result, though we definitely need some more details on how it was achieved.

What techniques were used? He references scaling up test-time compute, so I have to assume they threw a boatload of money at this. I've heard talk of running models in parallel and comparing results - if OpenAI ran this 10000 times in parallel and cherry-picked the best one, this is a lot less exciting.

If this is legit, then I really want to know what tools were used and how the model used them.
by steveklabnik | 2025-07-19 12:36:07+00:00
> to enable certification

It has already been qualified. Upstream has always wanted a spec. It’s being worked on because it’s desirable, not because it’s blocking safety critical cases.

You’re always going to need to have more than a language spec because you qualify compilers not languages.

> Also, if the source language hasn't been described, then surely the compiler's behaviour hasn't been described.

It has. At least to the degree that regulators find it acceptable.

> Or did you mean that their documentation is for the Ferrous flavour of Rust and might not reflect the latest version of the Rust language?

There is no difference in flavors, but it is true that each version of the spec is for a specific version of the compiler, and so sometimes that will lag a bit. But that’s just how this process works.
by AIPedant | 2025-07-19 12:36:28+00:00
If you don't have a Twitter account then x.com links are useless, use a mirror: https://xcancel.com/polynoamial/status/1946478249187377206

Anyway, that doesn't refute my point, it's just PR from a weaselly and dishonest company. I didn't say it was "IMO-specific" but the output strongly suggests specialized tooling and training, and they said this was an experimental LLM that wouldn't be released. I strongly suspect they basically attached their version of AlphaProof to ChatGPT.
by jml78 | 2025-07-19 12:36:51+00:00
I am not a writer. My oldest son,16, started writing short stories. He did not use AI in any aspect of the words on the page. I did however recommend that he feed his stories and ask a LLM for feedback on things that are confusing, unclear, or holes in the plot.

Not to take any words it gives but read what it says and decide if those things are true, if so, make edits. I am not saying it is a great editor but it is better than any other resource he has access to as a teenager. Yeah better than me or his mom
by analog31 | 2025-07-19 12:37:19+00:00
Moreover, a lot of casual cyclists don't use the front brake at all -- evidenced by the condition of the front and rear break pads on bikes I've worked on. I think that effective use of dual braking is vital to safe riding.

I advise beginners (yes there are a lot of them) to practice making panic stops in a safe place such as an empty parking lot.
by beala | 2025-07-19 12:37:27+00:00
A pain point you mention is that everyone must run the tailscale client. Have you considered exposing everything on the public internet using something like Cloudflare Tunnels? You can have cloudflare handle auth on their edge network, which mitigates the worry about having to deal with 0-days on a self hosted auth solution. You have a pretty sophisticated directory setup tho so I'm not sure how well this would fit in with the existing infra.
by typewithrhythm | 2025-07-19 12:38:13+00:00
I don't think it's the price giving information there though. I can find many projectors being sold in the 1000 range that do not compare to the best in the 100 range.

Yes I agree that there are better products for more money, it's just that I have to filter by something else because I can't trust that the price corresponds to performance for any given listing.
by fauigerzigerk | 2025-07-19 12:38:24+00:00
>This is a personal decision to be made by the data "donor".

My problem is that users cannot make this personal decision based on the cookie consent banners because all sites have to request this consent even if they do exactly what they should be doing in their users' interest. There's no useful signal in this noise.

The worst data harvesters look exactly the same as a site that does basic traffic analysis for basic usability purposes.

The law makes it easy for the worst offenders to hide behind everyone else. That's why I'm calling it counterproductive.

[Edit] Wrt NHS specifically - this is a case in point. They use some tools to analyse traffic in order to improve their website. If they honour their own privacy policy, they will have configured those tools accordingly.

I understand that this can still be criticised from various angles. But is this criticism worth destroying the effectiveness of the law and burying far more important distinctions?

The law makes the NHS and Daily Mail look exactly the same to users as far as privacy and data protection is concered. This is completely misleading, don't you think?
by johnecheck | 2025-07-19 12:38:54+00:00
Wow. That's an impressive result, though we definitely need some more details on how it was achieved.

What techniques were used? He references scaling up test-time compute, so I have to assume they threw a boatload of money at this. I've heard talk of running models in parallel and comparing results - if OpenAI ran this 10000 times in parallel and cherry-picked the best one, this is a lot less exciting.

If this is legit, then I really want to know what tools were used and how the model used them.
by blibble | 2025-07-19 12:39:23+00:00
> Care to explain in more datil since what you just said makes no sense.

no, you just don't understand VAT

business also pay VAT on everything they buy, but they are permitted to claim it back on qualifying expenses

so, you:

- classify spend on services from targeted US companies/subsidiaries as non-qualifying

- increase the VAT rate on their services

and this requires no new no new tax collection or infrastructure mechanism

the result: a very effective, targeted, and unavoidable slow death of US hyperscalers in the EU market
by ogogmad | 2025-07-19 12:40:30+00:00
Maybe you should use a reasoning model. Got this from O3, which took 1m31s to think about the answer: https://chatgpt.com/s/t_687b9221fb748191af4e30f597f18443

Bottom line: Your 5800X3D + 64 GB RAM + RTX 3090 will run Kimi K2’s 1.8‑bit build, but response times feel more like a leisurely typewriter than a snappy chatbot. If you want comfortable day‑to‑day use, plan either a RAM upgrade or a second (or bigger) GPU—or just hit the Moonshot API and save some waiting.
How do you retain what you read from nonfiction books?
by lachiejones | 2025-07-19 12:41:12+00:00
I’ve always read a lot of nonfiction — psychology, business, philosophy - but one thing’s always bugged me: I forget way too much.

I’ll highlight like crazy, even journal after chapters, but a few weeks later most of the key ideas are just gone.

I got tired of that cycle and started building a tool for myself. It’s called NeuroGlo — you upload books you’ve already read, and it helps you retain what matters through interactive recall prompts and spaced revisits.

No summaries. No AI regurgitation. Just your own reading remembered better.

I’d love feedback, thoughts, or ideas from anyone who’s faced the same problem:

https://preview.mailerlite.io/forms/1646332/159260796148254196/share

Curious what have you found actually works for remembering what you read?
by kergonath | 2025-07-19 12:42:40+00:00
> The notion of Congress “delegating powers” to administrative agencies is entirely incompatible with the constitution.

With which article specifically?

Yes, enforcement should not be managed by these agencies. The way to fix this is to reshape them, not give in and let the executive run the show without checks. Of course, that requires a working legislative body and a judiciary that is not fixated on the end times.
by Fade_Dance | 2025-07-19 12:43:09+00:00
Seems like this will be one of the areas that will improve with multi-agentic AI, where groups of agents can operate via consensus, check/test outputs, manage from a higher meta level, etc. Not that any of that would be "magic" but the advantages of expanding laterally to that approach seem fairly obvious when it comes to software development.

So in my eyes actually think it's probably more to do with reducing the cost of AI inference by another order of magnitude, at least when it comes to mass market tools. Existing basic code-generation tools from a single AI are already fairly expensive to run compute wise.
by pqtyw | 2025-07-19 12:43:21+00:00
> Church of England

Doesn't mean that continental Europe wasn't full of puritanical nutjobs.

Calvin himself ran a dystopian theocratic state\hellhole in Geneva yet hardly anyone references that when talking about conservativism in Switzerland.

> Even 120-130 years after the point

There was a significant generational backlash towards puritanism and a push towards pluralism/secularism by the late 1700s. IMHO Second/Third "Great Awakenings" had a much bigger impact than a handful of Puritans inhabiting New England in the 1600s.
by johnecheck | 2025-07-19 12:44:04+00:00
Wow. That's an impressive result, but how did they do it?

Wei references scaling up test-time compute, so I have to assume they threw a boatload of money at this. I've heard talk of running models in parallel and comparing results - if OpenAI ran this 10000 times in parallel and cherry-picked the best one, this is a lot less exciting.

If this is legit, then we need to know what tools were used and how the model used them. I'd bet those are the 'techniques to make them better at hard to verify tasks'.
by kazinator | 2025-07-19 12:44:34+00:00
This idea about it being a privacy issue is completely false.

Firstly, if the police have probable cause, then your privacy can be invaded in order to search for evidence. For instance, Hans Reiser was not convicted at the time his Honda Civic was searched.

Secondly, it is admissible to have an eyewitness identify you. Someone who knows you can testify that you were at a certain time and certain public place. Someone who doesn't know you can testify that someone who looks exactly like you was at a certain time and place. This is not a privacy violation.

Public pictures are not private information.

The reason we don't necessarily want police being able to match faces across databases of public images has nothing to do with privacy concerns. It's the concern that the ability gives too much power to the state, risking the rise of a surveillance state, which can use the technique to identify members of targeted groups. In other aspects it is a very good technique that can help bring wrongdoers to justice.

In other words, it's about managing unintended consequences, not about privacy principles.
by beala | 2025-07-19 12:44:49+00:00
It's usually not a single weekend. If you're like me, it starts out with thinking it'd be nice to install Plex on an old gaming PC. A year later, it has organically grown into a rube goldberg machine of proxmox and home automation. Which I guess just reinforces your point.

Joking aside, a minimal setup just using docker compose is pretty manageable. Self hosting many projects is as easy as 'docker compose up -d', and upgrades are straightforward as others have pointed out.
by neom | 2025-07-19 12:45:25+00:00
Anchoring still exists and is something people use, price for sure impacts how people view things, if you make 3 price points for your product, say... $20/mth, $200mth and $25000/mth, you can often push people into the middle package more easily, it's called the Goldilocks effect. Pricing and positioning well is a lot of work simply because people for sure still use price as a strange yardstick, and as someone who figures out how to price things and position them for a living, it can be very...frustrating.
by le-mark | 2025-07-19 12:45:54+00:00
> To win in Unix land, C# needs to be editable in a plain text editor.

This isn’t a C# issue, it’s dynamic vs static typing issue. You can edit C# in any text editor (obviously) but you don’t get all benefits a good IDE gives you. Statically typed languages in general allow IDEs to provide a wealth of benefits that make writing and maintaining code much easier. With the IDE one can be much more productive.

This is also possible for dynamically typed languages but in practice they’re not at the same level.

So yeah write your little dynamically typed language scripts in vim. The first thing I’m doing for a large C++ project is put it in an IDE. Not to build it but to explore it and understand it, ymmv
by tim333 | 2025-07-19 12:47:15+00:00
They've managed to treat sickle cell.

>CRISPR/Cas9 can be directed to cut DNA in targeted areas, enabling the ability to accurately edit (remove, add, or replace) DNA where it was cut. The modified blood stem cells are transplanted back into the patient where they engraft (attach and multiply) within the bone marrow...

https://www.fda.gov/news-events/press-announcements/fda-appr...
by master_crab | 2025-07-19 12:48:18+00:00
Why bother with SSO? If your family and closest friends use something like a wireguard client (iOS for example has a very good one that takes only a minute to configure permanently), the users simply switch a toggle and they are now on your private network and don’t need to SSO to anything (provided you have left everything open).

For a small home network the pros of that approach vastly exceed the cons.
by krapp | 2025-07-19 12:48:35+00:00
I think it's hard to argue that there exists a vast space of untapped design potential for games that can't be realized only because of the limitations of off the shelf game engines. Most people who use custom engines use them for mainstream common game concepts, because they disagree with architectural decisions about the engine itself (most likely the language being used) and they would rather start from scratch than work with the engine.

Handmade Hero can be made in Unity or Godot. So could Braid. I'm actually struggling to think of a game built in a custom engine that's so radically out of pocket design-wise that it needs a custom engine. I'm not arguing that the use case doesn't exist, I'm arguing that most of the time using a custom engine is a matter of convenience and comfort rather than creative expression, and isn't strictly necessary.
by manwe150 | 2025-07-19 12:50:51+00:00
That seems an overly fine line to draw, when a check is basically just a plain piece of paper with your ACH number printed on it, and anyone with your ACH number can go get checks printed. A credit card is also bidirectional, so the question was just if alternatives exist to VISA processing, not if you necessarily would use them. I meant to mention Zelle and Plaid too, since they integrate with many (most?) banks already to allow transfers via your online account login authentication credentials instead of traditional ACH
by eitally | 2025-07-19 12:51:15+00:00
I think this depends a lot on the rider and their level of experience (just like it does with drivers). Modern ICE cars are so quiet (to the point that many cabins feature ANC to help mask engine noise) that you'd never be able to hear a whining belt or misfiring spark plugs, and perhaps not even squeaking brake pads. Bikes are similar but the rider is much more directly connected; even so, many riders are pretty oblivious to how they work or how to fix problems.
by haneul | 2025-07-19 12:52:56+00:00
As someone who doesn't keep track of the influencer scene at the moment because I am way addicted to building...

You should totally give Claude Code a try. The biggest problem is that it is glaze-optimized, so have to work at getting it to not treat you like the biggest genius of all time. But when you manage to get in a good flow with it, and your project is very predictably searchable, results start to be quite helpful, even if just to unstuck yourself when you're in a rut.
by exabrial | 2025-07-19 12:53:15+00:00
One thing to know about torque wrenches: it’s actually more important that they are consistent rather than having absolute accuracy. (for the most part) why is this? If you have four bolts tightening down a handlebar into a stem, using a torque wrench correctly ensures consistent clamping load and avoids creating a stress point.

Whether those four bolts are at 8.86nm or 7nm is not usually a big deal. This is strictly speaking about bicycles, however, not aircraft or rockets :) there are a few bolts where an absolute clamp load on a single fastener is important: controls on a carbon bar. For my experience, though I have seen some bike shop mechanics reef on these (8-12nm) without consequence, even though the manual clearly states 4nm. I would do exactly what the manufacturer says here.
by kazinator | 2025-07-19 12:54:22+00:00
There is a way for this not to terminate:

while (new_capacity < required) { new_capacity *= 2; }

1. All variables are unsigned (due to being size_t). So we don't worry about overflow UB.

2. new_capacity * 2 always produces an even number, whether truncating or not.

3. Supppose required is SIZE_MAX, the highest value of size_t; note that this is an odd number.

4. Therefore new_capacity * 2 is always < required; loop does not terminate.
by lioeters | 2025-07-19 12:54:39+00:00
> GPL is a theoretical idea that doesn't work in the real world

GPL has been working in the real world for the past 36 years.

> No one really cares if they have access to their refrigerator's source code.

I do, and believe it should be mandatory to open source such code. Proprietary code is an immense security risk.

> why they aren't more popular is because they are often licensed with GPL

There's no evidence of this whatsoever. You can't prove or disprove such an assertion.
by aaaja | 2025-07-19 12:56:49+00:00
For Women Scotland wasn't the start of the opposition to gender identity policy in the UK. It was founded, by four women who met on Mumsnet, specifically to address policy in Scotland.

Feminist women opposed to the Tory government's plans to introduce "gender self-id" law and similar policy had already started organising by this point. Groups like Woman's Place UK and Fair Play For Women. This had nothing whatsoever to do with religious arguments from the US.

There's also significant liberal opposition to all this in the US, again not linked to religion but, like the UK, on the basis of women's rights.
by brudgers | 2025-07-19 12:57:24+00:00
It is an amazing book by the standards of books in general.

That's a reasonable reason to read it.

It's at the foundation of computer science.

Thats a reasonable reason to read it.

It's really fucking challenging.

that's an adult reason to try to read it.

And the reason, people don't.

Good luck.

And because Knuth has been writing it for more than sixty years and because Knuth is almost certainly more expert than you and because TAOCP is full of things that Knuth found difficult it is unreasonable to expect to read it cover to cover for any adult definition of "read" in any reasonable amount of time.
by techpineapple | 2025-07-19 12:57:42+00:00
I’ve long had the same concern, and developed a solution recently. I wrote a book.

What I’m doing is when I’m reading a book, I taking notes and underline all the sections that Interest me, then I compile them into a book, I’m using Vellum, which is a print layout tool.

Then, every month or two, I go to Lulu.and I print it out. I try and read half an hour or so every night before bed, and I keep editing. Move things around. For instance I read and took notes on three management books, and now I’m slowly and iteratively combining the notes. Adding my own color, keeping direct quotes I may hear from friends or colleagues, movies and tv, or famous historical figures.

It’s fun because I think one of my core values / goals in life is around creating things, and working on this as an actual artifact I can hold in my hands fills that desire.
by Barrin92 | 2025-07-19 12:57:59+00:00
For one that is objectively incorrect. GDPR prevents a whole host of data collection outright, shifts the burden for corporations to collecting the minimal amount of data possible, and gives you the right to explicitly consent into what data can be collected.

Being angry at a popup that merely makes transparent, what a company tries to collect from you, and giving you the explicit option to say no to that, is just infantile. It basically amounts to saying that you don't want to think about how companies are exploiting your data, and that you're a sort of internet browsing zombie. That is certainly a lot of things, but it isn't rational.