Blog Archive

• Sep 3, 2024

  LSP: the good, the bad, and the ugly

• Mar 11, 2024 • haskell, programming

  Why is defunctionalization good?

• Mar 6, 2024 • review, gender

  The Second Sex

• Mar 6, 2024

  The unconscious scammer

• Nov 20, 2023

  Partially evaluating CPP macros in Haskell codebases

• Jun 19, 2022

  Everything Everywhere All At Once

• Jun 12, 2022 • programming, haskell

  Lenses for Tree Traversals Redux

• Apr 24, 2022 • programming

  On Commenting Code

• Jul 10, 2021 • therapy, psychology

  Four lenses on the upsides of bad behaviour

• Jan 2, 2021 • programming, haskell

  Elementary programming

• Nov 18, 2020 • programming, maths, probability

  Why doesn't software project management handle risk better?

• Oct 29, 2020 • programming, haskell

  Your orphan instances are probably fine

• Aug 2, 2020 • programming, haskell

  Lenses for Tree Traversals

• Jun 25, 2020 • notebook

  Shark curiosity

• Jun 15, 2020 • notebook

  Calling it a day

• Jun 4, 2020 • notebook, ethics

  Post-consequentialist agents

• Jun 3, 2020 • notebook

  Moderating technological progress: a bitter pill

• Jun 1, 2020 • notebook

  Alexander Technique, maybe

• Jun 1, 2020 • notebook

  Notebook posts

• May 10, 2020 • effective altruism, donations

  My giving in 2020

• Sep 16, 2018 • programming, haskell

  Roll your own stack traces

• Apr 8, 2018 • programming, haskell

  A catamorphic lambda-calculus interpreter

• Apr 7, 2018 • philosophy

  Meaning and Moral Foundations Theory

• Jan 13, 2018 • reviews

  Review: Homo Deus

• Jan 8, 2018 • fiction

  The spirit carries on

• Jan 7, 2018 • effective altruism, donations

  My giving in 2017

• Jan 4, 2018 • decision theory, psychology

  Choice begets regret

• Dec 16, 2017 • gender, relationships

  Some thoughts about 'Cat Person'

• Nov 24, 2017 • effective altruism

  Towards effective entrepreneurship: what makes a startup high-impact?

• Nov 24, 2017 • effective altruism

  Towards effective entrepreneurship: Good Technology Project post-mortem

• Oct 22, 2017 • decision theory, security, computer science

  Zero-knowledge cooperation

• Jul 20, 2017 • philosophy, computer science

  Encryption and the waterfall problem

• Jul 19, 2017 • computer science, types

  Why don't we handle our errors properly?

• Jun 21, 2017

  Deploying this blog with NixOps

• Feb 5, 2017 • effective altruism

  EA should invest more in exploration

• Dec 18, 2016 • fiction

  How To Remove Your Heart From Your Body

• Feb 22, 2016 • reviews

  Review: Jo Walton, The Just City

• Oct 20, 2015 • philosophy

  (At least) two kinds of personhood

• Sep 13, 2015 • fiction

  The Cryptographer

• Aug 22, 2015 • review, effective altruism

  Review: Doing Good Better by William MacAskill

• Aug 22, 2015 • gratitude

  In praise of the toilet cubicle

• Jul 12, 2015 • philosophy, effective altruism

  The universalizability of effective altruism

• Jun 14, 2015 • fiction, futurism

  The Screwtype Letters

• May 27, 2015 • philosophy

  Collaborative and Combative discussions

• May 13, 2015 • charity, effective altruism

  I'm now donation matching!

• Apr 16, 2015 • philosophy, futurism

  Offense and defense - meditations on Khorne

• Apr 8, 2015 • philosophy, maths

  Linear preferences and Pascal's Wager

• Mar 30, 2015

  Giving What We Can Charities Update 1

• Mar 26, 2015 • computer science, types, flamebait

  Types and readability

• Mar 18, 2015

  Exploiting coordination problems for fun and profit

• Feb 22, 2015 • review

  Jupiter Ascending and narratively irrelevant choices

• Feb 12, 2015 • rant

  Threaded comments

• Jan 26, 2015 • philosophy, ethics, effective altruism

  Consequentialist moral character

• Jan 17, 2015 • future, Robin Hanson

  Robots and hypocrisy

• Jan 4, 2015 • optimism

  Happy 11111011111

• Mar 16, 2013 • Scala, programming

  Using the free monad to avoid stack overflows in Scala

• Mar 14, 2013 • Australia

  Australia update 3

• Mar 6, 2013 • scala, computer science, category theory

  Slides for variance talk

• Mar 5, 2013 • philosophy, effective altruism

  The master argument for Effective Altruism

• Dec 29, 2012 • programming, Scala, category theory

  Covariance and contravariance in Scala

• Dec 29, 2012 • Australia

  Australia update 2

• Nov 4, 2012 • programming, git

  Syncing dotfiles with git

• Nov 4, 2012 • effective altruism

  Estimating the effectiveness of DCP - Part 2

• Nov 1, 2012 • effective altruism

  Estimating the effectiveness of DCP - Part 1

• Oct 28, 2012 • Australia

  Sculptures by the sea

• Oct 23, 2012 • Australia

  First day at work

• Oct 9, 2012 • admin, Australia

  Introduction