doonesbury

153 karmajoined July 11, 2020On HN

Recent submissions

The threat to the empire of English: It is not Mandarin ... it's bullshit ft.com
6doonesbury5y4 comments
TLA+ Formal Modeling and Programmers: Avoiding the Imperative “Brainwash”
4doonesbury5y2 comments
Apple: WTF: MacbookPro 2019: Control Strip
2doonesbury5y4 comments
A Note on Formal Specification for Programmers github.com/rodgarrison
1doonesbury5y1 comment

All submissions and comments on Hacker News.