MurphyA/hacker-news huggingface dataset:
by reliabilityguy | 2025-09-13 20:28:42+00:00
> sources easily searchable if you have the topics,

So, you made a claim. I asked you for an example of a material that you based your claim on, and instead of backing up your claim you are sending me to find a source that will prove it?

> letting people pick their own works better if search turns them up pretty easily, that way there’s no worry that I’m choosing clips out of context or something.

What is the source material, a video, or a text, that you based your claims on? Is there a chance that you actually never saw the source material yourself?
by bee_rider | 2025-09-13 20:28:53+00:00
Why does it seem preposterous? If anything it seems dangerously not-preposterous, a sort of epidemiological “common sense” explanation.

Lots of people experienced stuff like “getting chickenpox and then gaining immunity,” so the idea that not getting any illnesses for a couple years during lockdown would result in us being resistant to fewer illnesses seems not at all preposterous.

Apparently general infection rates are still high, so it didn’t bear out. But preposterous? Not really…
by throwaway290 | 2025-09-13 20:28:59+00:00
Very bad. Multiple reloads and losing whatever i typed multiple times

> The Idiot's Wife is a wearable companion designed specifically for partners who require gentle reminders about their significant other's incompetence. This wrist-mounted unit emits soothing vibrations whenever the wearer approaches a situation where their partner might need guidance, such as cooking dinner or tying shoes

wut. I'm confused multiple ways. Good job tho. Thanks!
by ImPleadThe5th | 2025-09-13 20:29:05+00:00
Some people might think so. In an art class a professor once told us that all photography can be a lie whether edited or not. Consider:

Let's say I took a picture of a old man beating a child with a cane.

In the video version of the photo I zoom out, and it's clearly a stage performance.

Or I take a picture of a man frowning in front of a demolished home.

In the video version the man happened to be walking by a construction of a new home and I said something to get his attention and snapped the photo on moody black and white film.

Framing is curating reality and you can evoke certain emotions or messages simply by what you choose to keep in and leave out of your frame.
by simne | 2025-09-13 20:31:38+00:00
Well, I lived in USSR it's last years (now I live in Ukraine).

What impressed me, maps of own territory was usually intentionally distorted and have lot of mistakes, even when WWII, many Soviet officers used German maps.

At the same time, looking on mass information industry, have seen interest things - when there was not nearly any information about local enterprises and science (except clearly seen propaganda), but in few top magazines we constantly seen not much delayed info about US and Western Europe tech.

Also, existed constant stream of top technologies, bought from West via black schemes.

As example, of such stolen technology, in early 2000s happen scandal, when free press opened info about Cray-Y-MP used by Ros-hydro-meteorology (RosHydroMet) state entity (it appear in financial report of entity, as equipment for which need budget to pay for maintenance), when it was prohibited to sell to exUSSR by sanctions.

Unfortunately, soviets don't seen value in gaming technologies like C64/Atari/NES video accelerators, but copied many professional Western machines like IBM/360,PDP-10, Mips-R1000 (as I hear, up to R4000), 8086/8088, most of 74 series and many support chips (from Intel).

For about 8088 even appeared rumors, it was copied semi-smart - looks like coping team got crystal with defect, and they really decoded microcode, but under pressure of Soviet tops, included in masks definitively non-working part (with defect), so under microscope Soviet clone looks nearly exactly like US original.
by dsego | 2025-09-13 20:32:13+00:00
Moving from the Fuji x-t30 with an 18-55 kit lens (and a couple of primes) to x100vi showed me how less impressed everyone around me is with my photos. While I find the x100vi really fun to shoot with and it simplifies my setup, it really makes it difficult to get photos that won't look like phone snapshots and that ordinary people can appreciate. Everyone loves that uncluttered professional look with out-of-focus backgrounds and compression. Zooming with your feet is not always possible and the same for getting close, getting too close to fill the frame with a 35 equivalent sometimes just ruins the moment. The wide lens also just make things look smaller than we see them, so tall buildings and high mountains aren't as dramatic in the pictures as in real life.
by hu3 | 2025-09-13 20:32:22+00:00
I'll assume you meant Mago instead of Mayo.

Why do you feel the need to personally discredit me instead of sticking to constructive arguments?

And where did I say Mago wasn't a static analysis tool?

I'm glad you wrote Psalm. However I and most of the PHP community use https://phpstan.org instead, as you may know.

At the time I made this choice on technical grounds. Then PHPStan found a way to stay profitable with PHPStan Pro while Psalm stagnated, which cemented my decision. Recently, vimeo being acquired by Bending Spoons doesn't help either since psalm still lives in https://github.com/vimeo/psalm
by Yoric | 2025-09-13 20:32:42+00:00
> In the limit, smart pointers for everything is just called "Python".

To be more precise, it's old Python. Recent versions of Python use a gc.

> And I am being walked hands handcuffed behind my back, alongside everyone else, into the Rust world with its comparatively anemic proc macro shit because the C++ committee can't be bothered to care about memory safety.

Out of curiosity (as someone working on static analysis), what properties would you like your compiler to check?
by zzzeek | 2025-09-13 20:32:56+00:00
> No. It's a hypothesis, because nobody had any explanation for why flu "disappeared". You may not prefer that particular hypothesis, but that does not make it unscientific or political.

I hypothesize the rise in these less common infections is none other than Santa Claus. You may not prefer that particular hypothesis, but that does not make it unscientific.....the fact that it's complete made up bullshit that, like the parent says of the "immunity debt" concept, "never had any science behind it.", is what makes it unscientific. That it's made up and was never shown by any evidence.
by johntash | 2025-09-13 20:33:58+00:00
I'm also skeptical partially because I don't like the huge essays generated by any llm. CLAUDE.md/AGENTS.md/README.md that are 5+ pages long are all equally bad imo. I prefer following the idea that if something is too verbose for me to want to get anything useful out of it, then the llm should behave similarly. Even if it's not true, why waste 2 paragraphs explaining something that could be explained in one short sentence?

My CLAUDE.md or AGENTS.md is usually just a bulleted list of reminders with high level information. If the agent needs more steering, I add more reminders. I try not to give it _too_ broad of a task without prior planning or it'll just go off the rails.

Something I haven't really experimented with is having claude generate ADRs [1] like your RFC/ idea. I'll probably try that and see how it goes.

[1]: https://adr.github.io/
by croon | 2025-09-13 20:34:56+00:00
Correct me if I'm wrong, but there's two competing issues here:

1) You could make digital elections secure with issued digital IDs, and simply recording everyone's vote and it would be easily auditable.

But no one wants elections where (the contents of) your vote is recorded somewhere.

So 2) You use your digital ID to be able to vote once, but if you're no longer connected to your vote, it would be much more susceptible to tampering if you can't establish a double blind chain of custody of the votes, which is what expensive in person voting is doing very well.

The first option would be great if you could somehow guarantee a corruption free future of your country where no one will come after you for your vote (hint: you can't).
by ofalkaed | 2025-09-13 20:35:07+00:00
I suppose it is possible you got one with 7 bad encoders but chances are updating the firmware will fix it. The contacts in the new encoders loosened up over time more than the old encoders and the debounce code could not keep up. Two things you can always rely on Waldorf for, topnotch hardware and buggy software, but they fix the bugs for the most part and the ones they don't fix probably are not actually bugs but limitations in the technology/design compromises; like aliasing in the Blofeld, they could "fix" it but leaving it gives it a lot more versatility within its intended range and is why it sounds so good in that range. The only real issue for me with the Blofeld is the noise gen, it is fairly limited in use because of the aliasing.

I get why you dislike the knobs, but they don't bother me. Many dislike them and I have seen various fixes like shrink tubing, tape and rubber bands as well as just replacing them. I just learned to pinch the knob a little tighter. Skipping their traditional coating on the knobs was probably one of the corners they cut to get the price down while keeping the same quality overall.
by quotemstr | 2025-09-13 20:35:07+00:00
I've been thinking for a while now about using dependant typing to enforce good numerics in numerics kernels. Wouldn't it be nice if we could propagate value bounds and make catastrophic cancellation a type error?

Have you worked much with SAL and MIDL from Microsoft? Using SAL (an aesthetically hideous but conceptually beautiful macro based gradual typing system for C and C++) overlay guarantees about not only reference safety but also sign comparison restriction, maximum buffer sizes, and so on.
by btown | 2025-09-13 20:35:52+00:00
> AI workflows are, in practice, highly non-deterministic. While different versions of a compiler might give different outputs, they all promise to obey the spec of the language, and if they don’t, there’s a bug in the compiler. English has no similar spec.

AI coding shines when this is a good thing. For instance, say you have to adapt the results of one under-documented API into another. Coding agents like Claude Code can write a prototype, get the real-world results of that API, investigate the contents, write code that tries to adapt, test the results, rewrite that code, test again, rewrite again, test again, ad nauseam.

There are absolutely problem domains where this kind of iterative adaptation is slower than bespoke coding, where you already have the abstractions such that every line you write is a business-level decision that builds on years of your experience.

Arguably, Geohot's low-level work on GPU-adjacent acceleration is a "wild west" where his intuition outstrips the value of experimentation. His advice is likely sound for him. If he's looking for a compiler for the highly detailed specifications that pop into his head, AI may not help him.

But for many, many use cases, the analogy is not a compiler; it is a talented junior developer who excels at perseverance, curiosity, commenting, and TDD. They will get stuck at times. They will create things that do not match the specification, and need to be code-reviewed like a hawk. But by and large, if the time-determining factor is not code review but tedious experimentation, they can provide tremendous leverage.
by jimmaswell | 2025-09-13 20:36:10+00:00
This is my first time hearing the phrase. Google says:

> Immunity debt refers to a theoretical concept that describes a potential decline in immune system function following a period of reduced exposure to infectious diseases.

Is this the same concept you're referring to? I would hardly call that a proposterous hypothesis at face value. It's reminiscent of the generally-accepted "hygiene hypothesis", that lack of early childhood exposure to some germs causes poor immune response or even asthma later in life.

https://www.fda.gov/vaccines-blood-biologics/consumers-biolo...

This page seems focused on RSV in particular, noting that in that specific case RSV seems to not have the beneficial effect of exposure to some other thing, yet still says it may have "seemed obvious" that it should have.

> The “hygiene hypothesis” is supported by epidemiologic studies demonstrating that allergic diseases and asthma are more likely to occur when the incidence and levels of endotoxin (bacterial lipopolysaccharide, or LPS) in the home are low. LPS is a bacterial molecule that stimulates and educates the immune system by triggering signals through a molecular “switch” called TLR4, which is found on certain immune system cells.

...

> It may seem obvious that, since both the RSV F protein and LPS signal through the same TLR4 “switch,” they both would educate the infant’s immune system in the same beneficial way. But that may not be the case.
by llsf | 2025-09-13 20:36:16+00:00
And yet we could regulate even more to make flying even safer, but likely negatively impacting the cost of flying.

This is a balance/tradeoff. We agree for some deaths, for a given price. It is the same for food safety, workplace safety.

With the latest designs and regulations there has been no major issue across all the nuclear facilities, except for Fukushima which sustained a 9 earthquake + a tsunami... and yet hardly any death (in the 10 years after, one death by cancer got compensated but still not clear if it was directly linked... the evacuation itself might be responsible for up to 50 deaths though, showing how the perception of nuclear can be overhyped).

It is possible that the nuclear industry is over-regulated (done mostly after Chernobyl) and could benefit to be reviewed based on the current knowledge.
by andrewchambers | 2025-09-13 20:36:42+00:00
Kind of surprised by this take - I use openpilot often and also use claude code.

I kind of consider them the same thing. Openpilot can drive really well on highways for hours on end when nothing interesting is happening. Claude code can do straight forward refactors, write boilerplate, do scaffolding, do automated git bisects with no input from me.

Neither one is a substitute for the 'driver'. Claude code is like the level 2 self driving of programming.
by edimoldovan | 2025-09-13 20:36:47+00:00
I tend to use same structure (in html) and use css for making it brand specific. I built something that makes this easier for me, basically it takes a couple minutes to set something up with a lor of things prestyled.

What I am suggesting, I guess, is use some similar approach for you sue cases. Craft one, or pick one, see if ou can reuse the structure then reconfigure the branding part with some css lib (maybe pico? https://picocss.com)
by tialaramex | 2025-09-13 20:37:51+00:00
I am actually much more pessimistic about Profiles than Simone.

Regardless of the technology the big thing Rust has that C++ does not is safety culture, and that's dominant here. You could also see at the 2024 "Fireside chat" at CppCon that this isn't likely to change any time soon.

The profiles technology isn't very good. But that's insignificant next to the culture problem, once you decided to make the fifteen minute bagpipe dirge your lead single it doesn't really matter whether you use the colored vinyl.
by carlwgeorge | 2025-09-13 20:37:54+00:00
> But you skip over that.

It's pretty common to reply to specific aspects of a comment. That's what the markdown quote notation is for (even if it doesn't render properly on this site).

> I think as a compressed timeline summary, mine was fair enough.

But it's not merely compressed, it's factually incorrect.

> I don't think "well, actually, this happened before that" is as important, TBH.

That tracks considering you write for a tabloid with a tumultuous relationship with accuracy.
by alexey-salmin | 2025-09-13 20:37:59+00:00
> For another, the system ties its number generation to the number of seconds that have passed since midnight, resetting once each day, which further limits the possible random values. Only about 86 million arrangements could be generated this way, the Reliable Software Technologies team discovered.

86 million is much less than 300 million possible combinations you can see after flop. This means after the flop you know which exact shuffle was used (with a few statistically unlikely collisions where you may have 2 or 3 options).
Show HN: council - ai groupchat of ctos (no more asking ai to roleplay)
by YAndreaRusso | 2025-09-13 20:38:16+00:00
i made a council of advisors to help me code. as a self taught dev, ive been heavily reliant on ai for the past two years. found myself often prompting claude to take on different personalities, so i built a web app. it's great for the step before telling cursor what to do and reviewing prs once theyre ready. PLEASE DON"T NUKE MY APY KEY. ty
by nilslindemann | 2025-09-13 20:38:33+00:00
Don't get me wrong, I am not a supporter of burning fossil fuels. I am discussing which technology should be used to generate electricity. And I consider renewables to be the more pragmatic strategy. Mostly not because they are cleaner or cheaper, but because they are more decentralized, can be built quicker and are easier to replace. I am pro nuclear power plants as long as they are built far away from where people live, including the waste disposal.

Edit: to be more clear, my long term earth vision is: everything runs using electricity. No coal, no other fossils are burned. Electricity is mostly generated using wind, water, solar.
Show HN: Proxmox-GitOps: IaC Container Automation for Proxmox (Recursive Docker)
by stevius | 2025-09-13 20:39:33+00:00
I want to share my container automation project Proxmox-GitOps — an extensible, self-bootstrapping GitOps environment for Proxmox.

It is now aligned with current Proxmox 9.0 and Debian Trixie - which is used for containers base configuration per default. Therefore I’d like to introduce it for anyone interested in a Homelab-as-Code starting point

GitHub: https://github.com/stevius10/Proxmox-GitOps

It implements a self-sufficient, extensible CI/CD environment for provisioning, configuring, and orchestrating Linux Containers (LXC) within Proxmox VE. Leveraging an Infrastructure-as-Code (IaC) approach, it manages the entire container lifecycle—bootstrapping, deployment, configuration, and validation—through version-controlled automation.

- One-command bootstrap: deploy to Docker, Docker deploy to Proxmox

- Ansible, Chef (Cinc), Ruby

- Consistent container base configuration: default app/config users, automated key management, tooling — deterministic, idempotent setup

- Application-logic container repositories: app logic lives in each container repo; shared libraries, pipelines and integration come by convention

- Monorepository with recursively referenced submodules: runtime-modularized, suitable for VCS mirrors, automatically extended by libs

Pipeline concept:

- GitOps environment runs identically in a container; pushing the codebase (monorepo + container libs as submodules) into CI/CD - This triggers the pipeline from within itself after accepting pull requests: each container applies the same processed pipelines, enforces desired state, and updates references

- Provisioning uses Ansible via the Proxmox API; configuration inside containers is handled by Chef/Cinc cookbooks

- Shared configuration automatically propagates

- Containers integrate seamlessly by following the same predefined pipelines and conventions — at container level and inside the monorepository

- The control plane is built on the same base it uses for the containers, so verifying its own foundation implies a verified container base — a reproducible and adaptable starting point for container automation

It’s still under development, so there may be rough edges — feedback, experiences, or just a thought are more than welcome!
by NekkoDroid | 2025-09-13 20:40:02+00:00
> his trans significant

From the article you posted:

> According to public records, Lance Twiggs, 22, resided at the same address where Robinson lived. A relative of Twiggs confirmed to The Post Saturday that “yes, they were roommates.”

> The family member, who asked not to be identified, said Twiggs was the “black sheep” of their St. George, Utah, family, but declined to speculate on a romantic relationship between the two men.

> She said she didn’t know her relative’s politics or whether Twiggs was transitioning to become a woman, but added that it wouldn’t surprise her.

So basically the source is "it was revealed to me in a dream". For all we know they were just roommates.
by rileymichael | 2025-09-13 20:40:55+00:00
> To build an average Java software, you have to install a specific version of JDK, download a specific build system (Ant, Maven, Gradle, Bazel), hope everything works out on the first try

to build a modern java project with gradle, you need _any_ jvm installed on your pc. you execute a task via the gradle wrapper (which is committed alongside the code) and it will download and invoke the pinned version of gradle, which then downloads the configured java toolchain (version, vendor, etc.) if it can't find it on your machine.

it just works.
by ivan_gammel | 2025-09-13 20:42:05+00:00
Normally you just define source and compile target and then use whatever JDK supports them. Dependency on exact version is a rare thing. Neither gradle nor Maven are independent native tools, both run on the same JVM they use, so they are not even aware of your specific OS configuration and available JDKs. But they will certainly tell you if your JDK does not support your source or compile target.
by Bender | 2025-09-13 20:42:20+00:00
For all we know they were just roommates.

It's possible. I keep hearing terms used interchangably on different YT channels and all of that could be people just projecting their preferred narratives so I guess we will have to wait for the Discord and cell phone text message transcripts assuming those ever drop. They so rarely do. Either way at least we know the roommate was involved to some extent. The Discord transcripts may be the most telling of the relationship.
by mdp2021 | 2025-09-13 20:43:35+00:00
> To overcome the[] limitations [of reinforcement learning and instruction distillation], we introduce REverse-Engineered Reasoning (REER), a new paradigm[:] instead of building a reasoning process "forwards" through trial-and-error or imitation, REER works "backwards" from known-good solutions to computationally discover the latent, step-by-step deep reasoning process that could have produced them

> Using this scalable, gradient-free approach, we curate and open-source DeepWriting-20K, a large-scale dataset of 20,000 deep reasoning trajectories for open-ended tasks. Our model, DeepWriter-8B, trained on this data, not only surpasses strong open-source baselines but also achieves performance competitive with, and at times superior to, leading proprietary models like GPT-4o and Claude 3.5

Could be a game changer. Also and surely if that 8B in "DeepWriter-8B" indicates the NN size (edit: and it certainly should, since DeepWriter-8B is a fine-tuning of Qwen3-8b), and the results are comparable to much bigger models...

Any chance we will be able to try that DeepWriter?

--

Edit: the catch seems to be their «goal is to instill deep reasoning in LLMs for open-ended tasks». If you implement reasoning, the goal is to achieve results that are actually better, getting to "right answers", in problems that while complex are territory for more-optimal and less-optimal solutions.

The question is, does "REverse-Engineered Reasoning" also enhance solution-oriented reasoning, and thought-perfecting reasoning? This is what matters.
by reliabilityguy | 2025-09-13 20:44:34+00:00
> I'm curious how standard this "standard" is, did you (and the rest of America) mourn the death of Osama bin Laden? Did you express condolences to his family and try to remember him by the positive things he did in life?

Perhaps I missed the part where Charlie Kirk organized a group of guys to hijack a bunch of planes with civilians on board, and then crash them into buildings.

On a serious note, if you cannot see a difference between these two, I have no idea what to say.