Аналогично за работу на паре:

если выдал суммарно >=3 бонусных баллов, то это +1 за устный экз
если <3, то это ББ / 3 за устный экз


но их проставлю позже, проявите немножко терпения, пожалуйста

Котятки, не спамьте в лс плз и проявите немного терпения, собираю работы

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

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

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

оценки сейчас буду переносить

а много у нас допсяриков?

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

отпишитесь пока, пожалуйста, если собираетесь пересдавать

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

напишете мне?

далее: канал с этого момента полностью публичный, доступен в поиске и по ссылке t.me/progcore
ставьте лукасы, шарьте, ну вы поняли


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

если где-то пропустил и надо убрать -- пишите, разберусь

что теперь будет в канале?

[в скобках распределение, больше процент — чаще будет конь-тент из этой категории]

✅ [5%] новости про обновления и судьбу omp.wiki и cs-sh.xyz

✅ [50%] перепосты (они же хайлайты хех) важных или даже ключевых статей (не всегда научных, часто из разных блогов умных людей), обычно с моим комментарием и иногда разбором;
темы для статей следующие:
- сеть,
- базы данных,
- многопоточность,
- языки программирования,
- теория типов,
- мл и андан,
- и пр. related to computer science

попробую организовать систему тегов, но со временем

✅ [10%] посты-добрые-советы про хорошие (лучшие?) практики и о том, как делал бы я, будь я чуть умнее;
не обязательно технические, иногда это будет про софт скиллы

✅ [10%] посты с пропагандой хороших языков и технологий в том же стиле, что это было на парах: петон -- кака, башизм -- не пройдет, математика и хорошая типизация -- наше всё.

✅ [<5%] запросто уроки/разборы по какой-то теме, но либо по запросу, либо по результатам голосования

✅ [15%] и, конечно, котяки, собачьки, обезянки и другие прекрасные формы жизни

✅ [<5%] допускаю наличие рекламы, но ой как не скоро и с маркировкой


чего в канале не будет:

❎ личного блога

❎ офигительных историй (если они не связаны с темами выше)

❎ почти не будет мемов

для этого есть отдельный канал

Про языки разметки

Этот сообщенька про какие-то языки разметки.

Пишу для omp.wiki, напишу и здесь. В целом, что-то из очевидных и базовых вещей, но удобно потом будет ссылаться.

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


Языков разметки много, ниже своровал собрал некоторые и разбил на категории.

Про языки разметки ч.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.

Где маркдаун? Почему не упомянут маркдаун?

Отдельно примечательное упоминание 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/.
выводы делайте сами

Про языки разметки часть последняя (пока):

Другое разбиение, скорее по назначению, опять же можно найти прям на главной 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.

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

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 (и финны) -- вам не шутки.

апд: исправил ссылку на статью с письмами

заодно просьба:

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

Сегодня делюсь кой-какими каналами по теме

Они не заменят нормальное образование (очевидно), можете даже не рассчитывать (очевидно), но там и сям можно подцепить хорошие идеи (не совсем очевидно) или узнать что в целом происходит в мире. Вместо вместе с тик-тока самое оно

Теория

@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, электрика, все над чем работаю, иногда матом;

они же телеграмной "папкой" https://t.me/addlist/eQqEqZ6lzsEwODUy

если есть годное, делитесь, добавлю)

Как стать крутым инженером?

Обещал бубнить завтра, завтра настало!

С математикой и университетскими курсами поняли -- это надо и понятно как (или непонятно хех).
Любые вспомогательные про архитектуру и дизайн -- тоже надо.
Но про культуру, отношение и общий подход в учебниках по математике не пишут (хотя читая их, можно догадаться и про культуру тоже).

Иногда бывают курсы по софт-скиллам и про общую эрудицию, иногда они даже бывают полезные -- но вот они не совсем про инженерию или совсем не про неё.

И в этом смысле на вопрос Как стать крутым (или хотя бы хорошим) инженером? отвечает статья Эрика Реймонда.
Она так и называется How To Become A Hacker?

доп: Сто процентов большей части из вас уже рекомендовал его The Art Of Unix Programming. Рекомендую и сейчас.
В комментах немного фоток + интервью с ним.

1/3