**jorty (deprecated aspect)** @jordyd@octodon.social · Apr 23, 2018, 00:28

**jorty (deprecated aspect)** @jordyd@octodon.social · Apr 23, 2018, 00:28

jorty (deprecated aspect) @jordyd@octodon.social

Fae Geek Girl is a user on mastodon.mit.edu. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.

I like it

**Fae Geek Girl** @dukhovni · Apr 23, 2018, 00:55

**Fae Geek Girl** @dukhovni · Apr 23, 2018, 00:55

@jordyd :prooftan:

**jorty (deprecated aspect)** @jordyd@octodon.social · Apr 23, 2018, 00:55

**jorty (deprecated aspect)** @jordyd@octodon.social · Apr 23, 2018, 00:55

@dukhovni :O

**jorty (deprecated aspect)** @jordyd@octodon.social · Apr 23, 2018, 00:56

**jorty (deprecated aspect)** @jordyd@octodon.social · Apr 23, 2018, 00:56

@dukhovni who is she

**Fae Geek Girl** @dukhovni · 2018-04-23T01:00:07Z

Fae Geek Girl @dukhovni

@jordyd she's Proof-tan! She is kind and supportive when your Ltac scripts run for hours and then crash with an inscrutable error message

Apr 23, 2018, 01:00 · Web · 0 · 3

**jorty (deprecated aspect)** @jordyd@octodon.social · Apr 23, 2018, 01:02

**jorty (deprecated aspect)** @jordyd@octodon.social · Apr 23, 2018, 01:02

@dukhovni I love her she's my friend now