News for hackers. Stuff that matters.

A comment on How do dolphins choose their name?. Parent comment

Re:How do dolphins choose their name? by pvaldes on Saturday July 09, 2022 @05:36AM (#32033404)
I would not discard that funding started running out after seen how they were spending the money on turning the dolphins into party animals.
[ Parent | on HN ]

There are no comments on this comment yet.