MurphyA/hacker-news huggingface dataset:
by bell-cot | 2025-06-21 11:22:25+00:00
3 Observations:

"It is a truth universally acknowledged, that a single man in possession of a good fortune, must be in want of a wife." (Jane Austin, 1813) Vs. modern capitalism has, for most American men, optimized away any chance of enjoying basic financial security. To paraphrase Burma Shave - don't expect them to put their chins out there, if they feel hopeless about affording the ring and the flat.

Between older-style advertising, the web, and smart phones, modern capitalism's Borg has gotten incredibly good at optimizing human behavior for its own profit. Men having quality relationships with women is not very profitable for the Borg.

It ain't just men. Over the past decade, especially during the COVID mess, many of the women I know decided to seriously cut back their social engagement - "to take better care of myself" and other phrases.

(Yes, I know the NYT's "Modern Love" series is far more poetic than analytical.)
by xattt | 2025-06-21 11:22:28+00:00
Neither article talks about whether this is a minor or a major antigen.

Blood for transfusion needs to be crossmatched against antigen types of the recipient. Many patients will tolerate several transfusions of a minor mismatched antigen before developing a sensitivity. Major antigens are what cause significant reactions that can be life-threatening.

Minor antigens come into play when crossmatching for infants and premies, but this is way beyond my scope.
by almostgotcaught | 2025-06-21 11:22:38+00:00
> Let's look at Hindley-Milner. You're saying that Hindley-Milner does not prove tiny theorems about types, it just exhaustively proves that no TypeError will occur. This statement is incorrect.

This is irrelevant.

> You can go further. Write the iterative form of a dynamic program (which uses array to store values, instead of hash, and uses a for loop instead of recursive memoized call) and prove it is computing the recursive maxDollars_spec.

Yes my original comment said exactly this.

The rest is irrelevant.

Reread my original comment again - or any of my follow-up comments - I didn't say the lean code doesn't prove equality, I said it proves it using exhaustion.
by kragen | 2025-06-21 11:22:55+00:00
The truth is far outside the Overton window.

Yes, privacy is a question of civil defense in the drone age. But the existing crop of states will never acknowledge that; their structure and institutions presume precisely the kind of mass databases of PII that create this vulnerability, as well as institutional transparency for public accountability. This makes them structurally vulnerable to insurgencies that expropriate those databases for targeting. The existing states will continue to clutch at their fantasies of adequately secured taxpayer databases until their territorial control (itself an anachronism in the drone age; boots on the ground can no longer provide security against things like Operation Spiderweb) has been reduced to a few fortified clandestine facilities.

Things are going to be very unpredictable and, I suspect, extremely violent.
by ofrzeta | 2025-06-21 11:22:57+00:00
> Dropping valuable observability data to save space is usually shortsighted

That's a bit of a blanket statement, too :) I've seen many systems where a lot of stuff is logged without much thought. "Connection to database successful" - does this need to be logged on every connection request? Log level info, warning, debug? Codebases are full of this.
by dTal | 2025-06-21 11:23:21+00:00
@dang

Why editorialize a question mark into titles like this? What does it signify? We are not talking about a factual assertion of debatable veracity, but a statement of opinion along the lines of "considered harmful". Disagreement and debate is the obvious expected result of such a statement. HN admin using special mod powers to editorialize a title which is neither misleading nor clickbait, simply to indicate skepticism, comes across as petty and not a little hypocritical in light of the "don't editorialize titles" site guideline.
by thinkingemote | 2025-06-21 11:23:54+00:00
The majority of plastic on beaches comes from the sea, not the land. Most of it comes not from people using the beach for recreation but from shipping, fishing, industry and also arrives washed down from rivers and via drainage and sewage. Needless to say of course there is lots added by people using the beach too but its worth looking at the whole picture.

https://www.mcsuk.org/ocean-emergency/ocean-pollution/plasti...
by bravesoul2 | 2025-06-21 11:24:02+00:00
I really think the be a founder with someone you've known since kindergarten and who went to the same uni and you are best friends like brothers thing is a bit overrated. Find some random. Do some lower stakes work with them. See if you like them; share values; etc.

You know that dating thing and then some dates lead to marriage, kids ... like what has kept humanity from going extinct. Yeah it works. Same with trade!
by BrandoElFollito | 2025-06-21 11:24:07+00:00
At some point you need to be pragmatic.

People will call the bad guys "hackers" (should be crackers!), in French they will say "show me the digits" when they mean "numbers" and so on.

If everyone uses Whatsapp then you will be alone with these apps nobody heard about. You can try to evangelize them but their friends use WhatsApp.

It's a choice between hard core values and keeping in touch.
by mitthrowaway2 | 2025-06-21 11:24:21+00:00
That's a needlessly hostile remark. This is part of my point. A content platform is a two-sided market, and you can't unilaterally defect from a Nash equilibrium. Back in 2017, YouTube wasn't running unskippable investment-scam and tobacco ads. They were doing their best to attract content viewers and producers away from competitors by offering a good experience. Once they'd driven the alternatives to the ground and achieved network lock-in, they began twisting the screws, gradually running ever more intrusive and distasteful ads.

Nebula might have a shot at breaking the stranglehold, and I support them, but it remains to be seen if they can do it. A lot of content creators would have to move there, and there's a lot of random stuff (recorded lectures, video instructions, music, etc) that probably never will because it doesn't fit their premium original content model.
by mrbluecoat | 2025-06-21 11:24:28+00:00
Noteworthy point:

> If a service is crash-looping or down, SysEx is unable to scrape data because the necessary system tables are unavailable. OpenTelemetry, by contrast, operates in a passive fashion. It captures logs emitted to stdout and stderr, even when the service is in a failed state. This allows us to collect logs during incidents and perform root cause analysis even if the service never became fully healthy.
Show HN: ClearCoreAI – Orchestrator for Modular AI Agents (Open Source)
by olivierhays | 2025-06-21 11:24:29+00:00
Hey HN!

I’ve just released ClearCoreAI, an open source orchestrator for modular AI agents.

It lets you: - Register agents dynamically (via manifest) - Define goals in natural language and get a step-by-step execution plan - Chain capabilities across agents (multi-agent execution) - Track waterdrop-based resource usage (like carbon tracking) - All backed by FastAPI + Docker, and easily extendable.

Docs, quickstart and examples: https://github.com/ClearCoreAI/ClearCoreAIProject

I'd love feedback, questions, or contributors, especially around agent design, UI, or LLM strategies. Thanks for checking it out!

Olivier
by mxkopy | 2025-06-21 11:25:24+00:00
The coal miner would have to pivot to being someone who knows a lot about coal instead of someone that actually obtained it, they’d become more of a coal-advisor to the person making decisions about what type of or how much coal to get/what’s even possible with the coal they’re getting.

The future I’m seeing with AI is one where software (i.e. as a way to get hardware to do stuff) is basically a non-issue. The example I wanna work on soon is telling Siri I want my iPhone to work as a touchpad for my computer and have the necessary drivers for that to happen be built automatically because that’s a reasonable thing I could expect my hardware to do. That’s the sort of thing that seems pretty achievable by AI in a couple turns that would take a single dev a year or two. And the thing is, I can’t imagine a software dev that doesn’t have some set of skills that are still applicable in this future, either through general CS skills (knowing what’s within reasonable expectations of hardware, being able to effectively describe more specific behavior/choosing the right abstractions etc) or other more nebulous technical knowledge (e.g. what you want to do with hardware in the first place).

Another thing I will mention is that for things like the iPhone example from earlier, there are usually a lot of optimizations or decisions involved that are derived from the user’s experience as a human which the LLM can’t really use synthetically. As another example if I turned my phone into a second monitor the LLM might generate code that sends full resolution images to the phone when the phone’s screen is much lower, there’s no real point for it to optimize that away if it doesn’t know how eyes work and what screens are used for. So at some point it needs to involve a model of a human, at least for examples like these.
by fc417fc802 | 2025-06-21 11:25:52+00:00
Yes, the final two were tongue in cheek but follow the same pattern and thus serve to illustrate the point being made. You don't seem to be engaging in good faith.

> Is saying “salmonella exists and can be a problem” FUD or what?

Obviously that depends on context. If a bunch of restaurants form a PAC and start lobbying with that message to restrict the sale of animal products at the grocery store then it is. If the FDA mentions it on a page about basic food handling safety then it probably isn't (depending on the surrounding text ofc).

Rooting your device is a security risk the same way that servicing your own car is a safety risk. When I hear "security risk" or "safety risk" I'm expecting something that's inherently dangerous like wingsuit jumping or cave diving. I'm not expecting something that should only ever fail if I don't exercise due diligence. This difference in perceived meaning is being exploited by those spreading the message similar to when Coca-Cola got sued for a label that implied pomegranate juice when the bottle contained only 0.3 percent.

When device vendors lock end users out of their own devices and then aggressively spread such a message to justify doing so it qualifies as FUD or propaganda. A vested interest has disenfranchised people as part of a long term strategy to enrich themselves and is attempting to manipulate the public narrative regarding their actions.
by maksspace | 2025-06-21 11:25:54+00:00
i’ve worked on way too many projects, and one thing always drove me nuts:

staring at dashboards and still not knowing what the hell is actually broken. grafana, datadog, sentry — whatever. half the alerts mean nothing. the real bugs? you’d hear about them from support.

so i built something way simpler.

it watches logs, metrics, and errors in real-time and just says: - this is broken - here’s why - i fixed it (if it can)

no dashboards. no noise. just real answers or PRs when needed.

right now it: - detects real bugs in prod - finds out why - auto-fixes some stuff by opening a PR - only pings you when it actually matters

it already saved my ass a few times. it’s live and real teams are using it https://cloudgrip.ai
by latexr | 2025-06-21 11:26:39+00:00
> There is a simple way to stop watching ads: pay for premium. It's 100% effective and works right now.

It may be effective at not showing you ads on YouTube specifically, but then you’re helping Google build a more accurate profile on you (from your watch habits) to exploit further. Personally, I’m not comfortable with that because Google has proven time and again that it cannot be trusted.

I would pay for Nebula.tv if it had a few other specific creators.
by card_zero | 2025-06-21 11:29:04+00:00
If you tell somebody that they like pink bows because yadda yadda overconsumption capitalism socialism, that's a personal attack: you're co-opting their enjoyment and insisting they're involved with "the system". If you procede to tell them that you were criticizing "the system" and that they just don't understand that it's not a personal attack, that's another personal attack, because now you're calling them stupid. Trying to get agreement that these are objective observations is like saying "just agree that I'm right about you". Their only option to resist is to engage on the same "deep" level, at which point they've already lost and conceded that it's all about overconsumption capitalism socialism or at least some similar shit.
by marginalia_nu | 2025-06-21 11:29:42+00:00
I think the west has been sleeping on the series a bit. Infinite Wealth (although arguably a weaker entry) seems to be selling better, plausibly an effect Like A Dragon being a bit of a sleeper hit that managed to penetrate the western markets a bit.

Was probably strategically smart to reboot the series a bit with Kasuga. Makes it a bit more approachable.
by layer8 | 2025-06-21 11:30:00+00:00
This isn't true in my experience. They're just used to interfaces being inscrutable by default, so tap and swipe around until something works. And of course they learn how to operate an app like Instagram if they use it all the time. Even the most confusing UI can become muscle memory if you use it frequently. That doesn't mean that it suddenly is good UI.
by joshstrange | 2025-06-21 11:30:39+00:00
Let what sink in? Your completely unprovable/unproven conspiracy theory?

You are suggesting that Apple is actively tracking you in other apps (apps that aren’t allowed to track you themselves). I find that completely preposterous and a huge risk for Apple to take given their marketing.

> Because Apple blocks everybody else from spying on you but Apple themselves are still perfectly spying on you.

Extraordinary claims require extraordinary evidence. Specifically Apple spying on users and collecting info tied to their identities in 3rd party apps.
by qwery | 2025-06-21 11:30:56+00:00
Fair enough, thanks for replying. I don't see the task of specifying a grammar as straightforward as you do, perhaps. I guess I just didn't understand the chain of comments.

I find that clear-cut, rigid rules tend to be the least helpful ones in writing. Obviously this class of rule is also easy/easier to represent in software, so it also tends to be the source of false positives and frustration that lead me to disable such features altogether.
by sheepscreek | 2025-06-21 11:31:29+00:00
Back when I was in school (like junior/middle school), we would program in a DOS based IDE call QuickBasic, and eventually Turbo C++ (in higher grades/high school). That blue background is so nostalgic.

For quick editing, my go to is vim. It’s a real superpower to have if you’re confined to the terminal. However, in the modern post-AI/vibe coding days with super fast AI completions and agentic editing, I think GUIs are the way to go. They make the constant context switching more seamless. Whereas terminal editors work best for very focused zen coding. That’s just my opinion.
by sksjvsla | 2025-06-21 11:31:32+00:00
Without making it too political and speculating on things I don't know, I, like many other Europeans, have seen plenty of cases of Russia ruining infrastructure projects in Europe, everything from internet cables on the ocean bed, telcos, water supplies, railways and more. Authorities are asking civilians in Scandinavia to be prepare their hiused with. Good and water and are actively hardening security around critical infrastructure, including their software. I won't comment more on this because it's gonna derail this discussion.
by krapp | 2025-06-21 11:32:53+00:00
>And this is exactly why calling for "prison abolishment" is so counter-productive, because when most people hear that the assumption is that everyone who's in prison right now is free to go.

So what? You say "DEI" or "woke" and people assume you mean racism against white people. You say "toxic masculinity" or "feminism" and people assume you hate all men. "Pro choice" means you choose to murder babies. Transgender people are pedophiles and fetishists. Immigration is invasion. Atheists are incapable of morality. Opposition to Israeli Zionism is antisemitism. Any economic system besides free market capitalism is socialism, all socialism is communism and all communism leads to the death camps. Democracy is the worst system except for all of the others. By the way did you the Nazis were socialist, and BLM was a violent Marxist army that burned entire cities to the ground?

Most people (especially Americans) have been indoctrinated by society to be unable to interpret any radical or leftist concept in any but the most extreme bad faith way possible, so they don't have to take it seriously. Their minds are protected by a cloud of thought-terminating cliches. Despite this, one doesn't let the opposition control one's language or police one's tone, because that just leads to one's own argument being co-opted and undermined.

The position being described here begins with "abolish the prisons," it just doesn't end with that. But that isn't reform, and if one called it "reform" just to be civil, no one would even bother to listen. Even getting people to consider the nature of the systems they live within and benefit from enough to say "abolish the prisons? That's crazy talk" is getting them to examine their biases more deeply than they probably have in their entire lives.
by Dr4kn | 2025-06-21 11:32:55+00:00
DeepL is different in my opinion. They always focused on machine learning for languages.

They must have acquired fantastic data for their Models. Especially because of the business language and professional translations which they focus on.

They keep your intended message in tact and just refine it. Like a book post editing. Grammarly and other tools force you to sound like they think is best.

DeepL shows, in my opinion, how much more useful a model trained for specific uses is.
by jillesvangurp | 2025-06-21 11:33:11+00:00
> We rebuilt key AWS features ourselves

At what cost? People usually exclude the cost of DIY style hosting. Which usually is the most expensive part. Providing 24x7 support for the stuff that you've home grown alone is probably going to make large dent into any savings you got by not outsourcing that to amazon.

> $24,000 annual bill felt disproportionate

That's around 1-2 months of time for a decent devops freelancer. If you underpay your devs, about 1/3rd of an FTE per year. And you are not going to get 24x7 support with such a budget.

This still could make sense. But you aren't telling the full story here. And I bet it's a lot less glamorous when you factor in development time for this.

Don't get me wrong; I'm actually considering making a similar move but more for business reasons (some of our German customers really don't like US hosting companies) than for cost savings. But this will raise cost and hassle for us and I probably will need some re-enforcements on my team. As the CTO, my time is a very scarce commodity. So, the absolute worst use of my time would be doing this myself. My focus should be making our company and product better. Your techstack is fine. Been there done that. IMHO Terraform is overkill for small setups like this; fits solidly in the YAGNI category. But I like Ansible.
by sensanaty | 2025-06-21 11:33:30+00:00
I don't pretend I have some moral high ground, I just don't want to see ads, and if I can do that and still not pay, I will do that. I don't care if it's unobtrusive, I don't care if it's relevant or not, I don't care if it's for a service I love and would otherwise be happy to talk/hear about, advertisements are a cancer that should be eradicated and I will not pretend to care about the opinions of people whose livelihoods rides on selling me crap.

I'd rather not use Youtube entirely (aka be blocked off by Google) than ever be subjected to even a single microsecond of an ad. Ads are psychological manipulation and I refuse to subject myself to some slimy marketer's ad campaign. If I were made God Emperor of the Earth for the day, the one and only thing I'd do with that power is make sure these people rot away in a dark hole forever, that's how much I detest this whole "market" and the "people" involved in it.

Even paying for this stuff isn't a guarantee of anything. Their "Lite" tier has verbiage to the effect of "No* Ads (* Some will still be shown)". We've seen with cable television that the insidious cancer that is advertising creeps its way in as well, and cable was NOT cheap. Plus, it's known that for advertisers, people who actually shell out cash are even juicier targets, and you'd have to be a genuine imbecile to trust the likes of Google or Meta to not abuse you even harder, even if you pay for the service.

MAYBE I'd be willing to pay Google if I had a guarantee that no advertisement will EVER be shoved in anywhere in the future, and that I get a guarantee that they will punish those sponsored sections that creators put into their videos if I pay for it, and if I get a guarantee that they won't continue to profile me incessantly to shove ads at me everywhere other than YT. We all know that's not happening though, and I have absolutely 0 interest in lining their coffers with both my money and my data.
by Gehinnn | 2025-06-21 11:33:43+00:00
This would be the classical proof via strong induction, without Σ-types:

https://live.lean-lang.org/#codez=JYWwDg9gTgLgBAZRgEwHQBECGN...

Doing the proof inside the algorithm (i.e. doing inline induction over the algorithm recursion structure) has the advantage that the branching structure doesn't have to be duplicated as in an external proof like the one I did.

In my proof I didn't struggle so much with induction, but much more with basic Lean stuff, such as not getting lost in the amount of variables, dealing with r.fst/r.snd vs r=(fst, snd) and the confusing difference of .get? k and [k]?.
by abdullin | 2025-06-21 11:34:11+00:00
I think there are two different layers that get frequently mixed.

(1) LLMs as models - just the weights and an inference engine. These are just tools like hammers. There is a wide variety of models, starting from transparent and useless IBM Granite models, to open-weights Llama/Qwen to proprietary.

(2) AI products that are built on top of LLMs (agents, RAG, search, reasoning etc). This is how people decide to use LLMs.

How these products display results - with or without citations, with or without attribution - is determined by the product design.

It takes more effort to design a system that properly attributes all bits of information to the sources, but it is doable. As long as product teams are willing to invest that effort.
by ACCount36 | 2025-06-21 11:34:20+00:00
And I am getting sick and tired of the whine of "it's not real, alignment isn't real, it's all just PR!"

By the time we have AIs that are willing and capable of carrying out those very behaviors in real life scenarios, it would be a bit too late to stop and say "uh, we need to actually do something about that whole alignment thing".
by zurfer | 2025-06-21 11:34:36+00:00
I am surprised because it's such a simple task. Any human who is a bit diligent would be able to figure it out. They give both the original and the modified version.

However it feels a bit like counting letters. So maybe it can be solved with post training. We'll know in 3 to 6 months if it was easy for the labs to "fix" this.

In my daily use of LLMs I regularly have some overly optimistic answers because they fail to consider potentially absent or missing information (even harder because it's out of context).