MurphyA/hacker-news huggingface dataset:
by Mawr | 2025-07-20 17:35:18+00:00
There are languages with full inference that break this rule.

Moreover, this rule is more important for Rust than other languages because Rust makes a lot of constraints visible in function signatures.

But the most important purpose of the rule is communicating that this is a deliberate design decision and a desireable property of code. Unfortunately, there's an overwhelming lack of taste and knowledge when it comes to language design, often coming from the more academic types. The prevailing tasteless idea is that "more is better" and therefore "more type inference is better", so surely full type inference is just better than the "limited" inference Rust does! Bleh.
by maxlin | 2025-07-20 17:35:23+00:00
I know in Europe so I do know of walkable cities and how things do find a way with some limitations. We even reduced the amount of roads accessible to personal cars, literally 2 blocks from where I live.

With Robotaxi? Especially with the unavoidable fact (that I kind of don't like) of human driving eventually becoming curtailed with regulations, we can just use all of the existing capability that isn't used by transit, for Robotaxis that don't ever need to park even close to high traffic areas.

Induced demand won't ever overload the much more fluid system, especially as in peak times the prices can just go up a bit, and centers will become "gentrified" in favor of the more controllable Robotaxis way before driving your own car becomes literally illegal. Hell, driving your own car in Finnish cities is already ass.
by mind-blight | 2025-07-20 17:35:26+00:00
Cool, we have a semantics issue. Processing can mean "any change to a food item" such as chopping, cooking, etc. In these kinds of conversations, it's often used as "significant alterations that are not possible or common outside of a food lab". E.g. I can do cured meats, or add corn starch to a soup at home. I'm not going to make partially hydrogenated oils or pink slime for chicken nuggets.

If you're being genuine and trying to point out that it's difficult to draw a clear line between "good" and "bad" processing - absolutely! Processes that have been used for a long time (decades, hundreds, or thousands of years) are generally well understood and safer. Newer processes and changes have risks. So, "can I do this in my kitchen" is a great heuristic for trying to walk a very fuzzy line.

If you're deliberately misunderstanding the intent to further an argument, get outta here with that BS :P
by amy214 | 2025-07-20 17:35:27+00:00
>I don't think corporate election influence or mass media really have anything to do with it.

Is any particular group overrepresented there? Hairy, long hooked nose? I'm talking about white cishetero men of course, this is all their fault. We need to have more, and by more, I mean ALL, such people to be non-cishetero non-white non-men.
by jfyi | 2025-07-20 17:35:35+00:00
He's kind of entertaining. I usually don't do this here and feel it's normally in bad taste, but he crumbles pretty spectacularly when pushed and I was curious how much material he had for me.

You should see him ascribing nephrotoxicity to a chemical from a mushroom based on the reactions of squirrels in his yard eating an entirely different mushroom. I think I really got him at his peak though just skimming through.
by thewebguyd | 2025-07-20 17:36:27+00:00
Beyond just build quality too. The $1k air has phenomenal speakers for a laptop, a great display (albeit, no 120hz), and a touchpad that is unmatched on any other laptop. Plus, it's silent.

For $1k in the WinTel world you're lucky to get 1920x1200, or even worse, 16:9 1920x1080 as the standard. I switched to Mac the day the M1 came out, and haven't looked back despite how much I miss Linux. macOS grew on me, and I can't stomach paying $3k+ for a machine that is still substandard to a $1k MacBook Air.

The only laptop that comes close is the new arm Surface Laptop 7, but - no Linux on that for now.
by d4rkn0d3z | 2025-07-20 17:36:37+00:00
As a graduate student I was actually given tests that more closely resembled the second scenario the auther described. Difficult problems in GR, a whole weekend to work on them, no limits as to who or what references I consulted.

This sounds great until you realize there are only a handful of people on earth that could offer any help, also the proofs you will write are not available in print anywhere.

I asked one of those questions of Grok 4 and its response was to issue "an error". AFAIK, in many results quoted for AI performance, filling the answer box yields full marks but I would have recieved a big fat zero had I done the same.
by mdaniel | 2025-07-20 17:36:38+00:00
I don't exactly follow which part you're talking about, but yes JetBrains propagates the type and description from the JSON Schema into the golang templates inside the manifest files, same as it does with any type completion. They are reflected as their JSON Schema types, not golang's types, which I could imagine is potentially confusing to someone used to golang's view of the world but is for sure considerably better than "hurr, the type is whatever you say it is" which will be the case for values.yaml files without an accompanying .schema.json file

---

As for the "only string values for annotations," I think you mean patternProperties:

{ "$schema": "http://json-schema.org/draft-07/schema", "type": "object", "properties": { "annotations": { "type": "object", "description": "this is the description of the annotations key itself", "additionalProperties": false, "patternProperties": { "^[a-z][a-z0-9./]+$": { "type": "string", "description": "holds the value of the annotation" } } } } }

and if I put the following, then the 123 gets flagged as a schema violation

annotations: alpha: 123

as does

annotations: _: xxx 0xcafebabe: denied

---

If you mean schema checking on the output, that is checked by the OpenAPI built into Kubernetes itself, so yes, doing something silly in golang templates will not, by itself, check the result - that's one of the major limitations of Helm's moronic choice of using a text templating language for a structured file format
by js2 | 2025-07-20 17:36:53+00:00
This seems like a lot of work depending upon the use case. e.g. the other day I had a bunch of JSON files with contact info. I needed to update them with more recent contact info on an internal Confluence page. I exported the Confluence page to a PDF, then dropped it into the same directory as the JSON files. I told Claude Code to read the PDF and use it to update the JSON files.

It tried a few ways to read the PDF before coming up with installing PyPDF2, using that to parse the PDF, then updated all the JSON files. It took about 5 minutes to do this, but it ended up 100% correct, updating 7 different fields across two dozen JSON files.

(The reason for the PDF export was to get past the Confluence page being behind Okta authentication. In retrospect, I probably should've saved the HTML and/or let Claude Code figure out how to grab the page itself.)

How would I have done that with Gemini using just the web interface?
by ashdksnndck | 2025-07-20 17:37:09+00:00
When I grew up (in America) there was a “school bus” that came to everyone’s house and took us all to school. I don’t know what happened where parents now all have to take a huge amount of time out of their day to do a second and third commute dropping off and picking up kids from school. Whatever is going on there, it seems like a huge regression.
by opello | 2025-07-20 17:37:45+00:00
That's very interesting, thank you for the context. I imagine I learned some amount of this long ago and have lost it to disuse. I also think I agree with the majority of your analysis after reading your references as well as [1] and [2]. And I apologize for my uninformed quoting of a line from the article and appreciate the education.

I found [2] particularly informative because it outlines a multi-stage process through which an embryo goes, the earliest of which is fertilization as you described. My reading in the article, and perhaps relying too much on the artwork, seems to put the process described there at stage 1b-1c since the pronuclei looks to be in the process of fusing. My conclusion in cross-referencing [1] is that your "embryo proper" is around stage 4-5 and would have been implanted?

> They're removing the pro-nuclei before they fuse (which is when a new human, specifically their first sovereign cell and their DNA, would be formed).

I wish I'd had the context to appreciate this before my earlier reply. :)

I also enjoyed reading parts of [3] and imagine there is probably better information nearly 60 years later.

[1] https://en.wikipedia.org/wiki/Human_embryonic_development

[2] https://en.wikipedia.org/wiki/Carnegie_stages

[3] https://publicationsonline.carnegiescience.edu/publications_...
by joseda-hg | 2025-07-20 17:37:53+00:00
It's adding indirectly, more space taken by parking lots means that you have to spread further, which begets the need for more cars

Less parking spaces > denser enviroments > more walking(Or other more compact forms of transport) > less cars (To an extent) > less congestion

The US has multiple (smaller) countries worth of parking space
by monetus | 2025-07-20 17:38:42+00:00
Can I ask what time periods?

I have no personal experience of Kyrgyzstan or Russia, but my hunch would be that the noughts were riddled with taxi drivers like you say, while that has slightly improved over time? I mean, perestroika is known for having those problems, wasn't it? Correct me if I am wrong please anybody, thank you.

Also, kudos on your travel.
by vunderba | 2025-07-20 17:39:42+00:00
> It has stolen a decade of my life minimum.

Feels like this is a byproduct of a poor work-life balance more than an intrinsic issue with programming itself. I also can't really relate since I've always enjoyed discussing challenging problems with colleagues.

I'm assuming by "die" you mean some future where autonomous agentic models handle all the work. In this world, where you can delete your entire programming staff and have a single PM who tells the models what features to implement next, where do you imagine you fit in?

I just hope for your sake that you have a fallback set of viable skills to survive in this theoretical future.
by moogly | 2025-07-20 17:39:57+00:00
The whole thing never made sense to me.

Tesla, a supposedly forward-looking car maker, operating a taxi service, which is inherently low-margin?

And the alternative scenario floated (the "appreciating asset" malarkey), that everyone would be adding their personal cars to the pool and would be making money while you sleep and/or work even more baffling. Sure, you might fool some people that they'll make money even though the wear and tear and depreciation will be much worse, and you'd need better insurance to take care of when your car seats will be knifed (a considerable risk, even before the wanton brand destruction), and someone or some thing is going to need to clean and charge the car, then charging and parking fees...

And if it were that profitable on one or two cars, then why would Tesla even sell cars to you instead of operating their own fleet?

So it doesn't hold up to scrutiny unless you own a fleet, and then you'd probably need employees. Which, again, you'd be competing with Tesla and every other likeminded fool?

I guess somehow it's started to make a perverse kind of sense recently when Tesla sales are plummeting. Someone's going to have to use the cars they make I guess.
by mindslight | 2025-07-20 17:40:01+00:00
Please explain what exactly that would change about this situation.

The entire point is most of the surplus from the hospital is being extracted as real estate rent. The hospital itself doesn't need to post a profit in order for the overall scheme to be profitable for the perpetrators.

Furthermore as far as getting into this situation, administrators of a non-profit are just as capable of asset stripping to post good numbers in short term, and self-dealing to enrich themselves long term.
by r0m4n0 | 2025-07-20 17:40:04+00:00
Are you sure that you were in the right and there were two left turn lanes? There is an intersection by me that everyone uses wrong and you get folks using it as a double turn lane when the lanes have text that say the name of the road you are technically supposed to stay on. Really the city is to blame and not the driver because it’s confusing but still, I think the lanes are all mapped manually for Waymo (but personally I don’t have any inside knowledge)

Traveling south here on Land Park Dr there are two lanes, some people from the right lane veer left and the left lane veer right through the middle of the intersection. There aren’t dotted lines to help.

https://maps.app.goo.gl/?link=https://www.google.com/maps/@3...
by majormajor | 2025-07-20 17:40:10+00:00
I don't think it's subscriptions so much as consumer startup pricing strategies:

Netflix/Hulu were "losing money on streaming"-level cheap.

Uber was "losing money on rides"-level cheap.

WeWork was "losing money on real-estate" level cheap.

Until someone releases wildly profitable LLM company financials it's reasonable to expect prices to go up in the future.

Course, advances in compute are much more reasonable to expect than advances in cheap media production, taxi driver availability, or office space. So there's a possibility it could be different. But that might require capabilities to hit a hard plateau so that the compute can keep up. And that might make it hard to justify the valuations some of these companies have... which could also lead to price hikes.

But I'm not as worried as others. None of these have lock-in. If the prices go up, I'm happy to cancel or stop using it.

For a current student or new grad who has only ever used the LLM tools, this could be a rougher transition...

Another thing that would change the calculation is if it becomes impossible to maintain large production-level systems competitively without these tools. That's presumably one of the things the companies are betting on. We'll see if they get there. At that point many of us probably have far bigger things to worry about.
by TacticalCoder | 2025-07-20 17:40:13+00:00
I rely on these but there's zero loyalty. The moment something better is there, like when Gemini 2.5 Pro showed up, I immediately switch.

That's why I drink the whole tools kool-aid. From TFA:

> In this historical moment, LLMs are good amplifiers and bad one-man-band workers.

That's how I use them: write a function here, explain an error message there. I'm still in control.

I don't depend on LLMs: they just amplify.

I can pull the plug immediately and I'm still able to code, as I was two years ago.

Shall DeepSeek release a free SOTA model? I'll then use that model locally.

It's not because I use LLMs that I have a strong dependency on them.

Just like I was already using JetBrains' IntelliJ IDEA back when many here were still kids (and, yup, it was lightyears better than NetBeans and Eclipse) didn't make me have a strong dependency on JetBrains tools.

I'm back to Emacs and life is good: JetBrains IDEs didn't make me forget how to code, just as LLMs won't.

They're just throwaway tools and are to be regarded as such.
by jug | 2025-07-20 17:40:17+00:00
Web standards are so powerful today with all the browser native form components etc, so I think one should just exploit that one and use XSLT (https://caniuse.com/?search=xslt) if you want to create an own "UI markup language". It'll render straight to everything that your browser supports, which is a lot. Then just use CSS to style it however you wish if you want to. What's nice about this approach is also that you can create a true domain-specific markup language, which will always be more clean and compact than a generic one.
by tptacek | 2025-07-20 17:40:24+00:00
I didn't listen to the audio, just the teaser for it in this article, but my guess is they're not digging too much into the issue of hospital mismanagement and misallocation; in Chicago, we've got a lot of hospitals that are more or less slowly shutting down, not because anybody is doing anything shady, but simply because they aren't good and they're in areas with strong competition.
by WhyNotHugo | 2025-07-20 17:40:43+00:00
Oh-my-zsh has a lot of cool and handy features, but it is a huge and complex beast. Personally, I only cared about 3–4 features, so I simply removed it and sought out how to enable those features alone.

Additionally, a lot of functionality which I wanted wasn’t there in OMZ, so my setup had a lot of custom bits anyway.

My zshrc, for reference: https://git.sr.ht/~whynothugo/dotfiles/tree/269248912920d25e...
by jamiek88 | 2025-07-20 17:40:57+00:00
You should take a breath and consider why you are so emotionally triggered by criticism of Tesla.

For real man. You are wound up and have left dozens of increasingly irate comments.

This is not emotionally stable behavior. Why are you so heated over criticism of a corporation and by extension a person you don’t even know?

Worth taking a moment for some self reflection, this isn’t healthy.
by abeppu | 2025-07-20 17:41:07+00:00
> The experiments also revealed that the fruit stem straightens up during ripening, creating an average 53° angle that is close to the theoretical perfect angle of 50° that would maximize shooting distance.

I recall from school that distance is maximized for a ballistic path when the angle is 45°. See e.g. https://www.scientificamerican.com/article/football-projecti...

Did someone get confused while writing this article or is there some reason why the optimal angle would be different in this situation?
by motohagiography | 2025-07-20 17:41:08+00:00
these seem like solved problems. in canada, many govt depts have procurement rules that state all data must be hosted nationally by a custodian subject to national or even provincial law, and this has been standard for decades. the firm I work for also doesn't use google or microsoft clouds for similar reasons.

the deeper problem is governments are not technology builders and cannot produce tech products because they have no unique ability to deliver anything anyone subject to them actually wants.
by josephcsible | 2025-07-20 17:41:28+00:00
46 minutes is a lot more than 20 minutes, and "up to 2hr" is doing a lot of work since Google says "typically 1-2 hr". And isn't London the city that instituted the ridiculous 20mph speed limit? So even if the 2 hours vs. 20 minutes were true there, I'd put London in the "artificially slow down cars" category.
by hodgesrm | 2025-07-20 17:42:15+00:00
> It was ridiculous. They seriously wanted to rewrite everything in Java, including office and web browsers.

There's another perspective. Many people were looking for something like Java well before it was released: VM-based, portable, modern object-orientation features, etc.

Case in point: databases. In the early 1990s I worked on a project at Sybase that attempted to rewrite SQL Server from the ground up to bring in object [relational] support. The team focused on VM-based languages as a foundation, which were an area of active academic research at the time. Built-in object support, portability, and ability to support code generation for queries were among the attractions. The project started with Smalltalk (slow!), then moved to an acquired VM technology (it was bad!), and finally a VM we designed and built ourselves. These gyrations were a key reason why the project failed, though not the only one.

When Java came out in 1995--I got access to the alpha release in September--it met virtually every requirement we were trying to fulfill. At that point most attempts to build new databases on other VM tech became instantly obsolete. (Other vendors were also looking at VMs as well.)

Not coincidentally Nat Wyatt and Howard Torf, a couple of key engineers from our project, founded a start-up called Cloudscape to pursue the Java route. They created the database we know today as Derby.

Somewhat more coincidentally, Java became dominant in American DBMS development after 2000. Examples including Hadoop, Druid, Pinot, HBase, etc., are just a few of the examples. I say "somewhat more concidentally" because at that point most of us saw Java as simply more productive than C/C++ alternatives for building reliable, high-performance, distributed systems. That view has obviously evolved over time, but between JIT, dev tooling, and libraries it was definitely true in the early 2000s. It helps to remember how difficult C++ was to use at that time to understand this perspective.

In summary, a lot of the hype was the usual new technology craziness, but Java also met the needs of a population of people that went far beyond databases. There was a basis for our excitement. Just my $0.02.

Edit: typo
by anon84873628 | 2025-07-20 17:42:17+00:00
I mean, the cattle itself is turning a green pea into beef through a highly complicated and expensive process. Call me a scientific reductionist but there's no reason you can't theoretically replicate that in a lab.

I don't see anything in the Beyond Meat ingredients which is a scary chemical. It's just various plant proteins, starches, and oils that we've been eating for millennia already. Plus some fruit coloring, vitamins, and the like.

That's not to say it is automatically healthy or a useful product (e.g. one can certainly argue about too much "tropical oils"), but that also doesn't make it automatically dangerous either. That is called the naturalistic fallacy.
by moritzwarhier | 2025-07-20 17:42:46+00:00
Sounds like Germany, and it's not just public services.

I used to work part-time in 1st level IT support in a local hospital when I was younger.

The main "theme" of my superior's work subjects there (2009-2016) was the migration from XP to 7. You heard that right.

And apart from the usual Office- and AD-Lock-In, the most problematic workstations of course were always ones with very specialized software. Virtualization and terminal services were in use, but the whole selling point of Windows was mostly put ad absurdum already, because they needed Windows licenses for dedicated machines running e.g. specialized MRT software, but those weren't even part of the main network anyway. They needed arcane syncing procedures anyway and Windows provided no value whatsoever on these devices. Same for the patient monitoring systems on ICU beds. These were using some "embedded" Windows and were rarely working in a stable way at all, nor way they connected to the networks running AD or the CIS (edit: seems it's called HIS in English)

CAD and stuff in the office divisions was similar, but with less integration needs (apart from network printing)

What I'm trying to say is: like in many offices, any slight change made users hostile, updates cost obscene amounts of work and money, and Windows didn't provide much more value compared to SAMBA. That is dated experience, I know.

But MS has not shown to be a trustworthy company in any of my work experience so far.

It was impossible to create working solutions without MS, yes, but the reasons for that never seemed to be grounded in actual value provided by an MS-centric software and networking structure.

It was just the one available commercial solution with enough adoption, and MS has been milking their target markets with these strategies for a very long time.

Making themselves "indispensable", even in machines where their software was used to run a terminal server, basically.

Hell, in my town, 3 years ago, they started to replace subway train LED signals with crappy Windows-CE-based software.

The effects are still noticeable... the whole infrastructure is still 80% worse compared to 10 years ago.

You recognize the useless Windows licenses by the occasional Desktop (seriously, google "cologne KVB windows trashcan"....), 90deg-tilted display, and of course 20% of the signage is out of operation on average now.