The Curious Engineer

All blogs / Haskell

Terms and Truth-Conditions

michaelpj.com/blog

Michael Peyton Jones' blog - mathematics, computer science, philosophy.

HaskellFunctional / PL theoryEssays / personalMath

’15’20’25
Posts
83 from 9 Oct 2012 to 12 Apr 2025
Posting
now and then
Kind
personal blog
Feed
https://www.michaelpj.com/blog/feed.xml

2025 1

  1. Experiments with writing Haskell with Aider

2024 4

  1. LSP: the good, the bad, and the ugly
  2. Why is defunctionalization good?
  3. The Second Sex
  4. The unconscious scammer

2023 2

  1. Partially evaluating CPP macros in Haskell codebases
  2. « Older

2022 3

  1. Everything Everywhere All At Once
  2. Lenses for Tree Traversals Redux
  3. On Commenting Code

2021 3

  1. Four lenses on the upsides of bad behaviour
  2. Elementary programming
  3. « Older

2020 12

  1. Why doesn’t software project management handle risk better?
  2. Your orphan instances are probably fine
  3. Lenses for Tree Traversals
  4. Shark curiosity
  5. Calling it a day
  6. « Older
  7. Post-consequentialist agents
  8. Moderating technological progress: a bitter pill
  9. Alexander Technique, maybe
  10. Notebook posts
  11. My giving in 2020
  12. « Older

2018 8

  1. Roll your own stack traces
  2. A catamorphic lambda-calculus interpreter
  3. Meaning and Moral Foundations Theory
  4. Review: Homo Deus
  5. The spirit carries on
  6. « Older
  7. My giving in 2017
  8. Choice begets regret

2017 10

  1. Some thoughts about 'Cat Person'
  2. Towards effective entrepreneurship: Good Technology Project post-mortem
  3. Towards effective entrepreneurship: what makes a startup high-impact?
  4. « Older
  5. Zero-knowledge cooperation
  6. Encryption and the waterfall problem
  7. Why don't we handle our errors properly?
  8. Deploying this blog with NixOps
  9. EA should invest more in exploration
  10. « Older

2016 2

  1. How To Remove Your Heart From Your Body
  2. Review: Jo Walton, The Just City

2015 22

  1. (At least) two kinds of personhood
  2. The Cryptographer
  3. In praise of the toilet cubicle
  4. Review: Doing Good Better by William MacAskill
  5. « Older
  6. The universalizability of effective altruism
  7. The Screwtype Letters
  8. Collaborative and Combative discussions
  9. I'm now donation matching!
  10. « Older
  11. Offense and defense - meditations on Khorne
  12. Linear preferences and Pascal's Wager
  13. Giving What We Can Charities Update 1
  14. Types and readability
  15. Exploiting coordination problems for fun and profit
  16. « Older
  17. Jupiter Ascending and narratively irrelevant choices
  18. Threaded comments
  19. Consequentialist moral character
  20. Robots and hypocrisy
  21. Happy 11111011111
  22. « Older

2013 4

  1. Using the free monad to avoid stack overflows in Scala
  2. Australia update 3
  3. Slides for variance talk
  4. The master argument for Effective Altruism

2012 11

  1. Australia update 2
  2. Covariance and contravariance in Scala
  3. Covariance and contravariance in scala
  4. Estimating the effectiveness of DCP - Part 2
  5. Syncing dotfiles with git
  6. « Older
  7. Estimating the effectiveness of DCP - Part 1
  8. Sculptures by the sea
  9. « Older
  10. First day at work
  11. Introduction

Undated 1

  1. attached