Обявления

Упражнение на компютри на 1.06

Упражнение на компютри на 1.06

от Трифон Трифонов -
Number of replies: 2

Здравейте, колеги,

На следващото редовно занятие на 1.06 (четвъртък) ще направим упражнение за писане на доказателства на компютър на системите MinLog и Coq. Ако всички, които посещават, могат да използват собствен преносим компютър с инсталиран SSH клиент и съвременен браузър, можем да го проведем в зала 302, в която имаме по разпис. Ако някой от вас иска да ползва компютър на ФМИ, ще запазя компютърна зала. Моля да гласувате в тази анкета до 13 часа утре, сряда, 31.05, за предпочитания от вас начин за участие в упражнението. Утре следобед ще обявя кога и как ще се проведе упражнението на базата на резултатите от анкетата.

Поздрави,
  Т. Трифонов

In reply to Трифон Трифонов

Re: Упражнение на компютри на 1.06

от Трифон Трифонов -
Здравейте, колеги,
 
Тази година реших да експериментирам с малко по-модерен подход към работата със системата Minlog чрез платформата Codespaces на Github, която позволява директна работа в браузъра. За да го използвате, е необходимо да имате профил в Github. Ще покажа подробно на упражнението, но можете да тествате предварително със следните стъпки:
 
  1. Отворете това хранилище.
  2. Изберете Use this template -> Open in a codespace.
  3. Пийте едно кафе докато се настрои работната среда.
  4. Отворете example.rkt.
  5. Изберете съдържанието на целия файл (Ctrl+A) и натиснете Alt+Enter.
  6. След известно време би трябвало да се появи в терминала "A -> A". Ако това стане, значи тестът е минал успешно.
  7. За да не ви се харчи ненужно безплатната квота на codespaces, можете да изтриете работното пространство на този адрес като изберете трите точки и след това "Delete codespace". На самото упражнение ще можете отново да си създадете работната среда.

За тези от вас, които нямат профил в Github или не искат да ползват тази възможност, ще има и алтернатива с използване на SSH клиент и работа през терминала.

Поздрави,
  Т. Трифонов

In reply to Трифон Трифонов

Re: Упражнение на компютри на 1.06

от Трифон Трифонов -

Здравейте, колеги,

Понеже всички избрахте да използвате собствени преносими компютри, утре упражнението ще се проведе в зала 302 както е по разпис.

Поздрави,
  Т. Трифонов