MurphyA/hacker-news huggingface dataset:
by 9rx | 2025-06-19 06:10:13+00:00
Not exactly as, in that case, they chose not to test the error condition for correct behaviour at all. The problem wasn't just the null pointer condition, but also that the coded behaviour under that state was just plain wrong from top to bottom.

More careful use of the type system might have caught the null pointer case specifically, but the compiler still wouldn't have caught that they were doing the wrong thing beyond the null pointer error. In other words, the failure would have still occurred due to the next problem down the line from a problem that is impossible to catch with a partial type system.

While a developer full of hubris who thinks they can do no wrong may let that slide, our discussion is specifically about a developer who fully understands his personal limitations. He recognizes that he needs the machine to hold his hand. While that includes leveraging types, he understands that the type system in any language he will use in the real world isn't expressive enough to cover all of the conditions necessary. Thus he will also write tests to fill in the gaps.

Now, the premise proposed was that once you write the tests to cover that behaviour in order to fill in the gaps where the type system isn't expressive enough, you naturally also ensure that you don't end up with things like null pointer cases by way of the constraints of test execution. The parent rejected that notion, but it remains unclear why, and we don't yet have a concrete example showing how errant nulls "magically" appear under those conditions.

"I don't need testing" isn't the same thing, and has nothing to do with the discussion taking place here.
by andrekandre | 2025-06-19 06:12:31+00:00
> The main unfairness in corporate America is nepotism. If you fight that, you'll automatically fight more white men than members of other identity groups.

adolph reed says something similar to this as well.

one important addition to that conversation is that what dei (in many cases) represents is the implicit acceptance of the system as-it-is except that the only problem remaining is 'equal representation'

so if (going to extremes) you have a corrupt organization, just making the identify of that organization represent the makeup of society doesn't fix that corruption; it just makes it look more legitimate...
by rvz | 2025-06-19 06:12:36+00:00
I think competent software engineers should actually read the "Under the hood" section, before they lose the core understanding on how debuggers work and are integrated into editors.

Upon reading the Rust code implementing the Debug Adapter Protocol (DAP) in Zed, some very junior SWEs will quickly point out that they would prefer only "self-documenting code" and would go as far as to removing all comments or even believe that "If it has comments, its probably bad code".

For sophisticated software that implements a defined protocol that is architected to be scalable in any piece of complex software, I prefer these comments that explains why a particular interface is designed the way it is and how it fits into the software (Zed) in this case if it were to be widely re-used like a plugin system.

This blog post is excellent in explaining this debugger integration in the editor and it makes me want to consider using Zed; it just needs an improved extension ecosystem.

[0] https://zed.dev/blog/debugger#under-the-hood
by WastedCucumber | 2025-06-19 06:12:39+00:00
Hate to break it to you, but you'd have to find support from the IRS / Ways and Means Committee first. For these institutions, the primary characteristic of US Citizenship is filing your taxes, no matter where to live or if you've ever even lived in the country. This puts the USA in the same odd category as Eritrea, Hungary, and I believe one other country.

And despite the difficulty of revoking US citizenship, the rate of revocations has increased over the last decade or two. If there was such a simple way to toss out that old rag, I'm sure there would be many more (and a little less tax revenue).

So I'm afraid* the USA is much more transactional than you think, at least regarding citizenship.

*I must admit this is sarcasm. Thank god the US is transactional rather than so stubbornly patriotic about citizenship.
by 0points | 2025-06-19 06:13:46+00:00
Here in Sweden, we have great success with wildlife bridges and more is being built, along with wildlife passageways (for when large animal end up on the road, there's a way out for them through the wildlife fences).

Studies: https://triekol.se/triekol-3-eng/over-and-underpasses-for-la...
by echelon | 2025-06-19 06:14:06+00:00
How is Zed with auto-completing Rust code?

I love how fast Windsurf and Cursor are with the "tab-tab-tab" code auto-completion, where nearly everything suggested is spot-on and the suggestions keep on rolling, almost automating the entire task of refactoring for you. This form of autocomplete works really well with TypeScript and other scripting languages.

IntelliJ / RustRover never got anywhere close to that level of behavior you can get in Cursor and Windsurf, neither in conjunction with JetBrains own models or with Co-pilot. I chalked it up as an IDE / model / language mismatch thing. That Rust just wasn't amenable to this.

A few questions:

1) Are we to that magical tab-tab-tab and everything autocompletes fluently with Rust yet? (And does this work in Zed?)

2) How does Zed compare to Cursor and Windsurf? How does it compare to RustRover, and in particular, JetBrains' command of the Rust AST?
by tdeck | 2025-06-19 06:16:41+00:00
I've had similar experiences but I honestly think a lot of time it's just that people don't realize how much effort something is. Like organizing a 2 hour lecture meeting about something looks like the most basic and minimal event, but when you actually do it as a volunteer you realize how much work it is, and how that work often comes at a time when you're tired from your day job. Volunteering for and being responsible for things has repeatedly opened up my eyes to the amount of effort involved.
by 0points | 2025-06-19 06:16:45+00:00
> The fact you have to edit a config file means it's missing the boat by mile.

No. That's how i3 and sway works, on purpose, by design.

I use sway, hence I claim to know how to do it in less than 2 minutes.

i3 precedes wayland, so again, not a wayland issue.

> A user should not have to learn config file formats in a graphical GUI interface.

If <app> requires user to <insert skill>, then user will need to <insert skill> in order to use <app>.

Well said, anon!
by const_cast | 2025-06-19 06:17:08+00:00
I disagree, I think weak typing significantly lowers developer productivity. Because your IDE gets lobotomized. Types aren't just for people, they're for programs. If I can't go to definition or go through the control flow that's a problem to me. I program in PHP - I get it. I have to live in the debugger because my IDE is worthless when I'm using bespoke arrays for everything.

Also, most statically typed languages have very robust type inference. If you don't like writing types that's fine - the language can just infer them 95% of the time. A lot of times you can open up a C# file and find next to no types explicitly written. But if you hover over something in your IDE, you can see the type.
Show HN: Voft – VAVR‑style objects for Typscript
by reeeeee | 2025-06-19 06:17:17+00:00
Hi HN,

Some time ago I released voft (Various Objects For TypeScript), a tiny utility library that brings some of the ergonomics of the Java VAVR functional library to TypeScript/JavaScript.

Why?

I missed VAVR's Try monad when writing Node back‑ends and React front‑ends: it lets you chain calls without drowning in try/catch blocks.

I wanted an async‑aware variant (AsyncTry) for promise chains.

Existing FP libs (fp‑ts, purify, etc.) cover similar ground but felt heavier for small projects, and I also wanted to challenge myself.

What's inside?

- Try – wrap any sync code, then .map, .flatMap, .recover…

- AsyncTry – same, but for Promise‑based flows; awaitable and chainable.

- Optional – lightweight Maybe.

- Either<L, R> – success/failure container with ergonomic helpers.

Early days – the API is still settling and there are probably bugs. I'd love feedback, issues and PRs!

Thanks for reading!
by vixen99 | 2025-06-19 06:18:29+00:00
Accepting this and purely as a logistic problem, how would you deal with Hamas who have in their basic charter made clear they don't want Israel to exist?

Should they get the chance, their intention to repeat October 7th has been clearly stated - it's in their charter. What does anyone do under those circumstances? For those who argue that Israel is an illegitimate State, I guess the practical question is where should the 9.5 million colonialist Israelis move to? And who would accept them?

"There shall be no recognition of the legitimacy of the Zionist entity". https://www.middleeasteye.net/news/hamas-2017-document-full
by willywanker | 2025-06-19 06:19:56+00:00
Only if you consider hosting the entire infrastructure for concurrent video streaming to millions of users as 'inserting themselves'. Before Youtube there was no way to distribute your home video to a large audience beyond sending the entire physical video file (too large to email, for starters) and the recipients having to deal with whatever mostly proprietary formats it had to be made in.

From the viewers' side, there was no place to go and browse videos, you were limited to short embedded clips or had to download the entire file first.

Youtube was a game changer when it first appeared and Google hadn't yet acquired it.
by alightsoul | 2025-06-19 06:20:47+00:00
why does vibe coding still involve any code at all? why can't an AI directly control the registers of a computer processor and graphics card, controlling a computer directly? why can't it draw on the screen directly, connected directly to the rows and columns of an LCD screen? what if an AI agent was implemented in hardware, with a processor for AI, a normal computer processor for logic, and a processor that correlates UI elements to touches on the screen? and a network card, some RAM for temporary stuff like UI elements and some persistent storage for vectors that represent UI elements and past converstations
by jillesvangurp | 2025-06-19 06:21:33+00:00
Right now, I use ssh to trigger a docker compose restart that pulls all the latest images on some of my servers (we have a few dedicated hosting/on premise setups). That then needs to reach out to our registry to pull images. So, it's this weird mix of push pull that ends up needing a central registry.

What would be nicer instead is some variation of docker compose pussh that pushes the latest versions of local images to the remote host based on the remote docker-compose.yml file. The alternative would be docker pusshing the affected containers one by by one and then triggering a docker compose restart. Automating that would be useful and probably not that hard.
by lelanthran | 2025-06-19 06:21:34+00:00
> I see active dis-interest like that as damaging to open source as a whole. It's a mercenary in-it-for-me view, one that's not investing any caring.

But that's not active disinterest.

I mean, what do you want people to do? Use the product that doesn't work for them?

Do you routinely go out of your way to switch to products that cannot (and will never) do what you need it to do?

Which products are these, that you use even though they can not do what you need?
by JdeBP | 2025-06-19 06:23:10+00:00
Here is one of your empty argument being thrown away instead of respected bugs:

* https://github.com/spf13/cobra/blob/6dec1ae26659a130bdb4c985...

I could explain the single-quote argument quoting error if you were running it on Windows. The Go runtime library does not provide single-quoting on Windows. At all. (This is historically the behaviour of C runtime libraries on Windows, too.) It should be using a proper argument vector and not doing its own command-line parsing on other platforms, though.

* https://cs.opensource.google/go/go/+/master:src/os/exec_wind...

* https://cs.opensource.google/go/go/+/master:src/os/proc.go;l...
by worthless-trash | 2025-06-19 06:25:38+00:00
I thought that was a set, the green tiles in the kitchen and the green walls had made me think she was 'more machine' than the other characters.

The room/lobby with the Aboriginal man at the bottom of the lift, was that the same location ?

https://imgur.com/a/original-seraph-0igD2aP <-- this scene.
by slg | 2025-06-19 06:25:48+00:00
I'm going to give you the benefit of the doubt that you are calling attention to the phrasing of the excerpt rather than insinuating that Jews collectively are more loyal to Israel than the US.

I admit the phrasing of the excerpt does look vague out of context, but it is about the collective of Jewish people. That is suggested by the excerpt saying "Jewish citizens" rather than "a Jewish citizen". It should also become more clear if you click through to the original and see all the other examples are about the Jewish people as a collective too. So yes, this text is specifically about the "because of" even if the excerpt doesn't make that explicit. It is not saying that any accusation of disloyalty is inherently antisemitism. For example, if a Jewish American citizen was arrested with real evidence of them being an Israeli spy, there would not be a serious discussion of whether the arrest was an act of antisemitism.
by ohdeargodno | 2025-06-19 06:26:30+00:00
That's not the initial point. The point is that UI tests are so much easier and less brittle if they're going to be using the accessibility tree, rather than relying on a few selectors.

click("Enable Frobzinator") is infinitely more maintainable than click(button().index(7)), and if you eventually remove the accessibility description, your test fails, letting you immediately know what's wrong, and whether it's the test no longer up to date, or if you broke something.
by Sephr | 2025-06-19 06:26:39+00:00
> “Fingerprinting has always been a concern in the privacy community, but until now, we had no hard proof that it was actually being used to track users,” said Dr. Nitesh Saxena, cybersecurity researcher, professor of computer science and engineering and associate director of the Global Cyber Research Institute at Texas A&M. “Our work helps close that gap.”

Maybe if you live in a bubble where documentation published outside of academia doesn't exist. Tracking vendors themselves have claimed to be fingerprinting users' browsers in their privacy policies for over a decade.
by imtringued | 2025-06-19 06:26:59+00:00
You're thinking about this in the backwards immediately obvious way.

Anti natalists are people who wouldn't want to be born if their parents had asked them. This means that anti natalism is the flip side of natalism.

A natalist can only succeed if they give birth to natalists and the only way they can do that is by giving their children a body and life worth living, making them anti natalists in disguise.
by Lammy | 2025-06-19 06:28:55+00:00
I love the track on Escape From Noise that uses the gun control analogy to point out the inevitable housing crisis we now find ourselves in. When no more can be sold, you can see that the majority of adults will be virtually prohibited from ever owning one (a home): https://www.youtube.com/watch?v=4vPCIWbCOyY
by birn559 | 2025-06-19 06:28:56+00:00
Because any precise description of what the computer is supposed to do is already code as we know it. AI can fill in the gaps between natural language and programming by guessing and because you don't always care about the "how" only about the "what". The more you care about the "how" you have to become more precise in your language to reduce the guess work of the AI to the point that your input to the AI is already code.

The question is: how much do we really care about the "how", even when we think we care about it? Modern programming language don't do guessing work, but they already abstract away quite a lot of the "how".

I believe that's the original argument in favor of coding in assembler and that it will stay relevant.

Following this argument, what AI is really missing is determinism to a far extend. I can't just save my input I have given to an AI and can be sure that it will produce the exact same output in a year from now on.
by globular-toast | 2025-06-19 06:29:29+00:00
There's actually a bit of a controversy over what the original film actually looked like. There are 35mm scans out there with no colour grading at all (e.g. https://youtube.com/watch?v=Ow1KDYc9XsE). Some people claim it never had the green and it was added later for the DVDs. The sequels definitely had it but turned up to 11. Trouble is nobody can really remember what they saw in the cinema in 1999 and there's a bit of Mandela effect going on thanks to retroactive grading and sequels.
by arkh | 2025-06-19 06:29:56+00:00
> then Google used anticompetitive practices to squash it

Not exactly. Apple happened.

Every "web designer" had to work on a macbook to be different like every one else. And firefox had dismal performances on those macbooks so said designers turned to the only browser with good tools and good enough performances: Chrome.

Next time you're told "performances don't matter", remember how it can be a differentiating feature and could cost you your market share.
by Rersk | 2025-06-19 06:30:43+00:00
Hi HN,

I'm an indie maker and just launched a small side project: Celebrity AI Image Generator – a tool that lets users generate AI images of celebrities in different styles, outfits, or fantasy settings. You can select from a preset style or enter custom prompts to create stylized portraits.

This is an experiment in combining diffusion models with prompt tuning, with a lightweight frontend. I’m trying to keep it fast, fun, and privacy-respecting (no data is stored, no login required).

Some technical details:

Backend powered by pollinations.ai with some fine-tuned models for stylistic accuracy.

Hosted on GPU-inference servers with caching.

Frontend is built in Next.js.

Image generation is done via prompt + LoRA-based style adapters.

I'd love to learn:

Does the UX make sense to you?

Are the results interesting or surprising?

What would you add or change to make this tool more useful or fun?

Any concerns from a technical or ethical standpoint?

I know the idea of AI-generated celebrity images may raise some questions around likeness rights, which I’m being cautious about. All generations are clearly synthetic, and I'm considering adding filters to avoid misuse.

If you're curious, here's the link: https://www.aicelebrity.design/ I’d really appreciate your thoughts – thanks in advance!
by ohdeargodno | 2025-06-19 06:30:54+00:00
You don't need to be an expert to verify basic checklists. Adding accessibility labels to your buttons, making keyboard navigation work are supposed to be part of your work as an "engineer". Can you imagine building a bridge and saying "yeah no I haven't checked the sidewalks are safe that's an accessibility feature" ?

A basic understanding of accessibility principles is a requirement if you intend to call yourself an engineer (and work on UI facing elements, of course.)
by lurk2 | 2025-06-19 06:31:11+00:00
I know I’m being pedantic here but take a look at Wikipedia:

> Social media are interactive technologies that facilitate the creation, sharing and aggregation of content (such as ideas, interests, and other forms of expression) amongst virtual communities and networks.

Forums satisfy all of these requirements. The key factor is not what kind of content users can post but that users can post, and more importantly that they post with the primary intention of interacting with other users. This covers Hacker News and other forums but excludes guest books and contact forms.
Free Virtual CS Classes and Tutoring
by _Yguy_ | 2025-06-19 06:31:14+00:00
Hey everyone! I know this forum is 'notorious' for having more experienced and skilled coders but if I figured this might be relevant for some of you:

Coding The Future is a program where we match people who are passionate about computer science to teach students interested in learning. If this sounds like an opportunity that you'd like to participate in please fill out this form so we can best match you with a tutee. Tutoring sessions will be 30 minutes weekly virtually.

All tutoring is done for free, so if you are interested in becoming a tutor you will get community service. We provide tutors with the resources to be an effective teacher, and regularly check in with our tutors and tutees to make sure the process is going smoothly.

Please note that dedicated tutors may be offered leadership roles, and if you are interested in taking on more leadership within the program, for example becoming a local director of programming or curriculum developer, please let us know.

You can also mail me directly if you want to help is any other way, like funding or leadership.

Email: yusuf.amin2307@gmail.com Our website: https://codingthefuture24.github.io/
by defrost | 2025-06-19 06:31:36+00:00
Just as a heads up; the currents, for native americans, are flowing backwards at present:

A member of Spirit Lake Nation was elected to North Dakota’s legislature for the first time last fall thanks to a redistricting lawsuit filed by Jackson-Street’s tribe, alongside the Turtle Mountain Band of Chippewa. The suit claimed that the districts drawn by North Dakota in 2021 violated the Voting Rights Act, and the tribes’ initial success in court triggered a new map and increased representation in 2024. But last month, a federal appeals court tossed out their victory and declared that only the federal government can sue over violations of the Voting Rights Act, a devastating blow to the ability of these tribes—and others in the region—to seek legal recourse.

* https://boltsmag.org/voting-rights-act-natives-north-dakota/

* https://boltsmag.org/threats-to-voting-rights-act-section-2/

There are numerous other examples but an increased inability to complain about unfair and discrimmanatory voting practices highlights the present direction of 'progress'.
Show HN: On-Demand H200 GPU Cloud from $0.79/HR
by happyGPU | 2025-06-19 06:32:19+00:00
Hi HN,

We’ve launched a GPU cloud platform offering on-demand access to high-end GPUs — with pricing starting at $0.79/hr, no queue, and no preemption.

What we offer:

- On-demand H100, H200, and B200 instances

- H200 pricing from $0.79/hr

- Multi-region support: US, Singapore, and Europe

- No queuing, no bidding, and no interruptions

- Used by AI startups, researchers, and open-source developers

Try it: https://hpc-ai.com/?utm_source=hackernews&utm_medium=post&ut...

We built this after facing our own frustrations with high prices and long wait times on other platforms. Would love to hear your thoughts — happy to share our pricing breakdown, benchmarks, or infrastructure details in the comments!
by throwaway290 | 2025-06-19 06:32:33+00:00
Aside from that Wikipedia article, where 1 source is not available and the other one is in Finnish, there's pretty much nothing online.

I googled for G4 LED tube PWM and got products that say they are G4 LED tubes that use PWM.

Pretty sure 100% of LED products sold anywhere use PWM if you don't use them at full brightness. I sometimes walk around lightning stores with a slo mo camera and see PWM in every price bracket.