Основы программирования

но эт всё, опять же, больше развлечения для завтра приду бубнить о том, что действительно стоит почитать 💃

они же телеграмной "папкой" https://t.me/addlist/eQqEqZ6lzsEwODUy если есть годное, делитесь, добавлю)

Сегодня делюсь кой-какими каналами по теме Они не заменят нормальное образование (очевидно), можете даже не рассчитывать (очевидно), но там и сям можно подцепить хорошие идеи (не совсем очевидно) или узнать что в целом происходит в мире. Вместо вместе с тик-тока самое оно Теория @covalue Заметки о теории языков программирования, формальной верификации программ, теории типов, математической логике, конструктивизме и всякой всячине. @daily_ponv Похожий на предыдущий по тематике, чужие научные статьи, но в этом меньше комментариев. Бывают годные вещи. Best crap from the dumpster Авторские @experimentalchill выпускник московской вышки, инженер гугла, кажется, оч хорошо понимает математику и на её понимании построил себе карьеру, регулярно об этом пишет; меня очень удивляет сколько может сделать этот парень @nosingularity Короткие и часто весёлые набросы про базы данных и SQL, чувак из некого https://dwh.dev @optozorax_dev чувак пишет порталы (в см. как в играх) и про порталы на уровне Бог) @lilfunctor канал больше про scala; Pure functional and composable channel @fuzzing_life свежий канал про fuzzing тестирование @why_typescript_is_bad Ага, Why Typescript is bad. @randomstuffilike dd if=/dev/stuff of=/dev/tg — разное; чаще про TypeScript и бывало про всякие сложные типы в TypeScript Математика @pdmi_ras: канал ПОМИ РАН с объявлениями про актуальные открытые математические семинары в Санкт-Петербурге @cme_channel: Непрерывное математическое образование @sweet_homotopy: сладко стянул; неглубоко и малодушно ныряю в комб/алг/топ реальность @tropicalgeometry tropical saint petersburg; много годных упоминаний и заметок вокруг математики upd: добавляю ещё этот @psauxww Тим-менеджмент, Devops, Python, Rust, JS, Linux, IoT, электрика, все над чем работаю, иногда матом;

заодно просьба: котаны, я сильно переживаю, что этот канал вас отвлекает днём от прослушивания лекций моих прекрасных коллег, поэтому прошу а) выключите нафиг уведомления б) го читать, активничать в свободное от учебы время, спасибо 💚

ssh -- не шутки А этим постом попробую напомнить лишний раз, что не всё, что у нас сейчас (с т.з. технологий/вычислений) есть, было у нас всегда. Так, ssh, которым вы все уже точно пользовались, не появился у нас с появлением компьютеров, но наоборот появился сильно позже появления интернета. Если совсем коротко, ssh написал буквально один финнский (опять эти финны!!) аспирант в 1995г. технически он уже год к этому моменту как закончил, но закончил какую-то финнскую степень по стилю магистратура + PhD, т.е. это примерно третий год аспы А вот история о том, как он же в 95-м зарезервировал 22 порт для SSH:

Anyway, I designed SSH to replace both telnet (port 23) and ftp (port 21). Port 22 was free. It was conveniently between the ports for telnet and ftp. I figured having that port number might be one of those small things that would give some aura of credibility.

<...> I sent the appropriate people a single email requesting the port. It was granted without any additional conversation because this was 1995. The end.

Тут полные письма, которые он писал: https://www.ssh.com/academy/ssh/port Лихие 90-е, не иначе. А тут библиография на его странице, связанная с ssh: https://ylonen.org/ssh/bibliography.html Красиво, сказать нечего. Так что, с первым апреля, но помните, что ssh (и финны) -- вам не шутки. апд: исправил ссылку на статью с письмами

олды тут? было?

Про языки разметки часть последняя (пока): Другое разбиение, скорее по назначению, опять же можно найти прям на главной pandoc.org Там же видно, что vimwiki -- не единственный формат для вики, есть тот же mediawiki markup (угадайте какой сервис его использует так сказать) и много других. Тоже и про AsciiDoc и про всё остальное. Отдельно упоминается docx, но это специфичный бинарный формат, он даже не текстовый. Р-р-р маркдаун!! Позже про R точно напишу отдельно, просто потому что великий язык великая экосистема, продуманные ещё дедами. Но здесь же стоит упомянуть R Markdown. R Markdown -- это такой маркдаун, в котором можно выразить что-то типа обычного jupyter ноутбука, но специфичный для R и, кажется, только R такой и поддерживает. В целом, достаточно богатый и выразительный (ну потому что можно вставлять код и он будет исполняться, а результат рендериться в документ), можно писать даже книги, да и много другого, см. https://rmarkdown.rstudio.com/gallery.html Ну и, конечно, см. https://bookdown.org/yihui/rmarkdown/ -- это книга, написанная в R Markdown про R Markdown.

Где маркдаун? Почему не упомянут маркдаун? Отдельно примечательное упоминание md из статьи выше:

Remark about Markdown format (MD): there is no such format, stop suggesting it! There are only many vaguely incompatible dialects and implementations. You can always be sure that your .md won’t work with another implementation. Only very tiny subset of features are guaranteed to work reliably. I heard about CommonMark (CM), but do not see its widespread usage at all.

Что, в целом, похоже на правду: диалектов много, хороших хватает, но переехать на другой диалект может быть болью (а хочется иногда переехать), разный софт поддерживает разные диалекты, не обязательно совместимые, что тоже может быть больно. CommonMark стал распространён из-за github, но, например, документация pandoc (очень, кстати, хорошая и необходимая утилита) ссылается на немного другой диалект. В качестве бонуса: совсем недавно, в 2019 г., появился https://typst.app/. Похоже на что-то, что может быть удобнее Latex для написания статей, но его пишут два человека в Берлине: см. https://typst.app/about/. выводы делайте сами

Про языки разметки ч.2. Разбиение такое: Скорее всего, встретите (или уже встречали) эти + точно имеет смысл их учить и чем раньше, тем лучше: - HTML на котором свёрстаны чуть больше, чем все веб-страницы (вместе с CSS, JS + TS), и в котором до сих пор адекватно верстать себе какие-то вещи, - LaTeX -- де факто стандарт в научной среде, любим многими за выразительные возможности, нелюбим многими за сложный и устаревший язык - И GNU Texinfo, Встречаются чуть реже: - reStructured Text(reST) + Sphinx, пример: https://docutils.sourceforge.io/docs/user/rst/quickstart.txt; в целом, насколько я понял (сам я его не использовал), в нём часто пишут документацию, - AsciiDoc -- используется в тч и для презентаций и для написания статей, - Vimwiki, Встречаются совсем редко: - Формат документации, который использовался ещё для Perl: Plain Old Documentation (POD), - DocBook на основе xml, - troff который используется в т.ч. для написания man-страниц, - и mdoc для тех же целей, Здесь аккуратно сравниваются разные форматы: http://www.stargrave.org/InfoRules.html Автор явно выбирает GNU Texinfo:

> <..> only GNU Texinfo and its corresponding Info format is my choice for documentation and static websites generation.

Про языки разметки Этот сообщенька про какие-то языки разметки. Пишу для omp.wiki, напишу и здесь. В целом, что-то из очевидных и базовых вещей, но удобно потом будет ссылаться. Языки разметки пригодятся для разных занятий (и почти про каждое можно написать отдельно): - для ведения заметок/конспекта в определённом формате, - для вёрстки веб-страниц, в т.ч. страницы документации, - или вёрстки учебников, - или вёрстки книг, - или вёрстки научных статей в т.ч. с помощью LaTeX, - или вёрстки презентаций. Языков разметки много, ниже своровал собрал некоторые и разбил на категории.

что теперь будет в канале? [в скобках распределение, больше процент — чаще будет конь-тент из этой категории] ✅ [5%] новости про обновления и судьбу omp.wiki и cs-sh.xyz ✅ [50%] перепосты (они же хайлайты хех) важных или даже ключевых статей (не всегда научных, часто из разных блогов умных людей), обычно с моим комментарием и иногда разбором; темы для статей следующие: - сеть, - базы данных, - многопоточность, - языки программирования, - теория типов, - мл и андан, - и пр. related to computer science попробую организовать систему тегов, но со временем ✅ [10%] посты-добрые-советы про хорошие (лучшие?) практики и о том, как делал бы я, будь я чуть умнее; не обязательно технические, иногда это будет про софт скиллы ✅ [10%] посты с пропагандой хороших языков и технологий в том же стиле, что это было на парах: петон -- кака, башизм -- не пройдет, математика и хорошая типизация -- наше всё. ✅ [<5%] запросто уроки/разборы по какой-то теме, но либо по запросу, либо по результатам голосования ✅ [15%] и, конечно, котяки, собачьки, обезянки и другие прекрасные формы жизни ✅ [<5%] допускаю наличие рекламы, но ой как не скоро и с маркировкой чего в канале не будет: ❎ личного блога ❎ офигительных историй (если они не связаны с темами выше) ❎ почти не будет мемов для этого есть отдельный канал

далее: канал с этого момента полностью публичный, доступен в поиске и по ссылке t.me/progcore ставьте лукасы, шарьте, ну вы поняли канал почистил, удалены: - все ссылки на csc wiki (у вас они есть, а ресурс традиционно внутренний, хоть и с публичным доменом, лучше его особо не шарить); - все ваши личные данные, в т.ч. упоминания в постах по Фамилии-Имени и ссылки на таблицы; если где-то пропустил и надо убрать -- пишите, разберусь

так, сначала объявление для допсяриков: мне тут пишут, что есть целых два человека на комиссии, но эти два человека пока никак не проявились напишете мне?

котяки, вы уже могли догадаться, но так вышло, что в этом модуле я не читаю ОМП omp.wiki и cs-sh.xyz остаются на месте я, канал и чатик ОМП тоже туть вероятно, канал, как и говорил ранее, станет чуть более публичным, чем сейчас, но об этом позже извините и спасибо за понимание 😐

а много у нас допсяриков? сегодня в 16 пересдача будет, ссылку скину позже отпишитесь пока, пожалуйста, если собираетесь пересдавать

други, финальные оценки здесь, все ваши исправления подобрал оценки сейчас буду переносить

друзья, модуль и экзамены всё я до числа 9-го в основном недоступен, спасибо за понимание там висят какие-то 28 работ (в основном с исправлениями), их буду смотреть уже после нг; всех, кто вёл себя хорошо и много работал в этом году, подарки давно ждут под ёлкой [ссылка удалена] ⛄️🎄 с наступающим!

слоты для записи: [ссылка удалена]

Котятки, не спамьте в лс плз и проявите немного терпения, собираю работы Предлагаю экзамен начать в 13:00, он будет проходить в 4009

Аналогично за работу на паре: если выдал суммарно >=3 бонусных баллов, то это +1 за устный экз если <3, то это ББ / 3 за устный экз но их проставлю позже, проявите немножко терпения, пожалуйста