_           _               _____      _ _           
     | |         | |             / ____|    | | |          
     | | __ _  __| | ___ _ __   | |  __  ___| | | ___ _ __ 
 _   | |/ _` |/ _` |/ _ \ '_ \  | | |_ |/ _ \ | |/ _ \ '__|
| |__| | (_| | (_| |  __/ | | | | |__| |  __/ | |  __/ |   
 \____/ \__,_|\__,_|\___|_| |_|  \_____|\___|_|_|\___|_|   

    _         _             ___     _ _          
 _ | |__ _ __| |___ _ _    / __|___| | |___ _ _  
| || / _` / _` / -_) ' \  | (_ / -_) | / -_) '_| 
 \__/\__,_\__,_\___|_||_|  \___\___|_|_\___|_|   

import CaltechUndergrad.CompSci as ProgLangEnthusiast;

["functional", "systems"].map({ $0 + " programmer" });
["API", "framework", "mobile"].map({ $0 + " engineer" });
import CaltechUndergrad.CompSci
as ProgLangEnthusiast;

["functional", "systems"]
.map({ $0 + " programmer" });

["API", "framework", "mobile"]
.map({ $0 + " engineer" });
+--------------------------------+
| Things I'm very interested in: |
+--------------------------------+
| - strong type systems          |
| - stronger type systems        |
| - zero-cost abstractions       |
| - low-cost abstractions        |
| - abstractions                 |
| - high-level languages         |
| - high low-level languages     |
| - formal verification          |
| - security                     |
| - education technology         |
| - novel and intuitive UX       |
+--------------------------------+
+--------------------------------+
| Things I'm not interested in:  |
+--------------------------------+
| - being a code monkey          |
|     _________           ,_     |
|    | ------- |        c(..)o   |
|    || let x ||      \__(-)     |
|    || var y ||          /\     |
|    ||_______||       __/||     |
|    [ -=    . ]--.       ||     |
|  |=============| \_     \/     |
|  |=============| [|]    /|     |
|   -------------  [_]   |  \    |
|                        m  m    |
+--------------------------------+
I like to architect applications, design APIs, and devise algorithms.
I'm looking for post-graduation employment, so hire me to solve interesting problems. Bonus points for small, transparent, inclusive companies. Bonus, bonus points for anything on that list.
Say hi on Twitter.
Review my code on GitHub.
Connect on LinkedIn or AngelList.