From what I've seen on Tao's YouTube channel, he does use GitHub Copilot via VSCode to write Lean4 code.

According to his blog, Peter Watts is currently writing the 3rd book of the Firefall Series. It'll be titled "Omniscience", no release date has been set yet.

The whole Rifters trilogy (quadrilogy?) is amazing, Starfish is actually my least favourite of the Rifters' books but still really good.

The villain Achilles Desjardins (I don't think he shows up in Starfish? been some time since I read it) is possibly one of the most villainous and sociopath characters I've ever read in a book.

His Sunflowers series is great too. Maybe my favorite (after Blindsight, of course).

Read for free on his webite: https://www.rifters.com/real/shorts/PeterWatts_TheIsland.pdf

Or collected in The Freeze-Frame Revolution here: https://www.amazon.com/Freeze-Frame-Revolution-Peter-Watts-e...

My stack is really boring, just VSCode + Ghostty and Claude Code team plan (premium seat).

this is basically what i use, it works just fine. I use iterm2 instead of ghostty.

Two of the best things for my mental health is maintaining a 7 day moving average of +10k steps and working out every Mon-Fri during lunch time.

You're ignoring all the depreciation costs.

I take 3 weeks in a row every summer, couldn't live without it.

English is a mix and merge of Norman French and Anglo-Saxon.

The x-ray scans are interesting, I didn't knew the canvas was taped together from 33 smaller ones.

It's not. I think it's just the wooden frame behind the canvas

You're right, it's the stretcher!

There's this YouTube channel called "soiboi soft"[0] that is doing many experiments with air-powered soft robotics and microfluidics.

It's a pretty cool concept and might have interesting albeit niche applications.

[0] https://www.youtube.com/@soiboisoft