Hacker News
- Seemingly Impossible Swift Programs https://www.fewbutripe.com/2018/12/05/seemingly-impossible.html 89 comments
- Proof in Functions http://www.fewbutripe.com/swift/math/2015/01/06/proof-in-functions.html 3 comments
- Seemingly Impossible Swift Programs https://www.fewbutripe.com/2018/12/05/seemingly-impossible.html 19 comments programming
- Type-Safe HTML in Swift http://www.fewbutripe.com/swift/html/dsl/2017/06/22/type-safe-html-in-swift.html 10 comments swift
- Proof in functions: Curry-Howard explained through Swift code http://www.fewbutripe.com/swift/math/2015/01/06/proof-in-functions.html 8 comments programming