Monday, July 30, 2018

New top story on Hacker News: Gamifying propositional logic: QED, an interactive textbook

Gamifying propositional logic: QED, an interactive textbook
95 by robinhouston | 6 comments on Hacker News.


No comments:

Post a Comment

The Untold Story of How One Guy Keeps the World Running on the Right Timezone

Article URL: https://onezero.medium.com/the-largely-untold-story-of-how-one-guy-in-california-keeps-the-worlds-computers-on-the-right-time-a...