Michael Herstine @unwoundstack

I hack in C++, LISP, Rust, Coq & Idris. I think a lot about writing provably correct code. I sometimes spout-off opinions on other topics. unwoundstack.com Portland, Oregon area Joined June 2009

Tweets

1K
Followers

131
Following

754
Likes

7K

Michael Herstine @unwoundstack

a week ago

Just reclaimed 127Gb through `docker prune`. JFC, guys...

0 0 0 5 0

Michael Herstine @unwoundstack

2 months ago

Wasn't there another one of these last month? And more last summer? In the year 2025, why can't airlines operate their computers? nypost.com/2025/08/06/us-…

0 0 0 52 0

Michael Herstine @unwoundstack

3 months ago

Wow... the 2013 Silver Mountain Alloy is something... earthy & rich, redolent of the Santa Cruz Mountain forests. Opened one bottle this afternoon-- looking forward to opening a second in ten years.

0 0 0 26 0

Michael Herstine @unwoundstack

4 months ago

This take from the @PirateWires Daily 👇

0 0 0 16 0

Download Image

Michael Herstine @unwoundstack

6 months ago

I think I'm becoming a better coder. I can now code Rust while drinking wine (which I could not do before). It's now Idris for which I need to be stone-cold sober.

0 0 1 30 0

Michael Herstine @unwoundstack

8 months ago

Yeesh... just reclaimed 174Gb via `docker system prune`.

0 0 1 39 0

Michael Herstine @unwoundstack

8 months ago

Forget about @deepseek_ai -- @OpenAI needs to get their damn web app working...

5 0 1 47 0

Michael Herstine @unwoundstack

9 months ago

LOL... watching Die Hard, and the local police are balking at the thought of shutting down power to "ten square city blocks". Californians: there was a time when power was reliable!

0 0 3 127 0

Xah Lee @xah_lee

10 months ago

Advent of code is coming, December 1st. Am going to livestream coding it with Wolfram language. This time, hectic, daily, at noon, San Francisco time. Be sure to check it out.