MurphyA/hacker-news huggingface dataset:
by tauoverpi | 2025-05-08 18:22:41+00:00
Statically typed languages, when used correctly, save engineering time both as you extend your service and when thing go wrong as the compiler helps you check that the code you've written, to some degree, meets your specification of the problem domain. With a weak type system you can't specify much of the problem domain without increased labour but with a more expressive type system (and a team that understands how to use it) you can embed enough of the domain specification that implementing part of the business logic incorrectly or violating protocols turns into compile errors instantly rather than possibly leaking to production.

As for your comment on `any`, the reason why one doesn't want to fall back on such is that you throw out most of the gains of using static types with such a construct when your function likely doesn't work with `any` type (I've never seen a function that works on absolutely anything other than `id :: a -> a` and I argue there isn't one even with RTTI).

Instead you want to declare the subset of types valid for your function using some kind of discriminated union (in rust this is `enum`, zig `union(enum)`, haskell ADTs/GADTs, etc etc) where you set a static bound on the number of things it can be. You use the type system to model your actual problem instead of fighting against it or "lying" (by saying `any`) to the compiler.

The same applies to services, APIs, protocols, and similar. The more work the compiler can help you with staying on spec the less work you have to do later when you've shipped a P1-Critical bug by mistake and none of your tests caught it.
by pqtyw | 2025-05-08 18:22:45+00:00
> which has real name that is different

Always saying "United States of America" would be rather cumbersome.

But it's the reward for being the first country on the content to become independent. Everybody else afterwards had to pick more specific names tot avoid any confusion.

BTW Columbia was also frequently used as a generic name for the American Continent back in the 1700s and 1800s. The modern country of Colombia co-opted it in a very similar way (well originally "Gran Colombia" was supposed to include entire Hispanic America it just didn't work out that well...)
by gose1 | 2025-05-08 18:22:46+00:00
> Safely Writing GitHub Workflows

If you are looking for ways to identify common (and uncommon) vulnerabilities in Action workflows, last month GitHub shipped support for workflow security analysis in CodeQL and GitHub Code Scanning (free for public repos): https://github.blog/changelog/2025-04-22-github-actions-work....

The GitHub Security Lab also shared a technical deep dive and details of vulnerabilities that they found while helping develop and test this new static analysis capability: https://github.blog/security/application-security/how-to-sec...
by subsection1h | 2025-05-08 18:22:50+00:00
> If you want funding for certain medical research, have your state issue grants. There is nothing that requires it to be the federal government.

States would need to increase taxes to fund more research, which would cause some of the wealthiest residents to flee to low-tax states. This would result in the pro-research states losing tax revenue and eventually cutting their research funding. The decline in research funding would result in the U.S. experiencing brain drain similar to what has been experienced in red states[1] for decades.

Some of us don't want the U.S. to experience brain drain that will cause our country to become more like the rural states that suffer from the loss of their best and brightest.

[1] https://www.google.com/search?q=red+state+brain+drain
by donmcronald | 2025-05-08 18:23:24+00:00
> I suspect we’ll see [biometrics] required by regulation in some geo-regions.

I don't know a ton about the implementation, but the above or the “option” of requiring some kind of TPM or secure enclave worries me. I think it’s only a matter of time before a few select companies usurp control of identity.

Ultimately, I think we’ll be forced into subscriptions for authentication once government services are captured.
by pixl97 | 2025-05-08 18:23:33+00:00
Eh, I'd say it's a bit more complicated than that.

Quite often the impersonator had nothing to do with the collection of the identity itself. There are people that 'copy' things like insecure online information around identity, but there are also people that physically steal things like drivers licenses and birth certificates. This is the stage of a crime that I'd consider actual identity theft. After that you have black market information brokers. They didn't capture the identities in the first place. They don't directly use the information to impersonate others and yet they are still complicit in a crime. Then you have the final stage of impersonation fraud as you state.
by JumpCrisscross | 2025-05-08 18:23:36+00:00
> Many a preacher will tell you that their way of "loving" gay people is to warn them of the hellfire awaiting them if they don't quit doing gay stuff and repent

I can actually accept this. They’re expressing an opinion, nothing more. If they then proceed to ostracise that person, or refuse to recognise their relations, that’s crossing into hate and pridefulness.
by spauldo | 2025-05-08 18:24:12+00:00
Emacs' configurability is hard to describe to anyone who hasn't immersed themselves in that sort of environment. There's a small portion of the program written C, but the bulk of it is written in elisp. When you evaluate elisp code, you're not in some sandboxed extension system - you're at the same level as Emacs itself. This allows you to modify nearly any aspect of Emacs.

It'd be a security nightmare if it was more popular, but fortunately the community hovers around being big enough for serious work to be done but small enough that it's not worth writing malware for.
by andrewpareles | 2025-05-08 18:24:16+00:00
Void dev here! The biggest players in AI code today are full IDEs, not just extensions, and we think that's because they simply feel better to use by having more control over the UX.

There are certainly a lot of alternatives that are plugins(!), but our differentiation right now is being a full open source IDE and having all the features you get out of the big players (quick edits, agent mode, autocomplete, checkpoints).

Surprisingly, all of the big IDEs today (Cursor/Windsurf/Copilot) send your messages through their backend whenever you send a message, and there is no open source full IDE alternative (besides Void). Your connection to providers is direct with Void, and it's a lot easier to spin up your own models/providers and host locally or use whatever provider you want.

We're planning on building Git branching for agents in the next iteration when LLMs are more independent, and controlling the full IDE experience for that will be really important. I worry plugins will struggle.
by jrflowers | 2025-05-08 18:24:49+00:00
> We (Eastern Europeans) could not do neither of those things without risking jail time and we still managed to topple dictatorships.

Jail time (and now deportation) has been a risk for protesting for quite a while in the US. I can see why someone that doesn’t live here would see America’s longstanding reputation of being a cool place to protest in and assume that that is still the case, but that is outdated information. Heck, quite a few Americans insist that is still the case, but the ones that insist that there is no risk are mostly folks that “protest” through tweets

https://www.axios.com/2025/05/08/columbia-university-protest...

https://www.aljazeera.com/news/2024/5/2/ucla-students-arrest...

https://www.npr.org/2020/07/17/892277592/federal-officers-us...
by neonsunset | 2025-05-08 18:25:31+00:00
C# language server, being Roslyn Language Server, is plugin agnostic, it's MIT licensed and is essentially a part of the compiler: https://github.com/dotnet/roslyn/tree/main/src/LanguageServe....

Did you mean to say a debugger? That one has an open alternative (NetCoreDbg) alongside a C# extension fork which uses it (it's also what VS Codium would install). It's also what you'd use via DAP with Neovim, Emacs, etc.
by hluska | 2025-05-08 18:25:53+00:00
A friend of mine tattoos in my city and we were talking about this a few weekends ago. He mentioned three related things that contribute to removals he’s aware of.

Tattooing got immensely popular and a lot of people who shouldn’t not have taken on apprentices took on apprentices. The quality of apprenticeships dropped and artists were getting put on skin way before they were ready. Many artists never learned proper technique or placement.

Styles changed so people were getting their first tattoos in visible places. When he started tattooing, artists wouldn’t do a first tattoo somewhere visible unless the client had a very very good reason. It always took dialogue. Now you can walk into a shop, point to flash and get it out on your neck or hand.

And finally, realism hit tattoos.

So in his opinion. You take a lot of artists who shouldn’t have been putting ink into grapefruits not skin. Put them to them to work on highly visible realistic looking art on people who don’t know enough about tattoo to know whether they’re making a mistake. And you end up with a lot of people staring at visible art that didn’t heal properly, with blown out lines and poor placement.

I didn’t get tattooed until after another good friend had finished his apprenticeship- I’m very glad I waited because I love my art and will slowly keep getting more. But I feel bad for people who fell into that trap of getting an unqualified artist to put bad art on their bodies.
by plasticsoprano | 2025-05-08 18:25:54+00:00
From the recently hired Senior VP that was giving an award to a regular VP and had the following exchange,

"Charlie, I hear you like Audis. How many do you have?" "I have 2" "Just 2? I have 4"

To the Senior VP who was running that week's all hands and asked "anyone else going to the regatta at X yacht club this weekend?"

And the exec suite getting steaks and salmon delivered on china on the regular while the rest of us got sodexo crap on the daily. These hypocrisies and tone deaf statements are the norm, COVID and RTO just better exposed them.
by more_corn | 2025-05-08 18:26:45+00:00
We should all stop buying everything till this blows over.

Even if it only caused a 20% drop in spending, a lot of powerful people would take notice.

In capitalism you vote with your wallet. If we continue buying stuff like nothing has happened, whatever happened must be fine. It’s not fine and the quickest and cleanest way to say that is to simply stop.

No new cars, no new appliances. No new anything. Don’t buy any foreign goods, go on a spending diet. If you absolutely must, buy used and buy local.

If some policy brings the economy to a screeching halt smart money pays attention real fast.
by justin66 | 2025-05-08 18:26:47+00:00
Oh, that's an interesting point about high frequency trading.

I think the question of what percentage of the market could be invested in index funds before things got weird is an interesting one. It really is hypothetical, though. Independent investors have more sway, not less, as an increasing number of people put money in index funds. There will always be a lot of people who are very rationally (and also depending on the investor... less rationally) unwilling to give that up.
by tantalor | 2025-05-08 18:26:59+00:00
Article I, Section 9, Clause 8:

No Title of Nobility shall be granted by the United States: And no Person holding any Office of Profit or Trust under them, shall, without the Consent of the Congress, accept of any present, Emolument, Office, or Title, of any kind whatever, from any King, Prince, or foreign State.
by ndriscoll | 2025-05-08 18:27:00+00:00
People who talk about "buy, borrow, die" never seem to mention interest.

Suppose your blended portfolio grows at 10%/year nominal, and you're in the 20% capital gains bracket. Then you would owe 2%/year taxes if you realized it every year. Would you not then need an interest rate lower than 2% nominal (i.e. 0% real, assuming 2% target inflation) to come out ahead? That's also assuming you're not already receiving some dividends/income or can't be selective about tax lots to sell.

You could say "well you can simply accumulate an interest balance without ever repaying the loan, and hope the assets appreciate faster than the interest compounds", but then shouldn't you have already levered up prior to ever considering taxes? So taking on additional loans pushes you outside of your risk tolerance? Do you borrow or pay taxes depending on your portfolio performance? How does this work?

I'd be interested in seeing what someone with an actual finance background has to say about this "strategy". The popular image is just "free money", but while I have enough assets to start buying things with margin loans myself, I'm failing to see how to get some of that free money.

It seems generally reasonable that using an asset to collateralize a loan should be a taxable event, but the narrative about how this gets used seems off to me when trying to figure out the details.
by AnthonyMouse | 2025-05-08 18:27:54+00:00
There is a lot of narrative pressure right now to cast anything they do as illegal. So they issue an executive order saying to deny grants for "gender ideology" and plaintiffs do some forum shopping to find a lower court willing to issue an injunction against it. Then the grants would have to be reevaluated, but some of them that were denied based on the executive order would still have been denied based on other criteria anyway, only now there is a document saying they were denied based on the executive order. Then plaintiffs go to court based on the document and the administration claims they also had other reasons and the case makes its way through the courts and appeals etc., which hasn't happened yet so we don't know how it's going to turn out.

But none of that is really relevant to the question: If there is money for cancer research, and the administration objects to Harvard but not to cancer research, then they still issue the grants just not to Harvard, right?
by blibble | 2025-05-08 18:27:56+00:00
> Excellent safety, if you ignore Chernobyl, Fukushima, Three Mile Island, the Tokaimura accidents, the Church Rock spill, the beaches near Dounreay, and dozens more.

no, these are included in the calculations of "deaths per kilowatt-hour"

https://www.forbes.com/sites/jamesconca/2012/06/10/energys-d...
by DetroitThrow | 2025-05-08 18:28:06+00:00
Just curious, do you live in a capitalist country?

In your country, how easy is it for someone to professionally work on their _art_ - i.e. have a career not just art-adjacent, like doing creative work as a graphic designer or animator or tattoo artist, but actually their own art, such as original paintings, poetry, or novels - which pays the entirety of their bills (presuming their bills actually include rent, food, transportation)?

In your country, is their any pressure on an individual working in the arts to work another job?

Can they sustain a family?

Do artists typically live with their parents or receive familial support until they hit it big?

Do they live out the starving artist stereotype or are they given a less meager existence?

Of the people that grew up poor that you know, do you know how many of them wanted to be artists, but had to take care of family or their own survival ahead of pursuing their art?

Of people you don't consider wealthy growing up, how many of them could afford a year at a prestigious private school for a year ahead of high school? (Relevant to the author here)

If you can answer these, it may give you some insight on SK. I can give you more if that's not enough.
by achierius | 2025-05-08 18:28:58+00:00
But none of that ever applied to gentiles. Not before Christ, not after. Jews today do not claim that non-Jews are obliged to, or even ought to, perform any Mitzvot whatsoever -- and that's despite generally acknowledging that there are universal moral laws which bind all "children of Noah".

So if the remaining Jews continue following the Old Covenant, but others choose to rather follow Jesus' 'New and Eternal Covenant', then where would this obligation towards Old Testament law come from?
by pupperino | 2025-05-08 18:29:47+00:00
As a Latin American, I can't help but buy the American Exceptionalism thesis, and seeing you guys in this situation humanizes you so much. The US has such a strong bureaucracy and high bar for competence that you generally lack the immune system required for detecting con artists and social climbers - at least in politics. Ask a random Argentinian or Brazilian what politicians Trump reminds them of, and you'll get a seemingly endless lists of genuinely stupid, borderline sociopath populists. Follow up with a question on what are the consequences of having arbitrary, ever-changing tariffs on most goods for the purpose of industrialization, and you'll get a laugh, then a sad face.

Import-substitution is bad for econ 101 reasons that most people who have an axe to grind against Dems would've been absolutely capable of grasping only a few years ago. Now, it seems so many are willing to turn off a part of their brains for this short-sighted wishful thinking. "Well, the official narrative is that we're doing this to get manufacturing back, so let's wait and see" is something most people would immediately perceive as bs if a Dem was sitting in the Oval Office. Seeing a politician campaign on a stupid platform, and then getting surprised he actually shoots himself in the foot spending political capital pursuing is also very Latin American.

The good part is that the soon-to-be-coming recession the federal government just fabricated out of thin air is fully self-inflicted, and therefore somewhat easy to fix. The bad part is you have (at least) 4 more years of this lunacy, so it might take a while.
by jatin510 | 2025-05-08 18:29:59+00:00
Location: India Remote: Yes Willing to relocate: Yes Technologies: Rust, Nodejs, Javascript, Typescript, Golang

Résumé/CV: https://drive.google.com/file/d/1vH-Ws0YfAO1UGqzJVm4wElhkyiZ...

Email: jatin6972@gmail.com

Github: https://github.com/jatin510

Info: Hi, I'm Jagdish Parihar! A Backend Engineer with 4+ years of experience building scalable systems and microservices using Node.js, Rust and Golang. I've contributed to open-source projects like Apache DataFusion and thrive on solving complex backend challenges.

I’m now exploring remote roles or international opportunities to work on impactful projects, grow alongside talented teams, and keep pushing the boundaries of backend engineering.

Let’s connect!
by rdtsc | 2025-05-08 18:30:20+00:00
Well done, I really like the animations and the explanation. Especially the case where it's a graph and we can drag ahead or click "shuffle 100 times"

One thing that threw me for a bit is when it switched from the intro of picking 3 cards at random from a deck of 10 or 436,234 to picking just one card. It's seems as if it almost needs a section heading before "Now let me throw you a curveball: what if I were to show you 1 card at a time, and you had to pick 1 at random?" indicating that now we're switching to a simplifying assumption that we're holding only 1 card not 3, but we also don't know the size of the deck.
by belorn | 2025-05-08 18:30:49+00:00
If you want to present the plan as renewables and subsidized natural gas as being better than nuclear than be open about it and present it as that. It is not the same as a subsidize free renewables and storage solution.

Those 97.5% sounds very nice. Denmark has well over 100% renewables production from wind and solar, but in terms of consumption only get around 50%. The rest they need to import. 97.5 vs 50 means there is some work to be done.

I recently posted this link (https://svensksolenergi.se/statistik/elproduktion-fran-solen...) that illustrate how much energy that solar farms produce in Sweden. Getting 97.5% from that would be a nice challenge, especially around the winter months. December and January had around 3% production compared to the best previous month (which we could use as a stand-in for 100% capacity but that would be incorrect).

Natural gas is not fine. The geopolitical consequences are terrible, the environmental impact are not sustainable, and the cost are carried almost exclusively through subsidizes. Trying to sell natural gas as "saving the environment" is a political message that I do not agree with.
by Izikiel43 | 2025-05-08 18:31:00+00:00
> most of the world, when they say America or American, they mean the US

Ehh no. In school in Argentina you are taught that the whole continent is called America, then you have subcontinents in it (North/central/south), and I would guess other south american countries are the same. If you want to say citizen of the USA in Argentina you would call them yankees.
by rcarmo | 2025-05-08 18:31:05+00:00
I beg to disagree, Salvatore... Have a go at VS Code with Agent mode turned on (you'll need a paid plan to use Claude and/or Gemini, I think). It gets me out of vim, so yeah, it's that good. :)

Tip: Write a SPEC.md file first. Ask the LLM to ask _you_ about what might be missing from the spec, and once you "agree" ask it to update the SPEC.md or create a TODO.md.

Then iterate on the code. Ask it to implement one of the features, hand-tune and ask it to check things against the SPEC.md and update both files as needed.

Works great for me, especially when refactoring--the SPEC.md grounds Claude enough for it not to go off-road. Gemini is a bit more random...
by qball | 2025-05-08 18:31:07+00:00
Because we need baseload, reliable power that isn't dependent on foreign goodwill for cost-effective maintenance (which is the problem with solar- Chinese dumping makes the uneducated believe it's cost-effective, but not in a geopolitical context that could conceivably involve our largest trading partner going to war with them).

If you want clean, reliable, infinitely-sustainable energy that isn't dependent on foreign countries, and you're running out of viable places to put multi-gigawatt hydroelectric dams, this is the solution, and this is how much it costs.

If you don't like that, feel free to continue investing in natural gas.
by lotharcable | 2025-05-08 18:31:12+00:00
In terms importance the Nicene Creed is pretty fundamental to Christianity. The creed itself is not on the same level as the Gospel, but the ideas espoused in the creed are a reflection of what defines Christianity as Christianity.

Namely that there is One God that is "The Father, The Son, and The Holy Spirit" and that the Son died for our salvation, etc. The "Holy Trinity".

This is very defining. It is what separates Christianity from things like Rabbinical Judaism, Islam, Church of Jesus Christ of Latter-day Saints, Gnosticism, etc. Despite how similar and overlapping these things are to Christianity they don't believe in the Holy Trinity and many other details mentioned in the Nicene Creed.

So there is no surprise that they took any changes to the creed extremely seriously in the 5th Century and onward.

As far as Theology debates and how it resembles modern fandom... Yes, actually, a lot of it was actually fan service. These people loved the Church, they loved the Bible, and they loved God. It was a central obsession in their lives and they enjoyed debating and arguing over things just like people do today over football, cars, movies, and other things people enjoy/love etc.

The difference is the level of dedication and rigor these people engaged in. Few people could afford to spend their lives engaging in these philosophical pursuits, but the ones that could took it very very seriously. Theology is not only the study of God, but the study of the structure of reality itself.

It is from Theological debates of the medieval eras were we get things like peer reviews and the scientific process/inquiry.