Stories by jcurbo

20 CDs Curated by Steve Jobs and the iPod Team

The Power of Company Mottoes

The Future of Podcasting

Race and Digital Opportunity in the Delta

Deepspec: The Science of Deep Specification

Major Power Outage Causes Shutdown of USPTO Online and IT Systems

This is what it looks like to play 8-player co-op Mario on an NES

From REPL to Playgrounds

A Path to Enlightenment in Programming Language Theory

Attack of the week: Logjam

Customer service and security

The Haskell gl package: a pragmatic primer

An interactive video of the Chelyabinsk asteroid event

A blog engine written and proven in Coq

The problem of learning functional programming

Lucid: templating DSL for HTML

Strong types and testing – in Haskell

Making Hybrid Images

Banks: Credit Card Breach at Home Depot

Type-directed search with dependent types

1
2