UPD. Ночь с л̶̶̶о̶̶̶г̶̶̶г̶̶̶е̶̶̶р̶̶̶о̶̶̶м̶̶̶ ̶ч̶и̶п̶о̶л̶л̶и̶н̶о̶ ̶ ̶ ̶ ̶̶̶1̶̶̶ ̶ ̶2̶ экзаменом

[xtoter]

Пытаемся за ночь ̶п̶о̶л̶у̶ч̶и̶т̶ь̶ ̶д̶о̶п̶у̶с̶к̶ исправить и написать все что надо и не надо.

Spoiler


UPD.

Их становится больше... 

[TonitaN]

Консилиум решил, что без парсера размеченных выражений внутреннего представления не получится сделать Normalize? 👀

[xtoter]

eyes

Так вроде только-только доделали🙃

[dak151449]

Вообще-то 2 часа назад)

[xendalm]

Парсер подразумевался для полноты картины и всяческих экспериментов. Что там с Normalize, не знаем) P.S. я тоже не в курсе((

[TonitaN]

Эээ! Это уже запрещённый приём в EDIT-ах! А то кто-нибудь поменяет рефал-скрипты рендера, а я и не замечу )

[xtoter]

больше сегодня не буду( 💀💀💀

[mathhyyn]

Консилиум решил, что без парсера размеченных выражений внутреннего представления не получится сделать Normalize? 👀

парсер используется в ардене и disambiguate, к-е из-за этого падали после линеаризации. теперь можно спокойно вливать PR с разметкой

[TonitaN]

парсер используется в ардене и disambiguate, к-е из-за этого падали после линеаризации.

Да. Это было средство выявления рефал-стиля. Но теперь уже назад дороги нет, граница всё равно преступлена...

[mathhyyn]

парсер используется в ардене и disambiguate, к-е из-за этого падали после линеаризации.

Да. Это было средство выявления рефал-стиля. Но теперь уже назад дороги нет, граница всё равно преступлена...

оно обязательно исправится...((((

[xtoter]

Я кстати напомню о недочете

Падал прошлогодний снег

У нас в Tex, сгенерированном pdf, копирайте и т.д. указан 2022г. Если про копирайт понятно что там вручную, то в отчете можно вставлять текущий год системы (год при генерации).  Возможно в будущем стоит писать еще версию сборки (пригодится при конфликтах всяких, можно быстро глянуть где свежесгенерированный тот или иной автомат к примеру ... )

[TonitaN]

В отчёте у нас ещё "лучшая команда разработчиков по ТФЯ", которую я добавила для камерного использования, т.к. авторство нужно было. Оставляем этот анонс для публики? Он накладывает на нас всех определённые обязательства %)

[xtoter]

А что, не лучшая? UPD. UPD. А ему я то что сделал ( Я думаю он сильно не расстроился

[TonitaN]

На ИУ9 (и возможно во всём МГТУ) точно лучшая ❤

[TonitaN]

Это была месть за EDIT-ы от имени @xendalm , но я исправила.

[xtoter]

Дедлайн в 6 утра все ближе, бойцы сдаются, цели не достигнуты, становится страшно!

spoiler

 не бейте нас ...

[TonitaN]

Некий бонус для @xtoter и @Robby-the-paladin (а также @StarikTenger , который в принципе должен в такой ситуации как капитан помочь, но его на групповых фото почему-то нет) - то, что они могут взять направления в расчёте на 28 января, пересдать ТФЯ в Переславле и привезти их в Москву в понедельник или когда вернутся. Хотя я всё ещё надеюсь на лучшее...

P.S. - Вот за что я щедро баллами Проскурникова наделяла, так это за его самоотверженность как капитана. Пропал логгер? Сам залоггирую. Баги? Ок, исправлю. Нужно что-то срочно доделать? Се ля ви, напрягусь ещё. Зато команда у него полностью забила на интеграцию, потому что всю, вообще всю интеграцию делал он (а они даже не смотрели). Наверное, это тоже не лучший вариант, но в критической ситуации он очень выручал.

[TonitaN]

@KarumaRey , какое у вас ТЗ от ~госпожи~ @mathhyyn ? Т.е. что требуется как результат вашей работы?

[mathhyyn]

@KarumaRey , какое у вас ТЗ от ~госпожи~ @mathhyyn ? Т.е. что требуется как результат вашей работы?

Генерация кратких логов ф/й интерпретатора по входу-выходу (уже готово, я одобрила), добавление (автоматическое) в шаблоны тех дополнительных логов, которые выводились раньше (классы эквивалентности, н-р) (вроде доделано, но что-то полегло(( ) Авторазмещение автоматов (хотя бы перенос на след слайд), к этому ещё не приступил, но тз выдано (напряжем даже в случае получения зачёта 😈 ) Добавил вывод таблицы после автомата И ещё несколько мелких поручений

Надо бы ещё таблицы от @alina8031 внедрить в Test(и не только), логи для него, моноида, верификатора, тайпчекера. Добавить в шаблоны готовую теорию (по автоматам, бисимуляции и моноиду) с метками границы (спасибо @dak151449 - настроил вывод теории по флагу) Дел полно! Есть что можно делигировать

[TonitaN]

За героические волевые усилия @xtoter (возникшие в результате неудачного тайм-менеджмента, однако) всё-таки допущу. Но с вооот таким компроматом, который ещё дособеру сегодня ночью.

8 баллов за лабу + 2 балла за докер выставила

[TonitaN]

@dak151449 просто герой (как и вы, @mathhyyn ) - выручил в критической ситуации. Я тут подумала - если капитан сегодня опять ничего не скажет, сама разберусь с дополнительными 13 баллами, сколько наёмной силе, а сколько вам (и кому). А вот насчёт наёмной силы ещё посмотреть по допуску надо. Ну нет у нас рычагов влияния, кроме н/а - вон на @Robby-the-paladin даже н/а не подействовало...

[StarikTenger]

Распределение: Саша + 6 Вася + 4 Алина +1 Кирилл +2

[xtoter]

Ходят слухи что сон это миф ...

Часть 2 ̶о̶т̶ч̶а̶я̶н̶и̶е̶


UPD. Случайно наткнулся на острую необходимость в наличии документации

Знаки, они повсюду ...


[TonitaN]

@mathhyyn , вам-то что не спится? Или присматриваете за наёмной силой?

[mathhyyn]

@mathhyyn , вам-то что не спится? Или присматриваете за наёмной силой?

Вечерний сон - наше все А наемная сила занята бд((

[TonitaN]

Ух ты, а я и не задумывалась, что в коммите можно сослаться на чужую страницу.

[TonitaN]

@mathhyyn , вопрос к вам. Считаете ли вы, что ваш наёмный персонал может быть допущен? Они (почти никогда) не доделывают без угрозы долгов, проверено :(

[mathhyyn]

@mathhyyn , вопрос к вам. Считаете ли вы, что ваш наёмный персонал может быть допущен? Они (почти никогда) не доделывают без угрозы долгов, проверено :(

Допуск, считаю, что заслужил. Он выразил добровольное согласие продолжать помогать нам по проекту, т.к. результат(логирование) еще предстоит доводить до приемлемого вида...

[TonitaN]

Ну когда-то и @Robby-the-paladin выразил добровольное желание принять участие в конференции. Вряд ли кто-то его заставлял.

Ок, допустим @KarumaRey . Правда, как он будет что-то сдавать сегодня, если у него БД, непонятно. И пусть @xtoter возьмёт таймаут наконец, а то мне страшно подумать, что он будет сегодня отвечать на вопросы. Верю я, что он доделает скрипты - уж в это точно верю (вот с дебагом Normalize и Arden всё не так однозначно...)

[StarikTenger]

кто бы мог подумать, что за подробность логов отвечает флаг тайпчекера...

[xtoter]

3 сутки безумных приключений ...

Spoiler


[StarikTenger]

Конец.

всё!