Posts

Program Synthesis with TLA+

Jul 30, 2018 • Test Driven Development without the "Development"

Computer programs can feel like incantations, secret spells we whisper to the electrons coursing in the metal beneath our fingertips. But they’re really something much more prosaic: sequences of characters that we know how to compose and that computers know how to evaluate. They’re just text.

Seuratify JS

May 17, 2018 • Generate pointillist renditions of your photos.

This little application creates vibrant pointillist renditions of pictures through a process that closely mirrors the color theory that motivated Seurat and his peers. Give it a try by clicking "upload" (on mobile you can just take a picture directly!). Let me know what you think!

From Unit Testing to Formal Proofs

May 4, 2018 • You can mathematically prove programs work.

How do we know our software works? Well, mostly we don’t. If you’re like me, you’ve seen enough bugs to be humbled to our species’s inherent inability to write perfect code.

Pride and Prejudice ...and Computers

May 1, 2018

What is a computer?

Wall Drawing 51

Apr 27, 2018

Last fall, we spent a weekend in western Massachussetts, where we hiked Mount Greylock and enjoyed the season's spectacular foliage. We also visited MASS MoCA, a sprawling contemporary art campus in North Adams.

Two One Liners: What Poets Can Teach Us About Code

May 21, 2016

It’s not often that a popular news source will cover a feud between two poets. But in 2012, The Guardian did just that. After Carol Ann Duffy (the UK’s poet laureate) claimed that poetry, in its brevity, “… is a form of texting”, Geoffrey Hill, then the Professor of Poetry at Oxford, responded virulently. In a lecture he gave at Oxford (which I was actually there for), Hill said:

Reflections on Coursera's Machine Learning Course

May 7, 2016

I recently completed, from start to finish, my first MOOC: Coursera’s famous Machine Learning class. While it was still fresh in my mind, I wanted to record my thoughts on the experience.

Learning Python for Web Development (from Scratch)

May 8, 2015

This post is intended for people who don’t know the first thing about programming but who have an interest in learning in order to make web applications.

Shakespeare Social Networks

Apr 17, 2015

In my PyCon talk, I sort of jokingly presented a social network graph of the characters in Othello. In this post I’m going to show you how to make that graph with Python:

PyCon 2015

Apr 6, 2015

I’m really excited and honored to be giving a talk at PyCon this year! I’ll be speaking about analyzing Shakespeare with Python, giving an overview of some basic analysis and machine learning techniques you can do with text.

DIY Vasarely

Apr 2, 2015

My grandparents are big fans of modern and postmodern art. Anne and I went to visit them in Palm Springs this winter, where we went with them to the Palm Springs Modernism Exhibition. Inspired by a DIY Vasarely on display there, we put together this little javascript Vasarely generator.