У нас — да. А в цивилизованом мире логика, формальная лингвистика, теория типов, да и в целом конструктивизм получили довольно активное развитие с середины прошлого века. И фомализация оснований математики, соответственно. Австрия, Франция, Англия, Штаты имеют хорошие школы и выдающихся деятелей... Вроде Испания вот старается последнее время.
Ну так-то у нас CS и соответствующая математика лет на 50 отстаёт от уровря абстрактного Стенфорда. И одна из причин: компетентный в этом специалист в принципе не будет рассматривать возможность работать за предоставляемый уровень оклада, даже если бы очень хотел и в науку и в преподавание. А без подобного менторства ВУЗы ничем не лучше беспорядочного самообучения онлайн-ресурсами. Ну, «корочкой», да.
Возможно выскажу непопулярную точку зрения. Смею предположить что пусть это и ирония, но так-то и за Рейзера досадно. Ну нерд, ну облажался в умении разрулить адекватно сложную ситуацию с непорядочными людьми. Ну даже посадили и поделом, не жалко. Но то что при этом все полезные наработки человека, и его вклады пытаются игнорировать: как-то нелепо и глупо. Т.е. я понимаю что это способ прикрыть жопу. Но аппелировать при этом к морали — тот ещё цинизм.
И в каждом из этих случаев Столламн перестал бы быть Столлманом, который нерд, моралист, и в целом благодаря титаническим усилиям которого мир намного лучше чем мог бы быть. В любом случае наезд сильно непропорциональный, если вообще аргументированый, и больше походит на спланированую провокацию, либо просто эксплуатирование повода заинтересоваными сторонами.
Так-то я поддерживаю поинт, но респект за умение его продавать :-)
Как по мне — вполне конкретная: сервис запрашивает ту персональную информацию, которую не должен бы.
Как будто в этом есть что-то хорошее.
А по делу: это их личный выбор и работа, и на работе они публичные личности. Вне работы было бы странно чтобы гражданин был обязан утратить право на приватность в обмен на возможность волеизъявления так-то. Туше!
И ты, Брут!
Кстати, если бы выборы были не анонимные, а публичные, персонифицируемые, то может быть мы таки научились голосовать более ответственно и адекватно.
Если подкуп и давление (например, человек имеет право иметь непопулярное мнение и не офишировать его) возможны то они будут. А так электорат возьмет свою гречку и с легкой душой пойдёт ставить галочки по своему усмотрению. Или снимет видео как ставит требуемую галочку, а потом отредактирует на желаемую.
В даном случае я не паранойю за конкретный сервис, скорее в целом вижу морально неприемлемым сливать гос-ву такое к-во персонализированой информации, которая ещё и подтекает временами со всех щелей. Если информация потенциально может быть слита, то она будет слита. Значит — только криптографические гарантии конфиденциальности.
И? См. кольцевую подпись опять же. Можно дать гарантию, что подписал кто-то из списка тех, кому выдавался ключ, да. Но кем именно — нельзя. В этом смысл.
Тобто при виборах президента таємність волевиявлення потребується для демократичності процессу, а при іншому волевиявленні — ні? Неконсистентно виходить.
Точно также как и персональная подпись электронным ключем. Только кольцевая.
Кольцевая подпись?
Почему сбор подписей не может быть тайным? Право на анонимность чертовски обесценено последнее время.
И хотел бы подписать но не могу позволить себе использовать сервис, нарушающий моё конституционное право на анонимность голосования.
А вы код для кого пишите? Для компа? Ему без разницы какие исходники, важны инструкции после компиляции. Для заказчика? Опять же, без разницы, главное, чтобы бизнес-задачи решались. Код вы пишите для того бедолаги, которому его потом поддерживать, возможно это будете вы же, может кто-то ещё, и это по-сути — огромная такая часть решения бизнес-задачи, стоимость работы с вашим кодом, за которую вам и платят. Т.е. нормально, приемлемо написаный код — это челевекочитаемый текст на, внезапно, английском, ну, с поправкой на семантику конкретного языка. Плюс прочие очевидные архитектурные вещи вроде модульности, расширяемости и компонуемости для возможности работы с этим самым кодом. А то что этот код корректно работает это 5% от работы.
В дупу індивідуальність, індивідуальність — це не професійно.
Юзаю shop.keyboard.io/...rd?variant=30996744405065 она на Matias quiet click. Хотелось бы на Cherry Mx Clean с модом на пружинки по-мягче собрать что-то.
Подумываю о чем-то ближе к Dactyl manuform nano вроде www.reddit.com/...lightly_modified_tightyl или twitter.com/...tatus/1442066461745315840
Из плоских ещё вот интересная по раскладке twitter.com/...tatus/1441900405789638657
Ну и трекболл от kensington, slimblade. Хотя думаю потыкать www.ergoguys.com/productsbycst.html