| user: | isaac21259 |
| created: | October 16, 2018 |
| karma: | 554 |
| about: | isaacbankier [at] protonmail [dot] com |
| 1. | Data Types with Negation(bentnib.org) |
| 2. | Teaching GHC to Play Minesweeper(github.com) |
| 3. | |
| 4. | |
| 5. | Profunctor Optics: The Categorical View(golem.ph.utexas.edu) |
| 6. | How to lie using visual proofs(youtube.com) |
| 7. | Löb and möb: strange loops in Haskell(github.com) |
| 8. | Löb's Theorem(ncatlab.org) |
| 9. | Can one explain schemes to biologists(dam.brown.edu) |
| 10. | (call/cc call/cc) and friends(pavpanchekha.com) |
| 11. | Swift type checking is undecidable(forums.swift.org) |
| 12. | Surprises in Logic(math.ucr.edu) |
| 13. | Base 2048(github.com) |
| 14. | Renormalizing the Mandelbrot Escape(linas.org) |
| 15. | The Tardis Monad(hackage.haskell.org) |
| 16. | Hexagonal Grids(redblobgames.com) |
| 17. | The Email Servers and Superseeker(oeis.org) |
| 18. |