В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Big Algo

80 membersпожаловаться на группу
2018 June 29

AZ

Alexey Zaharchenko in Big Algo
Я их читая, как раз подумал что можно бы при формальные методы прикрутить
источник
16:07пожаловаться#1

AZ

Alexey Zaharchenko in Big Algo
особенно начитавшись https://twitter.com/Hillelogram
Twitter
Hillel (@Hillelogram) | Twitter
The latest Tweets from Hillel (@Hillelogram). Author of Practical TLA+ (https://t.co/MsqvsriVbe). Certified EMT, code nurse, passable chocolatier. DMs open, ask me questions!. Chicago, IL
источник
16:07пожаловаться#2

AZ

Alexey Zaharchenko in Big Algo
И вот он запилил 😊
источник
16:07пожаловаться#3

AZ

Alexey Zaharchenko in Big Algo
Единственное, вопрос насколько большой порятнкой будут все инварианты необходимые, что-то мне кажется что это они могут всё это и похоронить
источник
16:08пожаловаться#4

AZ

Alexey Zaharchenko in Big Algo
с другой стороны, можно делать их стандартную библиотеку, но тогда вопрос как управлять её правилами, тот же маленький адок как выбор правил для  статических анализаторов
источник
16:09пожаловаться#5
2018 July 09

Ⓢ

Ⓢⓔⓡⓖ in Big Algo
PureFatality Error
Тогда не скоро! В Москве буду только 9 июля
up!
источник
11:37пожаловаться#6

Ⓢ

Ⓢⓔⓡⓖ in Big Algo
С# vs С++ делаем митап? 😀
источник
11:38пожаловаться#7

PE

PureFatality Error in Big Algo
Ⓢⓔⓡⓖ
up!
Да, меня выпустили, можно делать!
источник
12:56пожаловаться#8

Ⓢ

Ⓢⓔⓡⓖ in Big Algo
Интересно, откуда
источник
12:57пожаловаться#9

PE

PureFatality Error in Big Algo
Ⓢⓔⓡⓖ
Интересно, откуда
из изгнания)
источник
12:59пожаловаться#10

Ⓢ

Ⓢⓔⓡⓖ in Big Algo
Вопрос: в одном линуксовом проекте обнаружил вместо Makefile другие файлы - .pri , .pro. Что это такое и как с ними собрать проект?
источник
14:19пожаловаться#11

A

Artem in Big Algo
make && make install?))
источник
15:19пожаловаться#12

PE

PureFatality Error in Big Algo
@Sergei_88 на следующей неделе дпавай?
источник
15:28пожаловаться#13

PE

PureFatality Error in Big Algo
митап всмысле
источник
15:28пожаловаться#14

Ⓢ

Ⓢⓔⓡⓖ in Big Algo
Artem
make && make install?))
нету Makefile вообще
источник
15:29пожаловаться#15

Ⓢ

Ⓢⓔⓡⓖ in Big Algo
PureFatality Error
@Sergei_88 на следующей неделе дпавай?
19 июля?
источник
15:29пожаловаться#16

PE

PureFatality Error in Big Algo
Ⓢⓔⓡⓖ
19 июля?
+
источник
15:30пожаловаться#17

Ⓢ

Ⓢⓔⓡⓖ in Big Algo
ну это только на час, не больше. Про что ещё поговорить?
источник
15:31пожаловаться#18

PE

PureFatality Error in Big Algo
Ⓢⓔⓡⓖ
ну это только на час, не больше. Про что ещё поговорить?
могу SOLID, недавно завтыкал в Agile Software Development: Principles, Patterns, and Practices. Есть прикольные решения прикольных проблем
источник
15:38пожаловаться#19

AZ

Alexey Zaharchenko in Big Algo
А реальных проблем есть решения?
источник
15:49пожаловаться#20