MurphyA/hacker-news huggingface dataset:
by JohnMakin | 2025-07-10 12:33:11+00:00
I wrote a small terraform wrapper around helm provider that basically does what you’re saying. official kubernetes + tf support is poor, but it’s been working well for me. I rarely if ever have to touch the yaml templates that I maintain.

however, this is usually true with working with helm in general if you are using charts other people maintain. That’s one of the strengths of helm. you just shove your values into the chart and it should work. Maintaining charts is not fun though which is why I wrote the wrapper for my purposes.
by cosmic_cheese | 2025-07-10 12:33:15+00:00
This probably depends on the user. Someone leaning less technical might not catch on or care, but someone who’s even just technical enough to be able to get themselves in trouble probably will. The more technical one becomes, the more tuned into the details of their OS and the more likely it is for those details to become incorporated into their workflow. When those details change it’s then hard to miss.

So there’s some number of users who could probably just be switched over by PC vendors preinstalling Linux, but there’s other groups who’d benefit from something more truly Windows-like.

Aside from those groups, I think there’s a crowd that could be attracted by simply selling your distro as being like “Windows when it was still good, except this time you get to keep it forever”. I think there’s a decent number of people who’ve become fatigued with modern Windows but don’t care enough to switch who’d be pushed over the edge by a distro that’s a near perfect reproduction of XP, 7, etc. Nostalgia can be a powerful motivator.
by wanderingstan | 2025-07-10 12:34:51+00:00
“The Innovator's Dilemma” by Clayton M. Christensen described how big companies fail when against new startups because they can’t let go of their fat margins for a new technology that (at first) appears to be inferior, even a toy. (His examples are Japanese motorbikes and hard disks)

Seems the United States is now trapped in the same dilemma. It can’t let go of those fat oil profits to embrace the new —but rapidly improving— renewable tech, even if it’s clear that that’s where the market for energy is heading. I.E., the big company (or nation) must sabotage some of their current profit centers in order to remain long term competitive.

(Reposting a comment I made on nytimes article: https://www.nytimes.com/interactive/2025/06/30/climate/china... )
by lupusreal | 2025-07-10 12:35:06+00:00
Listing all the hurricanes that hit any part of Florida isn't useful for evaluating the real risk faced by a family with a home in Florida. Most hurricanes that hit Florida won't effect most of the homes in Florida. If you just look at the raw number of hurricanes you might think the average Floridian home can't last more than two years without being flattened, but that's not reality.
by elashri | 2025-07-10 12:35:06+00:00
That's great. As a long time kagi subscription (with free t-shirt because I forgot to order) I think this needs some polishing

Here are my suggestions

1- Add ability to have different languages. The feed should allow having one language or more and move between them or mix them

2- It is better if feeds with different languages keeps their our json file for contributing to be easier but build curated one automatically for them

3- This currently does not support RTL languages (or content languages in any of them)

4- It is good if the user can ban certain keywords because of the news fatigue about them. I might want the tech category but don't want to hear about LLM news

5- While the diversity of feeds is good in general. Sometimes you would want to block a certain website feed. Kite should support this in some sense.

I understand that this might be beyond the envisioned view if it as generic news app but I think it should be more personal.
by 082349872349872 | 2025-07-10 12:35:38+00:00
AIUI, up until Scott, λ-calculus had mathematicians saying "yes, it works in practice, but can it ever work in theory?": say we have a universe of discourse D, and we want, per λ-calculus, to have functions D->D (D->D->D, etc.) be part of this universe of discourse. If D is a windowless monad, with a single object, we're ok: there's only 1 arrow (1^1) from 1 object to 1 object, namely the identity, so we just go ahead and identify it with the object. However, as soon as we have two objects in D, we have a problem: there are 4 arrows (2^2) from 2 objects to 2 objects, so even if we attempt to identify objects and functions we don't have enough for all the functions, and the problem only gets worse (N^N) as we have N>2 objects.

Scott's contribution was to cut down the cardinality of the function space: by restricting it to continuous functions (ie only those functions that have finite approximations, which is to say they don't do anything strange "at infinity") one not only gets what most people would admit is a reasonable model of computation, but -calculus then works in theory, as D->D can now fit inside of D.

What I was trying to explore (and maybe the trouble with asking an LLM about this sort of thing is that they're unlikely to push back hard enough?) is the notion that even given an "angelic turing machine", one still couldn't compute in a way than an earthly turing machine couldn't simulate.

Does that make sense?
by vdupras | 2025-07-10 12:35:43+00:00
That is indeed a problem and an unsolvable one. All major news sources are in the business of manufacturing consent. They're not trying to manufacture the exact same consent, but mash them together... you get a general direction, not unlike the ones we see at cattle ranches.

But those news are still useful. There is still real information coming from it, and of better quality than all those alternative channels (which are in the business of, I guess we could call, "disrupting consent", but often with shadowy interests).

What I think one must do is to get good at separating the wheat (facts) from the chaff (analysis). The "chaff" part can be rejected completely, but I find it interesting to analyze it. This sometimes allows one to derive an intent behind the consent manufacturing process.

That being said, even though the information that it mashes together is flawed, I find that there's good value in this new Kite thing. Removing the attention stealing part of news, however flawed these are, is still a great service.
by somenameforme | 2025-07-10 12:35:43+00:00
51% attacks, on anything at a large scale, are generally more theoretic than practical. The amount of resources you'd need to invest to achieve that on any large currency are astronomical, and you'd need to just completely wreck everything engaging in widescale fraud (which would be a felony, carried out repeatedly and at scale - and likely fairly easy to tie back to you given the massive resource investment to get here in the first place) to try to recoup your losses.

The most probable outcome being a rapid fork and rollback as already with e.g. Ethereum over a relatively negligible amount of money relative to what you'd need to get a 51% on Bitcoin. You'd likely end up losing a massive amount of money, as well as look at possibly spending the rest of your life in prison. So the only real purpose in doing so is for attention or trolling, but the costs involved generally preclude this motivation.
by lupusreal | 2025-07-10 12:36:07+00:00
Better late than never, I hope they succeed.

I am somewhat concerned about false positives. For example I know of one channel that creates audiobooks of old books. I am about 95% certain he's a real person reading the books, he sometimes stutters, doesn't do the characteristic fumbling of homographs, his output is consistent with a human reader (a chapter a day), and I occasionally hear him turning pages. However he does use AI generated illustrations for each video, so it could be an easy false positive..

(It would be nice if he did LibreVox because he's got a great voice for audiobooks, but some of the books he reads are still in copyright, even though the authors are long dead...)
by mossTechnician | 2025-07-10 12:36:46+00:00
For additional context, it's difficult to separate press releases by Kagi from the views of its founder, who has been criticized[0] for partnering with Yandex after Russia invaded Ukraine, and for other statements involving politics and tech[1].

[0]: https://ioc.exchange/@troed/113311981054448887

[1]: https://chaos.social/@scy/111704636274463611
by Barrin92 | 2025-07-10 12:37:24+00:00
The person in question has a relatively rare medical condition, for most people dark mode reduces readability as a darker screen leads to more pupil dilation which causes halation. (which you can test out yourself if you stare at dark mode text and then look at a bright surface, you'll likely literally see a halo of the text).

This is worse in people with astigmatism, which is about 35-50% of the population. Dark mode defaults, as on that website, need to die. Most of the time they're used because people use their digital devices like goblins in a cave and don't light their rooms properly, or configure their brightness settings correctly.
by simondotau | 2025-07-10 12:37:25+00:00
It's certainly a problem if an LLM goes unhinged for no good reason. And it's hardly unique to Grok. I remember when Google Bard went absolutely unhinged after you chatted to it for more than a few minutes.

But in this instance you're explicitly ask for something. If it gives you what you asked for, what's the problem?
by fvgvkujdfbllo | 2025-07-10 12:38:26+00:00
Statistics.

I have been in situations where internally my mind was screaming that this is it and there is no escaping. I felt like giving up after a bad break up, getting stuck with bad investment, getting so sick that needed to hospitalized, getting fired, getting robbed, and perhaps many more times.

But stats are almost always in favor of things working out and that helps me keep going.
by tonglu | 2025-07-10 12:38:28+00:00
I’ve been working on a framework for a hypothetical utopian society powered by technology, covering governance, economy, sustainability, and more. The goal is to explore how we could leverage AI, automation, and decentralized systems to create an equitable, post-scarcity future.

I’d love your thoughts!

I’m an amateur futurist, so be gentle!
by debarshri | 2025-07-10 12:38:30+00:00
You have to see the `.env` file from the context of where it gets deployed.

For example, when we [1] deploy applications in Kubernetes, we have built an admission controller that fetches secrets from vault and converts them into env variables or secrets for the application at runtime. In this way, you will only have a reference in the form of annotation for the application.

If you give an `.env` as is, people will extract that value and start using it. You will end up leaking secrets.

Another way we have been exploring injecting secrets is via a sidecar for the application or via SDK but the lift seems to be a bit too much.

I think the deployment environment should be responsible for injecting the credentials for the best posture.

[1] https://adaptive.live
by lelanthran | 2025-07-10 12:39:02+00:00
> I see, what do you think would be best for me to do?

Not sure. One option that comes to mind is to put the AI usage behind a one-time-only popup that confirms (via a checkbox) that the user understand that by using the AI features, their information will necessarily have to be sent to a third-party AI processor.

If they decline those terms, then the AI button/boxes go back to being disabled. If they accept the terms and conditions for AI, then record that in their profile and don't display the terms and conditions for AI usage again.

So even though you are still leaking their data, at least it will be with their express permission.
by mwigdahl | 2025-07-10 12:39:27+00:00
Yes. Tried on Openrouter:

Please stop.

Look up.

I need your help.

Watch him jump.

It's time to sleep.

Try to keep.

Take one more step.

We love to shop.

Climb to the top.

Fill the cup.

Board the ship.

Don't move your lip.

Shake your hip.

Here's a good tip.

Use the whip.

Do a quick flip.

Hold on with grip.

Plan the trip.

Let it drop.

Start to chop.
by fingerlocks | 2025-07-10 12:39:32+00:00
> Then again, if you do work in the terminal, why do you navigate to the working directory via the UI Finder?

This right-click terminal complaint comes up all the time here and Reddit. Always thought it was so weird.

But then the other day I wasted an hour of my life digging through Microsoft Teams APIs trying to figure out if I could hack up a way to pipe a file directly to a chat and avoid using Finder.

And then it hit me: after I did the whole cumbersome drag-file-to-chat dance, I wanted to get the terminal path back to the file. and it would be really handy if that was a one or two click thing.

So yeah I guess if you’re forced to use some bullshit software like Teams, that feature makes sense.
by rerdavies | 2025-07-10 12:40:17+00:00
You need to read the GPL licenses more carefully. Your code gets infected by GPL when you link. The principle difference between GPL 2 and GPL 3 being that the definition of "link" is much more expansive GPL 3. So separately downloaded packages don't really cut it unless the packages in question are LGPL-licensd (GPL with a link exception).

GPL 2.0 and GPL 3.0 (to a much more significant extent) disallow use of plugins. Or well, the do allow plugins, but at the cost of infecting the entirety of your own codebase with GPL 3.0 obligations.

And that's my principle objection to GPL. Linking to GPL code infects my code, requiring me to also license my code via a GPL license.

Permissive license stand a better chance of getting funding because they allow commercial users to use your software, and commercial users are more likely to give sustaining grants to projects they depend on than mere-ordinary users.
by otikik | 2025-07-10 12:40:57+00:00
Thank you. To me after reading the parent comment the numbers option was so evidently better that I didn't even consider that someone like you could exist. My conception of humanity has been slightly enlarged.

If I may ask: Do you also find numbers more difficult to parse when doing math pure math operations? Is this:

Two hundred thirty five plus one thousand eight hundred twenty two

Also easier for you to parse than this?

235 + 1822

Or do you have two "parsing modes" ("text" and "math"), and going from one to the other is the difficult part?
by cbeach | 2025-07-10 12:41:00+00:00
Elon's pay package was very unusual. He would be paid a salary of zero. He would only receive compensation if he drove his company to ridiculously high growth, and only if he sustained that over a number of years. This package was agreed by shareholders (all of which have been massively enriched by Tesla). Few believed Elon could hit these targets.

Elon surprised everyone when he achieved ALL the ridiculously high targets.

Even more surprisingly, and somewhat disturbingly, a judge then decided to nullify his shareholder-agreed package, such that he would receive ZERO compensation for growing a penny stock startup into the world's most valuable automaker.

Obviously, Tesla disputed this ruling, and held another shareholder vote on Elon's original package. The shareholders once again voted for Elon to be given what he was promised by the company.

The judge again disregarded the opinions of the shareholders.

This happened in Biden's home state.

It's no wonder that Tesla reincorporated elsewhere, is it?
by arp242 | 2025-07-10 12:41:03+00:00
I agree there are some kids and parents who are just unreasonably and/or obnoxious loud in unreasonable moments; I don't think anyone really denies this. I've seen kids race on scooters in supermarkets while the parents were right there. Ugh.

But at least some of these complains have been about really quite reasonable and limited noise levels. For example at my last apartment some kids played out in the courtyard during summer. It really wasn't that often or all that loud. There were a few people who complained as if the kids were out of control, but that wasn't the case at all.
by wonderwonder | 2025-07-10 12:41:07+00:00
There is not a single place on the internet that comes close to providing up to the minute news and updates. X was the only place one could monitor the Israel / Iran conflict in almost real time. Same for a variety of other events. There is nothing else like it. Its the only place where anyone can have interactions with politicians, scientists, CEOs, etc.

It is the only place that covers and provides a wide variety of information that traditional media does not. Almost no media companies reported that a dozen domestic terrorists ambushed ICE officers and shot one in the neck this past week. As far as I know, none reported on the Minnesota Department of Human Services requiring that hiring managers must provide a hiring justification to hire a white man. Violation of that policy results in termination. So state sponsored racism in the state of the governor that would have been our VP.

Its the only place you can get a picture of what's going on. There is of course mountains of lies you have to filter through, no doubt spurred on by the monetization of X for posters.

For all its faults and madness (Grok going full mecha-hitler was wild) there is no where else like it. Side note, the day after mecha-hitler xAi released Grok4 which appears to be the most powerful model to date on some tests, beating o3, Gemini 2.5 Pro and Anthropic Claude 4 Opus.

There is a non zero chance that xAi, which is part of the same company that holds X wins the AI race
by soulofmischief | 2025-07-10 12:41:16+00:00
I also had to just go to the paper. It was really difficult trying to get through the article. Needlessly hyped language like "proving lies" and hyperfixations on things like leaking boats... felt like the author was either out of their element or inexperienced with math comms. However, the article still provides a bit of context that the paper doesn't.

That said, this is honestly just a bad article that is needlessly sensationalized and fails to impart any real knowledge.
by tensility | 2025-07-10 12:42:06+00:00
Currently, there are over 7500 casks available in Homebrew. A significant part of the value of a GUI such as this to me is as a means of discovery via browsing, and this tool fails at that by not providing a means of browsing the entire catalog, even if that catalog is currently subsetted to cask only.

I'd like to see an "All Casks" category that allows all apps to be browsed rather than just the curated casks appearing in the existing category panes. Presuming that all formulae eventually get supported, then an "All Bottles" category would also make sense.
by saubeidl | 2025-07-10 12:42:07+00:00
The announcement talks a big talk of trying to avoid echo-chambers, but the sources it quotes seem to be exclusively on the center-right (i.e. liberal) to far-right spectrum.

Not a single left wing source as far as I can see. Everything contained within the pro-capitalist echochamber.

No Jacobin, No Novara Media, No WSWS.

Just another way of rearranging the same pro-market propaganda.

As a paying Kagi subscriber, it's deeply disappointing to see this.
by geokon | 2025-07-10 12:42:40+00:00
Yeah, I guess partition to me always looks like a dangerous tool - for instance I have a sequence of numbers and I want to do a 5 point rolling average

You could do `(partition 5 1 coll)` and then average each element in the resulting seq.. It's very easy to reason about. But I'm guessing the performance will be abysmal? You're getting a lazy list and each time you access a 5 neighbor set.. you're rerunning down you coll building the 5 unit subsets? Maybe if you start with an Array type it'll be okay, but you're always coercing to seq and to me it's hard

Taking the first 5 elements, recurring on a list with the top element dropped is probably better, but I find the code hard to read. Maybe it's a familiarity issue..
by freeopinion | 2025-07-10 12:43:17+00:00
Energy independence and HSR are indeed poor metaphors for each other.

In the U.S. one can travel coast-to-coast faster and cheaper in a car than they can by rail. Then, of course, there is air travel. That is to say, there are alternatives.

A country completely dependent on foreign solar panels could develop non-solar alternatives. Or they could just surrender. So of course they also have alternatives. But this is existential whereas HSR is not. So, yes, it's a pretty poor comparison.
by wonderwonder | 2025-07-10 12:43:31+00:00
If SpaceX is able to eventually deliver starship and take people to Mars, Musk will quickly become a multi trillionaire. The riches of space are out there for anyone with the technology and will to take it, we have plenty of people with the will but only one company that is getting closer on the tech front. There is quadrillions in wealth on other worlds and asteroids (obviously bringing a trillion of gold to earth severely reduces the price of gold, I mean economic opportunities).
by mmsc | 2025-07-10 12:44:09+00:00
Indeed, it's not a secret and it's not just extensions and VPNs, but everything you could imagine. Lots of applications that advertise themselves as "ways to make money for your unused internet bandwidth" are available which do this -- openly.

This type of software is bundled into system executables as well - just like the "free antivirus and browser toolbars" of yesterday, these are the new bundled software.

If a company has an "internal network" (lol) that consists of security that can be described as Swiss cheese, then this stuff is a massive gap there.
by halfcat | 2025-07-10 12:44:41+00:00
I don’t know about varlock, but 1Password’s `op` CLI tool seems to hook the STDOUT pipe and find/replace any instances of the secrets with “concealed by 1Password”. It works even if I drop into a REPL and try every way I can think of to print it out to the console.

So it would seem, on that front, that 1Password is doing the heavy lifting.

Using 1Password in this way has proven way better than storing .env files in plain text on dev machines, where the .env files get picked up if a company does backups, or someone stores a repo in their Dropbox folder, file gets flagged as potential malware and uploaded somewhere for further analysis, etc.
by simondotau | 2025-07-10 12:44:59+00:00
My question, perhaps asked in too oblique of a fashion, was why the other LLMs — surely trained on the answers to Connections puzzles too — didn't do as well on this benchmark. Did the data harvesting vacuums at Google and OpenAI really manage to exclude every reference to Connections solutions posted across the internet?

LLM weights are, in a very real sense, lossy compression of the training data. If Grok is scoring better, it speaks to the fidelity of their lossy compression as compared to others.
by rerdavies | 2025-07-10 12:45:00+00:00
There are all kinds of nighmarishly horrible ways to sell GPL software. e.g. inscrutable build procedures, undocumented build dependencies, crippleware, indispensable non-open-source tools). A significant part of the reason why I avoid GPL software like the plague is all of the horrible schemes owners of GPL software have come up with in order to monetize their supposedly "free" software.
Show HN: A custom built UI for STEM explanations
by roninthesky | 2025-07-10 12:45:47+00:00
Multiple modes of explanations for any STEM topic in a single view that helps with learning a concept thoroughly. Gives ELI5, diagrams, examples, real world usages, more references. Allows to dig deeper into any concept, right click on any section and keep expanding your explanations.

You can try the sample questions without any login. Free for use.