MurphyA/hacker-news huggingface dataset:
by Lvl999Noob | 2025-05-19 19:54:40+00:00
Are there any plans of doing an actual v4 release and making zod/v4 the default there? Perhaps make simulatenous releases of zod v3 containing a /v4 path and a zod v4 containing a /v3 path? Then converge on just zod v4 with no /v3 from 4.1 onwards.
by rbanffy | 2025-05-19 19:54:47+00:00
They must share some similarities - it's IBM and both POWER and Z have access to the same patents and R&D. Apart from that, they are very different chips, for very different markets.

Also, I'm sure there are many little POWER-like cores inside a z17 doing things like pushing data around. A major disappointment is that the hardware management elements are x86 machines, probably the only x86 machines IBM still sells.
by epistasis | 2025-05-19 19:54:51+00:00
Your doctor can sell your data at any time into health data markets as long as their privacy policy allows it, and many do. See this article from 2016, for example:

https://www.scientificamerican.com/article/how-data-brokers-...

Optum Health and IQVIA facilitate this.

Additionally, 23andMe sold data in the past, quite publicly, to pharma companies to help identify drug targets.

My biggest concern, more than the trading of health data and genomes, is that people are not away its happening. That builds distrust. The actual practice of sharing deidentified health data helps improve outcomes and lower costs, aid discovery, etc. etc. But if people don't know it's happening they may get scared and try to stop it, without fully understanding the risks and benefits and how the risks have been mitigated by current law.

I 23andMe delete my data a while back. I argued with people on online forums about it in two different directions: 1) that 23andMe actually would delete your data so go ahead and request it to be deleted, it's not a futile effort, and 2) it's not super important. I did it mostly because I intensely dislike the behavior of 23andMe leadership, and secondarily because it may have ended up in more nefarious hands. Which leads to 3) the most dangerous use of this data is in bad science from bad polygenic risk scores, which have been a big fad for the past few years, but which are also extremely easy to mess up. Discrimination based on bad models with poor results is just as harmful as discrimination based on good models with adequate results, and some might even say worse.
by notahacker | 2025-05-19 19:55:24+00:00
Yeah this, in fact forget local and just write to researchers in your field, or go through dedicated network events. Finding a university researcher with a common interest in a field who'd consider the opportunity to be subsidised for the next 3-4 years working on stuff they're interested in isn't the hardest hurdle deeptech startups will face on their road to commercialization, especially when the alternative people treat like it's some kind of meritocratic sieve is "get warm intros to a VC class so insular some of them write unironic LinkedIn posts about how it's impossible to be successful outside the Bay Area"

(Or just use one of the funding mechanisms that attach little or zero weight to academic collaboration)
by TeMPOraL | 2025-05-19 19:55:55+00:00
This is me. I just put up an LCARS MQTT logger and a clock with touch support, on a Raspberry Pi 2B V1.1 with a 3.5' TFT touchscreen, all of which I bought for that purpose 10 years ago. I took a few stabs at it over the years, but in that time I also married and started a family and ultimately could never find enough time or sustained drive to do it.

Five days ago, I stumbled upon that package again, and in between my work tasks I casually chatted with o3 on how to get that screen to show something. I explored my original idea (driving via SPI interface directly) but that turned out to be a dead-end - and then went back to the framebuffer approach (system overlay handles the screen, I write to /dev/fb0); o3 made me a quick prototype to prove the concept - and then I fired up Aider with gemini-2.5-pro, and got the MVP the same day. I casually iterated on it over the next 4 days, improving performance, functionality, style and adding touch support.

I can tell you, if not for LLMs, that board would continue to gather dust in the drawer for the next decade. Instead, I'm on my way to extending this to realize my other old dream - making it into LCARS A/C control panel to replace the vendor-provided wall-mounted one.

Also, in the past couple months, I explored many other ideas and did a few prototypes, and started feeling again the energy I last had in high school. LLMs are just that good at removing the "blank page syndrome" and making every incremental task just more cost-effective, to the point they start to fit in my otherwise busy adult schedule.
by mrguyorama | 2025-05-19 19:56:07+00:00
>He would look at a trans person, go "well ain't that something" and move on with his life.

The problem, is that mountains of these kind of people say they are fine with trans people, but voted for this administration, and when you ask, they say "Kamala was going to gender change our kids" or some such bullshit.

So the culture war was fine to them, they just hadn't heard a hateful argument that touched their button yet.

My dad talked for like an entire year about how he's been newly dealing with non-binary and trans folk at the grocery store he was (at the time) managing, and how he thinks they are great and such nice people and their gender or whatever is not a work problem and he thinks "that people just need to have more patience with each other" but he voted for Trump

Because the liberals "have gone too far" with the "DEI stuff" and commented that he was worried that helicopter pilot from that accident was "rushed into someone else's spot"

Because she's a woman. And obviously we don't have like a hundred year history of talented and capable women pilots or anything. And it's not like women have been pilots in American commercial Aviation for decades with a clear trend of increasing safety. And obviously he has always had this consistent worry about woman pilots and feeling like he can't trust their ability and this totally isn't something that Fox News manufactured out of thin air these past couple years.

Which is funny because there is an actual, genuine, air traffic control scandal where a Black institution had perverted some pre-screening to give members of that Black institution an unfair advantage in screening. But even that horrible situation never put an unqualified or undertrained person on the job. It just made more of the members of the incoming training class black.

But that's the actual problem they don't like. DEI doesn't involve passing someone who should have failed, even in the blatant scandal I mentioned above
by salynchnew | 2025-05-19 19:56:13+00:00
> All of the historical mass casualty fire storms, involved wooden structure, and steel, concrete,glass, and brick, ended that.

You're right insofar as lots of improvements have been made to steel-and-concrete building fire safety since the 1970s. Plastics are sometimes still a problem.

https://en.wikipedia.org/wiki/Grenfell_Tower_fire

https://nfsa.org/2023/08/22/understanding-combustible-materi...
by bpshaver | 2025-05-19 19:56:44+00:00
No offense, but this sounds like user error. I rarely have irrelevant type warnings. If I do, it suggests something is wrong with my design.

If you declare a function parameter as `foo: int = None`... that is just an incorrect declaration. Of course a variable annotated as `int` can take a `None` value, but that is because any variable can take any type in Python. Within the Python type (annotation) system it is simply the case that an `int` and an `int | None` are two different things, as they are in other languages (eg Rust's `T` vs `Option<T>` types).

Mypy used to support the "implicit optional" feature you describe but now you must make nullable arguments explicitly optional. This is in line with Python's "explicit is better than implicit" design philosophy. In any case, how long does it take you to just type `foo: int | None = None`? Or you could re-enable the old behavior to allow implicit optionals with `--implicit-optional` or the corresponding config file option. It seems like you just need to configure mypy to match your preferences rather than fighting with its defaults.

To return to the broader point, I'm unsure what an "irrelevant type warning" is, but I suspect that has something to do with my lack of appreciation for dynamic typing. Can you give an example that isn't just a complaint about typing an extra 6 characters or about mypy being misconfigured for your preferences?
by dragonwriter | 2025-05-19 19:57:41+00:00
> Learning

Human learning doesn't involve making a copy (or any other use of an exclusive rights) as defined in copyright law (the human brain not being a fixed medium), AI training does, because digital storage is.

AI training may fall into the Fair Use exception in the US, but it absolutely does not fall through the same gap that makes human learning not even eequire fair use analysis since it doesn't meet the definitions ser out for a violation in the first place.
by Jotalea | 2025-05-19 19:57:46+00:00
And most of the times, the translation misses a core part of the title, making it harder or even impossible to understand. A recent example is "I booted windows from Google Drive (part 2)", which got translated to "inicié ventanas de Google Drive", which misses the whole point. Luckily for me, the miniature said what the video was about, and I could understand and watch it.

About the translation, sure, "boot" ≈ "iniciar", "window" = "ventana", but for (microsoft) windows, and other names in foreign languages, the same name must be kept.
by doug_durham | 2025-05-19 19:57:51+00:00
If find your comment "AI Slop" in reference to technical documentation to strange. It isn't a choice between finely crafted prose versus banal text. It's documentation that exists versus documentation that doesn't exist. Or documentation that is hopelessly out of date. In my experience LLMs do a wonderful job in translating from code to documentation. It even does a good job inferring the reason for design decisions. I'm all in on LLM generated technical documentation. If I want well written prose I'll read literature.
by immibis | 2025-05-19 19:58:01+00:00
Distrust is different from non-free. SSPL happens to be a free software license - that is a fact - which many people dislike - that is also a fact. The latter fact doesn't invalidate the former fact.

The incompatibility between *GPL and SSPL is a very good reason to dislike SSPL. I don't like it either, but I still think it's open source. Perhaps SSPL version 2 could be written to require that the source code for other parts of the service could be released under some particular set of licenses, which would make it much more compatible.

> OSI is not that special in this.

OSI is special because it's taken as an authority on what the term "open source" means, and it's special because it has actually written an official press release full of actual bullshit in order to justify its objectively wrong statement, while still claiming to be an authority and still being seen as one.

> I still think you'd need to back ... a bit more.

No competent capitalist entity will ever say outright "we lie for profit." It always has to be inferred from their actions. Look at what happened to Ratner's jewellery chain. If you outright say what everyone already knows, you can still get punished for breaking the suspension of disbelief. Same thing when Musk did the salute.

We can see that a capitalist entity did something which looks stupid on the face of it, but obviously advances its business interests. We conclude that either the board of directors were infected by brainworms, or they are advancing their business interests. The latter is much more likely. Burning social capital to gain financial capital is a tried and tested strategy.

https://opensource.org/sponsors
by Zigurd | 2025-05-19 19:58:02+00:00
It's unclear to me if Europe can move any faster than they can boot strap a VC culture. They can only grow a cadre of VC partners through experience. Some American firms have branches in Europe, and there are some European VCs that have decent scale, but I would guess it's 1/4th the size of the US venture business. Maybe less if you factor out investment that doesn't really look like US venture investment. European institutions should step up in the role of limiteds.

The article doesn't give a lot of details, but the ones it does aren't inspiring confidence. A six month decision process is wildly incompatible with startup needs. EIB might be better off being limited partners in existing European VCs.
by JoshTriplett | 2025-05-19 19:58:40+00:00
There is a reason why 1) people whose main environment is Linux feel (correctly) that these problems have been solved a long time ago, and 2) people whose main environment is not Linux but who try Linux occasionally feel (correctly) that these problems still occasionally crop up.

People whose main environment is Linux intentionally buy hardware that works flawlessly with Linux.

People who try Linux occasionally do it on whatever hardware they have, which still almost always works with Linux, but there are occasional issues with sketchy Windows-only hardware or insufficiently tested firmware or flaky wifi cards, and that is enough for there to be valid anecdotes in any given comments section with several people saying they tried it and it isn't perfect. Because "perfect" is a very high bar.
by ABS | 2025-05-19 19:59:08+00:00
except you seem to think (like many others commenters in this thread) that "tech" means solely "silicon valley-type startups", which it does not.

I'll give you some examples that usually stun the average Italian hence they usually stun most other people as well. You think Italy and probably think fashion but in fact the Top 10 Italian exports are (first semi-random results):

1) Machinery including computers: US$116 billion (17.2% of total exports) 2) Pharmaceuticals: $55.5 billion (8.2%) 3) Vehicles: $47 billion (7%) 4) Electrical machinery, equipment: $45.8 billion (6.8%) 5) Gems, precious metals: $25.7 billion (3.8%) 6) Plastics, plastic articles: $24.3 billion (3.6%) 7) Articles of iron or steel: $21.4 billion (3.2%) 8) Mineral fuels including oil: $19.4 billion (2.9%) 9) Optical, technical, medical apparatus: $17.4 billion (2.6%) 10) Clothing, accessories (not knit or crochet): $16.4 billion (2.4%)

I see a lot of "tech" in this list, I had this very same conversation with a German Private Equity last week but they are well aware and invest in "tech", just not the "tech" the average HN visitor think about
by loloquwowndueo | 2025-05-19 19:59:20+00:00
Untrue. OS/2 for windows leveraged the user’s existing copy of windows for os/2’s compatibility function instead of relying on a bundled copy of windows, like the “full” Os/2 version.

Os/2 basically ran a copy of windows (either the existing one or bundled one) to then execute windows programs side by side with os/2 (and DOS) software.
by SpicyLemonZest | 2025-05-19 19:59:29+00:00
> Why not let arguments do their work in open debate?

Well, that happened. Israel presented an argument that the investigation legally must end, as they haven't consented to ICC jurisdiction; the ICC openly considered and openly rejected this argument (https://www.icc-cpi.int/news/situation-state-palestine-icc-p...), saying that Palestine's consent was sufficient because the alleged crimes took place in Palestinian territory.

The US has always taken an extremely aggressive stance that this theory of ICC jurisdiction is unacceptable. "It is a fundamental principle of international law that a treaty is binding upon its parties only and that it does not create obligations for nonparties without their consent to be bound", as 22 USC §7421 puts it. (If you're old enough, you may recognize this as part of the bipartisan "Hague Invasion Act" of 2002, widely understood as a threat of military force against anyone who tries to enforce ICC jurisdiction on a citizen of the US or its non-ICC allies.)
by bpshaver | 2025-05-19 19:59:52+00:00
What is an example of a compiler that flat out refuses to run (compile) your code? Obviously Python is not an example. The other language I know best is Rust, where as I understand the compiler doesn't refuse to compile your code, it cannot compile your code. Is there a language where the compiler could compile your code but refuses to do so unless the types are all correct?
by Ericson2314 | 2025-05-19 19:59:59+00:00
> On its own higher housing density should lower land prices. All else equal land prices are both cause and effect of housing access. > > In the philosophical extreme, if zoning allowed infinite density you could stick a hong-kong style condo skyscraper for the entire population on 0.1 acres and the rest of the land would provide no additional housing utility pushing prices down to whatever the value it is as farmland/business/recreation. The housing value of surrounding land would plumet.

No I mean the land value of where the density is / right next to it. In your example, the land with the crazy tower / right next to it would be incredibly valuable.

If other areas use land value, that's because the land value is being concentrated in/around the dense areas.

When we talk about upzoning, we want to not only do less sprawl, but also increase overall population (growth will attract population). The exurbs will loose land value, but the cities will gain immense land value, and the suburbs will gain some land value too.
by DarkmSparks | 2025-05-19 20:00:34+00:00
The idea is it would be lightweight (so just a few megabytes of libraries) and give the same functionality you get with an android webview (so send it html to load and javascript to run and get json results back).

I know there are quite a few options that try and do something similar. But they are all so incredibly bloated when all you want to do is use html5 for a native application UI.
by nottorp | 2025-05-19 20:01:06+00:00
Interesting, I don't know Go (yet) but I was messing with it the other weekend.

Can someone please summarize this []byte vs somethingReader thing for me? Assume I can program, just not familiar with Go.

I was reading off sockets and it looked to me that the example code (i randomly ran into) had too many Reader something or other.

Edit: Ok, I know what a streaming class does, they're available in many frameworks. I'm more interested in why you'd get forced to use them in the context of the Go standard library.

Are they mandatory for sockets? Or for interacting with other common functions that I'd use to process the data out of my sockets?

I just wanted to read up to a new line or a hard coded size limit from a socket... ;) Without getting accidentally quadratic in either cpu use or memory use...
by theLiminator | 2025-05-19 20:01:08+00:00
> When I code. I never write a single unit test. Just types, and integration or end 2 end tests. It doesn't hurt to write a unit test and it's actually better. But the fact that I'm confident my code works without it shows the level of importance.

Imo this might be true if you're writing a lot of glue code. But I think unit tests are extremely valuable for testing pure functions that are pure logic/computation. For glue code/ensuring everything is hooked up correctly, types easily beat tests, but for pure logic tests (ideally property based testing if you can swing it) works great.
by CrimsonCape | 2025-05-19 20:01:18+00:00
There is a product called Richlite which is essentially the process you mentioned. It starts with dyed paper pulp that is saturated with resin and then compressed with pressure during curing. The appearance is not very wood-like but very "modern" and it is a very expensive material to purchase panels. It is very heavy and a monolithic material approximately 1" thick.

The more common industrial process is material called "high pressure laminate" which is your standard countertop laminate material that's only 1-2mm thick and is glued to a cheaper wood substrate.
by rbanffy | 2025-05-19 20:01:30+00:00
And since they can sell the machine fully configured, sales of single CPUs or drawers must not be a big thing. They will keep stock for replacements, but I agree we won't see them doing multiple batches often. By now they must be well into the development of the z18 and z19 processors. This year Hot Chips I'd expect them showing the next POWER and, in 2026, the next Z, hitting GA in 2027 or 2028.
by NickC25 | 2025-05-19 20:01:35+00:00
You're right, it hasn't gone up 10x during that time, it's gone up far more. His trust also owned the land for the buildings, which is far more valuable than the buildings Fred built.

Shit, my sister owns a walkup in lower Manhattan that she bought during COVID and it's already 3x'd in value as of latest appraisal.

You're stretching back 40-50 years, and that was when NYC was a dirty hellhole. It's nice now. You bought in Brooklyn at that same time Fred bought up a lot of Manhattan, you're looking at a return around 300-400x EASILY. Manhattan, if you bought in the 70s and 80s, you're looking at a much higher multiple.
by edoceo | 2025-05-19 20:01:36+00:00
I'm on Lenovo Yoga 6, Gentoo, 6.12 kernel, 4.20 Xfce. Sleeps works perfect. Same on my Asus+AMD desktop. I've not had sleep related issues for years. And last time I did, it was an out-of-tree Wifi driver causing the whole mess.
by cube2222 | 2025-05-19 20:01:38+00:00
I’ve tried Gemini 2.5 Pro a couple of times and honestly don’t like its output. Claude Sonnet 3.7 is much better at correctly understanding and executing my imprecise prompts.

Gemini 2.5 Flash on the other hand has excellent. I’ve started using it to rewrite whole files after talking the changes through with Claude, because it’s just so ridiculously fast (and dependable enough for applying already outlined changes).
by dleeftink | 2025-05-19 20:02:00+00:00
It's definitely easier to extend existing recipes than having to start from none. What I tried to get at, is that even with in-depth recipes, there's a bigger codebase picture behind the type, that GP found exhausting navigating without.

I think if we start to lean on types for our all recipes, we may forget how to prepare them without instruction.
by owenversteeg | 2025-05-19 20:02:42+00:00
Personally I wouldn't call it corruption, at least not all of it. If you were to drill down into the individual grants, you would find a lot of things that are broadly useful but not revolutionary. There's 4M euros to produce a new additive for beeswax and 500k euros to research migratory snails and 6M euros to study some new roads and that sort of thing. There's certainly obvious corruption too, but it isn't the majority of grant money. Most stuff is just very boring and vaguely useful.

I think a more useful description: it is an ossified structure where you have to play by the rules. Much like, say, the Catholic Church. You're not going to get a grant for your startup, or become Archbishop of Salzburg, by having an idea and sending some emails. You're going to have to fully commit yourself to the institution over a period of decades, and then you're in, and you're respected, and you can do some things, as long as they're not too revolutionary. Is that good for innovation? No. But corruption? I think it's something else.
by JackYoustra | 2025-05-19 20:02:50+00:00
The point is that there's enormously different implications. If comp stagnates less than productivity then you have a huge bargaining problem.

If comp keeps pace with productivity but is all eaten up by healthcare costs, either something caused people to willingly spend much more of their money on healthcare costs than they'd do earlier (aging maybe? obesity maybe?) or something is going crazy with healthcare expenses.

I've heard persuasive evidence that if you control for obesity the costs look ok actually.