Hacker News: chozang

New comment by chozang in "When the Simplest Concurrent Program Goes Against All Intuition"

chozang — Sun, 19 Jan 2025 20:34:05 +0000

Bonus points for mentioning Spin. My "Software Engineering" course in 1987 in grad school would have been more accurately titled, "Using the Spin Model Checker". Except when I was looking for it, I had never came across any mention of Spin since.

New comment by chozang in "The rise and fall of the English sentence (2017)"

chozang — Sun, 19 Jan 2025 16:31:51 +0000

The article mentions in passing the Pirahã and Dan Everett, author of "Don't Sleep - There Are Snakes". The Pirahã have a very interesting language and culture, and the furor that Everett's writings incited is fascinating.

New comment by chozang in "Ask HN: Will more people leave cities due to satellite internet in rural areas?"

chozang — Sat, 23 Nov 2024 03:30:26 +0000

I would consider doing that, but we have a house now, plus my wife likes being near the city.