The Third Age of Computing is Dependently Typed

The Third Age of Computing is Dependently Typed I just got back from hearing r0ml speak at Recurse Center on Third Age of Computing…

The Expression Problem and Tables

The Expression Problem and Tables The Expression Problem The expression problem is a well known problem in programming language theory…

Resume

Projects: github.com/joelburget Noteworthy / significant contributions: Unfortunately most of my paid work is not open-source. However, I do…

Programmer Tooling Beyond Plain Text

Programmer Tooling Beyond Plain Text This is a companion to my post on the expression problem and tables . In this post I explore ways we…

now

What I’m Doing Now Work Working on Quorum . Traveling / Exploring Fiction Dune (again) Infinite Jest (I’ve been reading this for, like, a…

next blog

Blogging with next.js For a long time I’ve wanted to blog more regularly, but haven’t been able to update my website. Which I mean literally…

Home

Joel Burget I’m a software developer and designer from the US. I’ve worked professionally as a web developer focused on frontend / UI and…

ICFP 2017

ICFP 2017 This year I finally made it to ICFP after years of wanting to go. Here are notes on a few of the talks I was most interested in…

KhanQuest and the Healthy Hackathon

KhanQuest and the Healthy Hackathon Over the past four days I participated in the Khan Academy 2014 Healthy Hackathon, where my team worked…

data, type, newtype, instance, class

data, type, newtype, instance, class One of the first things to confuse me about Haskell was the number of keywords related to types. The…

canon

Personal Canon Inspired by Duncan Graham’s canon , and transitively, by David Cole’s , here is a list of people and works that have…

Blog July 14 2018

Augmenting Long-term Memory My somewhat pious belief was that if people focused more on remembering the basics, and worried less about the…

Backbone to React

Previously: First Reactions Hack Reactor On Friday I spoke at Hack Reactor - a programming bootcamp designed to jump start your web…