**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 · 2018-04-23T00:55:25Z

Fae Geek Girl @dukhovni

@jordyd :prooftan:

Apr 23, 2018, 00:55 · Web · 1 · 2

**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 · Apr 23, 2018, 01:00

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

@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

**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