Tanner Duve

Table of Contents Introduction Quantum Computing Basics Part 1: The Quantum Query Model Deutsch-Jozsa Algorithm Part 2: The Quantum Circuit Model GHZ Algorithm Acknowledgements References Introduction I’m new to the quantum world, but in how I’ve approach…

The central dogma of computational trinitarianism holds that Logic, Languages, and Categories are but three manifestations of one divine notion of computation. — Robert Harper Introduction I was recently having a conversation with a mathematician about fu…

Lately I’ve been doing some work involving modeling and verifying imperative programs, and in particular those that may diverge (ie. not terminate), such as functions that contain loops that can run forever.

Written jointly with Elan Roth Introduction This post explores two fundamental questions: what does it mean to be random, and what does it mean to compute?

In functional programming, monads are how we structure and sequence computations with side effects like state, IO, or failure.

1.