| 1. | | Ask HN: Python Weekly Newsletters? |
| 1 point by rs86 on March 29, 2020 | past | 2 comments |
|
| 2. | | Philip Wadler talk on why people use FP (youtu.be) |
| 1 point by rs86 on March 13, 2020 | past |
|
| 3. | | A very simple example of verification in Idris (gist.github.com) |
| 1 point by rs86 on Nov 28, 2018 | past |
|
| 4. | | Lessons learned building a toy compiler (2017) (jaseemabid.github.io) |
| 1 point by rs86 on Oct 4, 2018 | past |
|
| 5. | | [dupe] Compiling Lambda Calculus (t3x.org) |
| 3 points by rs86 on Oct 4, 2018 | past | 1 comment |
|
| 6. | | Ask HN: Are you using generative testing? |
| 1 point by rs86 on July 16, 2018 | past |
|
| 7. | | Ask HN: Android app to read source code on GitHub? |
| 2 points by rs86 on July 15, 2018 | past | 1 comment |
|
| 8. | | Valuing ICOs from fundamentals – ideas? |
| 3 points by rs86 on June 18, 2018 | past | 3 comments |
|
| 9. | | Ask HN: Would you pay for an ad free Facebook account? |
| 4 points by rs86 on May 8, 2018 | past | 12 comments |
|
| 10. | | Ask HN: How to get acquainted with an open source code base? |
| 3 points by rs86 on April 12, 2018 | past | 1 comment |
|
| 11. | | Ask HN: How low can Facebook stock go? |
| 5 points by rs86 on March 26, 2018 | past | 10 comments |
|
| 12. | | Ask HN: Are programmers afraid of new syntax? |
| 9 points by rs86 on March 12, 2018 | past | 17 comments |
|
| 13. | | Ask HN: Vulnerabilities in ML frameworks |
| 9 points by rs86 on March 10, 2018 | past | 7 comments |
|
| 14. | | Ask HN: Best way to learn emacs? |
| 6 points by rs86 on Feb 24, 2018 | past | 6 comments |
|
| 15. | | Why are types so cool, Part I: Result types (blue-dinosaur.github.io) |
| 3 points by rs86 on Feb 20, 2018 | past |
|
| 16. | | Ask HN: Back end analogue for Elm? |
| 3 points by rs86 on Feb 17, 2018 | past |
|
| 17. | | Set (wikipedia.org) |
| 4 points by rs86 on Jan 30, 2018 | past |
|
| 18. | | A quick look at self-information (medium.com/rostevaux) |
| 1 point by rs86 on Dec 12, 2017 | past |
|
| 19. | | Why bind has signature a → m b (medium.com/rostevaux) |
| 1 point by rs86 on Dec 11, 2017 | past |
|
| 20. | | Ask HN: What libraries are a joy to work with? |
| 5 points by rs86 on March 21, 2017 | past | 12 comments |
|
| 21. | | Ask HN: Does anyone dream of code? |
| 104 points by rs86 on Feb 8, 2017 | past | 139 comments |
|