cafe
cafe copied to clipboard
groupoid
🧊 Презентації та воркшопи
NuttX
Поки з читиком організаційні питання тривають, пропоную тут обсудити https://x.com/5htco/status/1950485372363739590 Цікаві всі деталі, як технічні так організаційні. По технічним одразу: верифікація на MLTT це надійніше але x20 по часу від...
Пацани, мене Горобець прєсує, хоче якість чати, скоро до PHPbb форумів дійте, скажіть йому хто шо Github Issues це топічік, а то я заєбався вже :-)
Вітаю! З хороших новин: Github розщедрився розблокувати мій новий персональний акаунт https://github.com/ypytomets тож якщо ваша ласка, прошу надіслати інвайт, після чого можу не використовувати тут корпоративний. Друге: @5HT , стало...
Максим Сохацький 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 подивитися на Лоран....