News for hackers. Stuff that matters.

A comment on Are planets with oceans common in the galaxy? It's likely, NASA scientists find. Parent comment

Re:Are planets with oceans common in the galaxy? It's likely... by catalogia on Friday June 19, 2020 @01:52PM (#23577038)
Rather than having to keep the drill bit cool, to drill through ice you could use a heated drill bit. Perhaps using using radioactive material to heat the drill bit and cut through the ice like a hot knife.

(Of course, irradiating an alien ocean is perhaps not the greatest idea ever.)

[ Parent | on HN ]
Re:Are planets with oceans common in the galaxy? It's likely... by ravenstine on Friday June 19, 2020 @04:25PM (#23578549)
It sounds to me like Elon Musk needs to combine efforts between SpaceX and The Boring Company.
[ Parent | on HN ]
Re:Are planets with oceans common in the galaxy? It's likely... by mhh__ on Friday June 19, 2020 @02:11PM (#23577251)
Radium-knife: cooks the steak while you slice it!

It also means launching a large amount of radioactive material through the atmosphere which may end badly

[ Parent | on HN ]