Hacker News
- Rigging elections with integer linear programming http://www.drmaciver.com/2017/02/rigging-elections-with-integer-linear-programming/ 21 comments
- Static typing will not save us from broken software http://www.drmaciver.com/2016/10/static-typing-will-not-save-us-from-broken-software/ 93 comments
- The economics of software correctness http://www.drmaciver.com/2015/10/the-economics-of-software-correctness/ 53 comments
- Write libraries, not services http://www.drmaciver.com/2014/03/write-libraries-not-services/ 4 comments
- Living on the edge of academia http://www.drmaciver.com/2008/12/living-on-the-edge-of-academia/ 34 comments
Lobsters
- A manifesto for error reporting https://www.drmaciver.com/2013/03/a-manifesto-for-error-reporting/ 2 comments practices
- Can you write correct software in a statically typed language? http://www.drmaciver.com/2018/02/can-you-write-correct-software-in-a-statically-typed-language/ 14 comments programming
- Tell us why your language sucks (2008) http://www.drmaciver.com/2008/02/tell-us-why-your-language-sucks/ 6 comments haskell , plt
- Programmer at Large: What is this? http://www.drmaciver.com/2017/01/programmer-at-large-what-is-this/ 9 comments art , law
- Why you should use a single repository for all your company’s projects http://www.drmaciver.com/2016/10/why-you-should-use-a-single-repository-for-all-your-companys-projects/ 35 comments practices , vcs
- Some things that might help you write better software http://www.drmaciver.com/2016/10/some-things-that-might-help-you-write-better-software/ 6 comments practices , testing
- Static typing will not save us from broken software http://www.drmaciver.com/2016/10/static-typing-will-not-save-us-from-broken-software/ 52 comments programming , testing
- It might be worth learning an ML-family language http://www.drmaciver.com/2016/07/it-might-be-worth-learning-an-ml-family-language/ 20 comments haskell , ml , python
- Contributors do not save time http://www.drmaciver.com/2016/07/contributors-do-not-save-time/ 2 comments culture , programming
- On criticizing programming languages (without criticizing their users) http://www.drmaciver.com/2015/12/on-criticizing-programming-languages/ 6 comments culture , programming
- The Economics of Software Correctness http://www.drmaciver.com/2015/10/the-economics-of-software-correctness/ 11 comments programming
- On Haskell, Ruby, and Cards Against Humanity http://www.drmaciver.com/2015/04/on-haskell-ruby-and-cards-against-humanity/ 18 comments haskell , programming , ruby
- It’s OK for your open source library to be a bit shitty https://www.drmaciver.com/2015/04/its-ok-for-your-open-source-library-to-be-a-bit-shitty/ 10 comments opensource
- (Some of) my problems with correctness research https://www.drmaciver.com/2018/04/some-of-my-problems-with-correctness-research/ 3 comments programming
- Some results on convergence of alternating sums http://www.drmaciver.com/2017/01/convergence-of-alternating-sums/ 4 comments math
- Ain’t nobody here but us survivors http://www.drmaciver.com/2016/08/aint-nobody-here-but-us-survivors/ 5 comments programming
- Contributors do not save time http://www.drmaciver.com/2016/07/contributors-do-not-save-time/ 35 comments programming
- Zorn’s lemma is what happens when you get bored of transfinite induction http://www.drmaciver.com/2015/12/you-can-tell-about-zorns-lemma/ 7 comments math
- A survey of Quickchecks http://www.drmaciver.com/2015/09/a-survey-of-quickchecks/ 6 comments programming
- A wish list for programming languages http://www.drmaciver.com/2015/07/a-wish-list/ 110 comments programming
- The #1 reason I don’t write Haskell http://www.drmaciver.com/2015/04/the-1-reason-i-dont-write-haskell/ 128 comments haskell
- It’s OK for your open source library to be a bit shitty | David R. MacIver http://www.drmaciver.com/2015/04/its-ok-for-your-open-source-library-to-be-a-bit-shitty/ 17 comments linux
- It's OK for your open source library to be a bit shitty http://www.drmaciver.com/2015/04/its-ok-for-your-open-source-library-to-be-a-bit-shitty/ 445 comments programming
- Reading code by asking questions http://www.drmaciver.com/2014/01/reading-code-by-asking-questions/ 3 comments programming
- laziness + reference counting = a query optimiser for purely functional data structures (in C) http://www.drmaciver.com/2013/12/domain-specific-evaluation-orders/ 8 comments programming
- A manifesto for error reporting http://www.drmaciver.com/2013/03/a-manifesto-for-error-reporting/ 11 comments programming
- Notes from designing a Haskell API for metric search http://www.drmaciver.com/2011/11/notes-on-design-of-a-haskell-api/ 19 comments haskell
- Reading Video Frame by Frame with FFMPEG http://www.drmaciver.com/2010/12/reading-video-frame-by-frame-with-ffmpeg/ 3 comments coding
- The best way to handle exceptions http://www.drmaciver.com/2010/04/the-best-way-to-handle-exceptions/? 62 comments programming
- A problem of language (response to "Scala is not a functional programming language") http://www.drmaciver.com/2009/05/a-problem-of-language/ 59 comments programming
- Command line tools for NLP and Machine Learning http://www.drmaciver.com/2009/04/command-line-tools-for-nlp-and-machine-learning/ 3 comments compsci
- "OO has contributed many big and important innovations to programming. Among these, the foremost is that you write functions after rather than before their argument." http://www.drmaciver.com/2009/01/writing-things-right/? 110 comments programming
- Exceptions for control flow considered perfectly acceptable, thanks very much http://www.drmaciver.com/2009/03/exceptions-for-control-flow-considered-perfectly-acceptable-thanks-very-much/ 38 comments programming
- Writing things right http://www.drmaciver.com/2009/01/writing-things-right/ 11 comments programming
- Functional code != Good code http://www.drmaciver.com/2008/08/functional-code-not-equal-good-code/ 97 comments programming