Size: a a a

2021 February 01

p

polunin.ai in rust_offtopic
Если бы я делал всерьез
источник

r

red75prime in rust_offtopic
Дык без аннотаций типов тайпчек неразрешим. А проставление аннотаций и создание всяких вспомогательных функций, чтобы сигнатуры сошлись - это собственно и есть построение доказательства
источник

EG

Emmanuel Goldstein in rust_offtopic
red75prime
Дык без аннотаций типов тайпчек неразрешим. А проставление аннотаций и создание всяких вспомогательных функций, чтобы сигнатуры сошлись - это собственно и есть построение доказательства
Технически, аннотации типов могут быть вообще не нужны
У тебя есть типы литералов
источник

EG

Emmanuel Goldstein in rust_offtopic
Всё остальное в достаточно простой системе типов можно вывести
источник

p

polunin.ai in rust_offtopic
red75prime
Дык без аннотаций типов тайпчек неразрешим. А проставление аннотаций и создание всяких вспомогательных функций, чтобы сигнатуры сошлись - это собственно и есть построение доказательства
Без каких аннотаций
источник

EG

Emmanuel Goldstein in rust_offtopic
Emmanuel Goldstein
Технически, аннотации типов могут быть вообще не нужны
У тебя есть типы литералов
*типы литералов и типы операторов
источник

CD

Constantine Drozdov in rust_offtopic
Αλεχ Zhukovsky
давай оценим так: росгвардии 700к человек и _Как минимум_ столько протестующих должно быть суммарно.

Сколько их было в этих 140 городах?
_как минимум_ в пять раз больше
источник

ΑZ

Αλεχ Zhukovsky in rust_offtopic
Constantine Drozdov
_как минимум_ в пять раз больше
пруф? Или ты опять в дроздовских вики засчитал туда все военизированные подразделения?
источник

CD

Constantine Drozdov in rust_offtopic
Αλεχ Zhukovsky
пруф? Или ты опять в дроздовских вики засчитал туда все военизированные подразделения?
я имею в виду необходимое соотношение протестующих и военизированных подразделений без использования огнестрельного оружия последними
источник

ΑZ

Αλεχ Zhukovsky in rust_offtopic
Constantine Drozdov
я имею в виду необходимое соотношение протестующих и военизированных подразделений без использования огнестрельного оружия последними
а, ты про это. Ну я же сказал минимум
источник

CD

Constantine Drozdov in rust_offtopic
Αλεχ Zhukovsky
а, ты про это. Ну я же сказал минимум
1 к 1 это очень наивная оценка, я полагаю, что способны без проблем рассеять при соотношении 5 к 1
источник

ΑZ

Αλεχ Zhukovsky in rust_offtopic
Может быть
источник

p

polunin.ai in rust_offtopic
Достаточно ебнуть часть чтобы остальная расбежалась.
источник

CD

Constantine Drozdov in rust_offtopic
Αλεχ Zhukovsky
Может быть
ну вообще если грубо прикидывать (понятно, что в росгвардии есть еще вспомогательный персонал), наверное (с полицией) единомоментно могут выставить 2 промилле населения, без особых усилий - половину промилле. Получается, для успеха протеста нужно иметь порядка 1 процента населения
источник

CD

Constantine Drozdov in rust_offtopic
polunin.ai
Достаточно ебнуть часть чтобы остальная расбежалась.
ты не поверишь, как весело смотреть, как сначала разбегаются, а потом орут "мы здесь власть"
источник

OA

Oleg Andreev in rust_offtopic
Constantine Drozdov
ну вообще если грубо прикидывать (понятно, что в росгвардии есть еще вспомогательный персонал), наверное (с полицией) единомоментно могут выставить 2 промилле населения, без особых усилий - половину промилле. Получается, для успеха протеста нужно иметь порядка 1 процента населения
Какой-то каменный век у вас. Народ видит как миром правят волстрит, пиджаки и секретные договоры масонов, и думает что наилучший способ этому противостоять — это кидать булыжник об стену? Т.е. делать противоположность тому, что уже доказано, что надежно работает.
источник

OA

Oleg Andreev in rust_offtopic
Была такая книжка у Оруэлла (и не менее прекрасный мультфильм) про колхоз. Где все решает механизм координации.
источник

OA

Oleg Andreev in rust_offtopic
А во всех майданах толпа - еще более расходный материал у оппозиционных царей, чем менты - у засидевшихся.
источник

CD

Constantine Drozdov in rust_offtopic
Oleg Andreev
Была такая книжка у Оруэлла (и не менее прекрасный мультфильм) про колхоз. Где все решает механизм координации.
Ты про скотный двор?
источник

OA

Oleg Andreev in rust_offtopic
Constantine Drozdov
Ты про скотный двор?
ага
источник