| 1. | | Carcinisation (wikipedia.org) |
| 7 points by ayberkt on Nov 17, 2022 | past | 1 comment |
|
| 2. | | Social Distancing Simulator (andrej.com) |
| 2 points by ayberkt on March 17, 2020 | past |
|
| 3. | | ACM signs letter opposing free distribution of peer-reviewed journal articles (publishers.org) |
| 2 points by ayberkt on Dec 20, 2019 | past | 3 comments |
|
| 4. | | “Math is just a corner of computer science” (youtube.com) |
| 1 point by ayberkt on April 9, 2016 | past |
|
| 5. | | The man who would teach machines to think (theatlantic.com) |
| 2 points by ayberkt on March 13, 2016 | past |
|
| 6. | | Constructive mathematics and computer programming (1979) [pdf] (tufts.edu) |
| 5 points by ayberkt on Jan 29, 2016 | past |
|
| 7. | | Gerald Sussman's Foreword to the Little Schemer (neu.edu) |
| 2 points by ayberkt on Jan 13, 2016 | past |
|
| 8. | | Physical explanation of Dijkstra's algorithm (2011) [video] (youtube.com) |
| 51 points by ayberkt on Dec 14, 2015 | past | 2 comments |
|
| 9. | | An optimizing compiler for a purely functional web app language (youtube.com) |
| 1 point by ayberkt on Dec 11, 2015 | past |
|
| 10. | | What is a stateless user interface? (ezyang.com) |
| 94 points by ayberkt on Nov 30, 2015 | past | 28 comments |
|
| 11. | | SMT based verification in Haskell (leventerkok.github.io) |
| 2 points by ayberkt on Nov 22, 2015 | past |
|
| 12. | | It's All About Morphisms (bartoszmilewski.com) |
| 1 point by ayberkt on Nov 19, 2015 | past |
|
| 13. | | Cons conflict resolved at last (jwz.org) |
| 2 points by ayberkt on Oct 16, 2015 | past |
|
| 14. | | Sokal affair (wikipedia.org) |
| 2 points by ayberkt on Oct 15, 2015 | past |
|
| 15. | | No Silver Bullet (1986) [pdf] (worrydream.com) |
| 55 points by ayberkt on Sept 30, 2015 | past | 34 comments |
|
| 16. | | No Silver Bullet (1995) [pdf] (worrydream.com) |
| 2 points by ayberkt on Sept 30, 2015 | past |
|
| 17. | | Cyclomatic complexity (wikipedia.org) |
| 3 points by ayberkt on Sept 27, 2015 | past |
|
| 18. | | Sokal affair (wikipedia.org) |
| 1 point by ayberkt on Sept 21, 2015 | past |
|
| 19. | | Unix Pipes as IO Monads (2001) (okmij.org) |
| 46 points by ayberkt on Sept 10, 2015 | past | 1 comment |
|
| 20. | | How I develop with Nix (ocharles.org.uk) |
| 144 points by ayberkt on Aug 12, 2015 | past | 55 comments |
|
| 21. | | J-Bob – The proof assistant from “The Little Prover” (github.com/the-little-prover) |
| 59 points by ayberkt on July 27, 2015 | past | 4 comments |
|
| 22. | | Tying the knot (haskell.org) |
| 17 points by ayberkt on July 11, 2015 | past |
|
| 23. | | The Little Prover (amazon.com) |
| 1 point by ayberkt on July 11, 2015 | past |
|
| 24. | | Aether as a Reddit alternative (getaether.net) |
| 2 points by ayberkt on July 5, 2015 | past |
|
| 25. | | Haskell's currying explained in Python (ayberkt.me) |
| 3 points by ayberkt on July 2, 2015 | past |
|
| 26. | | Recency Illusion (wikipedia.org) |
| 1 point by ayberkt on Feb 27, 2015 | past |
|
| 27. | | Rate of regularizing English verbs (johndcook.com) |
| 2 points by ayberkt on Dec 12, 2014 | past | 2 comments |
|
| 28. | | Lojban Grammar (wikipedia.org) |
| 3 points by ayberkt on Nov 5, 2014 | past |
|
| 29. | | Apple iPhone 5 Ad: Thumb (youtube.com) |
| 1 point by ayberkt on Oct 1, 2014 | past |
|
| 30. | | Cons is your friend (kaygun.tumblr.com) |
| 44 points by ayberkt on Sept 11, 2014 | past | 15 comments |
|
|
| More |
