Практика языка C (МФТИ, 2023-2024). Завершение: вычислимость.

[@MVZ1983]

Отличный курс лекций. Спасибо. Первый раз вижу такого многопланового препода: математический бакграунд, аппаратная часть, язык, основы теории алгоритмов, интересные приложения и полезные учебные материалы... Просто роудмэп по программированию! Желаю лектору здоровья и достаточно свободного времени, надеюсь что курс по функциональному программированию не заставит себя долго ждать

[@fedorbabkin]

Мир вокруг нас стал чуточку лучше.

[@intellectualuser2244]

Спасибо за задачки контестов и за курс в целом

[@shabnakadyr1564]

Чудесный курс, большое спасибо. С удовольствием прослушал и порешал задачки

[@MikhailGoncharov-tl4cr]

уникальный канал. стольк всего интересного.

[@aventurain6476]

Огромное спасибо вам за данный курс лекций и практики!

[@KasenB100]

Лекции огонь! Спасибо

[@pavelrid]

Огромное спасибо! Очень интересный курс!

[@gnom-om]

Огромное спасибо за лекции !

[@my_learning_spaceship]

Спасибо за курс

[@ruslankhl]

Спасибо!

[@alex_s_ciframi]

спасибо :)

[@Stedmiel]

14:20 вспомнился movfuscator (хоть это и совсем не то) xD 1:08:50 так все же тот комикс xkcd про случайное число был прав! xD

[@tepumasutasauno8671]

Спасибо вам за данный курс огромное!!! Эх, вот бы так нам в МГУ рассказали, а то текущий первый курс оставляет желать лучшего(

[@СергейМакеев-ж2н]

А ты на каком факультете? Я вот ВМК заканчивал, мне там понравилось.

[@tepumasutasauno8671]

Я тоже на ВМК, пока вообще не нравится)

[@tilir]

Мне кажется в МГУ есть очень хорошие преподаватели, главное чтобы повезло к ним попасть ))

[@gnem1871]

Класс!!!

[@exx-ns4tt]

Ждём-с)

[@DanielPinchuk]

Спасибо за лекцию! Было очень интересно, особенно про быстро растущие функции. А что делает BB(n) невычислимой? Ее быстрый рост?

[@СергейМакеев-ж2н]

Скорее наоборот, невычислимость заставляет её очень быстро расти. А сама невычислимость появляется из парадоксов. Если бы BB(n) была вычислимой (на машине какого-то большого размера N), то была бы такая машина, которая вычисляет BB(2N), потом выписывает *вот столько* единиц (обычным циклом), а потом ещё одну единицу. А размер этой машины - это N с копейками, но никак не близко к 2N.

[@stanislavstanislavius7618]

Константин, недавно листал описание typedef на cppreference по языку C и наткнулся на VLA. Как вы относитесь к VLA: крайне отрицательно или просто отрицательно?)

[@tilir]

VLA запрещены в C++ и очень сомнительны в C. Их главная проблема в том, что они сильно затрудняют для компилятора рассчёт стека. Но в них в целом нет ничего особо страшного, так что просто отрицательно.

[@konstantinkouptsov7513]

Подскажите пж aдрес github с машинами тьюринга и другими, которые упомянуты на слайде 36.

[@tilir]

github.com/adamyedidia/parsimony

[@root-kidik]

Можете пожалуйста записать лекцию о том как собрать свой собственный GNU Toolchain, с binutils, linux-headers, gcc, glibc🥺

[@tilir]

По инструкции?

[@root-kidik]

​@@tilir нигде не нашёл адекватную инструкцию, разве что LFS более-менее даёт представление, но как будто потом нужно chroot делать, я собрал, но сомневаюсь, правильно ли всё сделал, собрал gcc без стандартной либы, собрал из glibc csu/crt*.o, подсунул это gcc для дальнейшей сборки, собрал в gcc библиотеку поддержки, полностью дособрал glibc, затем полностью дособрал gcc, но везде -Wl,--rpath=/toolchain/usr/lib понадобавлял, чтобы библиотеки не системные тянуло. просто хочется от мега опытного человека услышать как это всё правильно делается. выступления про RISC-V ваши смотрел, вы там про тулчейн как раз немного говорили, но исходников или инструкции как самому всё это сделать - не нашёл. да и вообще хочется про это всё больше узнать. работаю просто с astra1.5-astra1.7 и хочется использовать не gcc4.8.3, хоть компилятор подняли на 11, но прям тулчейн ещё пока не внедрили, я собрал, но не уверен, что правильно всё сделал

[@root-kidik]

​@@tilir нигде не нашёл адекватную инструкцию, разве что LFS, правда там потом как-будто chroot делать. я собрал gcc без стандартной либы, собрал из glibc scu crt*.o, подсунул в gcc для сборки библиотеки рантайм поддержки, дособрал полностью glibc, затем дособрал полностью gcc. но везде -Wl,--rpath на toolchain usr lib делал, чтобы при запуске не из системы тянуло либы. было бы классно, если бы мега опытный человек как вы рассказали как это делать. смотрел ваши выступления про RICS-V вы там про тулчейн говорили, но нигде не нашёл исходников или инструкции как его самому собрать (правда и сильно не искал). всеравно очень сильно хочется в этом разобраться. работаю с astra1.5-astra1.7 там gcc4.8.3, подняли до 11, но только компилятор, а хочется прям полный тулчейн собрать

[@root-kidik]

​@@tilir нигде не нашёл адекватную инструкцию, разве что LFS, правда там потом как-будто chroot делать. я собрал gcc без стандартной либы, собрал из glibc scu crt*.o, подсунул в gcc для сборки библиотеки рантайм поддержки, дособрал полностью glibc, затем дособрал полностью gcc. но везде Wl,rpath на toolchain usr lib делал, чтобы при запуске не из системы тянуло либы. было бы классно, если бы мега опытный человек как вы рассказали как это делать. смотрел ваши выступления про RICS-V вы там про тулчейн говорили, но нигде не нашёл исходников или инструкции как его самому собрать (правда и сильно не искал). всеравно очень сильно хочется в этом разобраться. работаю с astra1.5-astra1.7 там gcc4.8.3, подняли до 11, но только компилятор, а хочется прям полный тулчейн собрать. (надеюсь оставится один комментарий, а то что-то ютюб удаляет их)

[@ВладиславГришин-ш7ш]

вывели на чистую воду статические анализаторы

[@tepumasutasauno8671]

Ахахпхахахахахаха

[@tilir]

Вообще никогда не понимал на что рассчитывают люди которые их пишут )) А если серьёзно то мне кажется очень интересным вопрос о выделении класса функций которые как раз можно проанализировать неким классом анализов. Как я понимаю он сейчас максимально далёк от теоретического решения.

[@andreykhakimov5588]

Спасибо!