Size: a a a

2018 March 18

MG

Mr G in Big Algo
По поводу конфликтов с merge я недавно начал работать с git и возникла такая проблема: у меня один компьютер стационарный другой ноут, я с ноута сделал push на удалённый сервер, потом на стационарном сделал pull изменил файлы , добавил новые и после того когда сделал push на удалённом сервере все не обновилось, а добавилась новая папка с изменёнными и новыми и теми же файлами, почему? Лень тратить время на изучение git
источник

MG

Mr G in Big Algo
Не то что лень времени нет
источник
2018 March 19

Ⓢⓔⓡⓖ in Big Algo
Mr G
По поводу конфликтов с merge я недавно начал работать с git и возникла такая проблема: у меня один компьютер стационарный другой ноут, я с ноута сделал push на удалённый сервер, потом на стационарном сделал pull изменил файлы , добавил новые и после того когда сделал push на удалённом сервере все не обновилось, а добавилась новая папка с изменёнными и новыми и теми же файлами, почему? Лень тратить время на изучение git
git add делал? в твоём описании концовка размыта, что значит "новые те же файлы"?
источник

MG

Mr G in Big Algo
Да перед этим конечно делал git add, gut commit.
Ну у меня например есть папка я редактирую и добавляю туда файлы, а некоторые не редактирую те же файлы всмысле того что не подвергались изменению
источник

Ⓢⓔⓡⓖ in Big Algo
Народ, кто здесь интересовался формальными методами верификации программ? Мой знакомый с ВМиК МГУ читает там спецкурс. Вот учебное пособие: http://sp.cmc.msu.ru/courses/vmp/kamkin_mc2018.pdf
источник

IR

IC Rainbow in Big Algo
✋️
источник

IR

IC Rainbow in Big Algo
а есть где про сам курс?
источник

Ⓢⓔⓡⓖ in Big Algo
На сайте факультета может есть
источник

IR

IC Rainbow in Big Algo
вот ещё по смежной теме кстати https://forum.devzen.ru/t/obuchenie-kompilyatoram/193/14?u=wiz
источник

IR

IC Rainbow in Big Algo
(сам не смотрел пока)
источник

AZ

Alexey Zaharchenko in Big Algo
я чутка запутался, сегодня уже не тестовый прогон будет ?
источник

IR

IC Rainbow in Big Algo
Куда фидбечить?
источник

IR

IC Rainbow in Big Algo
Я походу опоздаю, сижу на внезапном митинге
источник

Ⓢⓔⓡⓖ in Big Algo
во сколько освободишься?
источник

IR

IC Rainbow in Big Algo
Минут через 15 надеюсь. Вроде бы вопросы подходят к концу.
источник

Ⓢⓔⓡⓖ in Big Algo
ну тогда перенесём на 17:15
источник

Ⓢⓔⓡⓖ in Big Algo
Alexey Zaharchenko
я чутка запутался, сегодня уже не тестовый прогон будет ?
тестовый. Но если всё получится, он же реальный
источник

Ⓢⓔⓡⓖ in Big Algo
Alexey Zaharchenko
я чутка запутался, сегодня уже не тестовый прогон будет ?
Я тебя не слышал почему-то, в 17:15 новое начало
источник

AZ

Alexey Zaharchenko in Big Algo
да я и не говорил ничего
источник

AZ

Alexey Zaharchenko in Big Algo
😁
источник