MurphyA/hacker-news huggingface dataset:
by conartist6 | 2025-05-06 15:17:05+00:00
But this sums up so well why I think the valuation is so riskily high. You're saying that right now IDE UX is so slow and bad that often there are changes you know how to make but it would literally just be too many keystrokes for you to want to do yourself.

As far as I can tell if people like you just had a way to express code ideas with fewer keystrokes, a lot of Cursor's market would pretty much just dry up.
by netaustin | 2025-05-06 15:17:36+00:00
I contracted Lyme disease while on vacation in Cape Cod last year. The first symptom was left-side facial paralysis, which my physician diagnosed as Bell's Palsy, so I spent two weeks on steroids before we figured out the real issue. Three weeks of doxycycline cured the Lyme but left feeling pretty wrecked for more than a month afterwards! I seem to have avoided the chronic symptoms some people experience, but a low-dose antibiotic would have been great.
by skybrian | 2025-05-06 15:17:38+00:00
While I generally agree with defining new types to assert that validation has been done, I think your blog post could have explained more about what kinds of validation are practical to do. For example:

> Address that represents a “street address” that has been validated by your street address to exist

What does it even mean to verify that a street address exists? Verifying real-world relationships is complex and error-prone. I’m reminded of the genre of articles starting with “Falsehoods programmers believe about names” [1].

In practice, the rules that can be enforced are often imposed by the system itself. It simply doesn’t accept data that isn’t in correct format or isn’t consistent with other data it already has. And we need to be cautious about what harm might be caused by these rejections.

Having the validation logic in one place will certainly help when fixing mistakes, but then what do you do about data that’s already been accepted, but is no longer “valid?” This sort of thing makes long-running systems like databases hard to maintain.

[1] https://www.kalzumeus.com/2010/06/17/falsehoods-programmers-...
by turnsout | 2025-05-06 15:17:59+00:00
And this works about 25% of the time. The rest of the time, there is some inscrutable error with the version number of a dependency in requirements.txt or something similar, which you end up Googling, only to find an open issue on a different project's Github repo.

Someone needs to make an LLM agent that just handles Python dependency hell.
by ndriscoll | 2025-05-06 15:18:10+00:00
Programmers regularly do this stuff under various names/phrases. "Make illegal states unrepresentable", "parse, don't validate", "resource acquisition is initialization", etc. It's all about encoding the fact that your structure isn't just data, but also represents some proof of provenance that guarantees some property. Scala is an industrial language that gives more tools than you might usually find for this while also letting you be pragmatic and integrate with Java's massive ecosystem (though you quickly learn you'd rather not because Java code tends to not do a good job of leveraging types in a sane way).
by mrkramer | 2025-05-06 15:18:29+00:00
I care about my privacy but I use almost all of the Google's products because they are so easy to use and because they are so ubiquitous. But for people who are super worried about your privacy, did you ever refuse to send or receive an email from Gmail or some other big corp email provider e.g. Hotmail/Outlook, Yahoo etc.?

For example if there was en masse boycott of Gmail and Outlook maybe people would start switching to more privacy aware email providers. Let's say that you want to contact a blogger and s/he says: "I bounce off emails from Gmail, Outlook and Yahoo, please use other more privacy friendly email providers."
by berendjutte | 2025-05-06 15:19:39+00:00
Attendi | Senior Frontend-Focused Full-Stack Engineer | Amsterdam, ON-SITE hybrid | Full-time (80-100%)

Healthcare professionals have to spend too much time on administrative tasks when they should be spending that time delivering great care. Attendi allows healthcare professionals to report with their voice. This saves them precious time and removes the screen between client and caregiver, allowing more personal and effective care to be given. Burdened by an aging population, the healthcare sector is in desperate need of innovators like Attendi. We feel that we provide an extraordinary work environment: getting paid well to work with smart people on things that actually have a positive impact on society.

Attendi has built a strong user base with its API-first speech-to-text solutions and client SDKs, loved by healthcare professionals via integrations with electronic health record (EHR) vendors. Currently, users interact with our products only within their EHR systems — but why stop there? We want to enable them to benefit from our tools anytime, anywhere.

As a Frontend-Focused Full-Stack Engineer, you’ll play a key role in developing our new (greenfield) products to support this ambition:

Attendi’s first external full-stack app — which we see as the healthcare sector’s notepad. Our aim is to make it the default write-layer for medical data. But it’s far more than a simple notepad: speech-to-text and machine learning will be deeply integrated.

We have a dedicated team with fewer than 25 members, which means no bullshit, moving fast, and getting a generous slice of equity. We're post product-market fit, profitable, and on the cusp of scaling up in the Dutch market.

Check out https://attendi.recruitee.com/o/senior-frontend-focused-full... for more details on the position.

Feel free to send any questions to berend [at] attendi [dot] nl.
by johnnyanmac | 2025-05-06 15:20:10+00:00
>you bring home say $300k/yr. You don't live in a HCOL

Oh, I didn't know we were fantasizing about 2022.

> you can still say you spent 10 years working at MS or Google and that would get you red carpet treatment just about anywhere.

well, not in 2025. Market is rough and it's all topsy tuvrvy out there, with lots of companies pretending to hire but not.

>If I was at one of these big tech companies and someone told me I was stagnant and would never get prompted I would just tell them so what. I bring home $300k for my family and I have a good work life balance

Even tech isn't immune to "move up or move out". Google's had plenty of layoffs these past few years and that's an easy way for the gravy train to end. Hope you got plenty of savings.
by AnimalMuppet | 2025-05-06 15:20:18+00:00
No, you're not wrong. I mean, in some circles, it's a battle to get programmers to use types at all. And, while not every proposition can currently be usefully encoded in a type, every type currently encodes a proposition. So if we can get the people who don't use types to start using them, that's probably the lowest-hanging fruit.

From there, every step to improve the expressiveness of types allows you to encode more within the type system. For example, one could think about encoding that non-empty requirement in C++ or Java collection types. It would be nontrivial - a number of things would need adjusting - but you could think about doing it. (Or rather, it would be nontrivial to do with static types. You could more easily make it throw if the condition was not satisfied.)

Your "properly locked" example is much harder. It would require telling the type system what the definition of "properly locked" is. Even at that, I can't see any way to do it as a static type. And that's a bummer, because I far prefer static types. I prefer my proofs to fail at compile time.

But my main point is, "proving" is not binary. Every incremental advance in what types can check proves more things, and therefore leaves the programmers having to prove less in their heads.
by agentultra | 2025-05-06 15:20:24+00:00
This can be difficult in a work context too. Plenty of times in my career where I had to depend on the output of another party even though I could see the mistakes they were making, offered advice/help, but ultimately had to work with what they developed regardless. One of the worst feelings is being right about these things.

Tons of software relies on bodges to get things to work. If you tried to "fix" everything you'd go mad and never be finished... and then someone else will come along and want to "fix" it.

Definitely avoid staring into the abyss.

But like Camus' Sisyphus, we often have to smile in these situations and carry on with our work. Dwelling on the absurdity of it all gets us nowhere.
by galad87 | 2025-05-06 15:20:26+00:00
It's surely not perfect, and so much is quite horrible, but at least try to keep the facts in check. AppKit and auto layout are still working fine, they aren't going anywhere any time soon, there is no need to rewrite all the UI code.

Core Data threading? Well, it has got its pitfalls, but those are known, and anyway, nothing is forcing you to use it.

Xcode is so slim these days, it a ~3 GB download, it doesn't take an hour to unxip, and it can be dowloaded from the developer website.

Swift? It might be needed for a bunch of new frameworks, Objective-C isn't going anywhere anytime soon either.
by paulcole | 2025-05-06 15:21:22+00:00
> It's not that simple.

No, it is that simple.

> Yes he could retire, but then he'd be sitting around, doing nothing

So? Is that not a valid choice?

> So the work that he does have to do just happens to be stressful and time consuming.

Imagine that he doesn't have to do this. That doing it is something that he gets to do.

Doesn't everything this person does tell us that they enjoy stress and having their time consumed by their business?

> Basically, a business owner can find themselves in a theoretical situation where they have a boat load of money but are also overwhelmed with work and have no other options.

There are always options.
by duped | 2025-05-06 15:21:35+00:00
This is "don't anthropomorphize the lawnmower" territory imo. I don't think Apple is actively hostile to 3P developers or tries to lock them in. I think they simply don't care - or lack the institutional capacity to care even if individual developers in the organization want to care.

The Apple developer experience is an abject horror because they believe everyone who is capable of developing high value applications for Apple devices works at Apple, or will work at Apple. 3P devs are a nuisance they tolerate rather than a core value-add for their services and devices. I assume it's less bad within Apple, but I really have no idea.
by CGMthrowaway | 2025-05-06 15:21:39+00:00
Concerns about the FAA's air traffic control system date back decades.

2008: U.S. air traffic controller force in crisis

2009: JOBS: A Scramble to Add Air Traffic Controllers

2010: FAA Faces Challenges in ATC Staffing

2011: How Ronald Reagan Doomed The FAA To A Staffing Crisis Every 25 Years

2012: FAA's ATC Staffing Shortage Continues

2013: Tower at O’Hare May Be a Victim of Federal Cuts

2014: Blame the FAA for air-traffic controller shortage

2015: Union: Chronic shortage of air traffic controllers a crisis

2016: Why the U.S. Doesn't Have Enough Trained Air Traffic Controllers

2017: Breaking point: America's air traffic control

2018: Could air traffic controller shortage have impact on safety?

2019: Shutdown Sets Off Airport Delays as F.A.A. Announces Staffing Shortages

2020: A global shortage of air traffic controllers is being exacerbated by huge demand for flights

2021: Staff shortage, bad weather blamed for flight cancellations at JIA, airports nationwide

2022: What’s behind the US air traffic controller labor shortages

2023: Drunk and Asleep on the Job: Air Traffic Controllers Pushed to the Brink

2024: FAA still short about 3,000 air traffic controllers, new federal numbers show

2025: Concerns about the FAA's air traffic control system date back decades
by pjc50 | 2025-05-06 15:21:40+00:00
What the vector-space data gets right, and what the human commentary tends not to, is the idea that accents are a complex statistical distribution. You should be careful about the concept of a "default" or "neutral" accent. Telecommunications has spent the 20th century flattening accents together, as has accent discrimination. There's always the tendency for people to say "my accent is the neutral standard against which all others should be measured".
by NickC25 | 2025-05-06 15:21:43+00:00
Was a PM before I went off and started my own non-tech company.

My definition of a good PM is someone who can champion both customers/users and developers concurrently, while sticking to the company's value prop and competitive edge.

In some cases, it's boiling down the needs of the customer into something achievable before sales gets in the way with over-promising and under-delivering. In other cases, it's telling the executives to stop wasting engineering's time with excessive meetings and scope-creep. It could be simply going and getting the engineers coffee. It could also be telling engineering to stop over-engineering the MVP and to simply get what needs to be done, done.

In simple terms, someone who can go to bat for any facet of the company at any time externally or internally, in order to make sure right product is being built in a timely manner that aligns with both business needs and most importantly, customer needs.
by latexr | 2025-05-06 15:21:46+00:00
This is an AI-generated slop article with no real insight. This author alone (are there even others?) has reportedly¹ written 288 articles since January 5th. That’s 288 articles in 111 days. Check the recent ones, there’s three or four articles in the same day.

The submitter², which looks to be the author, also looks like a bot account.

¹ https://www.implicator.ai/author/marcus/

² https://news.ycombinator.com/threads?id=marcusschuler
by syruphoarder | 2025-05-06 15:21:53+00:00
As a pretty piece of writing, the authorship isn't super important. The problem for me is that it is purports to be wisdom, distilled experience. But who's experience is it? Did the commenter filter their lived experience through an LLM? In that case, I would still credit it. But if this were coming from the LLM altogether, then it's not distilled life experience, it's distilled stereotypes.

The last line especially chafes at me. An LLM remarking on someone's internal experience and telling them they are seen, that would be nonsense. An LLM doesn't have a life experience to empathize with.

I'm open to verisimilitude in fiction, and I'm open to an LLM providing feedback or criticism. A while back I pointed ChatGPT towards pieces of my writing that were on the web and asked it to critique me, and it did identify some insecurities and such that were genuine. But I'm not really open to hearing from an LLM as if it were a person.

There's a concept in sociology called the magic circle, which governs what behavior is acceptable. We aren't allowed to lie, until we pick up a deck of cards and play BS, in which case we're expected to lie through our teeth. LLM generated text drawing on subjectivity and life experience has, I think, that eerie feeling of something from outside the magic circle.
by pmarreck | 2025-05-06 15:22:06+00:00
Great point, and I suspected the problem might not be as easy as it appears at first glance. (Because of course it isn't...)

I also considered the case when you're rapidly scrolling through a page- if a naive approach simply made things non-interactable if they've recently moved, that would neuter re-scrolling until the scrolling halted, which is NOT what people want
by mdaniel | 2025-05-06 15:22:09+00:00
I learned about your project from your comment on the Windsurf post but wanted to suggest that you plug your URL anytime you plug the project since it can make the difference between someone "adding it to their eventual list" versus "open in new tab, read, enjoy, engage"

https://github.com/Kilo-Org/kilocode#-kilo-code (Apache 2)
by atoav | 2025-05-06 15:22:13+00:00
The comment you responded to says: "Seems odd that they don't advertise it [the usage of Rust], though."

Isn't not advertising a language the polar opposite of being religious about a language?

I am all for a memory safe sudo and I don't care which language it is written in, use C, Ada, Rust, as long as it is a suitable systems programming language understood by a community of developers and you can proof memory safety to an acceptable degree. If the people first to do it in an such an way happen to use Rust, not accepting that based purely on the language is what would sound religious to me..

Maybe this protectionist reaction (see recent drama within the Linux kernel) is every bit as religiously colored as some people claim Rust people are.

I mean memory safety? What comes next? Not allowing us to use after free like true men would? \s
by Volundr | 2025-05-06 15:22:19+00:00
Not who your replying too, but since I've expressed similar sentiment:

Sonnet 3.7 with thinking is my go-to.

Deepseek R1

Gemini 2.5 pro (I've heard it said Gemini is outperforming Sonnet, but I find Sonnet more consistent)

O1-mini

Depending on what I'm doing it's generally either via Cody or Aider.
by fragmede | 2025-05-06 15:22:54+00:00
There's a difference between picking up on some esoteric detail.in your company's product and making it your only mission to solve it, ok the detriment of everything else vs taking Friday afternoons for a month to fix a Terraform provider for the world. There are two kinds of lazy. The kind that makes us good programmers and the kind that makes us bad programmers. If you're gonna be the second kind of lazy and just wait for someone else to do it for you, you might as well become a manager at work and take credit for their work while you're at it.
by EMIRELADERO | 2025-05-06 15:22:55+00:00
> The only reason we're even really entertaining this is because people continually draw parallels to humans. You see, it's not stealing from Getty. It's more like if someone saw Getty Images and then went out and took a photo in that same flat, boring style. Except nobody saw anything. And nobody went out an took a photo.

But unless your argument is that the photo outputs from the GenAI are literally equivalent to the training data, you would agree the end result is the same, right? Anyone can see that the images are not the training data stitched together, so it doesn't even really matter how it all works mechanistically, even though your description ("glorified database") is wrong.
by boroboro4 | 2025-05-06 15:22:57+00:00
I, for one, also want people who's unlawful in the US to leave / be deported.

But I also want this to happen according to the law. And this is more important to me than having these people in the US. Person who entered the country illegally, or, for example, overstayed their visas, might have rights to stay here according to our laws (again, look at asylum seekers). And I want those laws to be followed (or changed).

I also realize that what's really complicated is to find illegal immigrants. And ultimately it's a trade off between how efficiently we find them and how much we turn into police state. And for me it's much more important not to turn into police state, rather than get rid of unlawful immigrants.

Hate towards unlawful immigrants scares me, government induced hate - terrifies me (see https://x.com/WhiteHouse/status/1919552538447097970), that's where comparison to fascism comes into conversation. Under the pretense of hate towards particular group of people the worst things are happening. Hate and dehumanization are tools for such regimes.

Most of the unlawful immigrants aren't criminals (at least in the way you apply this word to your fellow Americans), and they came here because it was bad for them back home and they wanted better life. The life they're pretty much ready to work a lot for.

I can't help but notice how much this is the story of America itself. Your ancestors probably were this kind of people. It is part of the American DNA.

As of being bigot and hateful: "kick them out" and your insistence on them being criminals pretty much uncovers your feelings toward these people.
by ozgung | 2025-05-06 15:23:10+00:00
They are two different vowels. There are 8 vowels in Turkish. All letters correspond to a different phonetic sound in the language. So you can read it as it is written. Iı sounds like e in ‘the’, and ‘i’ sounds like ‘ee’ in deep. They are different sounds, different vovels hence conveniently different letters. Difference changes all the meaning. For instance “sınır” means boundary and “sinir” means nerve. I think it is simple and brilliant design for Turkish. I respect the design choices of all the other languages but this is what works best for our own language. You can simply accept that it is a different (modified latin) alphabet for a different language.
by erikerikson | 2025-05-06 15:23:23+00:00
We are wealthy parents who stepped up and gave substantial amounts to the PTA

We made our decision (noted before) when the school spent its energy to manage us rather than fix problems and serve our student. To be fair, there were ties they had no control over but they definitely failed in ways they could have done better too. When things that matter to us are out of our power we put them back under our power to the extent we can.

The problem with defection is the large scale/long term reduced prosperity trajectory.
by dpifke | 2025-05-06 15:23:33+00:00
There's a quote I learned when doing theatre, which I've seen attributed to either the stage magician Doug Henning or possibly Stanislavski, describing the process of art as taking something that's difficult and making it habit, then taking something that's habitual and making it easy, and then taking something that's easy and making it beautiful.

For example, as an actor, you learn your lines by rote (they become habit), then you gain an understanding of the character's motivations (remembering the lines becomes easy, because of course that's what your character would say), then you work to tune your performance so the audience shares in the emotion and unspoken meaning of the lines (that's beautiful/art).

As this relates to software, I think it goes something like: you learn the magic incantation to make the computer do what you want (solving a hard task becomes habit), then you learn why that incantation works (solving it becomes easy), then you figure out better ways to solve the problem, such that the original friction can be removed completely (you find a more beautiful way to solve it).
by psunavy03 | 2025-05-06 15:24:09+00:00
I'm not saying there are line items in the US defense budget for European programs. I'm saying the existence of NATO and the guarantee of a robust US response to any attack on a member has allowed Europe to prioritize doing other things with their tax bases and budgets than fund robust militaries.

And that a lot of the scoffing online about how Europe is somehow more "enlightened" than the US by having more generous social safety nets is at least partially due to said social safety nets being able to be paid for because the US is guaranteeing military support in the event of a crisis.

Now, under Trump (whether or not you agree), there are going to have to be some hard choices in European capitals on how to fund a military deterrent to Russia if the US policy is "maybe we will, maybe we won't." Article 5 of the North Atlantic Treaty is still the law of the land, but a Trumpist government may decide to provide only the bare minimum support needed.
by pascoej | 2025-05-06 15:24:10+00:00
It’s definitely an experience to see the food you got thrown away and be given an apple and some bread instead.

Many kids would opt to bring in a pack of ramen, crush it up, add the seasoning and eat it dry instead. Many (myself included) just wouldn’t eat to avoid the humiliation.

But, hey, at least we had that most expensive high school football stadium in the world for a time!