MurphyA/hacker-news huggingface dataset:
by bwfan123 | 2025-07-27 16:38:35+00:00
"Might this goodness be due to the resonance that math reveals between mind and cosmos? In Greek, cosmos means “order,” and suggests also “beauty,” as in our word “cosmetic.” Doing math leads one to entertain the idea that the cosmos is itself good and beautiful. Our will to truth seems to derive from a deep attraction to this goodness and beauty. Math is erotic, in other words"

nice essay, I particularly enjoyed the concluding para quoted above. The resonance between the cosmos (or chaos) and the agent's intellect - wherein, the agent's intellect symbolizes from that chaos to create and communicate meaning. Applies to creativity in general - in disparate fields of art, music etc not limited to math. Few of us aspire to "feeling" that resonance.

more interesting was the link [1] in the essay which points to the "pervasive half-arsedness" compounded by ai.

[1] https://newsfromuncibal.substack.com/p/death-by-a-thousand-c...
by la_mezcla | 2025-07-27 16:38:38+00:00
The man has forgotten that those LLM models don't grow on trees in nature, freely available to anyone.

Don't be a sucker - go create your own model, train it for hundreds of millions of dollars. With your own money - you aren't a sucker to borrow from anyone. Fine tune a model, train it again.

Only then, when and if you're get done, will you be able to claim "I'm not sucker, I don't rent anything. And you shouldn't too!".

Until then, no model is yours. Even if you run it locally, you're inevitably engaging in renting it, if not for money directly, then for knowledge and expertise of those large companies. The ones that've created them for you. With an option to utilize them for free, locally.
by DonHopkins | 2025-07-27 16:39:27+00:00
Nixon had the exact same attitude Trump has about protecting his good friends Jeffrey Epstein and Ghislaine Maxwell:

“I don’t give a shit what happens. I want you all to stonewall it, let them plead the Fifth Amendment, cover up or anything else, if it’ll save it—save this plan. That’s the whole point. We’re going to protect our people if we can.” -Richard Nixon, statement to Haldeman, in tapes ordered released for the trial of Haldeman, Ehrlichman and Mitchell

https://time.com/archive/6876016/the-nation-the-case-of-the-...

https://aadl.org/node/197452
by Herring | 2025-07-27 16:40:01+00:00
They've been doing this for generations. In a nutshell that's why the US South is so poor. They build infrastructure for political/economic exclusion, and they tear down anything that even hints at inclusiveness. So the rich get richer, and everyone else suffers.

Trump won the popular vote. I think the reasonable people need to open their eyes and learn that Republicans won't ever change.
by ndkap | 2025-07-27 16:40:09+00:00
>In getting komooted, we feel the pain of not being represented in the companies we work for and the platforms we use. Komoot was supposed to be special, the darling of the German startup scene. A unicorn not only in terms of prospective valuation but also in its good working conditions and a progressive mission of enabling access to the outdoors.3 The owners’ assured their long-term commitment with the mantra “we won’t sell.”

Is there a legal way to ensure that a company adheres to claims like "we won't sell"? It seems that trusting companies with their word without any underwriting is foolish
by thangalin | 2025-07-27 16:40:36+00:00
https://www.youtube.com/watch?v=W88Sact1kws

"Embark on a journey to Yellowstone, where a few wolves did not just roam, but rewrote the rules of an entire ecosystem. Discover how these majestic predators triggered a cascade of life, transforming not only the park's wildlife but its very rivers and landscapes. It's a story of how nature's architects can reshape our world in ways we never imagined."
by rafaelmn | 2025-07-27 16:40:58+00:00
On the phone so can't see study details - what do day consider strength training ? I used to lift heavy (well by regular people standards) and for example my squat mobility was shit. Trying to improve that with significant load would have ripped my tendons I feel. Decreasing the load to the point where it wouldn't might as well be called stretching cause it wouldn't qualify as heavy lifting. Also most powerlifters I know have shit mobility.
by frollogaston | 2025-07-27 16:41:10+00:00
It's more the other way around. If the app is on iPhone app store or maybe Google Play, they have rules to follow. Either way you have to accept push notifications, so if you do, nothing stops the website from spamming with those. Most users also won't automatically know how to disable push for a particular website, unlike an app where they just delete it worst case.
by kergonath | 2025-07-27 16:41:28+00:00
> Take Truth Social as an example. It started because people wanted a place they get out of the larger group to dedicate to like minded.

Not at all. It started because Trump was banned from Twitter. That’s it. The whole point was to give Trump a platform. There is nothing organic or natural about Truth Social and if it is the symptom of anything, it’s that some people just have too much money.
by ksec | 2025-07-27 16:41:38+00:00
Every now and then, and especially in the past 3 - 4 years I really want to recreate Yahoo, or a curated Web Directory. Bring back the small Web, and a small gif for all webpage saying they are featured on yahoo.

95% of today's Web site are now complete garbage. And with AI written content I wont be surprised if this is now closer to 98%.
by 6r17 | 2025-07-27 16:42:34+00:00
I think there might be more of this coming. The era where US was leading everything and expecting everyone to be a good boy who report everything is long gone due to the current state of affairs in the tech world.

I'm not Chinese but I can only support such efforts that make everyone less reliable on main actors. That said they even share their work so it's not like they are going full mute.
by mnahkies | 2025-07-27 16:42:48+00:00
A basic way to head off most of the security issues is throwing it behind a VPN (eg: wireguard) - no need to put stuff on the public internet if it's just for your own consumption. You can still include your mobile devices etc.

Separately I think k8s is a solution to much of the difficulty. I don't use it outside of work as the baseline costs are too much (my personal cloud bill is under $10 and I want to keep it in that range), but the packaging offered by well maintained helm charts is hard to pass by - people dunk on it for being complex but imo it only exposes inherent complexity and simplifies a lot of other stuff.
by mccoyb | 2025-07-27 16:42:51+00:00
> AI coding tools supercharge this, allowing you to bring whole machineries to life by waving your hands around, offloading the understanding for much longer, but if you want it all to actually work, you'll need to dive into the details eventually.

The answer to this is nuanced. You can summon ~30k LoC codebases using CC without much fanfare. Will it work? Maybe, in some of the ways you were thinking -- it will be a simulacrum of the thing you had in your mind.

If something is not working, you need to know the precise language to direct CC (and _if you know this language_, you can use CC like a chisel). If you don't know this language, you're stuck -- but you'd also be stuck if you were writing the thing _by hand_.

In contrast to _writing the thing by hand_, you can ask CC to explain what's going on. What systems are involved here, is there a single source of truth, explain the pipeline to me ...

It's not black and white in the way I experienced this paragraph. The "details" you need to know vary across a broad spectrum, and excellent wizards can navigate throughout the spectrum, and know the meta-strategies to use CC (or whatever agentic system) to unstick themselves in the parts of the spectrum they don't know.

(lots of that latter skill set correlate with being a good programmer in the first place)

Many of my colleagues who haven't used CC as much seem to get stuck in a "one track" frame of mind about what it can and cannot do -- without realizing that they don't know the meta-strategies ... or that they're describing just one particular workflow. It's a programmable programming tool, don't put it into a box.
by westurner | 2025-07-27 16:42:52+00:00
sapientinc/HRM: Hierarchical Reasoning Model: https://github.com/sapientinc/HRM :

> [...] Inspired by the hierarchical and multi-timescale processing in the human brain, we propose the Hierarchical Reasoning Model (HRM), a novel recurrent architecture that attains significant computational depth while maintaining both training stability and efficiency. HRM executes sequential reasoning tasks in a single forward pass without explicit supervision of the intermediate process, through two interdependent recurrent modules: a high-level module responsible for slow, abstract planning, and a low-level module handling rapid, detailed computations. With only 27 million parameters, HRM achieves exceptional performance on complex reasoning tasks using only 1000 training samples. The model operates without pre-training or CoT data, yet achieves nearly perfect performance on challenging tasks including complex Sudoku puzzles and optimal path finding in large mazes. Furthermore, HRM outperforms much larger models with significantly longer context windows on the Abstraction and Reasoning Corpus (ARC), a key benchmark for measuring artificial general intelligence capabilities. These results underscore HRM’s potential as a transformative advancement toward universal computation and general-purpose reasoning systems.

"Hierarchical Reasoning Model" (2025) https://arxiv.org/abs/2506.21734 .. https://news.ycombinator.com/item?id=44699452 (9 hrs ago)
by elcapitan | 2025-07-27 16:43:06+00:00
> I have delivered many pet projects I always wanted to build and now focus in the operation of them. > pretty often I sit down to read how the ai solved the issue and learn new techniques and tools.

I have very similar experiences, but very often I wonder if I couldn't just have gone to an open source project on the same topic (e.g. building a toy parser) and read the source code there, instead of letting a code generator AI reproduce it for me. Because that happy feeling is very similar to early moments in my developer career, when I read through open source standard libraries and learned a lot from it.
by marcosdumay | 2025-07-27 16:43:15+00:00
> The bad DMVs oddly had bigger offices, they just had people who moved at a snail’s pace and didn’t care about anything other than running the clock out until they could go home.

Well, all of the people?

You are certainly looking at the consequence of something that you don't fully understand. All of the people in a place don't start acting the same way for no reason.
by MrGilbert | 2025-07-27 16:43:23+00:00
How about good ol' morals? We don't need to get rid of capitalism, but how about getting the proportionality back on track? Does a single person need to make billions and billions of money? Should I, as a CEO, earn millions of dollars while my workforce can barely survive with one job?

I don’t think so. This is what needs to be fixed on a global scale.
by tptacek | 2025-07-27 16:44:44+00:00
I didn't become a software developer so I could write the same SQL queries, the same plumbing code, the same boilerplate beginnings of programs, the same repetitive error handling, the same string formatting, the same report generation, the same HTML templating, and the same thread cancellation logic. I also didn't become a programmer so I could gratify myself by yak-shaving elegant helpers for those SQL queries, plumbing, boilerplates, error handlers, formatting, reports, templates, and cancellations.

Bloggers have been kidding themselves for decades about how invigorating programming is, how intellectually demanding it is, how high the IQ demands are, like they're Max von Sydow playing chess with Death on the beach every time they write another fucking unit test. Guess what: a lot of the work programmers do, maybe even most of it, is rote. It should be automated. Doing it all by hand is part of why software is so unreliable.

You have a limited amount of electrical charge in your brain for doing interesting work every day. If you spend it on the rote stuff, you're not going to have it to do actually interesting algorithmic work.
by technothrasher | 2025-07-27 16:44:53+00:00
My local DMV got a lot better when they created "ready to go" and "not ready to go" lines. If you know what you are doing and already have the paperwork all completed, you can go in the "ready to go" line and somebody just very quickly looks over your stuff to make sure it's good, and gives you a number. If you don't know exactly what your doing, or have questions, you go in the "not ready to go" line which leads to a few windows where people will help you get everything figured out and if you don't have everything you need, you aren't waiting an extended time to then find that out from a grumpy employee. Either way, by the time your number gets called for one of the main windows, you're already sorted and so the transaction is quick and things keep moving along for everybody.
by varispeed | 2025-07-27 16:44:58+00:00
Friend of mine has laptop with Intel Ultra 9 185h. It is always plugged because when you don't plugin in, it is crawling (like even struggles to open Word). Fans are always spinning and it is loud.

For doing any kind of work that requires focus it is an absolute nightmare.

But she need a laptop to occasionally take it to Uni.
by holowoodman | 2025-07-27 16:46:40+00:00
Problem is that those constraints are often very hard to express, even in more expressive languages.

One example would be integers. There are bigint-by-default languages like Haskell, where the type you usually use is an arbitrary-sized bigint. But usually you don't need that, and you usually know that something like a 32bit integer is sufficient. Often you get a int32 type that does that stuff for you. But then the question becomes about overflow behaviour, signedness, existence of -0, behaviour of -INT_MAX and stuff like that. Even in C, you are in undefined-behaviour-launch-the-rockets territory very quickly. And there are usually no "screw it, I don't care, give me whatever the CPU does" types. You don't get to choose your overflow/underflow behaviour. Often no bounded types either (unsigned integer day from 1 to 365). And if those types are available in libraries, the compiler won't be able to optimize.

There are tons more of those examples. It's always a compromise between the expressiveness that we want and that would be great, and the complexity that will make an implementation non-viable. So you get as much expressivenes as the language designer thinks he could maybe cram into his compiler. But it's always to much to be really optimized all the way through. And it's always too little for what one would actually need to be really exact.
by westurner | 2025-07-27 16:47:50+00:00
"ARC-AGI-2: A New Challenge for Frontier AI Reasoning Systems" (2025) https://arxiv.org/abs/2505.11831

ARC Prize: $1m: https://arcprize.org/ :

> At ARC Prize, our mission is to serve as a North Star towards AGI through enduring benchmarks, directing efforts towards systems capable of general intelligence and significantly compressing the timeline for scientific breakthroughs

ARC-AGI-3: Interactive Reasoning Benchmark (2026) https://arcprize.org/arc-agi/3/ :

> The first eval that measures human-like intelligence in AI. [w/ HuggingFace]
by alexey-salmin | 2025-07-27 16:47:55+00:00
I don't ask you to "enumerate every species worthy of help" but rather to formulate a criteria you use to figure out who is worthy of help and who is not.

The "nice to have in the world" sounds quite arbitrary to me. I don't think the question I ask is strange, I'm trying to figure out the idea you believe in. So far you assume we share some core belief on the topic and the rest is obvious, which I don't think is the case.
by b_e_n_t_o_n | 2025-07-27 16:48:27+00:00
I think much like how we're still figuring out how to use and manage social media to minimize the downsides and maximize its utility, we're gonna have to do the same with AI. I find it incredibly powerful for certain things and incredibly frustrating for others. Begging the AI to one shot some project feels like the wrong way to use it, it's better as a scalpel. Or as a learning device, or a more advanced rubber ducky.
by BriggyDwiggs42 | 2025-07-27 16:48:28+00:00
Sorry I see why it’s confusing; I had assumed by it being able to survive outside the womb that it was relatively far along in development. By unconscious I don’t mean asleep, I mean the lights aren’t on and they aren’t experiencing from a perspective. There’d no longer be a moral issue if you magically knew this about the preemie, but we can make a reasonable best guess as to when such a thing becomes possible based on all current knowledge of the brain, and this is where I’d want abortion methods to switch to nonlethal. I don’t see a big difference between killing a fetus that’s incapable of consciousness and preventing the reproductive cells from uniting; they’re the same from the nonexistent perspective of the fetus.

The memories thing is different. Fundamentally, you’re not causing immediate suffering if you kill someone and they never know. The problem is that you can know they likely want to continue to live and you're violating their agency. The key difference with the fetus is that it has no and never has had the ability to want.

> Regarding your new position: if someone's body was being used and damaged, would it be ok to kill the unconscious preemie to prevent that?

I hope I’ve made clear why it’s not a new position. I presume we’re talking about a fetus fairly far along in development, such that we can have doubts about its possession of consciousness. In this case it’s a matter of triage, you do the least harm you can with the tools you have. Abortion methods should be nonlethal when possible out of an abundance of caution. Beyond that, mostly defer to what the mother wants and what risks she’s willing to take.
Show HN: ReNgine-Burp Integration Tool – Automate Recon Data into Burp Suite
by david_mchale | 2025-07-27 16:48:44+00:00
I built this Python tool to solve a workflow problem many pentesters face, and which we were running into this past week when we were manually importing recon data from reNgine into Burp Suite.

The tool handles: - SSL certificate issues with private reNgine deployments - Automatic scope configuration - Smart filtering for high-priority targets - Both API and manual import options - Compatible with reNgine (2.2+) and reNgine-ng (2.1+)

It's free, open source (MIT), and includes comprehensive error handling. Would love feedback from the community!

GitHub: https://github.com/HailBytes/rengine_burp_integration
by johnisgood | 2025-07-27 16:50:18+00:00
I honestly do not know what to do about my financial issues. I do not think raising GoFundMe would go anywere, even though all it really takes is finding 100 people who would not mind donating 10 USD. 1000 USD would be a lot to me. I do not know how to make it viral. I do not want to appeal to people's emotions but it seems like I would have to do that. I want to keep my anonimity too, but that makes it even less likely for people to donate, so I really have no idea what I should do.
by aengelke | 2025-07-27 16:50:36+00:00
Storing the string length explicitly as an 8-byte integer does have a measurable cost. Consider llvm::Twine as an example, it supports storing a null-terminated string and a ptr+len string (among other options). I once changed the implementation to store string literals (length known at compile-time) as ptr+len instead of a pointer to a C string, with the intention of avoiding the strlen in the callee on constant strings. However, this change made things slower, because of the cost of storing the length everywhere. (That's why I never proposed such a change upstream.)

The critical (data) path of the null-terminated loop, however, does not include the load -- the actually loaded value is not a loop-carried dependency in your example. The re-steering of the branch at the end of the loop might happen much later, however.

Vectorization with null-terminated strings is possible and done, but requires alignment checking, which adds some cost.
by znpy | 2025-07-27 16:50:48+00:00
Yeah the thing is, when using vt-d/vt-x and the kernel-assisted virtualisation (kvm) what’s happening is that a virtualised cpu core is effectively a process on the host system, and it’s given essentially access to the real cpu for most instructions (at least for those that are safe to be executed) so you’re really getting no noticeable slowdown.

I/O is another area of focus. Some cpus and NICs support srv-io (i think that’s the name) which remove hops between the hardware and the guest os. If you have the necessary hardware you can of course delegate an entire pci-connected device to a virtual machine, or delegate a whole disk to it (see virtio).

But in general qemu-kvm is the fastest you can get, and the most featureful.

https://docs.kernel.org/driver-api/virtio/virtio.html

One fun thing is that you can use qemu-kvm to run amazon linux 2023 virtual machines on your laptop. I’m looking into running it on my proxmox virtualisation cluster at home for the lulz.
Show HN: PostMold – Generate AI-powered social posts tailored for each platform
by v3nci | 2025-07-27 16:51:20+00:00
I built PostMold to solve a boring but painful problem: writing consistent, good-looking social posts for small businesses.

PostMold lets you: - Generate platform-specific content for X, LinkedIn, Instagram, and Facebook, generated at the same time with single theme/idea - Choose tone, emoji usage, and language (language only in paid plans) - Gives back media suggestion to best match the generated post - Use Gemini-1.5-flash on Free, GPT-4o on Starter/Pro plans - Create and reuse templates (Pro only)

There is a free plan (15 posts/month).

I would love some feedback on it, perhaps suggestions, or what would make this 11x more useful.
by VWWHFSfQ | 2025-07-27 16:51:42+00:00
> I regularly see articles pop in here about OS development happening in China but I find it very hard to find resource in English

It's challenging for open source communities in the west to collaborate with their counterparts in China primarily because of language, but also the collaborations can't really happen in the public places that we're all used to. Western social platforms are blocked in China, and Chinese social platforms are not appealing to the west for one reason or another. Even places like Github are frequently blocked on partially inaccessible in China.

So there really just isn't any good place for people to meet and collaborate, and learn from each other.
by Retric | 2025-07-27 16:53:20+00:00
The simple answer for how is the elk population in that 2,200,000 acres dropped from ~18,000 to ~2,000 or 1 elk per 2 square miles.

16,000 elk do quiet a lot, especially as they aren’t spending nearly as much time along river banks. Which changes what plants are in and around steams and thus what’s happening in and around those streams.
by tgsovlerkhgsel | 2025-07-27 16:55:26+00:00
> Avionics that would cost you $15-20k to put in a Cessna due to all the red tape.

A possibly good example of this: I believe that in Switzerland, small planes almost universally carry "FLARM" devices, essentially "TCAS for hobbyists", implemented through unregulated devices from a private company that people just got because they were cheap and useful. Bureaucratic regulation would have most likely killed a project like this.