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

Рет қаралды 6,461

Күн бұрын

Пікірлер: 37

@MVZ1983 4 ай бұрын

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

@fedorbabkin 4 ай бұрын

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

@intellectualuser2244 4 ай бұрын

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

@MikhailGoncharov-tl4cr 4 ай бұрын

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

@aventurain6476 4 ай бұрын

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

@gnom-om 4 ай бұрын

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

@pavelrid 4 ай бұрын

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

@andreykhakimov5588 4 ай бұрын

Спасибо!

@my_learning_spaceship 4 ай бұрын

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

@gnem1871 4 ай бұрын

Класс!!!

@alex_s_ciframi 3 ай бұрын

спасибо :)

@exx-ns4tt 4 ай бұрын

Ждём-с)

@tepumasutasauno8671 4 ай бұрын

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

@СергейМакеев-ж2н 4 ай бұрын

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

@tepumasutasauno8671 4 ай бұрын

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

@tilir 2 ай бұрын

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

@shabnakadyr1564 3 ай бұрын

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

@DanielPinchuk 4 ай бұрын

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

@СергейМакеев-ж2н 4 ай бұрын

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

@ВладиславГришин-ш7ш 4 ай бұрын

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

@tepumasutasauno8671 4 ай бұрын

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

@tilir 2 ай бұрын

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

@root-kidik 4 ай бұрын

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

@tilir 4 ай бұрын

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

@root-kidik 4 ай бұрын

@@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 4 ай бұрын

@@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 4 ай бұрын

@@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, но только компилятор, а хочется прям полный тулчейн собрать. (надеюсь оставится один комментарий, а то что-то ютюб удаляет их)

@stanislavstanislavius7618 2 ай бұрын

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

@tilir 2 ай бұрын

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