cafe
cafe copied to clipboard
groupoid
Лекція 5. Опрацювання матеріалів, питання та відповіді
Максим Сохацький 2025-06-07 провів п'яту лекцію-колоквіум Групоїд Інфініті:
[1]. https://www.youtube.com/watch?v=Dc6wSGhRG3g [2]. https://www.youtube.com/watch?v=-2g9S3DqvE4 [3]. https://www.youtube.com/watch?v=ZJ9RFWQ1D9k
Трансрипцію тексту доручаємо @iho. Запрошуємо в Групоїд Інфініті @Pitometsu (invitation pending). Завдання @Jealrock подивитися на Лоран.
Посилання які звучали на лекції:
[1]. Near-тактика для матьоші https://perso.crans.org/cohen/CoqWS2018.pdf [2]. Аргумент Девіда Чалмерса [3]. Стаття Куна про огляд фреймворків теорій свідомості [4]. Youtube канал Курта Джаймунгала
Зауваження щодо формалізації базових бібліотек по ТК: https://www.youtube.com/watch?v=VQiQtH47pbM
Ого! Дякую за впорядковані матеріали!
On Sun, Jun 8, 2025 at 9:10 AM Namdak Tonpa @.***> wrote:
5HT created an issue (groupoid/cafe#2) https://github.com/groupoid/cafe/issues/2
Максим Сохацький 2025-06-07 провів п'яту лекцію Групоїд Інфініті:
[1]. https://www.youtube.com/watch?v=Dc6wSGhRG3g [2]. https://www.youtube.com/watch?v=-2g9S3DqvE4 [3]. https://www.youtube.com/watch?v=ZJ9RFWQ1D9k
Трансрипцію тексту доручаємо @iho https://github.com/iho. Запрошуємо в Групоїд Інфініті @Pitometsu https://github.com/Pitometsu (invitation pending).
Посилання які звучали на лекції:
[1]. Near-тактика для матьоші https://perso.crans.org/cohen/CoqWS2018.pdf [2]. Аргумент Девіда Чалмерса [3]. Стаття Куна про огляд фреймворків теорій свідомості [4]. Youtube канал Курта Джаймунгала
Зауваження щодо формалізації базових бібліотек по ТК: https://www.youtube.com/watch?v=VQiQtH47pbM
— Reply to this email directly, view it on GitHub https://github.com/groupoid/cafe/issues/2, or unsubscribe https://github.com/notifications/unsubscribe-auth/AASSNAZRKPB5QHT647BGBCD3CPHVTAVCNFSM6AAAAAB62XFX7KVHI2DSMVQWIX3LMV43ASLTON2WKOZTGEZDOOJXGM2DGNY . You are receiving this because you were mentioned.Message ID: @.***>
-- With best regards, Yuriy Pitomets Haskell developer | Strong solution For beautiful ideas[image: I'm a Haskeller]
@5HT Схоже мій email потрапив у спам. Якщо коротко: можу попросити відправити запрошення на цей акаунт, будь ласка?
:-) Ти не розумієш як працює Gitub. Запрошення висить в пулі перманентно, тобі потрібно зайти в бразері за посиланням організації https://github.com/groupoid, там зверху в банері ти побачиш запрошення (при умові, що ти залогінений в гітхаб). Можливо в тебе проблеми, бо в тебе багато акаунтів :-)
Доведеться написати детальніше. Я прошу надіслати запрошення на цей (інший, корпоративний) акаунт, з якого пишу цей комент. Причина ~~гітхаб упоротий~~:
- не маю можливості залогінитись у свій акаунт (але маю можливість коментувати через email) через відмову ssd де були й otp client, й gpg/ssh ключі, тож наявності самої лише пошти наразі не достатньо для доступу
- мій новий персональний акаунт заблоковано, потім відновлено, а потім видалено, й спілкування з підтримкою триває місяцями.
Тож якщо ваша ласка, прошу надіслати запрошення на цей акаунт, використовую його зараз як тимчасову альтернативу персональному.
А, ну тоді да, тоді всьо ясно, я всьо зрозумів :-)
Ти такий самий як я колись був, гітхаб злочинець :-) Справа в тому, що згідно політики Майкрософт забороняється однією людиною використання двох акаунтів на платформі. Тому все, що ти тільки що написав ти повинен залишити у своєму минулому злочинному житті :-) і вибрати один акаунт, я так розумію шо це цей поточний :-)