Hacker News
- Show HN: Checking the Collatz conjecture using only TypeScript's type system https://ostro.ws/2019/12/09/taking-types-too-far/ 4 comments
- Checking the Collatz conjecture using only Typescript's type system https://ostro.ws/2019/12/09/taking-types-too-far/ 3 comments typescript
Linked pages
- TypeScripts Type System is Turing Complete · Issue #14833 · microsoft/TypeScript · GitHub https://github.com/microsoft/typescript/issues/14833 359 comments
- http://web.mit.edu/humor/Computers/real.programmers 357 comments
- Collatz conjecture - Wikipedia https://en.wikipedia.org/wiki/Collatz_conjecture 70 comments
- GitHub - ostrowr/ts-json-validator: Let JSON play nicely with Typescript https://github.com/ostrowr/ts-json-validator 18 comments
- Peano axioms - Wikipedia https://en.wikipedia.org/wiki/Peano_axioms 0 comments
Would you like to stay up to date with Web Development? Checkout Web Development
Weekly.
Related searches:
Search whole site: site:ostro.ws
Search title: Taking Types Too Far | Robbie Ostrow
See how to search.