Michael Herstine
@unwoundstack
Followers
191
Following
742
Media
91
Statuses
1,421
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.
Portland, Oregon area
Joined June 2009
Don't wanna be here?
Send us removal request.
Explore trending content on Musk Viewer
HAPPY TWENTY FOURTH
• 142299 Tweets
Liverpool
• 88073 Tweets
OFFROAD IN UBON
• 74814 Tweets
期日前投票
• 57976 Tweets
ルメール
• 55637 Tweets
アーバンシック
• 44028 Tweets
ダノンデサイル
• 35948 Tweets
Happy Mashujaa
• 34249 Tweets
#スパスタ3期
• 30882 Tweets
KAO WITH BAOJI
• 27653 Tweets
Gowon
• 24802 Tweets
#初星学園はアニメイトを盛り上げ隊
• 24016 Tweets
アドマイヤテラ
• 18545 Tweets
シュート
• 17940 Tweets
メイショウタバル
• 15709 Tweets
コスモキュランダ
• 14773 Tweets
リラックマ
• 13226 Tweets
BINI JOINS IAM HIS7ORY
• 13135 Tweets
#ブルアカらいぶおーたむSP
• 10149 Tweets
No tweets found