Michael Herstine (@unwoundstack) 's Twitter Profile
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.

ID: 49030875

linkhttps://www.unwoundstack.com/ calendar_today20-06-2009 15:23:59

1,1K Tweet

128 Followers

748 Following

Xah Lee (@xah_lee) 's Twitter Profile Photo

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.

Michael Herstine (@unwoundstack) 's Twitter Profile Photo

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!

Michael Herstine (@unwoundstack) 's Twitter Profile Photo

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.

Michael Herstine (@unwoundstack) 's Twitter Profile Photo

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.

Michael Herstine (@unwoundstack) 's Twitter Profile Photo

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-…

Michael Herstine (@unwoundstack) 's Twitter Profile Photo

I'm not sure why Emacs Geiser thinks ten seconds is the appropriate timeout for all computations, but here's how to work around it unwoundstack.com/blog/impatient…