MurphyA/hacker-news huggingface dataset:
by AdieuToLogic | 2025-10-01 00:13:54+00:00
>> I disagree with "Don't put logic in tests", with the example provided being a problem with using strings where a URI type is needed instead. Perhaps the source of my disagreement is I hold that test code is production code due to test suite failure(s) during an automated build stops desired deployment.

> Yeah, I think that's a fair criticism. I think the specifics of the example could be better, but I think the important underlying message is that even something that seems simple like a string concatenation is added complexity that can mask a bug in a test.

I didn't mean to criticize so much as identify why I consider test code to be the same as production code.

Continuing with the example provided, the string concatenation is not the problem this test identifies IMHO. Instead, it is that:

nav.getCurrentUrl()

Returns a `String` instead of a type which disallows the formulation of the problematic `assertEquals` to begin with.

In a more general sense, I have found treating test suites the same as one would production code (refactoring, commenting, sometimes testing support logic used to define tests, etc.) has led to tests benefiting the same way. This approach also has had a twofold benefit of "keeping the same energy" when producing all source artifacts along with serving as a great way to onboard new team members.

All the usual caveats apply, of course. YMMV, IMHO, etc. :-)
by slg | 2025-10-01 00:13:55+00:00
>Books, comic strips, movies, they're all just telling a story with a different amount of it left up to the viewer's imagination. Lowering the barrier to entry for this type of stuff is so cool.

This response just never feels true to me. Many of the most successful web comics are crude drawings of just stick figures and text[1] with potentially a little color thrown in[2] and like half of the videos I see on TikTok are just a person talking into the forward facing camera of their phone. The barrier to entry in the pre-AI world isn't actually that high if you have something interesting to say. So when I see this argument about lowering the barrier to entry, I can't stop myself from thinking that maybe the problem is that these people have nothing interesting to say, but no one can admit that to themselves so they must blame it on the production values of their content which surely will be improved by AI.

[1] - https://xkcd.com/

[2] - https://explosm.net/
by int_19h | 2025-10-01 00:14:27+00:00
It does rather invite the question of whether the most popular programming languages today are conductive to "more caring about the general structure and interaction of units of code" in the first place. Intuitively it feels that something more like say Ada SPARK, with its explicit module interfaces and features like design by contract would be better suited to this.

Same thing with syntax - so far we've been optimizing for humans, and humans work best at a certain level of terseness and context-dependent implicitness (when things get too verbose, it's visually difficult to parse), even at the cost of some ambiguity. But for LLMs verbosity can well be a good thing to keep the model grounded, so perhaps stuff like e.g. type inference, even for locals, is a misfeature in this context. In fact, I wonder if we'd get better results if we forced the models to e.g. spell out the type of each expression in full, maybe even outright stuff like method chains and require each call result to be bound to some variable (thus forcing LM to give it a name, effectively making a note on what it thinks it's doing).

Literate programming also feels like it should fit in here somewhere...

So, basically, a language that would be optimized specifically for LLMs to write, and for humans to read and correct.

Going beyond the language itself, there's also a question of ecosystem stability. Things that work today should continue to work tomorrow. This includes not just the language, but all the popular libraries.

And what are we doing instead? We're having them write Python and JavaScript, of all things. One language famous for its extreme dynamism, with a poorly bolted on static type system; another also like that, but also notorious for its footguns and package churn.
by sethammons | 2025-10-01 00:16:28+00:00
Interesting that official recommendations are catching up to what some clinicians on the edge have been saying for years: inflammation may be a stronger predictor of heart disease than cholesterol. Clinician-authors like Dr. Gundry (who blame lectins/diet) have long argued inflammation is central, though their theories are more controversial and less trial-backed.

The argument, as I recall, is that the inflammation causes your body to want to treat the inflamed area and when coupled with cholesterol causes "cholesterol Band-Aids" to be plastered all over your arteries. The argument is that if you remove the inflammation, the cholesterol is not important because it's not trying to be made into a Band-Aid.
by bcrl | 2025-10-01 00:16:34+00:00
You have made a huge assumption that I have a steady income. I do not. I am currently in the middle of a fight with pole owners trying to get my company to survive having been denied timely access to poles for fully engineered permits. Loss over the last 7 years from delayed and denied access is in the millions. I could have settled things for hundreds of thousands, but there's no way to do that. I had to stop paying myself a paltry $25/hour to live off of last year when a creditor started squeezing as hard as possible.

Building FTTP networks is not expensive. It's the bullshit surrounding obtaining permission to install the fibre that is expensive.

That said, all software developers have a choice as to what they work on by the employer and teams that they sign up with. Just because you're employed to do something does not mean that you're obligated to go ahead with breaking the law.

Real engineers are required to take ethics courses in university, and they cannot willfully ignore actions that are unethical without risking the loss of their license. I think that software developers need ethical training more than ever given the direction of the industry.
by morleytj | 2025-10-01 00:17:15+00:00
I think reading does force more long term focus, even if it's marginal for certain books. Certainly moreso than scrolling TikTok.

My personal process of grappling with this led to a focus on agency and intentionality when defining the difference.

Scrolling TikTok, much as scrolling Twitter or Facebook or Instagram or YouTube's recommendations would be, is an entirely passive activity. You sit back and you allow the Content to be fed to you.

Reading a book requires at least a bare minimum of selecting a book to read, choosing to finish that book, and intentionally choosing at any given time to spend your time reading that particular book. Similar things can be said for selecting movies. The important part in my mind is that you chose it, rather than letting someone or something else pick what they think you'll like.

The process of picking things yourself allows you to develop taste and understand what you like and dislike, mentally offloading that to someone or something else removes the opportunity to develop that capability.

I think there's arguments to be made against this view: how can you decide what to read or watch without getting recommendations or opinions? If you only engage with popular media isn't it just a slower process of the same issue?

But I do believe there is a fundamental difference between passivity and active evaluation of engagement as mental processes, and it's the exact reason why it is harder to do than scrolling is.
by dktp | 2025-10-01 00:19:40+00:00
Odds providers have their models on how likely each outcome is. They add a spread to this (for example if it's 50/50, they'll pay out 1.8x instead of 2x). The line can also be affected by other factors, like how likely it is one side is oversubscribed. They don't make money on all markets, just most

But if someone has a model that is so significantly better than theirs that it beats the line _and_ spread, they will make money in the long run. Haralabos Voulgaris for example is likely one of the most successful sports bettors. Very interesting guy imo
by hopelite | 2025-10-01 00:20:28+00:00
This is just my perspective, but it seems that whatever is leading them to do so, the focus on supporting the Windows environment is extremely hamstringing. Apple effectively controls the whole hardware and software stack of any given device, AMD/Intel don't even really control the main board, let alone efficiencies between all the compatibilities.

No wonder the Ferrari of computers if more efficient and effective than hobbled together junk yard monstrosity... ok, I'll be more generous... the Chrysler of computers.

I don't want to suggest that Apple is ideal with its soldered constrictions, or that modularity should be done away with, but reality is that it seems to me that standards need to be tightened down A LOT if the PC market really wants to compete. I for one have no problem not dealing with all the hassle of non-Apple products because I can afford it. If Apple got its botoxed, manicured head out of their rear ends and started offering their products at competitive prices, they would likely totally dominate the majority of computing market, which would likely atrophy and effectively die out over time.

Let's hope that Apple remains pretentious and sturdy greedy so that at least we have choice and it gives the PC sector at least a chance to get their standards in order, maybe even funding a gold standard functional linux distro that could at least hold water to MacOS without drooling all over itself.
by thejash | 2025-10-01 00:21:05+00:00
I haven't tried it, but it might work if you set the env var yourself (I think you can create a `.env` file in `~/.sculptor/.env` and it will be injected into the environment for the agent)

I'd give it a good 20% chance of working if you set the right environment variables in there :) Feel free to experiment in the "Terminal" tab as well, you can call claude directly from there to confirm if it works.
by rowanG077 | 2025-10-01 00:21:21+00:00
yes you said that. That doesn't mean losing two very important team members who both have unique skillset just doesn't have any impact. You really can't just waive that away with "New leadership has decided to upstream the existing work before moving on to work on supporting newer chips". That Alyssa is no longer involved definitely is a huge loss for Asahi, I'm very surprised you can even attempt to deny this.
by munificent | 2025-10-01 00:22:01+00:00
I suspect it's because DHH is on the board of Shopify [1] and a lot of people really don't like him [2].

(To be clear, I am not stating my own opinion of DHH or Shopify. I'm just saying I suspect this is why a lot of Rubyists are not OK with RubyCentral being under the thumb of Shopify.)

[1]: https://www.shopify.com/news/david-heinemeier-hansson-board

[2]: https://davidcel.is/articles/rails-needs-new-governance
by griffzhowl | 2025-10-01 00:22:03+00:00
Yes, but Godel proved the incompleteness theorem, by ingeniously finding ways to prove things about unprovability.

The incompleteness theorem doesn't say that there are statements which are unprovable in any absolute sense. What it says is that given a formal system, there will always be statements which that particular formal system can't prove. But in fact as part of the proof, Godel proves this statement, just not by deriving it in the formal system in question (obviously, since that's what he's proving is impossible).

The way this is done is by using a "metalanguage" to talk about the formal theory in question. In this case it's a kind of ambient set theory. Of course, the proof also implies that if this ambient metalanguage is formalized then there will be sentences which it can't prove either, but these in general will be different sentences for each formalized theory.
by nkurz | 2025-10-01 00:22:16+00:00
Since I haven't seen it mentioned yet: I've been wondering how much acidity affects pasta cooking time.

We've noticed that dry pasta almost always takes significantly longer to cook than the packaging suggests. I don't think we are overcooking, but I suppose that could be true. It could also just be bad instructions on the packages, but I think there is something more.

We are at a slight altitude (2000 ft/ 600m) which has some effect, but cooking times are sometimes 50% longer than claimed, and I'm doubtful the 4F / 2.2C boiling difference would have this large an effect.

We also have quite acidic well water. I know that this affects cooking times for dry beans, but I haven't seen much about the effect on pasta. Has anyone looked into this? My quick attempt at searching didn't turn up much.
by zbentley | 2025-10-01 00:22:34+00:00
Another example of extremely far towards the "accurate and trustworthy" end of the spectrum: asking a running webservice for the e.g. Swagger/OpenAPI schema that it is currently using to serve requests. If you can trust that those docs are produced (on request or cached at deployment time) by the same backend application instances serving other requests, you'd have pretty high assurance.

Nobody does that, though. Instead they all auto-publish their OpenAPI schemas through rickety-ass, fail-soft build systems to flaky, unmonitored CDNs. Then they get mad at users who tell them when their API docs don't match their running APIs.
by skippyboxedhero | 2025-10-01 00:22:36+00:00
This isn't correct.

Asian books (not a geographical distinction but a business model) are not exchanges and they effectively pay sharps to bet with them. This is why betting syndicates exist, they set prices, and the business model of Asian books is to make it back on volume from having the best prices (and before legalisation, these were the biggest books in the world, they did billions every week in handle).

But the business model is different: retail-facing bookies have to win their customer base back every week so they need to spend more marketing. Asian books also do promos but they tend to be one-time (which are cheaper to run), they don't have a non-sportsbook business typically, and they don't comply with regulators.

Exchanges do not drive away sharps either. Their business model is largely about providing an environment for sharps. The only times were that hasn't been true is when a syndicate has owned an exchange (this happened with Matchbook). The exchange provides an incentive to invest for people to invest in price discovery, which happens. There is no way for the business to run without someone being incentivized to discover prices. People randomly gambling against each other isn't a business model.
by Ray20 | 2025-10-01 00:22:47+00:00
> why would I be subject to their laws?

For the same reason that a person under British jurisdiction is subject to its laws. I mean, laws, including British ones, exist for a reason. And usually, that reason isn't "because they're British," and this reason makes sense regarding to non-residents as much as it does to residents.

> Just because it's accessible globally means I now have to factor in every possible regulation from around the world?

Literally. Unfortunately, international laws and international cooperation are not yet sufficiently developed, and extradition requests for such reasons are not a common occurrence yet.

> The burden shouldn't fall on me

The burden doesn't fall on you. That's not how laws work. Laws usually work like this: The British government decides that certain actions are harmful to the UK, and to prevent them, it punishes those who commit them. So, on what basis should you be granted an exception to this logic? These prohibited actions don't become any less harmful to the UK just because they were committed by someone in another jurisdiction.
by txru | 2025-10-01 00:23:17+00:00
Hmm, the rigorous systems of measure for GDP were only pioneered by Clark and Kuznets in the 30s and collected widely in the 40s. There were measures before then but they had much less rigor. I imagine the 1880s-mid 1920s were pretty impressive. Ditto for the 1830s-late 1850s.

What’s more, that time period includes recovery from the crashes of the early 30s, the massive war production of the 40s, and the massive boost that was having the rest of the world’s manufacturing and demand still in ruins in the 50s and 60s.

You could be right— but the data sure is confounded.
by kevin_thibedeau | 2025-10-01 00:23:40+00:00
It won't be. Even an extinction level asteroid or comet impact will be easier to handle on a planet with breathable atmosphere, water, and other resources. Colonizing Antarctica is a few orders of magnitude easier than Mars and we've barely progressed with that. Still, Mars would require much more self-sufficiency than we've ever attempted. It's worth the effort to expand human exploration.
by api | 2025-10-01 00:24:18+00:00
I’ve been predicting for years that the next stop for “social” media is a purely machine generated slop feed designed to keep people addicted. No human creators at all.

The question is whether people will eventually get bored with this stuff or if it actually will mesmerize people for huge fractions of their waking lives.

If the latter, I suspect we will outlaw it eventually. It’d be like legalizing hard opiates, literally, but minus the ODs and health damage.
by michaelt | 2025-10-01 00:24:38+00:00
Yes, you can do that. The thing is, that'll apply to all your employees, no matter how junior.

And it also extends to countries with extradition treaties to the US; holiday in the the Dominican Republic? You can be arrested and extradited to the US (Gary Kaplan). And of course if you change planes in the US (David Carruthers)? Arrested. Only broke the laws of one US state, and you change planes in another? Arrested (Peter Dicks).

Although perhaps the real lesson there is to be better at avoiding the US.
by girvo | 2025-10-01 00:24:57+00:00
So this doesn't help for iOS, but through the power of WINE and other cool tools, you actually can: https://gamehub.xiaoji.com/

These are especially great on the various Android based gaming handhelds that are out now with Snapdragon 8 Gen 3 and similar SoC's in them, but it works on a phone too
by morleytj | 2025-10-01 00:25:05+00:00
This is a thing I think about often.

I think people have a mistaken view of what makes some form of storytelling interesting. Perhaps this is my own bias, but something could be incredibly technically proficient or realistic and I could find it utterly uninteresting. This is because the interesting part is in what is unique about the perspective of the people creating it and ideas they want to express, in relation to their own viewpoint and background.

Like you pointed out, many famous and widely enjoyed pieces of media are extremely simple in their portrayal.
by ianburrell | 2025-10-01 00:25:18+00:00
There are IPv6 first ISPs. There are ways to do IPv4 from IPv6. MAT does IPv4 CGNAT over IPv6 with stateless gateways. 464XLAT is used by mobile ISPs but requires software on each device. It wouldn’t work for ISP, but there is NAT64 which works well for companies and networks that can control software.

There is no way to go from IPv4 to IPv6.
by pfdietz | 2025-10-01 00:25:47+00:00
Still, I try to be polite and reduce the code some before making the bug report. I don't want to come across as lazy and load you (in particular) with work I could have done.

Having said that, reduction can be tricky, and I need to do more work on that with the Common Lisp random tester, so as to allow more language constructs to be in the random code.
by api | 2025-10-01 00:26:00+00:00
There are probably ways you could explore this quantitatively by trying to measure the amount of novel latent information in the data you are ingesting, or by trying to quantify its effects on cognition.

Most short form content would probably score low. It’s short, for one, and it tends to be repetitive and lack anything like plot complexity or nuance.

Of course it’s not like trite pop is new. Way back in the dime store novel days it was called pulp. TikTok is just one of the latest iterations. People have always consumed dumb filler.
by colechristensen | 2025-10-01 00:26:17+00:00
While they're more expensive, microinverters help a lot with having a more flexible install plan a few panels at a time because you just buy one inverter per panel. Also helpful if you have shading issues where a little bit of shade won't ruin a whole string of power generation.

Especially if you're not trying to achieve an off-grid/backup solution, microinverters keep your install and additions simple.

https://enphase.com/store/microinverters

Also, when you start small you don't need or have any use for a battery. Produce less than you consume or be happy with a little bit of waste and you don't need the complexity of a battery.

There are plenty of well planned paths towards a slow accumulation of pieces and features.
by mattmaroon | 2025-10-01 00:26:35+00:00
Funny enough I’ve actually just started ordering those on Amazon or AliExpress. What’s the difference if I get the Florida keys magnet actually in the Florida Keys or online if either way it’s coming to me from China?

(I mostly try to get something handmade or locally made if possible, in the rare instances, I buy trinkets, which is pretty much just that I buy a refrigerator magnet from every city I take my RV to. But every now and then yeah there was nothing but the Alibaba stuff.)
by infecto | 2025-10-01 00:26:59+00:00
Are you aware you are picking the wrong numbers. $382 is post iRobot when endeavor sold to Flir. Why would you even use that number. PackBot sold for $45mm. That’s a decade worth of work and investment for $45mm. I think you might be narrating a bit too much and putting words into my mouth. I don’t know the IRR for iRobot as I was never part of the funding rounds while private or an insider while public. That said it was a stagnant public company that had a jump around Covid time which has come crashing back down. Maybe those folks like yourself, based on the way you speak, invested early in the 90s in iRobot and were part of that IPO.

I am not attacking the man only a perspective that I am not sure investors would see him as a wildly successful entrepreneur.
by byroot | 2025-10-01 00:27:10+00:00
Not to my knowledge. But I may have missed something.

My understanding is that having a legally enforceable contract help dissuade malevolent actions (easier to sue for breach of contract? But IANAL).

As for copyright attribution, I doubt it. That ship has sailed, that code base already contains contributions from hundreds of people, and I can’t really imagine a business model that would rely on relicensing.
by bpt3 | 2025-10-01 00:28:40+00:00
Right, take a look at Section 8 of the Terms of Service (https://rubygems.org/policies/terms-of-service):

THE SERVICE IS PROVIDED STRICTLY ON AN “AS IS” AND “AS AVAILABLE” BASIS, AND PROVIDER MAKES NO WARRANTY THAT THE SERVICE IS COMPLETE, SUITABLE FOR YOUR PURPOSE, RELIABLE, USEFUL, OR ACCURATE.

What warranty are they providing exactly?
by dang | 2025-10-01 00:30:17+00:00
Jobs posts can't be regular submissions, but we have monthly "Who Is Hiring" threads that are free to everyone. They appear on the first weekday of each month and can be found at https://news.ycombinator.com/submitted?id=whoishiring afterward. You post your job as a comment in the latest thread.

Please read the instructions at the top of the thread (above the actual job posts) and take a look at some of the other posts to get an idea of the conventions. These threads become closed to new comments after two weeks. Since tomorrow (Oct 1) is the first weekday of October, there will be a new thread then.

One important point is that you have to personally be part of the hiring company in order to post. Third-party recruiters and job boards aren't allowed.