MurphyA/hacker-news huggingface dataset:
by habitue | 2025-08-03 03:32:52+00:00
> by encoding more and more responsibility in the type system, you're just pushing your business logic to a different language

Yes, this is 100% correct. Type systems are just another language

> The same propensity for human error exists there as well.

This is where I disagree. Sure you can make errors in types, but it's not the same because strong type systems are more like proof systems. They tell you when you've encoded something that doesnt make logical sense. And they help you figure out if your code can be made to adhere to them. It's a checker that you don't normally have.

> But I don't see much difference in putting that logic in the base language or the higher order type system language, except the base language is more expressive and flexible.

The type language encodes your assumptions, and the base language has to adhere to those assumptions. If your type language is expressive enough, you can encode pretty complex assumptions. There's value in having the two playing against each other.

Similar to tests: you could say tests are just re-stating what you've already written in your code. In reality, it's another check for consistency with your original intention.
by bamboozled | 2025-08-03 03:33:07+00:00
Once again, the answer to these problems is not more bullshit...it's less. As I already acknowledged there were fuck ups, incorrect messaging, and the response had flaws. Yet scientists and medical experts were the best chance we had at getting through it, and they will be instrumental in handling the next one.

The reason you're not dead from Ebola spreading is because scientists know that Ivermectin doesn't work for Ebola, for example.

We're not ready for the next pandemic, we're in a way way worse position and let's say it was an even more serious virus, we're sure as shit not just going to podcast our way out of it next time.
by cnst | 2025-08-03 03:34:10+00:00
FreeBSD jail predates Amazon Web Services, and so does SWsoft's Virtuozzo that was subsequently open-sourced as OpenVZ. For Amazon SES, DJB's qmail made it possible to send a ridiculous amount of subscription emails very efficiently, too.

I've been using a VPS powered by Virtuozzo since like 2002 or 2003, how is EC2 all that different? Just the API?

Per https://en.wikipedia.org/wiki/Virtuozzo_(company), SWsoft was founded in 1997, and publicly released Virtuozzo in 2000.

Per https://en.wikipedia.org/wiki/FreeBSD_jail, FreeBSD jail was committed into FreeBSD in 1999 "after some period of production use by a hosting provider", and released with FreeBSD 4.0 in 2000.

Per https://en.wikipedia.org/wiki/Qmail, qmail was released in 1998.

Today, lots of AWS services are basically just re-packaged OSS packages.
by atoav | 2025-08-03 03:35:04+00:00
> People drive more carefully on frozen roads.

I am from the alps, with my share of knowledge about frozen roads. I would add to that: "People drive more carefully on frozen roads, *if they are not used to frozen roads and/or know roads are frozen.*"

For point one: In Austria I have seen (local) cars drive 30 km/h over the speed limit on the Autobahn while it was snowing at sub zero, with exactly the same (too close) breaking distance to others. In my experience for many people used to snow/ice the speed limit is still the orientation for many during ice/snow. If anything I'd expect the increase in defensive driving to be offset by the increase in accidents due to bad view, longer breaking distances, etc.

As for the second point: In Austria the second it snows or rainfall happens at subzero amadas of snow/ice clearing vehicles hit the road, yet during my lifetime I experienced black ice multiple times. To those who don't know what this is, it is a invisible layer of extremely smooth ice coating the road, which can happen of air + road temperatures and rainfall just align in the worst way possible. The resulting road is so slippy as if god had toggled off the "simulate friction"-checkbox. I remember a time where no-one could leave my village because they couldn't get up that one hill on foot. I managed to get to school by stomping through half a meter of snow next to the road and slipped 10 times on the way to the school while wittnessing multiple (minor) car crashes. I have seen such conditions happen on the Autobahn as well and the results are not pretty.

Zero traffic casualties in a cold climate therefore has to mean absolutely lightning fast road maintenance and/or stellar information on the current road conditions and is certainly an extremely impressive feat. I can't imagine this is possible without adaptive speed limits (and rhe infrastructure that is needed to pull that off). The Finns have reason to be proud (aside from them being really nice people in my personal experience).
by ChuckMcM | 2025-08-03 03:37:46+00:00
An observation. If we stipulate that this is true that a 'senior developer' benefits from Claude Code but a junior developer do not. Then I'm wondering if that creates this gap where you have a bunch of newly minted '10x' engineers who are doing the work that a bunch of junior devs helped with, and now you're not training any new junior devs because they are unemployable. Is that correct?
by timr | 2025-08-03 03:38:15+00:00
> Alot of smaller M&A in tech space was bad, it just was not Figma buying Adobe bad.

Yeah, you're gonna have to defend that assertion.

> I think startups exiting via M&A is part of the problem. It creates perverse incentives which is basically fuck profits, squash all competition while lighting money on fire and THEN when you are so embedded, screw over everyone knowing there tunneling out of your really thick walls is going to be extremely difficult.

I hate to burst your bubble, but the chances of a small startup getting acquired while "lighting money on fire" is basically zero. You have a particularly narrow-focused lens on startups that is driven by a few high profile stories. When you're on that sort of YOLO rocket ship, you're not looking for acquisition -- if it happens, something went wrong.

So yes, part of my argument is that smaller roll ups could not happen, and that market looks nothing like what you're describing.
by SilverElfin | 2025-08-03 03:39:08+00:00
I think it’s not that they stagnated on design. I think they stagnated on caring about customers. That’s why there are so many annoying little flaws all over their products now. Apple at its peak would not tolerate that. But they also have never truly had the ability to listen to customers. Try asking for help in their forums - you’ll get a bunch of fanboys who admonish you for not doing things the Apple way instead of helping you. If that’s the foundation of the company, any lapse in caring about customers will be even more painful.
by roenxi | 2025-08-03 03:40:27+00:00
Figma is a web app. Web apps are fundamentally a hyper-competitive market because literally anyone can just throw something up on the internet if they think there is a need for it. The risk here of Adobe overcharging for it is rather low - someone would build a cheap clone.

People keep coming up with theories that companies are about to corner the market then over-charge, but the theories vastly outnumber the cases where it ever happens in practice. It is almost always that the biggest companies in the market are just more competitive (lower prices or higher quality) than all the others.
by chrisco255 | 2025-08-03 03:41:11+00:00
Let's see the production model pull 6600 pounds on an 80% charge. Which by the way I see no stats on this on the site. But I'd much rather see production demos before I trusted those even. Even Cybertruck struggles to tow full weight at full charge further than 90 miles.

How much you want to bet you'd be calling a real truck to tow your ass out of that situation? There's a reason electric trucks haven't taken off for real work use cases.
by muzani | 2025-08-03 03:41:55+00:00
You should have the why ironed out well before engaging the AI. Draw your UI, model your architecture, etc. If you must have the what before the why, that's perfectly normal and agile, but do it after the LLM is done type.

If you do want to use a LLM for brainstorming, design, etc, it should be done before the coding. Like humans, they're not great at doing both at the same time.

The models we have now are just very poor with setting up things from scratch. I think vibe code leans to frameworks like Expo because these are a little more stable without needing any architectural work, but they're rigid and limited.

In mobile, we always use a pattern like view-viewmodel-repository-service. There's little reason to use less for an app with lots of async (e.g. web apps). There's also patterns like design systems and putting all your themes and colors in one box. But the AI will almost never set up this pattern. It's well aware of it and it'll seamlessly when you tell it to do it. But you have to set it up first.
by friendly_deer | 2025-08-03 03:42:43+00:00
I know burnout can be extremely difficult.

Take a 2 week vacation first. Make sure it’s 2 weeks (or more, if you can swing it). One is not enough. Actually travel—it doesn’t matter where. Just get out of your normal environment and habits for a little while.

You’re not aiming to solve burnout with the vacation, but only getting some time and space to think and gain a little more perspective.
by WillAdams | 2025-08-03 03:43:36+00:00
Yep, that exact story is related in "A Different Shade of Blue" (pg. 104):

>At the next staff meeting, Kathy Vieth asked Wainwright to report on his progress in naming the new pen tablet. He took the small leather pad with the word _THINK_ embossed on the cover and simply tossed it onto the table. All eyes followed the little black think pad as it sailed through the eair, almost in slow motion and landed --- _PLOP_ on the conference room table.

>

>The team was very excited: everyone was talking. No one was sure whether it was Sue King, or Kathy Vieth, or Patty McHugh, or someone else who first declared, ``Denny, that's a think pad --- a tiny tablet. It's the perfect name. We'll call it a ThinkPad.''
by SilverElfin | 2025-08-03 03:43:52+00:00
Honestly, I think it’s the inconvenience of getting it on and off, but also the fact that it leaves the feeling and smell of sunscreen on you. That oily film gets on whatever else you touch like in your car. So it creates a bunch of work now, even though it may prevent bad things in the long-term. That’s the type of thing all humans are bad at evaluating right?
by itsanaccount | 2025-08-03 03:44:07+00:00
I keep reading little mentions, here and there that entire lines of scientific inquiry were quashed over the last century.

As someone who is fascinated by the UFO witnesses coming forward, which I have posted about on this site to standard ridicule, I think theres something to it.

But as a former member of CFI, I am well aware of the number and levels of grifters in the world. So I look forward to that intersection, of impeccable reputation and genuine curiosity in a single person, who decides to ressurect these dead threads of research.

If the 1930s ESP experiments showed anomalies, lets reproduce them and learn something new. Same goes with Townsend Brown's high voltage gravity anomalies. I hope, but I expect to die disappointed.
by crystal_revenge | 2025-08-03 03:44:22+00:00
Everyone is religious, people just participate in choosing their religion to different degrees. This famous quote from David Foster Wallace is perhaps more relevant now then ever:

> In the day-to-day trenches of adult life, there is actually no such thing as atheism. There is no such thing as not worshipping. Everybody worships. The only choice we get is what to worship. And an outstanding reason for choosing some sort of God or spiritual-type thing to worship — be it J.C. or Allah, be it Yahweh or the Wiccan mother-goddess or the Four Noble Truths or some infrangible set of ethical principles — is that pretty much anything else you worship will eat you alive.

—David Foster Wallace
by refurb | 2025-08-03 03:45:37+00:00
Where did you get that number from? It doesn't even pass the sniff test.

17% of GDP is spent on healthcare. Claiming 60% of that is just "middleman overhead" makes no sense when the highest European countries spend 70% of what the US spends on healthcare.

If you want an actual analysis of why US healthcare costs are higher, I'd recommend the McKinsey study that compared category spending vs OECD countries. Exhibit 2 on page 4.

https://www.mckinsey.com/~/media/mckinsey/dotcom/client_serv...

Administrative costs are way higher in the US, but it only accounts for 15% of the higher cost.

The biggest driver is outpatient care - Americans get way more healthcare and it costs more (quantity * price).
by transcriptase | 2025-08-03 03:46:10+00:00
So you’re just going to hand-wave away falsely claiming I’m lying about the experts and media explicitly spreading wrong information under some nebulous belief that putting blind faith in authority is still better than believing anything else?

I might find the whole “scientists know better than you or I do” drivel cute if I wasn’t one myself, or if I didn’t witness my peers repeatedly exaggerating or downright lying because they thought it was for the greater good.

Grow up.
by RiverCrochet | 2025-08-03 03:46:21+00:00
IPv4/NAT is not the only "to get to system X you must pass through system Y" scenario.

Example: You have a bastion host that is Internet-accessible, and it has one or more server behind it you only want accessible "through" the bastion host. The bastion host might be running nginx and reverse proxying multiple servers behind it, and this host is doing caching in addition to WAF and some other stuff.

So this bastion host would have at least 2 NICs, one for the Internet-facing connection and one or more where servers exist on a non-public LAN. The small network(s) connecting these servers to the bastion host can use a ULA and thus be guaranteed to not be globally routable.

Link-locals are suboptimal because since they are link local, they only have to be unique per link. This means some commands insist you specify interface name with the LLA, e.g. fe80::aaaa%eth1.
by xinweihe | 2025-08-03 03:47:29+00:00
Good question! Your setup already covers a lot — but TraceRoot tries to go a bit further in a few areas:

In TraceRoot, we organize all logs, metrics, etc. around traces and build an execution tree. This structured view makes it much easier for our agent to reason through the large amount of telemetry data using context-aware optimizations. (We plan to support slack and notion integration as well.)

It’s not a one-off tool. TraceRoot is a live monitoring platform. It continuously watches what’s happening in prod. So when something breaks, the agent already has full team-visible context, not just a scratchpad session spun up in the moment.

Down the line, we're aiming for automatic bug detection and remediation - not just smarter copiloting, but proactive debugging workflows. The system also retains team-level memory of past bugs, fixes, and infra quirks, so the agent gets smarter over time.

We’ve open sourced a lot of the core. Would love to jam on this if you're up for it. Always down to trade ideas or even hack on something together!
by muzani | 2025-08-03 03:48:11+00:00
Job market is hell, but the startup market is hot. If you can build things, you might want to just pick up an AI coding tool, build a micro-saas, and pitch it. Or keep building up your tool, sell it. This can be done within a month full time if you have some dev experience.

"Ideally I would like time to prepare adequately for interviews and really think about what I want to do next"

The question is prepare for what? Hackerrank is fast going out the window. Every company that wants to raise money needs to be an AI company so they're not going to tell you not to use AI during the interview. You can screenshot questions, paste it into a deprecated AI model, and it'll spit out the exact answer.

Using the AI tools if you haven't might also get you your next job. I think interviews might just be falling back to the classic "build the hardest feature we plan to add", and AI means you get to do in a day what would take a month to do before this.
by nerdsniper | 2025-08-03 03:50:33+00:00
I definitely agree everything you wrote is plausible. My hope is that the young ones learn to at least click the links that the LLMs cite and figure out where some of the good source materials are (like official documentation). Whether the LLM citations help them discover the good documentation or prevents them from being familiar with it is another question.

As is whether most documentation will be LLM generated in the future and what kind of quality that might be in 5-10 years. Right now, formal specs and documentation looks good for the first couple paragraphs and then is garbage.
by GianFabien | 2025-08-03 03:50:36+00:00
The pertinent question is about your company as a whole. If it wasn't for your manager would you be content to stay?

If "yes", then blacklist his number and never answer after hours. When asked to do something different always explain how that affects the other work in progress. Only work 8 hours or whatever you are contracted to do. If your manager kicks up a fuss, then go to the next level and/or HR. Refuse to be demeaned. Of course, you could get fired, but then your manager might get fired for his incompetence. It is a risk. But taking the "I don't give a F**! FAFO" attitude makes you feel more in control.

I speak from experience. I once had a managing director give me a hard time, I blew up on him and waited for what I thought was the inevitable termination. A week later, and most unexpectedly the firm's partners fired the MD.
by bccdee | 2025-08-03 03:51:12+00:00
> But once you've written tests to prove that you've handled the error correctly, you've also proven that you handled the error

Hardly. Suppose all caught errors in a particular module of code bubble up to a call site which (say) retries with exponential back-off. If the compiler can guarantee that I handle every error, I only need one test that checks whether the exponential back-off logic works. With no error handling guarantee, I'd need to test that every error case is correctly caught—otherwise my output might be corrupted.
by YZF | 2025-08-03 03:51:28+00:00
Here is Marine Drive in Vancouver: https://maps.app.goo.gl/ThnKn7PmD8sKSnNs5

Speed limit 50km/h ... It has lights and intersections. Almost no pedestrians.

Vancouver has many wide multi-lane streets. Some in denser areas with more pedestrian traffic some less. It has almost no real highways going to the city.
by roenxi | 2025-08-03 03:51:35+00:00
> “I found myself attacked by the Committee members and board, who considered me to be too soft on the paranormalists,”

It is actually a pretty interesting point to consider deeply. Engaging with people from a position of constructive scepticism does require going in with an open mind that could realistically be changed. However, anyone who has done that once or twice quickly realises that:

1) Most people appear to have avoided thinking critically about any of their beliefs at all. At best they are repeating poorly-understood arguments from other people they respect, at worst they are playing team sports.

2) Many topical problems appear to have been settled decades or centuries ago and people are just not interested in the problems they are professing to be concerned about. This happens a lot in politics; it is wildly unusual for a new topic to come before a legislative body and most policies that make it through the process haven't been thoughtfully assessed in terms of what happened the last time people tried it. The fact that people want to tinker with the laws at all is actually a pretty big tell that the process is weird - the situation a society faces doesn't change so quickly that the laws need to be adjusted every year. It should be a rather rare thing.

It requires a sophisticated understanding of the world and an unusual grasp of empathy to maintain a level of honest scepticism in the face of those two dynamics. Trying to have a conversation about why people believe something just turns up the answer that they do and they don't have any particular reason. Most of the time there isn't anything to discuss or dig in to.
by stickfigure | 2025-08-03 03:53:09+00:00
I think it's some variation of the efficient markets hypothesis. There are no problems that are both that lucrative and that easy to solve; if they existed, they would get dogpiled and stop being lucrative. Even in this day and age, $10B of revenue is an incredibly high bar.

On the other hand, $10B as valuation (not revenue) just requires a greater fool. Maybe it's possible, but I doubt there are too many of those fools available.
by trane_project | 2025-08-03 03:54:14+00:00
So direct instruction (the philosophy behind this book) has been shown to only have modest gains compared to the best interventions, which have more than double the effect size.

It works fine (not the best) for kids with no reading difficulties, but it completely lacks the understanding and the tasks that fix phonemic deficits, the actual source of most reading difficulties.

It's not entirely a bad book, but won't be of too much use for kids with reading difficulties. Since it's only a few bucks, it's not a bad investment. Just be aware of its limitations. If your kid is not developing fluent and effortless reading (not just decoding), you will need to use a method that is aware of how to fix phonemic deficits.

See my other comments in this page for more.
by mardifoufs | 2025-08-03 03:54:31+00:00
But those aren't people in Israel. They are settlers in land that they are illegally settling, outside of Israel. And you can also read the other comment, you can see that even the area has increased. Is your argument really that the Likud, the extremely pro settler party... Didn't expand settlements? You should go tell that to Netanyahu, that would be insulting to him.

And I guess this doesn't matter either, it's just the parliament of Israel showing how it treats Palestinians that stop fighting:

https://www.timesofisrael.com/knesset-votes-71-13-for-non-bi...
by bapak | 2025-08-03 03:55:42+00:00
I don't see a problem with what you're saying at all. For reference, you can already have HTML in SVG in HTML in SVG.

If you have a canvas-first page, where do you store the title? Right, in <title>, so

<!doctype html> <title>My canvas site</title> <canvas style="fill all">

In reality they should really just allow content in the canvas element and call it a day:

<canvas type="html"> <h1>Canvassing</h1> </canvas>
by oarla | 2025-08-03 03:55:42+00:00
And how many businesses do you estimate have been killed or eliminated because of unchecked m&a? Expanding the data set to include non-tech industries indicates strongly that it's not always the case that a big monopoly will eventually fail. Healthcare for example is filled with instances of bigger companies acquiring smaller ones and killing the competition to their product, a quick Google search will show you that.
by tomhow | 2025-08-03 03:56:15+00:00
Please don't post shallow dismissals... - https://news.ycombinator.com/newsguidelines.html

It's fine to think that we're in a bubble and to post a comment explaining your thoughts about it. But a comment like this is a low-effort, drive-by shoot-down of a comment that took at least a bit of thought and effort, and that's exactly what we don't want on HN.
by cnst | 2025-08-03 03:56:36+00:00
How do you distinguish a mirror from not a mirror on GitHub?

I often have my git configured to push to multiple upstreams, this means that basically all of your mirrors can be primaries.

This is a really good part about GitHub. Every copy is effectively a mirror, too, and it's cryptographically verified as well, so, you don't have to worry about the mirror going rogue without anyone noticing.