Clik here to view.
List of Awesome Things
from the Lang.NEXT conference this week. I heard most of this stuff not from the talks, but from the awesome people who were attending the conference. Alloy – A language for relational models. You...
View ArticleClik here to view.
Heart
It is part of growing up, I keep telling myself — doing what I know — for some definition of know — is right, despite the advice of my family and almost everyone (but my best friend who is my only...
View ArticleClik here to view.
Life as a Musician?
So, it turns out I’m not dead. How about that? I have dropped out of school, and am busking for a living. It is tiring (especially when I forget to drink enough water), sometimes discouraging (when I...
View ArticleClik here to view.
Why dream of being awake?
To every action, give your whole self; I am wholly procrastinating, fully indecisive, completely half-listening. Mr. mindful, awake, clear-headed, be careful, pictures can be projected on the fog. We...
View ArticleClik here to view.
Article 5
What do you say when you have nothing to say? What do you do when your song is a nice accompaniment to a vocal line, and there are no words to accompany? I could talk about my life. I could mention my...
View ArticleClik here to view.
A Gambler In Heaven
A gambler has just lost all but one $1 in Vegas and decides to go for a walk. Unfortunately he gets hit by a bus but, having lived mostly a good life aside from the gambling, is shown God’s mercy and...
View ArticleClik here to view.
DI Breakdown
I’m having a philosophical breakdown of the software engineering variety. I’m writing a register allocation library for my current project at work, referencing a not-too-complex algorithm which,...
View ArticleClik here to view.
How GADTs inhibit abstraction
Today I want to talk about this snippet: This program ought to be well-behaved — it has no recursion (or recursion-encoding tricks), no undefined or error, no incomplete pattern matches, so we should...
View ArticleClik here to view.
Constructions on Typeclasses, Part 1: F-Algebras
This post is rendered from literate Haskell. I recommend doing the exercises inline, so use the source. > {-# LANGUAGE DeriveFunctor > , DeriveFoldable > , DeriveTraversable > ,...
View ArticleClik here to view.
Follow Your Nose Proofs
We just had the first Categories for the Boulderite meetup, in which a bunch of people who don’t know category theory tried to teach it to each other. Some of the people there had not had very much...
View ArticleClik here to view.
The Plan
Last September, I decided that it was time to get a programming job again. After two months of trying to find paid work (of any kind, $10 would have been great!) as a composer, I realized that it’s...
View ArticleClik here to view.
Polyamory and Respect
I have been in an open, polyamorous relationship with my partner Amanda for about a year and a half. The relationship began as open for somewhat coincidental reasons, but over its course, I have...
View ArticleClik here to view.
Article 3
Great people often seriously experienced their mortality or frailty in some way. John Coltrane had four family members die in three months; Stephen Hawking contracted that motor thing he has;...
View ArticleClik here to view.
Algebraic and Analytic Programming
The professor began my undergrad number theory class by drawing a distinction between algebra and analysis, two major themes in mathematics. This distinction has been discussed elsewhere, and seems to...
View ArticleClik here to view.
Playground Programming
Every now and then, I have a small idea about a development environment feature I’d like to see. At that point, I usually say to myself, “make a prototype to see if I like it and/or show the world by...
View ArticleClik here to view.
LogicGrowsOnTrees
From haskell-cafe Like many other packages on Hackage, LogicGrowsOnTrees provides an implementation of logic programming using MonadPlus; in this sense it is nothing new. What sets it apart is that...
View ArticleClik here to view.
Dear Feminist Men,
I write today to warn you of a trap. A trap that I have fallen into, one that I will probably fall into again, so I need to keep a watchful eye. I call myself a feminist. I believe in ending sexism....
View ArticleClik here to view.
Motivating Dualities
The act of striving to become more, to learn more about living is a prominent part of many people’s lives; it certainly is for mine. However, I’ve observed a form of suffering which is associated with...
View ArticleClik here to view.
My Political Activation
Six weeks ago, Jimbo Wales tweeted a link to a fantastic article titled Privacy under attack: the NSA files revealed new threats to democracy. At the same time, I had been reading Paulo Freire’s...
View ArticleClik here to view.
Discoveries This Week
This week’s reading was more scattered than last week’s, which was focused mainly on US surveillance and politics. Still lots of interesting stuff this week — it’s amazing what comes to light when I...
View Article
