MurphyA/hacker-news huggingface dataset:
by WorldMaker | 2025-05-29 16:00:06+00:00
"SDK-Style csproj" has been around since .NET 5. They are pretty great and not bad to hand edit. Starts as just:

<Project Sdk="Microsoft.NET.Sdk"> <PropertyGroup> <TargetFramework>net8.0</TargetFramework> </PropertyGroup> </Project>

(It's named "SDK-style" because that Sdk="Sdk.Name" attribute on the Project tag does a ton of heavy lifting and sets a lot of smart defaults.)

In the "SDK-Style", files are included by default by wildcards, you no longer need to include every file in the csproj. Adding NuGet references by hand is now just as easy as under an <ItemGroup> add a <PackageReference Include"Package.Name" Version="1.0.0" />. (For a while NuGet references were in their own file, but there would also be a dance of "assembly binding redirects" NuGet used to also need to sometimes include in a csproj. All of that is gone today and much simplified to a single easy to write by hand tag.) Other previously "advanced" things you'd only trust the UI to do are more easily done by hand now, too.

> Also, just talk to a C# developer, I bet over half of them have never even edited a .csproj and only use visual studio as a GUI to configure their projects.

Depends on the era, but in the worst days of the csproj verbosity where every file had to be mentioned (included as an Item) in the csproj I didn't know a single C# developer that hadn't needed to do some XML surgery in a csproj file at some point, though most of that was to fix merge conflicts because back then it was a common source of merge conflicts. Fixing merge conflicts in a csproj used to be a rite of passage for any reasonably sized team. (I do not miss those days and am very happy with the "SDK-Style csproj" today.)
by michaelmrose | 2025-05-29 16:00:08+00:00
In your example the saying suggests that a Camel going through the eye of a needle is an extraordinary event like a rich person going to heaven in the traditional Christian saying.

It is incredibly clear and without nuance nor is there a reason to suppose it's an issue with translation. Its also consistent philosophically nor is it the sort of thing that the powerful would want inserted when they compiled works.

If you disregard it then it makes more sense to disregard the entire bible.
by tel | 2025-05-29 16:00:43+00:00
Yeah, I agree. "Independence" is fundamentally a property of the formal system you're working within (or really, it's a property of the system you're using and of the axiomatic system under test, the system a proposition would be independent from). I'm holding out a bit to unify that with "undecidability" because undecidability takes on a particular character in constructive systems that happens to align with Turing's notion.

So at some level, this was just an acknowledgement that "undecidability" in this form is well represented in formal logic. In that sense, at least in constructive logics, it's not just a synonym for "independence".
by throw7 | 2025-05-29 16:01:02+00:00
The way they will arrive at the answer is very vague... "The resolution source for this market will be a consensus of credible sources."

I'd like to know the list of said sources and what consensus means (51%?). Presumably, this question can be asked and answered every minute? hour? so we could have up to the minute coverage of the second coming.
by lproven | 2025-05-29 16:01:19+00:00
My main Mac can't run Sonoma without OCLP and I'm perfectly happy on Monterey for now, so I will skip.

I already have RSyncOSX, which after quite a bit of Googling and digging seems to be an older app by the same author.

https://github.com/rsyncOSX/RsyncOSX_archived

As opposed to the new:

https://github.com/rsyncOSX/RsyncOSX

Before that, I used to use ARsync:

https://arrsync.sourceforge.net/

https://www.bartbusschots.ie/s/2006/11/26/arrsync-an-rsync-g...

It was, as I recall, nicer still but it's no longer maintained and the x86-32 binary no longer runs.
by iLemming | 2025-05-29 16:01:29+00:00
That's my daily slimnastics, I often have to explore projects in languages I don't typically code in, and I have no problem running 'M-x packages' in Emacs and installing some packages and enabling some modes as needed. Even though my package manager is set in such way that it ignores these "temporarily installed packages" after the restart.

What's great about Emacs that I don't have to restart or even save anything - I can enable/disable things on the go, even installing and using lsp-servers. I typically experiment in my scratch buffer (it's persistent between the sessions), and when my experiments prove worthy adding to the config, I move them.

I have VSCode and I run it sometimes, often when I'm working with someone who doesn't use Emacs. It almost invariably requires more attention and inflicts more annoyance. it-just-works™ rarely feels working for me there.
by dhosek | 2025-05-29 16:01:34+00:00
I knew the 17th-century kings from a mnemonic that my world history teacher gave (Charlie the tuna in the middle of the sandwich≡James I-Charles I-Charles II-James II), but not much more than that. Most of my English history came by way of lit classes which had Milton the only author between the Cavalier poets from the early 17th century and Alexander Pope in the mid-18th century, so your anecdotal experience holds up with my Gen X education.
by evanmoran | 2025-05-29 16:02:12+00:00
I think the main takeaway of this shouldn’t be that all kids will be able to read, but more that parents should not be afraid to try to teach letter sounds/blending/simple reading before kindergarten. So many parents I’ve met feel like this is “way too early” and I found many of those same parents end up tutoring their kids in kindergarten to catch up to grade level.

More recently, I’ve been teaching a 3 year old letter sounds and he loves running around finding signs saying “Dad” I found a “duh”. “Duh duh duh!” (For D). Kids really just want to hang out with you so, it’s ok to just throw in some letter sounds or number counting ideas in here and there. You’ll be surprised what they pick up!
by apothegm | 2025-05-29 16:02:18+00:00
Uh, no. OpenAI and Anthropic and Google and co really, really, really DNGAF whether or not you understand the code their LLMs write for you.

LLMs are not capable of reasoning or following code flow. They’re predictors of next tokens. They’re increasingly astonishingly good at predicting next tokens, to the point that they sometimes appear to be reasoning. But they can’t actually reason.
by dasil003 | 2025-05-29 16:02:24+00:00
I don't disagree with the opinion, but what individual experts think does not factor in much when you have a groundswell of adoption like the web did. At that point people are going to hack whatever they can on top of it, and there are too many varied interests to have any central control, and so things just evolve well beyond the intent or control of any individual mind or architect.

For me, usability mattered a lot and I saw how a lot of the web design experimentation was falling short, but Nielsen was just too backwards looking. We needed forward thinking UX rooted specifically in web culture, and that's what we got through the Zeldmans, Veens, and 37signals of the era.
by colechristensen | 2025-05-29 16:02:35+00:00
I've seen this plenty of times, young people almost boasting about their diagnosis like the old upper class used to be proud of gout

Some health care professionals are becoming hesitant to talk about diagnoses because it hurts the patient when they start identifying with the diagnosis it makes the condition worse when the patient starts to act more like the diagnosed condition because that's how they're supposed to act
by ivansavz | 2025-05-29 16:03:28+00:00
Nice to see adults (re)learning math. It's one of the rare subjects that are guaranteed to provide "knowledge buzz" and also widely applicable.

<shameless plug>For other adults interested in learning math, check out my (nonfree) book here: https://noBSmath.com/ PDF preview and sample chapter: https://minireference.com/static/excerpts/noBSmath_v5_previe... I also have a longer book that includes calculus and physics (cf. links in profile). </shameless plug>
by dfxm12 | 2025-05-29 16:04:08+00:00
On the web, the user is rarely a monolith. For a lot of websites (as compared to, say, business software or automobiles), the user could be everyone and anyone. They may all have different mental models, expectations, abilities, etc.

This is important to keep in mind when focusing on user centered design for a general purpose website. You need a testing pool representative of your users (or who you want your user to be), you need to figure out what to do if there are conflicts among users, during testing, etc. It might be obvious, and you can probably still fit in into a framework, but what I'm getting at is that it is less empirical than it might seem at first pass. There is still an art to user centered design, and if you have this in mind, your designs don't have to look hopelessly outdated.
by spacemadness | 2025-05-29 16:04:17+00:00
It seems everyone’s trying to fix one part of the system without seeing the system as a whole. Build more housing is all you need to do, live in communes is all you need, etc. That’s great for easy blog fodder. I definitely think community is vital, but the system you live in can easily poison it or make it unworkable. Also the article seems to mention actual intergenerational families in India then asks why aren’t families living with other families which is a weird conclusion to make from that.
by username223 | 2025-05-29 16:04:22+00:00
That's a big ask. I've written a couple of books, and PDF/print vs. ePub/webpage is a decision I had to make up front. For anything with more than the most basic formatting (e.g. a novel), the design and layout are different enough that one of them will turn out looking like crap. Given the audience, I probably would have chosen ePub for this one, but the book's done now.

Also, a TOC and sample chapter would be great. A lot more people will be likely to pay if they know what they're getting.
by Tijdreiziger | 2025-05-29 16:04:26+00:00
> I don’t think anything is weird anymore. The ultimate reality of free will is that you will always have the option to do right and wrong. If you don’t have faith, this privilege will be difficult. The human left to their own devices will always have a shifting sense of morality (turning a ship by 1 degree at a time).

I think this hypothesis is flawed.

I think most people in society strive to do right, and therefore most of us are able to live in relative peace and with relative trust in our fellow members of society.

There are some people who do wrong, but we’ve set up our society to strive to detect this and punish those (albeit using imperfect systems and knowledge, leading to false positives and negatives).

Therefore, I think religions are an encoding of human morality, not the other way around.
by Aurornis | 2025-05-29 16:04:47+00:00
> I would say that it’s strong evidence that Xenon actually works

The only evidence is the claims from the person selling the expensive five-figure Everest packages. It’s the very definition of a conflict of interest.

They also use multiple treatments, not just Xenon. The hikers sleep in hypobaric chambers. Another comment said they used supplemental oxygen but were hiding details about how much.

There is no evidence or even head-to-head testing here. It’s all claims that come from one person, who is also trying to sell the treatment.
by sowbug | 2025-05-29 16:05:13+00:00
Those of you who have used psychedelics might have personal experience with this question.

There can be moments of lucidity during a psychedelic session where it's easy to think of discrete collections as systems, and to imagine those systems behaving with specific coherent strategies. Unfortunately, an hour or two later, the feeling disappears. But it leaves a memory of briefly understanding something that can't be understood. It's frustrating, yet profound. I assume this is where feelings of oneness with the universe, etc., come from.
by addaon | 2025-05-29 16:05:28+00:00
> If not, I would guess these models would be getting stuck in a local maxima

It sounds like you're referring to something like simulated annealing. Using that as an example, the fundamental requirement is to introduce arbitrary, uncorrelated steps -- there's no requirement that the steps be random, and the only potential advantage of using a random source is that it provides independence (lack of correlation) inherently; but in exchange, it makes testing and reproduction much harder. Basically every use of simulated annealing or similar I've run into uses pseudorandom numbers for this reason.
by em-bee | 2025-05-29 16:05:47+00:00
that's my point. everyone has a different idea/interpretation, and thus there is no objective definition of a true believer. GP says that true believers come off as insane. that doesn't sound like a sensible definition for a true believer. iaw. whatever a true believer is, i don't think it's that.

what if jesus already returned? then the true believers would only be those that have recognized his return. there are people who did make that claim. that's who i would investigate.
by tempestn | 2025-05-29 16:06:15+00:00
This is actually interesting. What would make you believe it? Is there any evidence at all?

I agree that almost anything I can think of would be more likely some kind of trick. Or in the most extreme examples I'd have to assume there's a good chance I was experiencing some kind of psychosis. So I'm not sure I could actually be convinced either. I suppose if I personally witnessed clearly impossible miracles being performed and multiple people I know and trust corroborated what I was seeing, that might do it.
by casualmike | 2025-05-29 16:06:15+00:00
I'm working on a site (https://panoptic.live/) that lets you collect, watch, and share videos from different platforms.

You can drag and drop links from YouTube, Twitch, TikTok, or Kick.

You can add or remove streams, save mixes for later, and share them as links.

You can watch multiple videos at once in a wall-of-video grid and navigate quickly from one stream to another. It works best on a really big screen --phones aren't really supported.

So far, people seem to like it. I've made a lot of updates based on people's feedback since I announced it a few weeks ago.
by alabastervlog | 2025-05-29 16:07:43+00:00
Huh, I'd liken school in those grades to a series of meetings basically all day, that are mostly presentations, every day of the week, with a lot of restrictions and harsh conduct & expectations from the people leading the meetings, which'd never fly in an office. Often with terrible lighting and long stretches without seeing the outdoors, even though a window. And crazy-early start times that may have you not seeing the sun until 3PM or so, for months. And, especially toward the end, a couple more hours of work at home every day. Mostly of math problems.

Also, all that, plus you're not getting paid for it.
by hatradiowigwam | 2025-05-29 16:08:01+00:00
The message IS clear...but I don't see the same message as you. Solomon was /beyond/ rich. So was David. So were countless people that are destined for heaven(as in, Jesus describes them being in heaven in the new testament).

Those people all did some things we can see and talk about - and possibly many things we did not see, do not know, and can not talk about. At the very least, those people we know are in/destined for heaven: followed God, feared God, obeyed God.

I don't believe their being or not being rich is part of the calculus for "getting into heaven" as you said. Being rich may make you less likely to do those 3 things though, in which case you would correlate richness with not getting into heaven.
Prizm ZERO – automated vulnerability detection for binaries
by tylermeagher | 2025-05-29 16:08:21+00:00
Hey HN! Earlier this year my co‑founder and I quit our jobs to start a cybersecurity company and spent a few months in a Space Force‑sponsored accelerator in Colorado Springs. While work‑shopping several ideas we ran a ton of customer‑discovery interviews with DoD and commercial teams.

We kept hearing the same headache: “We only get binaries—it’s a pain to figure out if they’re secure”

So we spent the past few months building PRIZM ZERO — an automated platform that scans firmware, executables (ELF, PE), and container images for zero‑day‑style issues and spits out audit‑ready reports, all without source code.

PRIZM ZERO is now in beta, and we’d love feedback. Check us out and request early access at https://zero.prizmlabs.io.
Show HN: VigiloAuth – An OpenID Connect and OAuth 2.0 Identity Provider in Go
by opc_29 | 2025-05-29 16:08:24+00:00
I've open-sourced and OpenID Connect and OAuth 2.0-compliant identity provider called VigiloAuth, written in Go.

It supports: - Authorization Code Flow (with PKCE) - Client Credentials, Resource Owner Password - Token refresh, revocation, and introspection - Dynamic client registration - OIDC Discovery, JWKS, and UserInfo endpoints - Audit logging

Everything is configurable: token lifetimes, rate limits, password policies, SMTP, throttling, HTTPS enforcement, etc.

Vigilo passes the OpenID Foundation's Basic and Comprehensive Authorization Server tests (test logs included in the repo). Not officially certified yet, but working on it.

This was my senior project in university, and I’m continuing to build it out with features like RBAC, TOTP, social login, realm support, and an admin UI. The internal code could use some refactoring, so I’m very open to feedback, suggestions, and contributions.

Repo: https://github.com/vigiloauth/vigilo
by kjellsbells | 2025-05-29 16:08:30+00:00
A papad-like thing can be made from potato flour, but I struggle to equate it to a poppadom since potatoes are not native to the subcontinent. The classic papad is made from urad lentil flour. They are infamously tricky to make from scratch. Anecdotally, all the Indians whose houses I've been to use the brand that has the little boy photo on the sleeve and Lijjat papad brand in Hindi script in big letters across the front.
by PaulHoule | 2025-05-29 16:08:39+00:00
I get the impression it has gotten worse post-pandemic (after the time period discussed in the article) because:

(1) There was a gaming boom during the pandemic that the industry planned games and hired up to service that went bust afterwards

(2) The zone has been flooded with bad ideas like NFTs and now AI

On top of that, it is a glamour profession that a lot of people get into because they love games thus they tolerate bad working conditions.

I think generative AI could be a boon to games in numerous respects [1], but the immediate threat is that management will believe they can lay off a large fraction of the developers and still keep delivering quality games on schedule.

[1] The biggest problem with "interactive fiction" is limited dialogs with characters. A game like Persona 5 Royal reflects the state of the art, which is that you can choose one of three options of things to say and the NPC can react accordingly. It would be amazing to see games where you could have open-ended conversations with NPCs and generative AI makes it seem possible instead of science fiction.

For VR "nonfiction games" I think generative AI is even more essential. The NPC problem is even more urgent. With Horizon Worlds, for instance, I could make a world for my business but if I want people to be able to get service I have to staff the world with a real person which is a non-starter for small businesses (restaurants) who already invest heavily in social-media marketing. Also something has to be done about the high cost of authoring -- I think I could sell a $20,000 project to an SMB, but not more than that, and generative AI looks like a boon for that.
by recursivedoubts | 2025-05-29 16:09:04+00:00
"I don’t know. When my bird was looking at my computer monitor I thought, ‘That bird has no idea what he’s looking at.’ And yet what does the bird do? Does he panic? No, he can’t really panic, he just does the best he can. Is he able to live in a world where he’s so ignorant? Well, he doesn’t really have a choice. The bird is okay even though he doesn’t understand the world. You’re that bird looking at the monitor, and you’re thinking to yourself, ‘I can figure this out.’ Maybe you have some bird ideas. Maybe that’s the best you can do.”
by charcircuit | 2025-05-29 16:09:17+00:00
What do you mean? Chrome, Edge, Opera, and Brave are all different browsers that share the same browser engine. The year of the Linux Desktop didn't come, but the year of the Linux phone did come with Android becoming the most popular operating system surpassing desktop operating systems.

>pretending to be "native".

The code is native. Just because something uses a library to call platform code it doesn't mean it isn't native. By that logic programs that use qt are not native because they use a cross platform api.
by nasretdinov | 2025-05-29 16:10:27+00:00
I don't see a contradiction here tbh. There's nothing wrong in not providing some extra functionality for free (especially for features that users will pay for). If you have engineering resources to manage sharding manually you're welcome to do so. Since ClickHouse is a commercial company and not part of Yandex they need to earn money one way or another to fund the database development.
by JSchneider321 | 2025-05-29 16:11:08+00:00
I'd never heard of the site before yesterday. Doesn't some day need to be the first day everyone starts posting? And can't a theory someone read about months ago and finds compelling be reason enough to seek out others to engage with on the subject?

Are you suggesting I'm a bot or an alt from the author or something? Because that feels like an illogical leap to make based on someone posting enthusiastically about a subject. I do wonder if you'd suspect these accounts equally if the viewpoint expressed aligned with yours.
by WorldMaker | 2025-05-29 16:12:12+00:00
> Deciding whether something is netFramework 4.8 or .NET Core 5 or NET3000 or nEt5 or NET Common 2.0 is impossible.

It's gotten real simple in the last few years, and is basically the exact same flowchart as Node.JS:

Do you need LTS support? --> Yes --> target the most recent even number (.NET 8.0 today) ^--> No --> target the most recent version (.NET 9.0 today)

Just like Node, versions cycle every six months (.NET 10, the next LTS, is in Preview [alpha/beta testing] today; the feature being discussed is a part of this preview) and LTS add an extra year and a half security support safety net to upgrade to the next LTS.

Everything else can be forgotten. It's no longer needed. It's no longer a thing. It's a dead version for people that need deep legacy support in dark brownfields and nothing more than that.
by atombender | 2025-05-29 16:12:47+00:00
NSAIDs are COX inhibitors which inhibit either COX-1, COX-2, or both.

COX-1 is involved in the gastric mucosa, among other roles, which is why blocking it can cause stomach bleeding.

COX-2 is involved in maintaining the endothelium of blood vessels, and can increase stroke and infarction risk by stiffening and degrading the lining of the blood vessels over time.

Studies are a bit conflicting regarding whether blocking COX-1 or COX-2 is safer, as there seems to be downsides to both, and the difference in risk isn't that clear.