Patrick Stevens | Programming

2024

Unhinged rant about software

Sep 27

ChatGPT's effect on my programming

Mar 27

YAML is not a superset of JSON

Mar 14

Why does no-confusion use equality rather than a recursive call?

Mar 1

Starting a suspended process

Jan 19

2023

Squashed stacked PRs workflow

Oct 18

Nix fireside chat outline

Oct 5

Property-based testing introduction

Oct 1

Notes for a Git fireside chat

Sep 6

2021

Crates (existentials in F#)

Oct 19

Metatesting your property-based tests

May 27

In praise of `--dry-run`

May 21

Continuation-passing style

Mar 22

Rewriting the Technical Interview, in Mathematica

Mar 17

Software engineer syllabus

Feb 3

Cyclic dependencies (a note from Hacker News)

Jan 30

Find the Bug, C# edition

Jan 18

2020

Dec 28

Nulls and options (a note from Hacker News)

Oct 10

In favour of recursive functions, not imperative constructs, to make loops

Jul 22

Static config (a note from Hacker News)

Apr 5

Defunctionalisation

Mar 4

MIT Mystery Hunt 2020 answers

Jan 16

2019

MIT Mystery Hunt 2019 answers

Jan 16

2018

Chatting with Don Syme about the F# compiler

Sep 10

Dependent types overview

Jul 21

JSON comments (a note from Hacker News)

Jun 2

2016

Clojure and Exercism

Mar 28

2014

Python, script shadowing

Aug 26

Introduction to functional programming syntax of Mathematica

Jan 24