MurphyA/hacker-news huggingface dataset:
by karaterobot | 2025-05-19 19:07:13+00:00
I like the taxonomy of animal-human relationships as a model for asking how humans could relate to AI in the future. It's useful for framing the problem. However, I don't think that any existing relationship model would hold true for a superintelligence. We keep lapdogs because we have emotional reactions to animals, and to some extent because we need to take care of things. Would an AI? We tolerate dust mites in our eyelashes because we don't notice them, and can't do much about them anyway. Is that true for an AI? What does such an entity want or need, what are their motivations, what really pisses them off? Or, do any of those concepts hold meaning to them? The relationship between humans and a superintelligent AGi just can't be imagined.
by jfax | 2025-05-19 19:07:43+00:00
Scott Adams is basically a sort of older version of Chris Chan. A cartoonist whose unreliable narration of own life became part of the whole performance.

But thing is—boy who cried wolf—not sure if he actually has the prognosis of cancer he says he has? It sounds mean, I reckon he does have it, but his past descriptions of health problems were confusing enough that I wouldn't be surprised if he recovers next year and spins it into a story about how he found a cure.
by bpshaver | 2025-05-19 19:07:44+00:00
That would seem to be begging the question to an extent. Why does dynamic typing lead to lower development effort? I mostly write Python and make heavy use of type hints. With LSP set up, mypy informs me immediately of any potential type errors which makes development way easier for me.

Just saying "dynamic typing is easier" doesn't do it for me without further qualification since that statement doesn't conform to my own experience.
by tomatocracy | 2025-05-19 19:08:18+00:00
Another model would be for the EIB to commit money to an investment fund and then run a tender process to select a private sector firm to manage the fund. At the individual investment level, give that manager the usual discretion to invest and manage that VC funds have and pay them a market rate with an appropriate fee structure to do it.

You could also insist on the manager raising a certain minimum amount of matching private sector money to "keep them honest".
by marcuskane2 | 2025-05-19 19:08:19+00:00
> how to buy stocks, what ETFs are, what a 401(k) is, etc.

I've seen this before, and I remain incredulous.

We learned about stocks in 4th grade and did a mock exercise picking stocks and tracking their performance over a few weeks. We did calculations on mortgage interest and investment returns in middle school math class. Every news source has a finance section and talks about stocks regularly. There are advertisements for brokerages on every TV commercial break and everywhere else ads are found. Every company I've ever worked for had a mandatory training about the 401k as part of employee onboarding and usually ongoing mentions at least once a year. There are a zillion personal finance websites, podcasts, blogs and youtube channels.

It seems like if an alien landed in the US or a time traveler arrived here, they'd learn about ETFs and 401ks within the first 24 hours whether they wanted to or not.

People have to be actively, intentionally avoiding learning these things or actively tuning it out or forgetting, because they're dead simple and information about them is incredibly easy to find.
by brewmarche | 2025-05-19 19:08:55+00:00
Corporate networking is why I still use WSL1 (I didn’t spend enough time to check why it doesn’t with WSL2, zScaler could be the culprit maybe).

However it’s not perfect, for example I hit this bug when trying to run node a few days ago https://github.com/microsoft/WSL/issues/8219#issuecomment-10... and I don’t think they’re fixing bugs in WSL1 anymore
Show HN: Jsonnet implementation in Jsonnet
by Duologic | 2025-05-19 19:08:56+00:00
I've written a Jsonnet interpreter in Jsonnet.

A few years ago I wrote a code generator for Jsonnet (crdsonnet [1]) and found templating insufficient. This lead me to create a JSON Schema for the language along with a library[2] that can manifest the expressions reliably. I was unaware that this was an intermediate representation (in the world of interpreters). Fun fact: while cdrsonnet uses astsonnet to generate code, astsonnet is partially generated by crdsonnet.

Last year I got curious and wrote a parser, first without a lexer (I didn't knew I needed it) and later with a lexer (Oh, did my code got way more manageable). The code gets parsed into this intermediate representation, with other words using JSON Schema as a type system for Jsonnet.

This year I got curious again and tried to execute the code from within Jsonnet as well, past weekend I finally reached a point where I could reliably execute most of the test cases from the go-jsonnet repository.

It was an interesting learning experience and it gave me a much deeper understanding of how programming languages work in general.

[1] https://github.com/crdsonnet/crdsonnet

[2] https://github.com/crdsonnet/astsonnet
by Animats | 2025-05-19 19:09:46+00:00
This is a relaunch. Here's their launch video from May 2024.[1] The video has some CG of a piece of their wood, plus stock shots of trees, cities, wind turbines, people looking through microscopes, etc.

U. of Maryland announced this specific process back in 2018.[2] They got a paper into Nature.[3]

Densified wood is over a century old. [4] You can buy something called "Lignostone".[5] But that is a material where they took the lignin out and put some plastic in. (Remember "transparent wood" from a few years ago. Same concept, with a transparent plastic.) This new process takes the lignin out and compresses the cell structure.

If you could send in $20 and get a little cube of the stuff to look at and test, this would be more convincing.

[1] https://www.youtube.com/watch?v=JiHABi97rU8

[2] https://www.thechemicalengineer.com/news/new-densified-wood-...

[3] https://www.nature.com/articles/nature25476

[4] https://jwoodscience.springeropen.com/articles/10.1186/s1008...

[5] https://www.roechling.com/us/industrial/lignostone
by JohnFen | 2025-05-19 19:10:01+00:00
> by someone else using the phrase "just call a spade a spade"

The phrase is referring to the tool. It is not a reference to the derogatory slang term at all. It dates back to Plutarch's Apophthegmata Laconica, and the earliest version of it that appeared in English was in 1542.

All of that was centuries before "spade" also became used as derogatory slang. The phrase is no more racist than "like white on rice".
by colinmcd | 2025-05-19 19:10:03+00:00
Some kind of affordance for FormData/URLSearchParams-style structures is definitely in scope. It was a late cut. Ultimately HTML inputs/forms are an implicit type system unto itself—certainly HTML has a very different notion of "optional" than TypeScript. So my approach to this would likely involve another sub-library ("zod/v4-form").

I like your library! Put in a PR to add it to the ecosystem page :)
by fluidcruft | 2025-05-19 19:10:05+00:00
docker is pretty easy to use on linux (even rootless docker isn't particularly painful) and KVM using QEMU is also pretty easy for running Windows things. I used WSL quite a bit but ultimately have switched back to running Ubuntu as my main.

Here's the main difference between making Windows vs Linux the main OS from my POV: Windows is a lot of work and only the corporate editions can be converted into not-a-hot-mess-of-distractions (supposedly). Out of the box Linux doesn't have all of the bullshit that you have to spend time ripping out of Windows. You can easily re-install Linux to get the "powerwash" effect. But if you powerwash Windows you have to go back and undo all the default bullshit again.

Having said that Windows+WSL is a very nice lifeline if you're stuck in Windows-land. It's a much better combo than MacOS.
by efficax | 2025-05-19 19:11:13+00:00
what the super-rich can buy that the middle class can't isn't really things (except for luxury goods, which are meh), it's people (through services). you can buy someone to do anything that you want to be done (that can be done!) so you don't have to do it. nannies, companions, builders, killers, bodyguards, drivers, pilots, cleaners, house managers, lawyers, secretaries, etc. That's what you do with the money. You buy farmers to grow macadamia nuts on your hawaii estate to feed cows raised by more farmers so you can call your property a farm, get a tax break, and brag about the quality and freshness of the steak when people come over for dinner. and so on.

you can even buy people to make more money for you, so you don't have to do it yourself, either through your "family office" investment firm, or through venture capital. You don't have to do anything but ask for what you want and there it is.
by ndriscoll | 2025-05-19 19:11:40+00:00
I don't know how it's set up. That's kind of my point though. I have to now be an expert in Linux and Windows to debug this stuff, which is a waste of my time as someone who's job it is to develop (server, i.e. Linux) software. I had exactly zero issues when I was using Fedora. At one point my company made all of the Linux users move off (we do now have an IT-supported Linux image, but I haven't found the time to re-set up my laptop and don't fully trust that it will work without a bunch of trouble/IT back-and-forth because they also made Windows users start using passkeys), and since then I've seen way more issues with Windows than Linux (e.g. one day my start menu just stopped reacting to me clicking on programs), in addition to things like ads in the lock screen and popups for some XBox pass thing that I had to turn off, which is just insane in a "professional" OS. A lot of days I end up having to hold down the power button to reboot because it just locks up entirely.

OSX was a bit janky with docker filesystem slowness, homebrew being the generally recommended package manager despite being awful (why do I sometimes tap a cask and sometimes pour a bottle? Don't tell me; I don't care. Just make it be "install". Also, don't take "install" as a cue to go update all of my other programs with incompatible versions without asking), annoying 1+ second animations that you can't turn off that make it so the only reasonable way to use your computer is to never maximize a window (with no tiling support of course), and completely broken external monitor support (text is completely illegible IIRC), but Windows takes jank to another level.

By contrast, I never encounter the issues people complain about on Linux. Bluetooth works fine. Wifi works fine. nVidia GPUs and games work fine. Containers are easy to use because they're natively part of the OS. I prefer Linux exactly because I stopped enjoying "tinkering" with my computer like 10 years ago, and I want it to just quietly work without drawing attention to itself (and because Windows 8 and the flat themes that followed were hideous and I was never going to downgrade to that from Windows 7).
by cogman10 | 2025-05-19 19:11:52+00:00
It's deeper but let's not overblow it.

I think the two fairly deep integrations are window's ability to navigate WSL's filesystem and wslg's fairly good ability to serve up guis.

The filesystem navigation is something that AFAIK can't easily be replicated. wslg, however, is something that other VMs have and can do. It's a bit of a pain, but doable.

What makes WSL nice is the fact that it feels pretty close to being a native terminal that can launch native application.

I do wish that WSL1 was taken further. My biggest grip with WSL is the fact that it is a VM and thus takes a large memory footprint. It'd be nice if the WSL1 approach panned out and we instead had a nice clean compatibility wrapper over winapi for linux applications.
by constantcrying | 2025-05-19 19:12:20+00:00
The US has a start-up culture heavily centered around venture capitalist investments. The EU is currently trying to be the venture capitalist and to create a European start-up culture where none was before.

I think this is a terrible idea, because it does not address why there is no European startup culture. Europe has tech talent and Europe has money, yet it has no start-up culture. There are many reasons for this. To me the most important ones are:

- Many EU member states have very start-up hostile labor laws. In Germany many tactics/offerings US startups use to hire talent are illegal.

- The wage difference between hard work at a startup, less hard work at a large corporation and very low stress work in a government office is minimal. Working for a startup is almost never financially rewarding.

- The mainstream social democrat conception of work, which much of the population shares, is totally at odds with American start-up culture.

Money does not solve any of these problems, because it does not answer the single most important question. Who is going to do anything with this, that is actually worthwhile. I have seen dozens of these EU funded projects and as a tech enthusiast I think many of them are exciting and cool and fun and interesting. The number of actual useful products I have seen is at zero.
by ProllyInfamous | 2025-05-19 19:12:23+00:00
TL;DR: it's a relic of the 19th century, when the two professions were largely distinct.

Today: it's a flex by the "gunners" to somehow distinguish themselves as better than "lesser" physicians. A similar thing occurs in the US, it's just that some physicians, in addition to a preceding "Dr.", follow their names with even more letters/affiliations.

I only attended one year of a US medical school, but the surgeons were at a whole 'nother level (in this competitive exercise of perseverance)...
by hn_acker | 2025-05-19 19:12:54+00:00
The full title is:

> National Security Agency (NSA) paper: Fifty Years of Mathematical Cryptanalysis (1937-1987), 1988

For context [1][2]:

> Weirdly, this is the second time the NSA has declassified the document. John Young got a copy in 2019. This one has a few less redactions. And nothing that was provided in 2019 was redacted here.

[1] https://www.schneier.com/blog/archives/2025/05/the-nsas-fift...

[2] https://archive.org/details/NSAFiftyYearsOfMathematicalCrypt...
by jaredklewis | 2025-05-19 19:13:15+00:00
I see. Unfortunately I don't know much about the area of using anki in a classroom setting or in case like yours where you want to manage the cards of other students, as I have only ever used it for self study. However, I know that using it in a teacher/student setup is not unusual, so there may be good information out there. Edit: Maybe checkout https://www.ankicollab.com/

In terms of updating decks, I think the way it works is pretty intuitive: you have one static field (like in your Chinese example, maybe a particular character or word). When re-importing into a deck, as long as that one static identifying field is the same, all the other fields will be updated. If you want to even be able to change the character/word/whatever, you could make that static field an ID or such.

Also, it is a pretty common pattern for shared decks to come with gobs of cards. You then suspend all of them (sometimes they all come pre-suspended) and then unsuspend the ones you want to study, usually using tags. For example you download the 20k JLPT (Japanese Language Proficiency Test) Vocab deck, suspend them all, then unsuspend only the levels you want to study (say level 1 or whatever) or those tagged as being very common, or whatever. So imagine what you want to accomplish is probably possible with suspension and tags. Like assigning a tag for each student name or such.

Anki is definitely a power tool, like Photoshop or Neovim. It is generally confusing to use and requires some investment. And there is plenty about it I don't like (media management stands out). But like I said in my previous post, I've never found another tool that even comes close.
by yjftsjthsd-h | 2025-05-19 19:13:37+00:00
Ah, that makes sense then; I was really confused at first because I couldn't figure out why Windows would want a built-in text-mode editor. I suppose if folks are seriously using SSH to access Windows machines ... then I have other questions about why not RDP, but if that's a real thing people are doing then adding a built-in editor for them makes sense.
by microtonal | 2025-05-19 19:13:50+00:00
My SOs MacBook Air can only do one external monitor,

The MacBook Air M4 supports two external displays now (with the lid open):

https://support.apple.com/guide/macbook-air/use-an-external-...

My SOs MacBook Air can only do one external monitor, even though it has the same specs as her work Pro.

The MacBook Pro with the non-Pro/Max chip (i.e. MacBook Pro M3) has the same limitations as the corresponding MacBook Air (i.e. MacBook Air M3).
by akomtu | 2025-05-19 19:14:09+00:00
The God of science is the Theory of Everything that unifies all forces under one set of closed-form equations, that this theory can be understood by our minds, and can be used to predict observations. When these assumptions are declared the final truths, the science morphs into a religion, and when the science is hollowed out with the 'Occam razor', the religion morphs into a very rigid materialistic doctrine.

I believe that aura has some basis in reality, maybe not what we think it is. It's much harder to believe that all the folklore around aura is made up in a consistent way. Auras must be material, if they are real, but it's not necessarily in the thin slice of matter our science is familiar with. It may be something in the realm of neutrinos or that famous dark matter: something very elusive that can be detected only in huge amounts.
by monster_truck | 2025-05-19 19:14:27+00:00
I'm not sure how anyone is getting scammed in a way that is unique to renting vacation homes, care to elaborate?

Everything was handled by local realtors and felt substantially more legitimate than AirBNB. You're really only going to find overpriced garbage on there. The places I have been renting are booked >2 years in advance. We often encounter other families on the beaches/lakes that have been booking the same month for a decade+!
by dudefeliciano | 2025-05-19 19:14:34+00:00
Do you think the question “why am I getting downvoted” is interesting? And is it interesting enough to warrant a separate comment thread? Now imagine if everyone who got downvotes started asking that question, it would lower the quality of conversations here, people would start justifying their vote and their opinion or attacking the other. And in the end, I doubt the people downvoting would really answer, only the people agreeing/upvoting would post some snarky comment about the downvoters being fools, or the quality of the site going down. That’s the “it never does any good” part (were already in it in this conversation IMO)

In my opinion that comment got downvoted because it’s not interesting. It’s a comment I have heard dozens of times, did not provide any example or source, and plenty other people posted effectively the same in here.
by wat10000 | 2025-05-19 19:14:37+00:00
I don't understand believing that trans people (or whatever other belief) are a major threat, but I understand getting heavily involved in policies around trans people if one were to somehow believe that trans people are a major threat.

What I don't understand is spending your days shitposting on Twitter about it. I'm not sure if that applies to Adams, but it definitely applies to Musk and Rowling.
by colinmcd | 2025-05-19 19:14:48+00:00
This is not done for Zod's benefit. It's done for the benefit of libraries that depend on Zod, and the users of those libraries. If a library wants to add "incremental" support for Zod4 (that is, without dropping support for Zod 3 and publishing a new major), they need access to types (and possibly runtime code) from both libraries to do so in a sound way. I detail a number of other approaches for achieving this here[0] and why they ultimately fall short. Ultimately npm wasn't designed for this particular set of circumstances.

[0] https://github.com/colinhacks/zod/issues/4371
by bpshaver | 2025-05-19 19:14:51+00:00
But you can achieve #1 with typing.Protocol in type-annotated Python and traits in Rust. Fitting the "strict definition" sounds like nominal typing but you can opt in to explicit duck typing or structural typing while still being typed. (Someone correct me if I'm using these terms incorrectly.) In short you can still encode a lot of flexibility with types without just abandoning them alltogether.

And with #2, you can get that with static typing too... Let's say a method accepts an instance of an object `Foobar`. I can change the definition of `Foobar` ("change what shape [my] data is") without having to change type annotations everywhere.

I agree with you, I guess, that I find the steel man position unconvincing.
by virgildotcodes | 2025-05-19 19:15:06+00:00
> The "golden" end state of coding agents is that you give it a Feature Request (EG Jira ticket), and it gives you a PR to review and give feedback on. Cursor, windsurf, etc, are dead ends in that sense as they are local editors, and can not be in CI.

Isn’t that effectively the promise of the most recently released OpenAI codex?

From the reviews I’ve been able to find so far though, quality of output is ehh.
by Sammi | 2025-05-19 19:15:27+00:00
You use Zod to define all the schemas and types used in "your core domain". It is the base layer tool of your business logic and models, and for defining your interfaces. And yes it makes it possible to share all of this between the frontend and backend, which is a tremendous improvement in both correctness and in development productivity.

You don't get anything remotely like this in any other backend frontend combo.
by red_admiral | 2025-05-19 19:15:55+00:00
I was about to say, I use nano regularly, both locally and over ssh (to machines which have it installed, which is pretty much all of them). This looks nice and I love old-style console UIs, I fondly remember EDIT.COM and NC.EXE, and still use `mc` regularly with one pane pointing at a sshfs.

Ages ago I had to maintain a .BAT file, editing in EDIT.COM, that threw stuff at EDLIN.COM (roughly MS version of `ed`). Those where the ... not-so-good old days.

These days, with windows versions of `nano` and `busybox` you have some power tools without a full linux install.
by ckemere | 2025-05-19 19:16:20+00:00
I love(d) the Arcteryx Captive Polo shirt. Arcteryx manufactured them until 2022, producing two new colors each year in addition to a standard black. Despite the $80 price tag, I bought them steadily over the course of the 2000/2010's, until I amassed a collection of almost 20 in different colors. I still wear one almost every day. I realize that what I appreciated most about them was the way that the fabric was cut to be form fitting. By my count, they have 7 fabric panels, not including the collar. (Front, back, 2 arm pits, 2 shoulders, and the left chest.) Compare that to your typical polo shirt which usually just has two. I assume that's why Arcteryx discontinued them. (Insidiously, they brought back the name this past year for a standard 2-panel shirt.)

Can anyone recommend a service which can make shirts to order? Or alternatively, an AI shopping agent that is capable of recognizing the seam locations in shirts online so that I could find something similar from another vendor?

Thanks!
by SilasX | 2025-05-19 19:16:21+00:00
That feels like sleight-of-hand though.

Previously (example numbers): Median compensation is $55k + health insurance.

After: Median compensation is $55k + health insurance.

"So nothing changed?"

"Wrong! Health insurance costs more for the same benefits, so really, you got a raise!"

Yeah, sorry if I'm not celebrating.