MurphyA/hacker-news huggingface dataset:
by oldandboring | 2025-05-29 14:42:33+00:00
Interesting. I've been using Gitlens for years without issue. Today I tried the built-in blame decorations and I found they were so responsive and fast that they were distracting. With Gitlens there's a delay before the decoration appears on a line, so if you're moving your cursor quickly around between lines you don't actually get a blame decoration until you've rested there for a few seconds; with the built-in functionality it pops right up as soon as the line focuses so if you go from line to line, there's a lot of activity in your field of view which makes it harder for me to concentrate on the code.

As an adjustment, for now, I'm sticking with the built-in functionality but enabling only the status bar display, whose template I modified to include the commit message and date.
by tel | 2025-05-29 14:42:41+00:00
Quantifying over T is probably not going to work. In informal terms that reads like "No logic exists where P is independent", which probably wasn't quite what you wanted, but also we can trivially disprove that with T = {}. As long as P is self-consistent, then "not P" should be too.

We're interested in a proposition's status with respect to some theory that we enjoy (i.e. Zermelo–Fraenkel set theory).
by seeknotfind | 2025-05-29 14:43:18+00:00
> The True Believers hypothesis rings false because that would be a frankly ridiculous belief to hold. Sometimes people profess ridiculous things, but very few of them put their money where their mouth is on prediction markets.

It sounds like the author is saying the belief is ridiculous in general. However, if Jesus returns, then the believers would ascend to heaven. So, they would not be able to cash out.

What if polymarket put in the money to drive people to vote on the no side? It could be quite a marketing stunt.
by amiga386 | 2025-05-29 14:43:45+00:00
> These CAN be altered by an employment contract:

They CANNOT in a regular employment contract UNLESS it can be justified that the job specifically needs it. Even when employer is justified, the rest entitlement still exists and must be compensated for, and the employer requires appropriate justification if they cannot give that compensatory rest. And if they put themselves in this situation (where employees go beyond normal working time limits), they need to keep good records of time they did make their employees work, so they can confirm they haven't broken the law to the HSE when it comes knocking.
by acquisitionsilk | 2025-05-29 14:44:13+00:00
I wonder if it's merely some language or cultural difference, and I don't mean it as a snipe at all, but may I just say - software products have "features", human beings have traits! Maybe it's a confusion based on the fact that human beings as well as traits also do have "features", but that refers to things like having tiny ears.

Having a very strong liking for sitting reading books for long periods is a lovely trait, but it certainly is not a feature (I would say!).
Show HN: I wrote a modern Command Line Handbook
by petr25102018 | 2025-05-29 14:44:33+00:00
TLDR: I wrote a handbook for the Linux command line. 120 pages in PDF. Updated for 2025. Pay what you want.

A few years back I wrote an ebook about the Linux command line. Instead of focusing on a specific shell, paraphrasing manual pages, or providing long repetitive explanations, the idea was to create a modern guide that would help readers to understand the command line in the practical sense, cover the most common things people use the command line for, and do so without wasting the readers' time.

The book contains material on terminals, shells (compatible with both Bash and Zsh), configuration, command line programs for typical use cases, shell scripting, and many tips and tricks to make working on the command line more convenient. I still consider it "an introduction" and it is not necessarily a book for the HN crowd that lives in the terminal, but I believe that the book will easily cover 80 % of the things most people want or need to do in the terminal.

I made a couple of updates to the book over the years and just finished a significant one for 2025. The book is not perfect. I still see a lot of room for improvement, but I think it is good enough and I truly want to share it with everyone. Hence, pay what you want.

EXAMPLE PAGES: https://drive.google.com/file/d/1PkUcLv83Ib6nKYF88n3OBqeeVff...

https://commandline.stribny.name/
by wslh | 2025-05-29 14:44:48+00:00
I've done this several times when benchmarking lesser-known companies, and manual compilation using a search engine consistently outperformed LLMs even when those companies are part of the model's training data.

My intuition (could be completely wrong) is that lesser-known companies have much less density around them that popular brands, except if you are very specific. It would be great if this could be tweaked somehow.
by palmotea | 2025-05-29 14:44:58+00:00
> Facts are still different than opinions, that statute doesn't give him unchecked power to declare any crazy idea as fact.

I don't know about the president, but IIRC, juries have a quite wide latitude decide what facts they find ("In Anglo-American–based legal systems, a finding of fact made by the jury is not appealable unless clearly wrong to any reasonable person", https://en.wikipedia.org/wiki/Trier_of_fact).

Saying "whenever the President shall find as a fact" seems like it's giving the president the authority to determine what the "facts" are, and not putting any conditions on how he does that or subjecting them to second-guessing.
by toss1 | 2025-05-29 14:45:37+00:00
When you are learning a high-performance activity like a sport or musical instrument, the good coaches always get you to focus on only one or at most two things at any time.

The key value of a coach is their ability to assess your skills and the current goals to select what aspect you most need to focus on at that time.

Of course, there can be sequences, like "focus on accurately tossing to a higher point while you serve, then your footwork in the volley", but those really are just one thing at a time.

(edit, add) Yes, all the other aspects of play are going on in the background of your mind, but you are not working actively on changing them.

One of the most insightful observations one of my coaches made on my path to World-Cup level alpine ski racing was:

"We're training your instincts.".

What he meant by that was we were doing drills and focus to change the default — unthinking — mind-body response to an input. so, when X happened, instead of doing the untrained response then having to think about how to do it better (next time because it's already too late), the mind-body's "instinctive" or instant response is the trained motion. And of course doing that all the way across the skill-sets.

And pretty much the only way to train your instincts like that is to focus on it until the desired response is the one that happens without thinking. And then to focus on it again until it's not only the default, but you are now able to finely modulate in that response.
by duxup | 2025-05-29 14:45:44+00:00
>However, the numbers will apparently align with the year after the one the update is actually released in, similar to cars. That means that the next big iOS update will be iOS 26 instead of iOS 19. Bloomberg says that other upcoming name changes include iPadOS 26, macOS 26, watchOS 26, tvOS 26, and visionOS 26.

That's confusing.

The year of release makes perfect sense.

If the article is true, this seems like one of those great ideas that somehow gets screwed up in a bizarrely simple way.
by StevenWaterman | 2025-05-29 14:46:00+00:00
Are you getting confused between tariffs and VAT? VAT is the equivalent of sales tax.

From what I can tell, the tariff on "Potatoes, Thin slices, fried or baked, whether or not salted or flavoured, in airtight packings, suitable for immediate consumption" from Ireland is 14%, reduced to 0% if they originate in Ireland https://www.trade-tariff.service.gov.uk/commodities/20052020...
by atrettel | 2025-05-29 14:46:36+00:00
I use an old Olympus WS-700M, though I did buy a different voice recorder recently and haven't used it much yet. The WS-700M works fine for its designed purpose. You can start recording basically instantly and the replaceable and rechargeable battery lasts forever. I think almost any voice recorder nowadays would work fine. You can use your phone if that works for you. It's a mature field. I just record things and delete them in a day or two. The WS-700M does also make a good MP3 player if you want something disconnected from the Internet.
by mannyv | 2025-05-29 14:46:58+00:00
It depends. It might mean that there are no studies that show efficacy or the lack thereof.

A lack of evidence doesn't mean it doesn't work. It depends on what you mean by 'evidence.'

Take one or two reports.

A scientist would say, 'that's an anecdote.'

A lawyer would day, 'I can send you to jail with those two reports.'
by jodrellblank | 2025-05-29 14:47:38+00:00
> hypothetical cold start times

Long standing complaint about .NET / .NET Core

2017 Github issue: https://github.com/dotnet/core/issues/1060

2018 Github issue: https://github.com/dotnet/core/issues/1968

Regular people complaining, asking, and writing about it for years: https://duckduckgo.com/?t=ffab&q=cold+start+NET.&ia=web

Right up to this thread, today.

Why are you denying that this exists?
by Boogie_Man | 2025-05-29 14:47:51+00:00
It is important to contextualize this statement. It appears in three gospels, but in each it is in response to a rich man asking what he must do to inherit eternal life. Each instance of the story is told with slightly different emphasis (or they could be similar stories - i.e. this was his standard "line" for rich people), but Luke's account includes 18:27 He replied, "What is impossible for mere humans is possible for God" NET

This does not mean it's okay to hoard wealth at the expense of others, of course.

I think that Saint Basil the Great's sermon to the rich[1] is instructive for a historical and reasonable Christian instruction on the rich.

Let me add an excerpt I really appreciate: But how do you make use of money? By dressing in expensive clothing? Won’t two yards of tunic suffice you, and the covering of one coat satisfy all your need of clothes? But is it for food’s sake that you have such a demand for wealth? One bread-loaf is enough to fill a belly. Why are you sad, then? What have you been deprived of? The status that comes from wealth? But if you would stop seeking earthly status, you should then find the true, resplendent kind that would conduct you into the kingdom of heaven.

And one more because I can't help myself: Since, then, the wealth still overflows, it gets buried underground, stashed away in secret places.... A strange madness, that, when gold lies hidden with other metals, one ransacks the earth; but after it has seen the light of day, it disappears again beneath the ground.

(The whole thing is worth a read, Basil just went hard non stop)

1. https://stjohngoc.org/st-basil-the-greats-sermon-to-the-rich...
by TheCondor | 2025-05-29 14:48:52+00:00
There are both kinds. There are passionate mountaineers that want to reach the tallest summit, with varying degrees of “rules” about it that matter to them. There are also a group of “tourists” that want it for, what appears to be, other reasons.

Some special forces guys, record summit Everest time… let me guess, one is an SAS sniper with numerous recorded kills in Iraq or Afghanistan… but clearly he can’t talk much about it, he just needs you to know it… maybe some mi5 action in there… this is tailor made for a “bro-tube” channel.
by blendergeek | 2025-05-29 14:49:19+00:00
This article fails to address that most true believers would not see any point to betting on the yes. If Christ returns this year, the world is done and there is no upside to having bet that he would. Temporal things (like prediction markets) will cease to be interesting when Christ returns. Given that, I highly doubt that the people betting yes actually believe that Christ will return this year.
by falcor84 | 2025-05-29 14:50:46+00:00
Just curious - in what situations would you want to use `foreach` (with the intent to iterate over a sequence), but use `i += 2` instead of `i++`? I can only think of a situation where I want to group elements by pairs, but then I'm explicitly not doing a "for each", and would prefer to explicitly use a regular `for`.
by nicbou | 2025-05-29 14:51:13+00:00
I'm still working on a complete overhaul of German health insurance advice for immigrants. It's a really boring topic BUT a fascinating problem.

The system is complex. Choosing the best option is difficult. Understanding the timelines, the required documents, and how to prove coverage for a visa application or school enrolment is super complex. I'm trying to streamline the whole thing.

I released phase one yesterday. It's a simple overhaul of the text advice plus a new health insurance calculator. I also paired up with a health insurance broker to give more personalised advice, since everyone needs a different recommendation.

It's here: https://allaboutberlin.com/guides/german-health-insurance

I'm now working on phase two: covering the exact process of getting insured for a visa application. I really want to walk people through the exact order of things, with detailed steps and timelines. The calculator will get a hell of a lot more complicated.

Phase three is compressing all of that. Once I have a good idea of how things work and where friction can be reduced, I'll simplify and automate as much of it as possible. It should turn a messy, complex and confusing process into a fairly straightforward thing.

I feel like no one is really doing this yet, and I'm surprised at how achievable it is.
by delichon | 2025-05-29 14:51:24+00:00
The resolution source for this market will be a consensus of credible sources.

I'm too skeptical to believe that a source is credible if that source claims any resurrection, let alone of a messiah. If a man who looks just like Jesus in the images showed up and performed all of the same miracles, I still wouldn't believe it. I wouldn't believe it if the Pope declared it true, or something claiming to be God announced it into my ear.

At the very least they should name the credible sources in advance, because the bet is on their credulity.
Show HN: Compliant-LLM: Audit AI Agents for Compliance with NIST AI RMF
by kaushik92 | 2025-05-29 14:52:29+00:00
We're excited to launch compliant-llm: an open-source toolkit that helps infosec and compliance teams audit AI agents against regulatory frameworks like NIST AI RMF, ISO 42001, and OWASP Top 10.

Infosec and compliance teams are now responsible for tracking security and compliance risks of a growing number of AI agents across external and internal apps and third-party vendors.

compliant-llm gives you a way to:

- Define and run comprehensive red-teaming tests for AI agents - Maps test outcomes to compliance frameworks like NIST AI RMF - Generate detailed audit logs and documentation - Integrate with Azure, OpenAI, Anthropic, or wherever you host your models - With an open-source, self-hosted solution

Install and launch the red-teaming dashboard locally:

pip install compliant-llm compliant-llm dashboard

This opens an interactive UI for running AI compliance checks and analyzing results.

We’re at v0.1, and would love your feedback. Tell us about the compliance or AI risk issues you’re facing, and we’ll prioritize what matters most.
by hx8 | 2025-05-29 14:53:19+00:00
> No thank you, please just leave the package at my door.

With where I live now, yes. I've had a previous address with about a 15% package-theft rate within the first 2 hours of package delivery. In this situation I started to use lockers instead of straight to home.

I think this type of delivery system (mobile lockers to stationary lockers) would be a hit in areas with high levels of package theft.
by AnimalMuppet | 2025-05-29 14:54:29+00:00
> White House deputy chief of staff Stephen Miller said to X, "The judicial coup is out of control."

So? That's the same overheated rhetoric they trot out every time the courts rule against Trump. It's pretty tired by now. It's like they can't even come up with a new set of inflammatory adjectives; they're always reaching for the the same old ones.

The White House deputy chief of staff making a post on X has exactly zero to do with whether the decision was right or wrong.

In particular, the Trump camp acts like every time the courts rule on the legality of Trump's actions it's an overreach of judicial authority. They either failed Civics 101, or they want everyone else to forget what it said. This is the courts' job.

> This is starting to sound like `Wool`

?
by kubb | 2025-05-29 14:54:30+00:00
You just need to employ the right strategy to deal with it. Possible options include:

1. Claim that "camel" or "needle" are a mistranslation or symbolic. 2. Separate financial life from your spiritual beliefs to avoid inner conflict. 3. View wealth as a sign of God’s blessing or something used to do good, making it feel morally acceptable. 4. Emphasize other passages that support generosity or success.

In general, it's easy to overcome cognitive dissonance in religion. You just accept additional beliefs that soften it.
by mdaniel | 2025-05-29 14:55:17+00:00
> 1. For JS projects at least, you still need to npm install or yarn install for all packages. This can take a bit of time.

I believe that's the problem pnpm is trying to solve (err, not the time part, I can't swear it's wall clock faster, but the "hey hard links are a thing" part <https://pnpm.io/faq#:~:text=pnpm%20creates%20hard%20links%20...> )
by jp57 | 2025-05-29 14:55:58+00:00
My dad was born in 1925. He lived with his parents and sisters and didn't share a household with grandparents aunts or uncles. My mom was born in a small town in Italy on the eve of WWII and orphaned when she was ten. Again, there were no grandparents aunts or uncles, or friends or neighbors living in the same household, and none were in the picture to care for her. She was went to boarding schools until she could emigrate to America, where her uncles lived. During school breaks she lived with neighbors in her home town.

I don't know enough about my grandparents to be able to answer, but I think it's likely that small three-generation households were common somewhat common, i.e. a grandparent and one of their children, that child's spouse and that set of grand children. But I think multi-family households and intentional household relationships not bound by marriage or parent/child bonds were rare in their day as well, at least in the US and western Europe.
by aiforecastthway | 2025-05-29 14:56:20+00:00
In this case, age is not what disqualifies the law. Rather, what renders the law inapplicable to this situation is some combination of:

1. another statute that super-cedes the 1930 statute because it specifically limits Presidential emergency powers in the context of balance-of-trade issues. See around p. 35 of the slip opinion.

2. The Constitution itself, which limits Congress's ability to cede its own powers.
by soulofmischief | 2025-05-29 14:56:37+00:00
> Did I hit a nerve?

You're choosing to deflect and patronize, but not provide any further credibility to your unwarranted comparison. That speaks for itself.

> Don't you have some NFTs to shill at Denny's Applebee's Max?

You have no idea who I am or what I support, not everyone is a little caricature in your mind. This kind of negative attitude has no place in this forum.
by romec | 2025-05-29 14:57:37+00:00
A lot of automation isn't what people think of as automation. Is the average supermarket automated? A bit, but not a lot. But 90% of what they are actually selling has been automated in some way. Groceries have been cooked, picked, preserved, packed, shipped or otherwise processed with the help of automation. So regardless how smart an AI becomes it doesn't provide much more value as a cooking robot. We have automated cooking for decades by processing food. But we are still limited by physics, society and need.

AI will probably make music free. But it is already almost free with cheap instruments, recording equipment and distribution. And even before music wasn't that expensive. You can argue that we lose value in not performing it ourselves. That is some impact, but not one that strictly replaces the other. You can choose to have society where you teach music and it will still provide value over AI.

I do realize that the idea is often not that we will have cooking robots, but that AI will change chemistry or biology to where food is something else. Still hard to say if or when that happens, and what impact it would actually have.
by Merad | 2025-05-29 14:57:39+00:00
> Deciding whether something is netFramework 4.8 or .NET Core 5 or NET3000 or nEt5 or NET Common 2.0 is impossible. Isn't that one of the most basic things that should be easy.

What do you think happens when you try to use Python 3.9 to run a script that depends on features added in 3.10? This is inherent to anything that requires an interpreter or runtime. Most scripting tools just default "your stuff breaks if you get it wrong" whereas .Net requires you to explicitly define the dependency.
by dreamcompiler | 2025-05-29 14:57:49+00:00
That was my point.

1. Long exposures require tracking.

2. Dobbies can't track because they have altaz mounts [0].

3. But short exposures don't require tracking. Therefore a Dobbie might work for short exposures iff you can lock down the altaz axes and sufficiently reduce vibration.

[0] It is possible -- and fairly common -- to track with altaz mounts. Both axes require coordinated, computer-controlled stepper motors. In addition you need a third motor to rotate the tube. This was not possible before digitally-controlled motors. So some Dobbies do track but that kind of defeats the purpose of a Dobbie as a cheap light bucket anybody can afford.

In contrast tracking with an equatorial mount only needs a single motor and that motor doesn't need to be digitally-controlled.
by jjtang1 | 2025-05-29 14:57:53+00:00
It's always a bit jarring when a tool you've relied on announces its sunset. Opsgenie has been a staple for many teams, and transitions like this can stir up a mix of nostalgia and uncertainty.

At Rootly, we've seen firsthand how integral these tools become to daily operations. They're not just software; they're part of the team's rhythm and culture. When changes happen, it's not just about migrating data—it's about adapting workflows and ensuring continuity for the people behind the screens.

We're committed to supporting teams through such transitions, aiming to make the process as smooth as possible. Our focus has always been on building solutions that prioritize the human element in incident management.

To those navigating this change, know that you're not alone. The community is here, sharing insights and offering support. If there's anything we at Rootly can do to assist, even if it's just sharing best practices or lessons learned, don't hesitate to reach out.
by nine_k | 2025-05-29 14:58:02+00:00
> Should scaling Mount Everest, one of sporting’s greatest accomplishments, be made easier

But it has been, for a long time. Base camps, oxygen masks, advanced gear, etc all make climbing easier.

Similarly, should lifting 200 kg be made easier? It has been made easy, you can use a forklift and barely move your finger to do so. But this is not seen as an accomplishment; if you want to be considered a strong weightlifter, you have to lift an old-school barbell.

The biggest problem, as I can imagine, is not the dilution of the achievement, but the intensity of the stream if the climbers. Mt Everest is already full of climbers who follow each other at a short distance. Doubling this stream might ruin the experience altogether, or there would be large lines and inevitably large fees to jump them.