# Archive

## Posts

- Presentation: Differential Semantics
- A Better SQL
- Why I'm Getting a PhD
- Presentation: Faster JavaScript through Category Theory
- Presentation: Math Envy and CoffeeScript's Foibles
- Presentation: O'Hearn's Resources, Concurrency, and Local Reasoning
- Reasoning About the Heap in Rust
- System F in CoffeeScript
- Math Envy and CoffeeScript's Foibles, Part 2
- Math Envy and CoffeeScript's Foibles, Part 1
- Splitting jQuery in Two, A Proposal
- Presentation: Middleware as a General Purpose Abstraction
- A Natural Transformation in JavaScript
- Leveraging Your Insecurities
- Faster Javascript Through Category Theory
- jQuery is just a browser API
- You got your type class in my jQuery: Applicative Functors
- You got your type class in my jQuery: Functors
- Snap setup from scratch the Vagrant way
- Contributing to jQuery Mobile
- Haskell and Vagrantâs Middleware
- Middleware, Composition, and Monads
- bebop: resource routing for Sinatra/Monk
- Using a haskell dfa type to match strings
- Ruby Cons
- Algebra of Programming: Chapter 1 section 5
- Algebra of Programming: Chapter 1 Section 3
- Algebra of Programming: Chapter 1 Section 2
- RQuery: refactored and simplified
- Unraverl: Partial Function Application
- BootStraps: now with less crapyness
- BootStrapping a Sinatra app
- RQuery: now with | and & operators
- Searching the abstract form in erlang
- non-deterministic description
- Haskell learnings
- Unraverl: filters and more for erlang
- rquery for Rails is ready
- Query DSL in Ruby
- Rails Dev Shortages
- grove is out
- Scale Rails Screencasts
- testing = mochijson2 funnyness feature
- Erlang: Pattern Matching Declarations vs Case Statements/Other

## Tags

- erlang 6
- rails 5
- ruby 12
- haskell 10
- communication 2
- sinatra 2
- math 16
- javascript 10
- jquery 8
- vagrant 2
- presentation 5
- coffeescript 4
- rust 1
- career 1
- education 1
- sql 2

### erlang

- Unraverl: Partial Function Application
- Searching the abstract form in erlang
- Unraverl: filters and more for erlang
- grove is out
- testing = mochijson2 funnyness feature
- Erlang: Pattern Matching Declarations vs Case Statements/Other

### rails

- RQuery: now with | and & operators
- rquery for Rails is ready
- Query DSL in Ruby
- Rails Dev Shortages
- Scale Rails Screencasts

### ruby

- Presentation: Middleware as a General Purpose Abstraction
- Haskell and Vagrantâs Middleware
- Middleware, Composition, and Monads
- bebop: resource routing for Sinatra/Monk
- Ruby Cons
- RQuery: refactored and simplified
- BootStraps: now with less crapyness
- BootStrapping a Sinatra app
- RQuery: now with | and & operators
- rquery for Rails is ready
- Query DSL in Ruby
- Scale Rails Screencasts

### haskell

- You got your type class in my jQuery: Applicative Functors
- You got your type class in my jQuery: Functors
- Snap setup from scratch the Vagrant way
- Haskell and Vagrantâs Middleware
- Middleware, Composition, and Monads
- Using a haskell dfa type to match strings
- Algebra of Programming: Chapter 1 section 5
- Algebra of Programming: Chapter 1 Section 3
- Algebra of Programming: Chapter 1 Section 2
- Haskell learnings

### communication

### sinatra

### math

- Presentation: Differential Semantics
- Presentation: Faster JavaScript through Category Theory
- Presentation: Math Envy and CoffeeScript's Foibles
- Presentation: O'Hearn's Resources, Concurrency, and Local Reasoning
- Reasoning About the Heap in Rust
- System F in CoffeeScript
- Math Envy and CoffeeScript's Foibles, Part 2
- Math Envy and CoffeeScript's Foibles, Part 1
- Splitting jQuery in Two, A Proposal
- A Natural Transformation in JavaScript
- Faster Javascript Through Category Theory
- Middleware, Composition, and Monads
- Algebra of Programming: Chapter 1 section 5
- Algebra of Programming: Chapter 1 Section 3
- Algebra of Programming: Chapter 1 Section 2

### javascript

- Presentation: Faster JavaScript through Category Theory
- Math Envy and CoffeeScript's Foibles, Part 2
- Math Envy and CoffeeScript's Foibles, Part 1
- Splitting jQuery in Two, A Proposal
- A Natural Transformation in JavaScript
- Faster Javascript Through Category Theory
- jQuery is just a browser API
- You got your type class in my jQuery: Applicative Functors
- You got your type class in my jQuery: Functors
- Contributing to jQuery Mobile

### jquery

- Presentation: Faster JavaScript through Category Theory
- Splitting jQuery in Two, A Proposal
- A Natural Transformation in JavaScript
- Faster Javascript Through Category Theory
- jQuery is just a browser API
- You got your type class in my jQuery: Applicative Functors
- You got your type class in my jQuery: Functors
- Contributing to jQuery Mobile

### vagrant

### presentation

- Presentation: Differential Semantics
- Presentation: Faster JavaScript through Category Theory
- Presentation: Math Envy and CoffeeScript's Foibles
- Presentation: O'Hearn's Resources, Concurrency, and Local Reasoning
- Presentation: Middleware as a General Purpose Abstraction

### coffeescript

- Presentation: Math Envy and CoffeeScript's Foibles
- System F in CoffeeScript
- Math Envy and CoffeeScript's Foibles, Part 2
- Math Envy and CoffeeScript's Foibles, Part 1