MurphyA/hacker-news huggingface dataset:
by gortok | 2026-01-30 22:50:25+00:00
The 100 mile "Constitution-free zone" 'policy' has long been a problem, not because it was abused, but because it had the propensity to be abused, and here we are, seeing it abused.

With the current Supreme Court doing everything in its power to require the hardest road possible to righting constitutional wrongs, this is going to take a lot of time and money by regular folks to fight and to hopefully -- at some point -- stop this abuse of power.
by II2II | 2026-01-30 22:50:55+00:00
> I am still surprised most Linux Distros haven't changed their package managers to allow for selling of proprietary solutions directly, fully opt-in by default of course.

One of the advantages of open source software is the ability to distribute said software with relatively few restrictions. It simplifies life for the maintainers of Linux distributions, those who manage Linux systems, the end user, and software developers. Making a package manager a retail product store would complicate things for everyone.

That said, the only thing preventing the distribution of proprietary software by most Linux distributions is policy. If a distribution wanted to do so, and the vendor's license allowed for permissive software distribution, they could do so. The vendor could implement their own mechanism for selling and distributing license keys. The advantage to them would be using a common software distribution method without having a middleman taking a cut. (Think shareware, or even physical software that included a license key.)
by Supermancho | 2026-01-30 22:51:07+00:00
The 25-hydroxy vitamin D test (aka: 25(OH)D test) is not part of a lipid panel, comprehensive (nor standard) metabolic panel, or any number of tests I have regularly. Without a specific request, it's unlikely anyone gets tested for this UNLESS you're a psychiatric patient. When I had severe depression in my 20s, a doctor did have this test done.
by MohskiBroskiAI | 2026-01-30 22:51:35+00:00
Still waiting for your `lake build` output.

Or are you realizing that "incoherent" was a projection of your own cognitive limitations?

Let me make this painfully simple for you, since the spectral geometry went over your head:

You are cheering for a man (Wolfram) who essentially said: "I looked at a million tiny programs and some of them are hard. I don't know why, but look at the pretty pictures."

I provided the Mathematical Mechanics of why they are hard. I mapped the discrete failure of those Turing machines to the continuous collapse of energy landscapes.

Calling my work "incoherent" while praising Ruliology is like walking past Einstein to applaud a guy who is counting rocks.

One of us has a Lean 4 Verified Proof that compiles.
The other has a blog post with 200 pictures of cellular automata.

Do not confuse Graphing with Solving.

Sit down.
by roenxi | 2026-01-30 22:51:50+00:00
In English-speaking countries, we have a system that prints money and gives it to asset owners. Gold is still an asset, so buying it will still let people participate in that system. Increasing taxes by whatever (I'll assume 10%) is material but it doesn't remove any point, just makes it a bit less attractive. It could easily be a less risky play than investing in US bonds given that they can't pay them back in real terms.
by 46493168 | 2026-01-30 22:51:56+00:00
>He had no constitutional right to disrupt a religious service.

Lemon was arrested because he's a famous dissident, not because he disrupted a church service.

Trump made churches fair game when he rescinded previous Immigration and Customs Enforcement policy that prohibited enforcement actions in sensitive locations such as places of worship, as well as schools and hospitals. [0]

There is no rule of law in the US any longer. Like China, the US has rule by law.

[0]https://www.independent.co.uk/news/world/americas/us-politic...
by Neywiny | 2026-01-30 22:52:05+00:00
Correct. Much in the same way that videos were online before YouTube, social networks existed before Facebook, and messaging existed before WhatsApp and co, they should have understood their problem set better instead of just following the leaders. Because Gemeni is not this chatbot on steroids, it's a different problem entirely that happens to now employ the same technique.

Also, search says they did links in 2024 for the Google AI. So there's that.
by extraduder_ire | 2026-01-30 22:52:47+00:00
If you use a 3rd party client like witchsky.app, you can trust or distrust any account you want to be a labeller and verify accounts yourself if desired.

Worth keeping in mind, the original plan was to entirely rely on domain names being used as handles for verification. All ~500 .gov handled accounts on there are almost certainly who they claim to be, unless they are able to set DNS records on those domains.
by overgard | 2026-01-30 22:52:58+00:00
I asked Codex to write some unit tests for Redux today. At first glance it looked fine, and I continued on. I then went back to add a test by hand, and after looking more closely at the output there were like 50 wtf worthy things scattered in there. Sure they ran, but it was bad in all sorts of ways. And this was just writing something very basic.

This has been my experience almost every time I use AI: superficially it seems fine, once I go to extend the code I realize it's a disaster and I have to clean it up.

The problem with "code is cheap" is that, it's not. GENERATING code is now cheap (while the LLMs are subsidized by endless VC dollars, anyway), but the cost of owning that code is not. Every line of code is a liability, and generating thousands of lines a day is like running up a few thousand dollars of debt on a credit card thinking you're getting free stuff and then being surprised when it gets declined.
by flohofwoe | 2026-01-30 22:53:10+00:00
> and it automatically loads .so files, creates all those components and connects them to each other. Super handy for all sorts of fun audio/video processing.

I created a quite similar OOP system for C around 1995 (as I guess did most programmers at that time who were fascinated by Objective-C), classes were implemented in DLLs and were loaded on demand, classes were objects themselves, the inheritance tree could be inspected (e.g. runtime-type-information), and the whole system was serializable - this was for a PC game (https://en.wikipedia.org/wiki/Urban_Assault).

It looked like a neat thing at the time, but nothing a couple of structs with function pointers or a switch-case message dispatcher wouldn't be able to do just as well, definitely not something that should be the base for more than one product, and most definitely nothing that should have survived the OOP hype of the 90's ;)
by Aurornis | 2026-01-30 22:53:31+00:00
> that they have to objectively ruin the site for everyone using it. See the API changes and killing off of third party apps.

Third party app users were a very small but vocal minority. The API changes didn't drop their traffic at all. In fact, it's only gone up since then.

The datacenter IP address blocks aren't just for scrapers, it's an anti-bot measure across the board. I don't spend much time on Reddit but even the few subreddits I visited were starting to become infiltrated by obvious bot accounts doing weird karma farming operations.

Even HN routinely gets AI posting bots. It's a common technique to generate upvote rings - Make the accounts post comments so they look real enough, have the bots randomly upvote things to hide activity, and then when someone buys upvotes you have a selection of the puppet accounts upvote the targeted story. Having a lot of IP addresses and generating fake activity is key to making this work, so there's a lot of incentive to do it.
Ask HN: Research on LLMs Predicting Behavior?
by turth | 2026-01-30 22:54:00+00:00
Everyone knows that story about marketers at Target figuring out that a teenager was pregnant before her parents knew, just based off of her purchases. Does anyone know if there's been research into how well an LLM can predict details about a user? If so, how much does the user have to talk to the LLM, and how much personal info do they have to leak in the conversations, before the predictions become any good?

I can imagine some nightmare scenario where after a few months of me asking occasional technical questions to ChatGPT, OpenAI knows the perfect way to market a new pair of socks to me, or can predict my behavior in some situations before even I know what I would do. It seems weird that there's not more discussion of this online, maybe there really just hasn't been much research?
by redrix | 2026-01-30 22:54:37+00:00
Cool app. It takes a lot of courage to share here, so well done. I’d definitely highlight a bit more prominently what languages it supports though.
The interface is very “Claude” so I’d be keen to hear about:

- How did you go about developing this?

- Was the entire thing vibe coded or just part of it? No shade either way, just curious.

- How long did it take?

- What were some of the harder hurdles to overcome?

- Given the use of AI, what’s your approach to security of your users data? How did you review any generated code?
by godelski | 2026-01-30 22:54:39+00:00
> this is a massive conflict of interests

I think everyone is aware of this.

But people like that they aren't shying away from negative results and that builds some trust. Though let's not ignore that they're still suggesting AI + manual coding.

But honestly, this sample size is so small that we need larger studies. The results around what is effective and ineffective AI usage is a complete wash with n<8.

Also anyone else feel the paper is a bit sloppy?

I mean there's a bunch of minor things but Figure 17 (first fig in the appendix) is just kinda wild. I mean there's trivial ways to solve the glaring error. The more carefully you look at even just the figures in the paper the more you say "who the fuck wrote this?" I mean like how the fuck do you even generate Figure 12? The numbers align with the grids but boxes are shifted. And Figure 16 has experience levels shuffled for some reason. And then there are a hell of a lot more confusing stuff you'll see if you do more than a glance...
by jdietrich | 2026-01-30 22:54:41+00:00
Eneloop Pro cells have a rated capacity of 2500mAh.

I can't think of any good applications for conventional NiMH cells any more - they're dominated by LSD NiMH cells in low-discharge applications, by lithium primary cells in ultra-low-discharge applications and by the various lithium secondary chemistries in high-discharge applications.
by estimator7292 | 2026-01-30 22:54:59+00:00
None of that is true. Not one word of this applies anymore. Being highly skilled means you're highly paid, which puts you first in line for cuts. Talent doesn't get you hired, networks do. "Future earning potential" is just nonsense words, you can't eat "future earning potential".

This advice is from half a century ago. The times have moved on.
by dfe | 2026-01-30 22:55:04+00:00
I've only had batteries leak in remotes left unused for over a year. I just pick up Duracell or whatever is at Costco.

I've also bought two replacement remotes off of Amazon in the past year, one Samsung and one Insignia. I think they were $15-20 each, which seemed very reasonable to me.

Generally they won't have the manufacturer's logo, but everything else on the outside looks 100% identical, and all the buttons worked.
by MohskiBroskiAI | 2026-01-30 22:55:07+00:00
"I understand the different domains quite well."

Your comment proves the exact opposite.

You just claimed that "Spectral Gap" has no place in complexity theory. This is a fatal admission of ignorance.

1. The "Rubbish" You Just Dismissed:
* Spectral Graph Theory: The "Spectral Gap" of the Laplacian (Cheeger's Inequality) is the standard metric for measuring the connectivity and mixing time of graphs. It is fundamental to understanding expansion and hardness.
* Phase Transitions in SAT: "Density" (Constraint Density m/n) is the primary control parameter in the study of algorithmic phase transitions (Random K-SAT).
* Adiabatic Computation: The runtime of an adiabatic algorithm is inversely proportional to the square of the... wait for it... Spectral Gap of the governing Hamiltonian.

By calling these terms "ChatGPT rubbish," you are not insulting me. You are calling the work of Peter Shor, Edward Witten, and Persi Diaconis "rubbish."

2. The "ChatGPT" Accusation:
So now we pattern match review papers? "It uses things that I've seen AI use before so it must be rubbish!"

That is beyond lazy. That is in fact stupid.

ChatGPT is a stochastic parrot. It cannot maintain axiomatic consistency in a formal proof assistant. I linked a Lean 4 Repository. Lean 4 is a strict type-checker. It does not "hallucinate." If the types check, the logic is valid.

Go ahead. Ask ChatGPT to generate a compiling Lean 4 formalization of the Witten-Laplacian acting on a homology group. I'll wait.

The Verdict:
You are confusing "Terms I don't know" with "Terms that don't belong."

Update your priors before you comment again. You are embarrassing yourself.
by Novosell | 2026-01-30 22:55:30+00:00
Why are you trying to do weird gotchas instead of engaging with the discussion? I don't get it.

And comparing time periods like that isn't proper, 10 year old tech now is a lot more similar than 10 year old tech was in 2006. 1996 and 2006 are vastly different tech-landscapes. 2016 and 2026? Barely different.

Or do we wanna pretend the leap from Doom to Crysis is the same as the leap from the Witcher 3 to Clair Obscur? Modern is a relative term.
by torginus | 2026-01-30 22:56:25+00:00
I'm also wondering why people are so enamored with these humanoid robot - what they've accomplished is impressive, but from the perspective of replacing humans, I'm sure we are many years away from the versatility required to replace skilled tradespeople.

A humanoid robot shambling along a factory floor to pick up a plastic cover and deposit it onto a shelf does not look like a trillion dollar industry. I'm sure there are much more straightforward ways of accomplishing the same stuff.

Imo the biggest advantage of reproducing humanoid forms, is that then the robot can be teleoperated with full body harnesses that track the human operator. One such system I like really much, is what the Japanese use for fixing overhead power wires - it looks like a humanoid robot torso mated to a mobile crane.

Altough the technology behind that could be done in the 80s, with electromechanical analog controls.
by canucker2016 | 2026-01-30 22:56:47+00:00
FTA under "TARGET-D study Caveats"

There are two main caveats to the TARGET-D study. First, this was presented at the American Heart Association scientific sessions, but the full manuscript isn’t out yet. It’s possible the results will end up not being statistically significant, having a methodological flaw, and so on. In the presented results, the reduction in heart attack risk was statistically significant but the change in overall death and stroke risk had a p value > 0.05. Second, while Vitamin D seems to be an effective intervention to reduce heart attack risk, we don’t yet know whether Vitamin D is an independent marker of heart disease risk or whether it’s reflecting known mechanisms such as inflammation and calcification.
by insane_dreamer | 2026-01-30 22:56:48+00:00
almost no one is getting due process today

and yes, the way the system evolved is a problem, but as that article pointed out this change started in the mid-90s. Obama actually deported half the number of people as under Clinton and Bush, see Table 1[0]

Also most of the people Obama deported were at/near the border as he prioritized that over interior arrests. You can see the big change in Figure 1[0]

Turning people around at/near the border is a completely different than arresting people who have been in the US for years, even decades.

[0] https://www.migrationpolicy.org/article/obama-record-deporta...

So the "whataboutism" is a complete red herring, and that's without even getting into fixed quotas, no guardrails or accountability for ICE agents, no consequences for murder, unlimited surveillance budget, hiring unqualified agents and putting guns in their hands, and I could go on and on.
by philip1209 | 2026-01-30 22:57:19+00:00
I was curious what the break-even is where the insurance discount covers the $99/mo FSD subscription. I got a Lemonade quote around $240/mo (12k mi/yr lease on a Model 3), so 50% off would save ~$120/mo - i.e. it would cover FSD and still leave ~$21/mo net. Or, "free FSD is you use it".

I believe, at the end of the day, insurance companies will be the ones driving FSD adoption. The media will sensationalize the outlier issues of FSD software, but insurance companies will set the incentives for humans to stop driving.
by yesco | 2026-01-30 22:57:27+00:00
I get maintainers have their own issues to deal with, and respect that they are trying to keep the project clean. At work I have had many times where I spent more of my day reviewing MRs than actually writing code, and sometimes my cold blunt replies can unintentionally rub people the wrong way.

Still, I feel like they were pretty rude to this guy for no real reason. I don't think I'd want to work with them.
by bmenrigh | 2026-01-30 22:58:32+00:00
You should look. It’s almost more entertaining than the README.md

theorem MilkyWay_Is_Collapsed : DeterminePhase MilkyWay = Phase.Collapsed := by
-- ArkScalar MW ≈ 0.41 < 0.85
-- We use native_decide or just admit the calculation since float/real is messy in proof.
sorry -- Calculation verified by python script
by crazygringo | 2026-01-30 22:58:48+00:00
Yeah I'm actually very curious about this, it's the first I've heard.

I'd like to know what data this is based on, and if Tesla is providing any kind of subsidy or guarantee.

There's also a big difference between the value of car damages and, well, death. E.g. what if FSD is much less likely to get into otherwise common fender benders that don't harm you, but more likely to occasionally accidentally drive you straight into a divider, killing you?
by shevy-java | 2026-01-30 22:58:54+00:00
> Vitamin D also stabilizes plaques in arteries by reducing macrophage activation.

Well, that is strange though. Because if you have such an effect, should you not include this? If macrophages are less active, perhaps infection rates go up, which can contribute to death. Perhaps not to the amount of the 52% gains mentioned here, but the website does not mention this at all whatsoever; the word "macrophages" occurs only twice on total.
by tgsovlerkhgsel | 2026-01-30 22:59:06+00:00
I know the research and know that it's generally considered to be effective (at least in most European cities where it is done). I wonder whether there are any tipping points, e.g. drivers going into road rage due to excessive obstacles/trying to "make up for the lost time" etc., and whether it would work in the US (or whether drivers just would ignore the risk because they don't perceive pedestrians as existing).
by tehjoker | 2026-01-30 22:59:33+00:00
"These systems are, in a meaningful sense, crystallized cognition, a financial asset, very much like (as Brendan Hopper has observed) money is crystallized human labor."

The latter part of this sentence is basically the labor theory of value. Capital Vol. 1 by Karl Marx discusses this at length deriving the origin of money, though I believe others like Ricardo and Smith also had their own versions of this theory.
by extraduder_ire | 2026-01-30 22:59:41+00:00
It's 300 characters. Have you considered writing it on leaflet.pub or something and linking it, if it's not a back and forth? There's already a + button in the post composer to split into multiple posts.

I think there's a few tweetlonger-type services that people have tried to make, but with atproto they can at least embed that extra text into the post (100kb limit), so the site only needs to stick around to view it.
Ask HN: Is understanding code becoming "optional"?
by mikaelaast | 2026-01-30 22:59:45+00:00
On Twitter, Boris Cherny (creator of Claude Code) recently said that nearly 100% of the code in Claude Code is written by Claude Code, and that he personally hasn’t written code in months. Another tweet, from an OpenAI employee, went: "programming always sucked [...] and I’m glad it’s over."

This "good riddance" attitude really annoys me. It frames programming as a necessary evil we can finally be rid of.

The ironic thing is that I’m aiming for something similar, just for different reasons. I also want to write less code.

Less code because code equals responsibility. Less code because "more code, more problems." Because bad code is technical debt. Because bugs are inevitable. Less code because fewer moving parts means fewer things can go wrong.

I honestly think I enjoy deleting code more than writing it. So maybe it’s not surprising that I’m skeptical of unleashing an AI agent to generate piles of code I don’t have a realistic chance of fully understanding.

For me, programming is fundamentally about building knowledge. Software development is knowledge work: discovering what we don’t know we don’t know, identifying what we do know we don’t know, figuring out what the real problem is, and solving it.

And that knowledge has to live somewhere.

When someone says "I don’t write code anymore," what I hear is: "I’ve shoved the knowledge work into a black box."

To me there’s a real difference between:

- knowledge expressed in language (which AI can produce ad nauseam), and

- knowledge that solidifies as connections in a human mind.

The latter isn’t a text file. It isn’t your "skills" or "beads." It isn’t hundreds of lines of Markdown slop. No. It’s a mental model: what the system is, why it’s that way, what’s safe to change, what leverage the abstractions provide, and where the fragile assumptions lie.

I’ve always carried a mental model of the codebase I’m working in. In my head it’s not "code" in the sense of language and syntax. It’s more like a "mind palace" I can step into, open doors, close doors, renovate, knock down a wall, add a new wing. It happens at a level where intuition and intellect blend together.

I'm not opposed to progress. Lately, with everything going on, I’ve started dividing code into two categories:

- code I don’t need to model in my head (low risk, follows established conventions, predictable, easy to verify), and

- code I can't help modelling in my head (business-critical, novel, experimental, or introduces new patterns).

I’m fine delegating the former to an AI agent. The latter is where domain knowledge and system understanding actually forms. That’s where it gets interesting. That’s the fun part. And my "mind palace" craves to stay in sync with it.

Is the emerging notion that understanding code is somehow optional something you are worried about?