Ок, день фоновой работы потерян, поскольку изменения я делал в одном git worktree, а запускал тесты в другом.. Агент бы так не налажал :(
Хорошо, что это было что-то что запускаешь, занимаешься своими делами и изредка проверяешь.
Seems new readers from Bravit repost are not here yet, so I can continue to make fun.
Create an image of what the world would look like if i were in charge based on my tweets @qnikst
Я прошёл курсы на intuit.ru вкатываюсь в профессию. Подскажите где лучше искать работу? Интересует з/п только от 200k CHF, раз начинающий пока.
Из стека хочу Agda, Lean, Coq, TLA+.