not to mention Go, Dart, or Squeak. Python... debatable. | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		whyenot on Sept 29, 2022 \| parent \| context \| favorite \| on: ButtFish – Transmit Morse Code of chess moves to y... not to mention Go, Dart, or Squeak. Python... debatable.

reassembled on Sept 29, 2022 [–]

Perhaps Tsoding can live stream porting the Buttplug library to Coq?

https://en.wikipedia.org/wiki/Coq

iKlsR on Sept 29, 2022 | [–]

Surprised nobody has mentioned But_Fu_k.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact