Notice: Function _load_textdomain_just_in_time was called incorrectly. Translation loading for the buddypress domain was triggered too early. This is usually an indicator for some code in the plugin or theme running too early. Translations should be loaded at the init action or later. Please see Debugging in WordPress for more information. (This message was added in version 6.7.0.) in /home2/raleigh/silverbirches19341.com/wp-includes/functions.php on line 6170
Notice: Function _load_textdomain_just_in_time was called incorrectly. Translation loading for the buddypress domain was triggered too early. This is usually an indicator for some code in the plugin or theme running too early. Translations should be loaded at the init action or later. Please see Debugging in WordPress for more information. (This message was added in version 6.7.0.) in /home2/raleigh/silverbirches19341.com/wp-includes/functions.php on line 6170
Deprecated: Function create_function() is deprecated in /home2/raleigh/silverbirches19341.com/wp-content/plugins/bp-group-calendar/groupcalendar/bp-group-calendar.php on line 77
Deprecated: Function create_function() is deprecated in /home2/raleigh/silverbirches19341.com/wp-content/plugins/bp-group-calendar/groupcalendar/bp-group-calendar.php on line 79
Deprecated: Function create_function() is deprecated in /home2/raleigh/silverbirches19341.com/wp-content/plugins/bp-group-calendar/groupcalendar/bp-group-calendar.php on line 81
Notice: Function _load_textdomain_just_in_time was called incorrectly. Translation loading for the events-manager domain was triggered too early. This is usually an indicator for some code in the plugin or theme running too early. Translations should be loaded at the init action or later. Please see Debugging in WordPress for more information. (This message was added in version 6.7.0.) in /home2/raleigh/silverbirches19341.com/wp-includes/functions.php on line 6170
Notice: Function _load_textdomain_just_in_time was called incorrectly. Translation loading for the simple-buddypress-profile-privacy domain was triggered too early. This is usually an indicator for some code in the plugin or theme running too early. Translations should be loaded at the init action or later. Please see Debugging in WordPress for more information. (This message was added in version 6.7.0.) in /home2/raleigh/silverbirches19341.com/wp-includes/functions.php on line 6170
Notice: Function _load_textdomain_just_in_time was called incorrectly. Translation loading for the wordpress-seo domain was triggered too early. This is usually an indicator for some code in the plugin or theme running too early. Translations should be loaded at the init action or later. Please see Debugging in WordPress for more information. (This message was added in version 6.7.0.) in /home2/raleigh/silverbirches19341.com/wp-includes/functions.php on line 6170
Notice: Function _load_textdomain_just_in_time was called incorrectly. Translation loading for the themify domain was triggered too early. This is usually an indicator for some code in the plugin or theme running too early. Translations should be loaded at the init action or later. Please see Debugging in WordPress for more information. (This message was added in version 6.7.0.) in /home2/raleigh/silverbirches19341.com/wp-includes/functions.php on line 6170 Profile – Gibson Olsen – Silver Birches
Diary – December 2019
Hakon Robbestad Gylterud
2019-12-01, Sunday
The first version is finished of my article on unfounded sets in HoTT. I’m hoping to have the time to put it on arXiv next Wednesday.
2019-12-03 Tuesday
Discussed how to integrate dependent types into GUI […] View
