| 1. | | Deep Learning’s Climate Change Problem (forbes.com/sites/robtoews) |
| 1 point by johnbender on June 17, 2020 | past |
|
| 2. | | Human-Level Intelligence or Animal-Like Abilities? (arxiv.org) |
| 2 points by johnbender on Sept 17, 2017 | past |
|
| 3. | | What is a Type System for? (michaelrbernste.in) |
| 11 points by johnbender on Feb 17, 2014 | past |
|
| 4. | | Computer Science Theory in Practice (cstheory.stackexchange.com) |
| 1 point by johnbender on Nov 24, 2013 | past |
|
| 5. | | A Better SQL, Part 1 (johnbender.us) |
| 2 points by johnbender on Nov 4, 2013 | past |
|
| 6. | | Why I'm Getting a PhD (johnbender.us) |
| 137 points by johnbender on Sept 16, 2013 | past | 124 comments |
|
| 7. | | Web Based Haskell IDE/App Server from FP Complete (fpcomplete.com) |
| 51 points by johnbender on Sept 9, 2013 | past | 17 comments |
|
| 8. | | Automation Obsessed (mitchellh.com) |
| 3 points by johnbender on June 6, 2013 | past |
|
| 9. | | Reasoning About the Heap in Rust (johnbender.us) |
| 64 points by johnbender on April 30, 2013 | past | 6 comments |
|
| 10. | | Introducing Categories (jeremykun.com) |
| 2 points by johnbender on April 24, 2013 | past |
|
| 11. | | Categories – What’s the Point? (jeremykun.com) |
| 89 points by johnbender on April 16, 2013 | past | 26 comments |
|
| 12. | | Methods of Proof - Induction (jeremykun.com) |
| 4 points by johnbender on March 21, 2013 | past |
|
| 13. | | Logic Programming is overrated, at least for logic puzzles (2013) (programming-puzzler.blogspot.com) |
| 2 points by johnbender on March 7, 2013 | past |
|
| 14. | | Good Math: A Geek's Guide to the Beauty of Numbers, Logic, and Computation (pragprog.com) |
| 2 points by johnbender on Jan 23, 2013 | past |
|
| 15. | | System F in CoffeeScript (johnbender.us) |
| 5 points by johnbender on Jan 18, 2013 | past |
|
| 16. | | Math Envy and CoffeeScript's Foibles, Part 2 (johnbender.us) |
| 57 points by johnbender on Jan 9, 2013 | past |
|
| 17. | | Don't Let Math Pull the Wool Over Your Eyes (wsj.com) |
| 3 points by johnbender on Jan 5, 2013 | past | 1 comment |
|
| 18. | | Shuffles, Bayes' Theorem and Continuations (sigfpe.com) |
| 1 point by johnbender on Dec 30, 2012 | past |
|
| 19. | | How We Vagrant (lusis.org) |
| 6 points by johnbender on Dec 19, 2012 | past |
|
| 20. | | An Overview of Gödel's Incompleteness Theorem (math.stackexchange.com) |
| 1 point by johnbender on Dec 14, 2012 | past |
|
| 21. | | The JavaScript SDK – Truly Asynchronous Loading (facebook.com) |
| 5 points by johnbender on Dec 11, 2012 | past |
|
| 22. | | US Govt. plant USB sticks in security study, 60% of subjects take the bait (thenextweb.com) |
| 1 point by johnbender on Dec 11, 2012 | past |
|
| 23. | | Web Programming in Haskell (pragprog.com) |
| 4 points by johnbender on Dec 6, 2012 | past |
|
| 24. | | Math Envy and CoffeeScript's Foibles (johnbender.us) |
| 69 points by johnbender on Nov 29, 2012 | past | 30 comments |
|
| 25. | | Splitting jQuery in Two, A Proposal (johnbender.us) |
| 1 point by johnbender on July 19, 2012 | past |
|
| 26. | | Forbes: GitHub and the Democratization of Programming (forbes.com/sites/venkateshrao) |
| 4 points by johnbender on March 27, 2012 | past |
|
| 27. | | Natural Transformations in JavaScript (category theory) (johnbender.us) |
| 2 points by johnbender on March 22, 2012 | past |
|
| 28. | | Eff: A functional language based on algebraic effects and handlers (andrej.com) |
| 2 points by johnbender on March 8, 2012 | past |
|
| 29. | | Planting the Seed for a Responsive Future (bradfrostweb.com) |
| 1 point by johnbender on March 5, 2012 | past |
|
| 30. | | Faster JavaScript Through Category Theory (johnbender.us) |
| 41 points by johnbender on Feb 29, 2012 | past |
|
|
| More |
