MurphyA/hacker-news huggingface dataset:
by AngryData | 2025-06-20 22:36:30+00:00
Of course the science has to be done and is useful, but there is still a huge leap between doing it on earth and doing it in an entirely different body and harsher enviroment, and we haven't done it on earth despite many attempts.

Its not like its just some small details that need some fine tuning or funding to achieve and just around the corner. The scale of building just an empty multi-acre structure off earth to start would by itself dwarf all our previous space projects combined.
by timr | 2025-06-20 22:36:51+00:00
> Some company using it as an excuse to add a junk fee is anecdotal but hardly conclusive. It’s about as much evidence as a hotel saying they didn’t bring me new towels because they care about the environment.

Got it. I show you an example of exactly what you ask for, from one of the most common delivery services in NYC, and you dismiss it as a "junk fee".

Confirmation bias is a hell of a drug.
by lazide | 2025-06-20 22:36:56+00:00
-40ish for a month. And -30 around that.

None of the ‘answers’ address the range issues with batteries in the cold. Or how you can be totally fucked if your pack drops below a certain temp, and you don’t have enough charge to heat the pack and get home.

Probably even more fucked than if your diesel tank gelled. At least you can heat it up directly if you really need to.
by opticfluorine | 2025-06-20 22:37:16+00:00
Wasn't suggesting at all that you use my distro or that you can't use X11 as your solution. Debian is great and I use it for all of my servers. I'm just responding to the assertion that Wayland doesn't work with NVIDIA today, which is really only true if you are using older packages for a more stable distro. Nothing wrong with that, but it's not accurate to represent the current state of Wayland based on a distro known for using older packages.
by mattigames | 2025-06-20 22:37:26+00:00
If you are using an ad-blocker by definition you are intentionally breaking the intended behavior by the creator of any given website (for personal gain), in that context any discussion about robots.txt or any other behavior that the creator expects is a moot point.

Autoconfig of reader mode and so on its so uncommon that is not even in the radar of most websites, if it was browser developers probably would try to create a solution that satisfies both parties, like putting the ads at the end and required to be text-only and other guidelines, but its not popular, same thing happens with terminal-based browsers, a lot of the most visited websites in the world don't even work without JS enabled.

On the other hand, this AI stuff seems to envision a larger userbase so it could become a concern and therefore the role of robots.txt or other anti-bot features could have some practical connotations.
by JumpCrisscross | 2025-06-20 22:37:27+00:00
> Continued global warming would eventually render New Delhi uninhabitable

This is hyperbolic. It will make it more expensive. But not uninhabitable.

You know what would render sections of it literally uninhabitable? A Union Carbide incident [1].

[1] https://en.m.wikipedia.org/wiki/Bhopal_disaster
by AlienRobot | 2025-06-20 22:37:56+00:00
>Vibe coding is more fun than reading documentation. Shit, vibe-coding can be more fun than ordinary coding.

In my experience the big problem is that the documentation is always terrible, you can't ask open-ended questions on stack overflow, the library's reddit (if any) has zero users, and anything asked on their discord is not searchable.

It's incredible that we still don't have a stack overflow that is just a forum.
by mlochbaum | 2025-06-20 22:38:09+00:00
To be clear, you are referring to the preface to "An Introduction to Array Programming in Klong", right? Having just checked it, I find this to be a very strange angle of attack, because that section is almost exclusively about why the syntax in particular is important. Obviously you disagree (I also think the syntax is overblown, and wish more writing focused on APL's semantic advantages over other array-oriented languages). I think this is a simple difference in taste and there's no need to reach so far for another explanation.
by kazinator | 2025-06-20 22:39:05+00:00
Folding editors can help. Maybe also if there were a thumbnail of the file in a sidebar, with a rectangle representing the current viewport, that could help reduce the anxiety, by giving you an estimate of how much more is there off-screen.

Beyond that, it's part of the course. Nowadays you will not get to work on a production anything that all fits on your screen. Individual files might, but they are part of a whole that doesn't.

Self-contained programs that fit on the screen are able to do that because they reference a language, and that language is not on your screen. You learned the language and so you don't have to take your eyes off the program to look up the documentation or source code.
by mos_basik | 2025-06-20 22:39:09+00:00
1h later, self-comment bc too late to edit.

Realized I mentioned mirroring on one axis, but not on the other (perhaps more relevant) one - i.e., I also don't know how many trans women there are in women-dominated spaces, and therefore can't really have an informed opinion about whether trans women (or trans people in general) are more likely to prefer spaces dominated by the gender they left or the one they went to.

Obviously, still thinking about this.
by Quarrelsome | 2025-06-20 22:39:20+00:00
my favourite game of all time. However without the "plot" and the voice acting I wouldn't rate it anywhere near as highly.

The "meat" of the plot was the audio snippets that would pop up whenever you researched a tech, built a facility for the first time or finished a secret project. Most of them were quite fascinating and had a haunting beauty to them [0]. The way that Chairman Yang half-laughs when discussing the genejack, how adament Morgan is about the right of present generations exploiting fossil fuels, Lal's horror at the outcomes of Mind/Machine interface.

This game was the first time I had encountered the art of telling stories through crumbs, instead of one fixed and full narrative like most stories.

I agree with the article in that the mechanics of the game weren't ideal. Personally as someone that LOVES 4x and has spent _way_ too much time playing them, I think the format is fundamentally flawed and cannot be saved (e.g. expanding is too overpowered, games become too dull to close out - given the win was effectively gained hundreds of turns ago, AI being too costly to implement and difficult to balance). IMHO the best 4x game that will come out at some point in the future won't actually follow the 4x format.

[0] https://www.youtube.com/watch?v=Hou-Iwv1GvM&list=PL3DDD41A3E...

Particularly good ones:

1-22 fac : 9:13 - Chairman Yang - Genejacks.

23-38 fac : 3:22 - Project PYRRHO

0-24 techs : 1:16 - Nwabudike Morgan - The Ethics of Greed.

0-24 techs : 8:06 - Sister Miram - We must dissent

25-49 techs: 2:17 - Chairman Yang - Looking god in the eye

25-49 techs : 4:26 - Prokhor Zakharov - For I have tasted the fruit

25-49 techs : 6:03 - Commissioner Lal - Mind Machine Interface
by akshayka | 2025-06-20 22:39:31+00:00
marimo still allows you to run cells one at a time (and has many built-in UI elements for very rapid experimentation). But the distinction is that in marimo, running a cell runs the subtree rooted at it (or if you have enabled lazy execution, marks its descendants as stale), keeping code and outputs consistent while also facilitating very rapid experimentation. The subtree is determined by statically parsing code into a dependency graph on cells.
by JumpCrisscross | 2025-06-20 22:39:56+00:00
> governments don't do the things that prevent it (e.g. allowing higher density housing construction to shorten commutes or adding capacity to both mass transit and road systems), until the congestion gets really bad

This is Manhattan. We tax the living shit out of parking, are actively converting driving space to bike lanes, and have multiple efforts to reduce or potentially even eliminate street-side parking in the congestion zone.
by JumpCrisscross | 2025-06-20 22:40:36+00:00
> If they really wanted to stop congestion they'd increase the fee from £15 to something like £150-250 a day. But they won't do that because then hardly anyone would pay it and they'd lose the revenue

This is nobody-goes-there-it’s-too-crowded logic.

If there is congestion despite a charge, you can make more money by raising the price until there is less congestion.
by reaperducer | 2025-06-20 22:41:29+00:00
People used to get info from each other or from a select few broadcast/paper news sources, the latter owned by powerful people of course.

Except, back then the newspaper and TV stations and radio stations would fact-check one another. If one of them was lying, the others would call them out on it.

That cost the people in power readers/viewers, and eventually money, so there was an incentive to tell the truth and develop a good reputation.

Tech doesn't care about reputation because it "doesn't scale" or is "long tail" or some other excuse for laziness.
by deepdarkforest | 2025-06-20 22:41:41+00:00
remember, gaps in the market sometimes exist for a reason. Forget AI. How many open source, community driven and privacy first browsers have made serious money?

Brave is a decent example but their business model is actually complicated, it includes a lot of little stuff. And they dont have the unit cost of LLMs (im assuming at some point you will take the burden of the llms, if not local)
by Spivak | 2025-06-20 22:41:47+00:00
I'm confused by your question, lists don't enforce uniqueness—you can do ["a", "a"] and it's perfectly valid. Sets and the key values of hash maps can't have repeating elements. You can for_each over lists that come from a data block so you can't statically know if a list is effectively a set.

If you don't want .0, .1 then you agree with Terraform's design because that's the only way you could for_each over an arbitrary list that might contain duplicate values. Terraform making you turn your lists into sets gets you what you want.
by Teever | 2025-06-20 22:42:36+00:00
I would imagine that those sites use GA because it's the best tool for their needs. It's probably the best tool for their needs because it is both a very well developed tool with superior integration with other parts of their platforms and has a large developer base that is familiar with it. These advantages come from Google's monopolistic practices and the money and resources that it provides them.

I can certainly imagine such a thing but I'm not sure it's particularly relevant to the situation as IKEA has as far as I'm aware never been ruled to be a monopoly while Google has.[0]

Ultimately my position on this subject comes down to this: Google does things that are hostile to me. They do things that are hostile to you. They do things that are hostile to society writ large. They break the law and violate the social contract. My morals necessitate responding to such an entity with disregard for whatever they're legally entitled to.

I don't like the way that I'm surveilled by Google and I don't like the way that they abuse their monopoly position and lobby the government to make it impossible for me to evade that surveillance.

To bring the conversation back to where it started: I already pay them with my privacy, I pay for the economic harm their monopolistic practices have on society, and I pay for the corrosive effects their lobbying has on the political structure.

I'm not going to be paying them for an ad free Youtube experience.

[0] https://www.cnn.com/2024/08/05/business/google-loses-antitru...
by lolinder | 2025-06-20 22:42:55+00:00
> If your browser behaves, it's not going to be excluded in robots.txt.

No, it's common practice to allow Googlebot and deny all other crawlers by default [0].

This is within their rights when it comes to true scrapers, but it's part of why I'm very uncomfortable with the idea of applying robots.txt to what are clearly user agents. It sets a precedent where it's not inconceivable that we have websites curating allowlists of user agents like they already do for scrapers, which would be very bad for the web.

[0] As just one example: https://www.404media.co/google-is-the-only-search-engine-tha...
by grafmax | 2025-06-20 22:43:06+00:00
The politifact page isn’t a news source. It presents a straightforward argument. It deconstructs the most substantial evidence I could find that the Gazan population is growing amid the genocide and quote population measures - basically some outdated population projection. The argument there is admittedly quite paltry, but so is your claim. Do you actually have any substantial arguments or evidence or do you plan to just impugn the source rather than its reasoning?

As for the notion that a reporter mangled the claim about 50 beheaded babies - that just isn’t true. People from IDF spokespeople to Biden have propagated this lie.

Children are dying of famine in Gaza. Photos, reports, statistics all corroborate this story. Israeli forces have destroyed the agriculture and are starving the helpless population. They have cut off aid. They shoot many of the people who come to the remaining four “aid” stations they operate. A fraction of the deaths that have occurred after October 7 are Israeli. Countless innocent Gazas have been murdered, toddlers sniped, families bombed, drones have played the recordings of crying babies to lure victims out of hiding. Groups in Israel have rioted for the right of Israeli soldiers to rape Palestinians. The atrocities committed against an almost completely defenseless population are horrifying. Now the population is utterly defenseless and the murdering does not cease; the goal seems to be total starvation now.

People turn to condemning the genocide after becoming appalled by the facts not out of anti-semitism. Condemning genocide isn’t anti-Semitic if it happens to be Jews doing it. Numerous Jews condemn the genocide including many holocaust survivors. Genocide is a crime against humanity. All people should unite in condemning it.
by akshayka | 2025-06-20 22:43:58+00:00
Thanks for the kind words. Many of our users have switched entirely from Jupyter to marimo for experimentation (including the scientists at Stanford's SLAC alongside whom marimo was originally designed).

I have spent a lot of time in Jupyter notebooks for experimentation and research in a past life, and marimo's reactivity, built-in affordances for working with data (table viewer, database connections, and other interactive elements), lazy execution, and persistent caching make me far more productive when working with data, regardless of whether I am making an app-like thing.

But as the original developer of marimo I am obviously biased :) Thanks for using marimo!
by pfdietz | 2025-06-20 22:43:58+00:00
Sufficiently high CO2 levels, such as existed at the end of the Permian period, can raise temperatures above that which would be survivable. Sure, people could huddle in air conditioned survival pods. This doesn't seem to be a sufficient rebuttal of the claim.

If you think an analogy with the P/T extinction is invalid, note that CO2 levels are rising now much faster than they did over that event.
Show HN: Prpolish, a CLI that uses AI to write and review your GitHub PRs
by yashg4509 | 2025-06-20 22:44:14+00:00
After getting slammed with 15 comments on my first pull request during an internship, I realized how frustrating it is to write good PRs — especially after hours of debugging and fixing code.

So I built prpolish, a simple CLI tool that helps developers:

- Autogenerate PR titles & descriptions using AI (OpenAI GPT)

- Run "vibe checks" to catch vague commits, missing tests, or low-quality messages before review

- Optionally push your branch and open the PR with GitHub CLI

It supports your own PR templates and is fully open-source. I made it for myself but realized other devs might find it useful too.

Would love feedback or suggestions!

GitHub: https://github.com/yashg4509/prpolish PyPI: https://pypi.org/project/prpolish/ Install: pip install prpolish

Thanks!
by teo_zero | 2025-06-20 22:45:05+00:00
What I miss is a compiler referencing the original lines in the lit file, instead of the tangled one. For example, if line 100 of my lit file is the piece of code that will eventually be line 1 of main.c, and it includes an error, how do I make gcc's error message reference to line 100 of the lit file and not to line 1 of main.c?
by moralestapia | 2025-06-20 22:45:29+00:00
If I had to choose I would choose CUDA. I recently got myself into JAX, I think it has a fair chance of being the dominant framework in 5-10 years; but also, a native version of CUDA is coming to Python so ... idk.

deal.ii has a bunch of tutorials worth gold [1].

I learned by following them and that's why I ended up using deal.ii for almost everything. If you know C well, moving to C++ won't be quite difficult. deal.ii uses a lot of templates, that would prob. be the most unusual thing to you, coming from C, but you'll get used to the syntax.

Pay special care to the heat equation [2], tutorial #26. Diffusion is modeled by a trivially modified version of it; heat uses a constant diffusion coefficient, in molecular diffusion this can vary.

Roughly speaking, about 50% of what you'll model will be derived from effects related to diffusion, another 40% will have to do with "tangible" mechanical effects (think of pressure, structure, tension), the remaining 10% has to do with parametrizing the model properly for the Biology and Chemistry involved.

Although, 90/90 rules applies and you'll end up spending a lot of time on this "last" parametrization. A lot of these constants are unknown, you'll have to guesstimate them based on whatever plausible theory you can come up with. But this is not a bad thing, recall that we are doing simulations in silico, so, you could (and should) try all ranges of parameters and study the results. You might find something that makes a lot of sense and then you can work backwards and make a prediction on the operative range of these unknown parameters.

I did that with my plant model, there was a hormone transporter for which the rate of transport had not been determined. So, I tried a wide range of values and measured the viability of the phenotypes over it; it very clearly showed that only a narrow window of values allowed it, on a very specific time during plant development, derived from the geometrical configuration of that specific spot at that moment. We then devised an experiment for that, measured it, and it was bullseye over what I predicted. See [3].

That would have made for a killer paper if I had been rigorous enough to publish it, but I got my M.Sc. out of it and kind of forgot about it. Don't do that, publish everything you find!

1: https://dealii.org/current/doxygen/deal.II/Tutorial.html

2: https://en.wikipedia.org/wiki/Heat_equation

3: https://moralestapia.com/img/Fig.19.png

3 Footnote: PIN1,4,7 are hormone transporters in Arabidopsis thaliana (a model plant). A specific balance of transporter activity is required to recover phenotype. In the plot, the darker the region, the most likely it is to reproduce the phenotype. The red dot is the optimal value, but anything in the black area is also really good, which is what we measured and found to be within it.
by enjeyw | 2025-06-20 22:45:42+00:00
It feels to me that even ignoring copyright law, Kastel has a limited claim to the credit here.

Art director Alex Gotfryd came up with the concept of the Shark and the Swimmer, while Paul Bacon did the original drawing.

At this point what’s to distinguish Kastel’s painting of a shark and a swimmer from anyone else making a painting of a shark and a swimmer?
by BeetleB | 2025-06-20 22:45:43+00:00
ESPP programs are great, and I encourage everyone to participate. But do keep in mind that the IRS limits how much you can gain from them. My company allows you to put 15% of your paycheck into them, and almost everyone I know hits the limit. Which means the company is withholding 15% of your pay, but only using about 7-10% in purchasing the stocks. They simply refund the rest at the end of the cycle.
by banq | 2025-06-20 22:46:30+00:00
Why did Google give birth to the Transformer? Because Google created an ecosystem where everything could flourish, while the old man in Switzerland lacked such an environment—what could even the smartest and greatest individual do against that?

As an organization, fostering an organically growing context is like governing a great nation with delicate care. A bottom-up (organic growth) environment is the core context for sustained innovation and development!
by AlienRobot | 2025-06-20 22:46:37+00:00
Unrelated to the paper, which is about asking LLM's to figure out which parts of a document were removed, but my assumption has been that to an LLM there is nothing "missing" in the sense that any input leads to valid computation and output.

For example, I asked ChatGPT to explain something I typed randomly

>It looks like you've entered “dosfi8q3anfdfiqr”, which appears to be a random string or perhaps a typo—it's not a recognized acronym, code, or term in any common context I’m aware of. Could you share a bit more about where you found this?

Although the answer is correct, my point is that anything you give to the LLM is going to be put under some bucket. The LLM can't say "I don't know what that is." Instead it says "that is a random string." As far as the LLM is concerned, it knows every possible input and concept that anyone could ever type into it, it's just that its "understanding" of what that means (after the tokens have gone through the neural network) doesn't necessarily match what any human being thinks it means.
by scottydelta | 2025-06-20 22:46:39+00:00
Hey I have a pretty similar setup. Bitwarden/vaultwarden hosted behind wireguard and openvpn, 2 vpns to provide redendency.

It works very nicely for me. Although not having split tunnel was an issue for me on the wireguard Mac OS client but I hacked that by writing a custom client with a mix of bash script and xbar mac app.
by ndriscoll | 2025-06-20 22:47:08+00:00
Pens have a purpose other than surveillance, and aren't as capable as machines. A better analogy would be Bluetooth trackers and cameras with machine vision to identify and watch people's movements and eye gaze as they move around the store. And yes, that is creepy and the manufacturers should be criticized for creating it.

Also, client side scripts do not run on the website's property. They are taking advantage of the wide-open security model of web clients (the model they coincidentally get to define because they dump massive amounts of money into giving away a free browser, making competition in the space nearly impossible) to use people's computers for unauthorized purposes. It's a malware payload just like a crypto miner. They should be treated the same way (or more severely) that they would be if they published miners and told web developers to add them to get free money (taking their own cut of course). The operator and the tool creator should both be blamed for shady behavior when the tool is designed and advertised for shady purposes.
by mbreese | 2025-06-20 22:47:26+00:00
> … paint Linux as hard to use. Any major distro is a lot easier to set up than it was 15 years ago.

See, I don’t necessarily think Linux is hard to use. Most desktop environments are so similar in style to Windows and Mac that they are pretty intuitive.

To me, setup is often the hardest part. It can be easy with some hardware. But if you aren’t lucky, getting a system running can be tricky.

This is one area where having someone who can make decisions is really helpful. Apple can make sure their software works with their exact hardware specs. Microsoft has various compatibility guidelines and enough market share to make sure they are always supported. Linux is fragmented and hardware support lags because of this.

Then you have smaller hardware vendors who support one obscure distro, but if that’s not what you want to run good luck. I spent last week trying to get Debian running on a Pine 64 laptop and still don’t have working sound.