Теорема о неподвижной точке, Y-комбинатор. Редексы. Одношаговая и многошаговая редукция. Нормальная форма. Редукционные графы. Теорема Чёрча-Россера. Следствия: редуцируемость к нормальной форме, единственность нормальной формы. Cтратегии редукции. Теорема о нормализации. Механизмы вызова в функциональных языках.
Лекция №2 в курсе «Функциональное программирование» (весна 2015).
Преподаватель курса: Денис Николаевич Москвин.
Страница лекции на сайте CS центра: goo.gl/Zriq1j
Стань свободным — стань собой 3 — Необычный успех — Виктор Савельев (Вайшнава Прана дас)
08.01.2016 Санкт-Петербург
Смотрите все видео из цикла Стань свободным — стань собой: www.youtube.com/watch?v=974bp48a6Ho
Гость — Сергей Павлович. В прошлом – кардер Police Dog, отсидевший в тюрьме 10 лет. Автор книги «Как я украл миллион. Исповедь раскаявшегося кардера». Сейчас – бизнесмен и блогер. Говорили про кардинг, тюрьму, как там выжить и измениться, жизнь после тюрьмы, о том, как писалась книга, про кибербезопасность, пробивы личных данных и социальные проекты. Разобрали основной бизнес Сергея, кэшбэк-сервис SecretDiscounter.com: бизнес-модель, прибыльность, рекламные каналы, сложности и лайфхаки.
00:07 – Про гостя
00:33 – Кардинг – это легкие деньги?
02:19 – Сколько ты украл всего?
03:03 – Кардинг умирает?
03:37 – Школы кардеров – это инфоцыгане?
04:05 – Совет действующим кардерам
04:49 – Почему тюрьма не исправляет преступников?
06:31 – От преступника до бизнесмена один шаг?
08:20 – В какие страны тебе нельзя?
10:45 – Благотворительный форд: книги, спортинвентарь для заключенных
14:10 – Про кибербезопасность, как защитить свои данные?
22:20 – О книге «Как я украл миллион», сколько заработал на продаже
26:39 – Что делать скачавшим бесплатно книгу, куда пойдут деньги
28:05 – На чем ты писал книгу, сколько раз переписывал?
30:39 – Почему ты перестал писать?
31:44 – Про армию
33:28 – Про понты, как тратил деньги
35:22 – Зачем создал канал на YouTube?
35:37 – Про твой бизнес, как работает кэшбэк-сервис?
44:51 – Как открыть свой кэшбек-сервис?
47:32 – Сколько часов в день ты работаешь?
48:00 – Топ-5 книг
53:43 – Для чего тебе деньги?
54:46 – О смысле жизни
57:18 – Конкурс
Если прочитали книгу Сергея бесплатно и хотите вернуть украденное (пойдет на благотворительность), вот реквизиты:
Z640263732303 – WMZ
R670268459411 – WMR
410014564286447 – Яндекс.Деньги
Бонус: ссылка на регистрацию в SecretDiscounter с вечным «платиновым» аккаунтом (максимальный кэшбэк): secretdiscounter.com/?promo=yarosh
Подводные камни CMake и где они обитают, Дмитрий Кожевников
Система сборки CMake постепенно становится стандартом де-факто для кроссплатформенного программирования на C. Однако одни и те же задачи в ней можно выполнять разными способами и на разных уровнях абстракции, при этом понять разницу бывает довольно сложно. Мы обсудим:
— частые популярные анти-паттерны и чем они плохи,
— что такое «Modern CMake» и в чем его преимущества,
— как локализовывать и отлаживать проблемы в CMake-скриптах (в том числе довольно экзотическими средствами).
Доклад представлен на встрече St. Petersburg C User Group, 21.11.2017
Заказчики (клиенты, руководители) хотят видеть красивые отчеты, а не длинные таблицы. Проблема — как визуализировать данные, чтобы заказчику «понравилось»? Ведь топ-менеджер не поставит подробную задачу, какие KPI, в каком виде показать в отчете, и что для него значит «красиво».
Во-первых, визуализация отчетов — это уже не вопрос творчества, а вопрос логики, понимания структуры данных. Я расскажу о матрице выбора диаграмм и чеклистах, с которыми вы будете понятно и наглядно показывать информацию для принятия решений. Начиная от офисной графики до продвинутой визуализации.
Во-вторых, технологии дали новый носитель – дашборды (информационные панели). Я разберу типовые ошибки их построения, дам правила и лучшие практики из 10-летнего опыта внедрения BI-проектов. И покажу, как на дашборде провожу совещание отдела продаж, при вас построю годовой отчет службы HelpDesk.
Please join the discussion at EzeeTalk. www.ezeelinux.com/talk/ Its free, secure and fun!
This video is a crash course to help new users get started with BASH. Here is a list of the commands well cover:
BEGINNERS GUIDE TO THE BASH TERMINAL
NAVIGATION
ls — list directory contents
pwd — print name of current/working directory
cd — change working directory
pushd/popd — put working directory on a stack
file — determine file type
locate — find files by name
updatedb — update database for locate
which — locate a command
history — display bash command history
GETTING HELP
whatis — display the on-line manual descriptions
apropos — search the manual page names and descriptions
man — an interface to the on-line reference manuals
cat — concatenate files and print on the standard output
more/less — file perusal filter for crt viewing
nano — command line text editor
USERS
sudo — execute a command as superuser
su — change user ID or become another user
users — print the user names of users currently logged in
id — print real and effective user and group IDs
CHANGING FILE PERMISSIONS
chmod — change permissions of a file
KILLING PROGRAMS AND LOGGING OUT
Ctrl C — kill a running command
killall — kill processes by name
exit — log out of bash
USEFUL SHORTCUTS
Ctrl D — signal bash that there is no more input
Ctrl L — redraw the screen
Ctrl — make text bigger in terminal emulator
Ctrl — - make text smaller in terminal emulator