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


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


import {ProgLangEnthusiast} from Caltech.CompSci;
import {ProductSecurityProgramLead} from AsanaEngineering;

+--------------------------------+
| Things I'm very interested in: |
+--------------------------------+
| - zero-cost abstractions       |
| - strong type systems          |
| - domain-specific languages    |
| - effect-free programming      |
| - formal verification          |
| - software dev security        |
| - access control frameworks    |
| - composition over inheritance |
| - minimally surprising code    |
| - programming education        |
| - novel and intuitive UX       |
+--------------------------------+

+--------------------------------+
| Things I'm not interested in:  |
+--------------------------------+
| - being a code monkey          |
|     _________           ,_     |
|    | ------- |        c(..)o   |
|    || var x ||      \__(-)     |
|    || var y ||          /\     |
|    ||_______||       __/||     |
|    [ -=    . ]--.       ||     |
|  |=============| \_     \/     |
|  |=============| [|]    /|     |
|   -------------  [_]   |  \    |
|                        m  m    |
+--------------------------------+

Follow my spammy tweets on Twitter.
Review my well-intentioned but flawed code on GitHub.
Send a message into the abyss on LinkedIn.