| 31. | | “Abductive” functional programming for machine learning (danghica.blogspot.com) |
| 3 points by theaeolist on Oct 23, 2017 | past |
|
| 32. | | Can we machine-learn a programming language semantics? (danghica.blogspot.com) |
| 3 points by theaeolist on Aug 7, 2017 | past |
|
| 33. | | Deduction is types. Induction is testing. Abduction is program analysis (danghica.blogspot.com) |
| 2 points by theaeolist on July 25, 2017 | past |
|
| 34. | | Reasoning about digital circuits using string diagrams (danghica.blogspot.com) |
| 2 points by theaeolist on May 22, 2017 | past |
|
| 35. | | OCaml vs. Java in teaching (danghica.blogspot.com) |
| 6 points by theaeolist on Jan 16, 2017 | past | 1 comment |
|
| 36. | | The void left by Apple (hackernoon.com) |
| 68 points by theaeolist on Nov 27, 2016 | past | 101 comments |
|
| 37. | | What else are we getting wrong about programming languages? (danghica.blogspot.com) |
| 61 points by theaeolist on Oct 30, 2016 | past | 96 comments |
|
| 38. | | Categorical semantics for digital circuits (bham.ac.uk) |
| 2 points by theaeolist on Sept 2, 2016 | past |
|
| 39. | | Dana Scott tells the real story of why the lambda in the lambda-calculus (bham.ac.uk) |
| 3 points by theaeolist on May 13, 2016 | past |
|
| 40. | | A short fable of software engineering vs. regular engineering (bham.ac.uk) |
| 111 points by theaeolist on Jan 10, 2016 | past | 91 comments |
|
| 41. | | Quantum mechanics is undecidable () (arxiv.org) |
| 1 point by theaeolist on Dec 1, 2015 | past |
|
| 42. | | Computability: The Greatest Law of Physics (bham.ac.uk) |
| 48 points by theaeolist on Nov 10, 2015 | past | 14 comments |
|
| 43. | | What things compute? (bham.ac.uk) |
| 50 points by theaeolist on Aug 31, 2015 | past | 29 comments |
|
| 44. | | Inventing an algebraic knot theory for eight year olds, part 4: Equations (bham.ac.uk) |
| 9 points by theaeolist on May 17, 2015 | past | 2 comments |
|
| 45. | | Inventing an algebraic knot theory for eight year olds (III) (bham.ac.uk) |
| 46 points by theaeolist on May 11, 2015 | past | 20 comments |
|
| 46. | | Automated verification at Facebook is state of the art (facebook.com) |
| 2 points by theaeolist on Feb 12, 2015 | past |
|
| 47. | | A one question survey on the nature of consciousness (docs.google.com) |
| 1 point by theaeolist on Sept 8, 2014 | past | 1 comment |
|
| 48. | | Ask HN: Nice conference sites? |
| 1 point by theaeolist on Aug 9, 2014 | past | 1 comment |
|
| 49. | | Ask HN: Simplified C? |
| 1 point by theaeolist on Jan 5, 2014 | past | 1 comment |
|
| 50. | | The camel has two Humps [pdf] (mdx.ac.uk) |
| 2 points by theaeolist on Dec 23, 2012 | past |
|
| 51. | | Suggestions for Introduction to CS? |
| 8 points by theaeolist on June 5, 2011 | past | 1 comment |
|
| 52. | | How to manage an invention? |
| 4 points by theaeolist on April 22, 2011 | past | 8 comments |
|
