doonesbury's submissions

1.		The threat to the empire of English: It is not Mandarin ... it's bullshit (ft.com)
		6 points by doonesbury on June 6, 2021 \| past \| 4 comments
2.		TLA+ Formal Modeling and Programmers: Avoiding the Imperative “Brainwash”
		4 points by doonesbury on Dec 10, 2020 \| past \| 2 comments
3.		Apple: WTF: MacbookPro 2019: Control Strip
		2 points by doonesbury on Dec 7, 2020 \| past \| 4 comments
4.		A Note on Formal Specification for Programmers (github.com/rodgarrison)
		1 point by doonesbury on Dec 2, 2020 \| past \| 1 comment
5.		Ask HN: Which fintech keep transactions in the cloud?
		1 point by doonesbury on Sept 21, 2020 \| past
6.		Ask HN: Deterministic Transactions KV/DBs in RAM
		1 point by doonesbury on Sept 17, 2020 \| past
7.		Ask HN: Problem with NJ Probation Taking Money
		2 points by doonesbury on Aug 8, 2020 \| past \| 2 comments