Halfspace
Archives
Search
Subscribe
Tracking the progress of a distribution
April 1, 2021
Tracking the progress of a distribution I've been super busy lately, with work, a baby, and house hunting. Fun projects will have to take a back seat for...
Ideas for a "Production Cafe"
March 11, 2021
Ever since I wrote What’s in Production? I’ve grown steadily more obsessed with it. The act of writing these thoughts down focused the discordant, nagging...
What math is waiting for the world to catch up to?
February 25, 2021
Last week Tai-Danae Bradley invited me to give an Alphabet-wide math talk, in part advertising a series of internal courses she's teaching on pure math for...
Little Annoyances, Big Decisions
February 11, 2021
Little annoyances, big decisions A story I think software engineers, myself included, are influenced heavily by annoyances, and those annoyances drive major...
What's not to like about LaTeX?
January 21, 2021
Apologies for the delays in this newsletter. With the baby and the coup, the newsletter took a momentary backseat. I also wrote a few drafts (not about...
I wanted to care about software estimation
December 31, 2020
I wanted to care about software estimation I'm the kind of person who hears about a good idea and immediately wants to try it. So when I read about reference...
The value of math is at the margins
December 10, 2020
The value of math is at the margins I used to work at a Bitcoin startup. It ended up being a waste of my time, but I was lured there with promises of working...
The Spiritual Nature of Software Tools
November 26, 2020
The Spiritual Nature of Software Tools At the risk of waxing philosophical and boring you, I want to discuss one other aspect of Simone Weil's "The Need for...
Some book ideas
November 12, 2020
Future book ideas My first book, A Programmer's Introduction to Mathematics (PIM), was, in my view, a success. Self-publishing provided enough royalties to...
Mathematical community and the needs of the soul
October 29, 2020
The Needs of the Soul Last issue I waxed poetic about some informal communities I was involved in. I've been reading a few books about what makes a good...
What makes a community?
October 15, 2020
What makes a community? Recently I've been thinking a lot about community and culture. I've participated in many communities over time, centered around a...
What's in production?
October 1, 2020
What is Actually Used? Everyone wants their work to be useful. Being useful to others is a fundamental need of the human soul. That often manifests as the...
Newer archives