Forwarded from Vasily A.
AsForJS.torrent
879.2 KB
Извини пожалуйста что отвлекаю по пустякам.
Немного заморочился и скачал все твои стримы с канала.
Подумал, что мб кому еще пригодится(вечера коротать без интернета/в самолёте/etc) и бахнул это всё в .torrent
Хотел написать в Talks, но там запрет на прикрепление файлов. Потому пишу тебе, если сочтёшь нужным - перешли в группу, ну или проигнорь просто, не обижусь :)
Немного заморочился и скачал все твои стримы с канала.
Подумал, что мб кому еще пригодится(вечера коротать без интернета/в самолёте/etc) и бахнул это всё в .torrent
Хотел написать в Talks, но там запрет на прикрепление файлов. Потому пишу тебе, если сочтёшь нужным - перешли в группу, ну или проигнорь просто, не обижусь :)
👍118❤24🙏11🕊4🐳1🌚1
Послушайте по свободе лекцию Брагилевского о лямбда исчислении.
Станет яснее о чем я говорю когда говорю о:
1) doPerDo
2) математической доказуемости функционального кода
3) познакомитесь с академическим описанием функционального программирования
https://youtu.be/qqGGbtkdLGM?si=mAY-enhVr7Y_kIl3
Станет яснее о чем я говорю когда говорю о:
1) doPerDo
2) математической доказуемости функционального кода
3) познакомитесь с академическим описанием функционального программирования
https://youtu.be/qqGGbtkdLGM?si=mAY-enhVr7Y_kIl3
YouTube
2. Программирование в 𝜆-исчислении
Вторая лекция курса «Соответствие Карри–Ховарда: от математической логики к программированию» https://www.mccme.ru/dubna/2017/courses/bragilevsky.html
Источник: http://www.mathnet.ru/php/presentation.phtml?presentid=18231&option_lang=rus
Источник: http://www.mathnet.ru/php/presentation.phtml?presentid=18231&option_lang=rus
👍52❤5🤯5😁1🤣1
чем дальше - тем больше от меня мало что остается.
я сражаюсь с єтим, но сильно проигрываю.
не сердитесь на меня - я очень стараюсь.
мы еще поборемся.
я сражаюсь с єтим, но сильно проигрываю.
не сердитесь на меня - я очень стараюсь.
мы еще поборемся.
❤163🙏74💔11🕊8🔥7💯2🤯1🤣1
Я планирую геройский поступок. На какую тему?
Anonymous Poll
52%
Статическая типизация и js
15%
Закончить с вирусом
22%
Потрындеть за жизнь с ответами на вопросы
10%
Я упырь
🔥31❤12😍3
Выхожу из лифта. В нем остается ребенок лет 7 и его мама.
Двери закрылись, лифт поехал.
Голоса из лифта:
- Мама а зачем у дяди такая борода?
- Дурак потому что
Двери закрылись, лифт поехал.
Голоса из лифта:
- Мама а зачем у дяди такая борода?
- Дурак потому что
😁123🤣58🤯14💔9🔥7👍1💯1
Фанаты мне ничего не написали, потому я расскажу вам стишок:
За столом сидит гость
В голове у него гвоздь
Єто я его забил
Чтобы гость не уходил
За столом сидит гость
В голове у него гвоздь
Єто я его забил
Чтобы гость не уходил
😁69🤯10🌚6👀5😎4❤2👍2
Говорят, сегодня международный день котов.
Теперь вы знаете кого сегодня поздравить.
Теперь вы знаете кого сегодня поздравить.
🔥45❤8👍3😍2🤯1
Друзья.
Ткните меня носом в вопросы которые для вас были важны, а я их пропустил.
Я постараюсь ответить.
Ткните меня носом в вопросы которые для вас были важны, а я их пропустил.
Я постараюсь ответить.