В GNU Compiler Collection (GCC) версии 10 добавили статический анализ кода на C: https://habr.com/ru/post/496278/
(оригинал статьи под авторством David Malcolm)
С новой версией компилятора можно поэкспериментировать в проекте Compiler Explorer (https://godbolt.org/), выбрав из списка доступных компиляторов
Автор пишет, что данная возможность всё ещё на стадии тестирования и не лишина недостатков — например, вывод анализатора может быть крайне подробным. Ждём, когда появится графический инструмент, позволяющий подобный ASCII-art представлять в виде удобного дерева с навигацией и поиском.
(оригинал статьи под авторством David Malcolm)
С новой версией компилятора можно поэкспериментировать в проекте Compiler Explorer (https://godbolt.org/), выбрав из списка доступных компиляторов
x86-64 gcc (trunk) и добавив опцию -fanalyzer. Пример анализа кода с ошибкой двойного освобождения памяти (пример из статьи) — на скриншоте выше.Автор пишет, что данная возможность всё ещё на стадии тестирования и не лишина недостатков — например, вывод анализатора может быть крайне подробным. Ждём, когда появится графический инструмент, позволяющий подобный ASCII-art представлять в виде удобного дерева с навигацией и поиском.
CADR SPACE
Basic networking course Время проведения: 11 апреля 2020г (суббота) 17:00 Очередная лекция по сетям от Сергея (@SergeyPRS) — продолжение серии лекций по CCNA (предыдущие лекции можно посмотреть на YouTube-канале хакерспейса CADR.) Третью лекцию предлагаю…
Начали стрим лекции: https://youtu.be/P2HCk7vSPiQ
YouTube
Basic Networking Course, lection 3
Продолжение серии лекций. Предыдущая лекция: https://www.youtube.com/watch?v=a-UtC_EC1gw Темы лекции: 1. Источники ошибок и причины некорректной обработки тр...
Непрерывное математическое образование
John Horton Conway (26.12.1937–11.04.2020)
Джон Конвей является автором игры "Жизнь". Одна из устойчивых структур, появляющихся в игре, называется "Планер" ("Glider"). Планер является наименьшим, первым обнаруженным и наиболее часто возникающим "космическим кораблём" в игре.
Известный хакер Эрик Реймонд предложил использовать глайдер в качестве логотипа хакерской культуры:
Глайдер является подходящей эмблемой [для хакеров] во многих смыслах. Начнём с истории: игра "Жизнь" впервые представлена публике в [журнале] Scientific American в 1970-м году. Она была создана практически в то же время, что Интернет и Unix. И она вызывала восхищение хакеров с тех пор. В игре "Жизнь" простые правила кооперации близлежащих элементов, ведут к неожиданным и даже поразительным усложнениям, которые вы не могли бы предположить из исходных правил (возникающий феномен.) Это — прямая параллель с тем, как поразительный и неожиданный феномен вроде open source разработки появляется из сообщества хакеров.
Известный хакер Эрик Реймонд предложил использовать глайдер в качестве логотипа хакерской культуры:
Глайдер является подходящей эмблемой [для хакеров] во многих смыслах. Начнём с истории: игра "Жизнь" впервые представлена публике в [журнале] Scientific American в 1970-м году. Она была создана практически в то же время, что Интернет и Unix. И она вызывала восхищение хакеров с тех пор. В игре "Жизнь" простые правила кооперации близлежащих элементов, ведут к неожиданным и даже поразительным усложнениям, которые вы не могли бы предположить из исходных правил (возникающий феномен.) Это — прямая параллель с тем, как поразительный и неожиданный феномен вроде open source разработки появляется из сообщества хакеров.
Basic networking course
Время проведения: 18 апреля 2020г (суббота) 17:00
Четвёртая лекция по сетям от Сергея (@SergeyPRS) — продолжение серии лекций по CCNA (предыдущие лекции можно посмотреть на YouTube-канале хакерспейса CADR.)
Четвертая лекция будет по темам:
1. Обзор типичных аварийных ситуаций возникающих в процессе эксплуатации сетевой инфраструктуры
2. Принципы техпроцесса management hardware составляющей сетевых нод.
3. Принципы проведения тестовых испытаний оборудования передачи данных на совместимость с архитектурой существующей сети
UPD: Ссылка на стрим: https://youtu.be/9-lxuttH-JI
Время проведения: 18 апреля 2020г (суббота) 17:00
Четвёртая лекция по сетям от Сергея (@SergeyPRS) — продолжение серии лекций по CCNA (предыдущие лекции можно посмотреть на YouTube-канале хакерспейса CADR.)
Четвертая лекция будет по темам:
1. Обзор типичных аварийных ситуаций возникающих в процессе эксплуатации сетевой инфраструктуры
2. Принципы техпроцесса management hardware составляющей сетевых нод.
3. Принципы проведения тестовых испытаний оборудования передачи данных на совместимость с архитектурой существующей сети
UPD: Ссылка на стрим: https://youtu.be/9-lxuttH-JI
Basic networking course
Время проведения: 25 апреля 2020г (суббота) 17:00 в режиме online. Ссылка на стрим: https://youtu.be/6dfQB3ef2jM
Пятая лекция по сетям от Сергея (@SergeyPRS) — продолжение серии лекций по CCNA (предыдущие лекции можно посмотреть на YouTube-канале хакерспейса CADR.)
Пятая лекция будет по темам:
1. Принципы техпроцесса management hardware составляющей сетевых нод.
2. Принципы проведения тестовых испытаний оборудования передачи данных на совместимость с архитектурой существующей сети.
Время проведения: 25 апреля 2020г (суббота) 17:00 в режиме online. Ссылка на стрим: https://youtu.be/6dfQB3ef2jM
Пятая лекция по сетям от Сергея (@SergeyPRS) — продолжение серии лекций по CCNA (предыдущие лекции можно посмотреть на YouTube-канале хакерспейса CADR.)
Пятая лекция будет по темам:
1. Принципы техпроцесса management hardware составляющей сетевых нод.
2. Принципы проведения тестовых испытаний оборудования передачи данных на совместимость с архитектурой существующей сети.
Наглядно оптимистичные прогнозы на будущее от футурологов: https://futurecollector.com/prognozy
Если кликнуть на каждое изображение-прогноз, то откроется подробное описание. Для уже прошедших лет можно увидеть, что свершилось из прогнозов, а что — нет.
Найдено на официальном форуме писателя Юрия Александровича Никитина.
Если кликнуть на каждое изображение-прогноз, то откроется подробное описание. Для уже прошедших лет можно увидеть, что свершилось из прогнозов, а что — нет.
Найдено на официальном форуме писателя Юрия Александровича Никитина.
Нашёл любопытную книгу (на английском) по системному программированию на GitHub в открытом доступе, под лицензией Creative Commons (CC-BY 3.0): https://github.com/angrave/SystemProgramming/wiki
В книге рассматривается обширный спектр тем, включая ввод-вывод, многопоточность, IPC, синхронизация и многое другое.
Особенно порадовали: раздел "Common Gotchas", где описываются популярне ошибки программистов на языке Си; раздел "Systems Programming Bugs in Industry", где перечисляются широко известные ошибки системного программирования (вроде Heartbleed).
Книга составлена коллективно сообществом студенов, по курсу "CS241: System Programming" Иллинойского университета штата в Урбане-Шампейне.
В книге рассматривается обширный спектр тем, включая ввод-вывод, многопоточность, IPC, синхронизация и многое другое.
Особенно порадовали: раздел "Common Gotchas", где описываются популярне ошибки программистов на языке Си; раздел "Systems Programming Bugs in Industry", где перечисляются широко известные ошибки системного программирования (вроде Heartbleed).
Книга составлена коллективно сообществом студенов, по курсу "CS241: System Programming" Иллинойского университета штата в Урбане-Шампейне.
GitHub
Home
Angrave's Crowd-Sourced System Programming Book used at UIUC - angrave/SystemProgramming
Basic networking course
Доступна запись шестой лекции по сетям от Сергея (@SergeyPRS) — продолжение серии лекций по CCNA.
Данная лекция состоит из нескольких частей, и в первой части, которую мы сейчас публикуем, рассматриваются следующие темы:
1. Цели и особенности проведения работ на сетях передачи данных.
3. Выбор оптимального сценария работ.
4. Согласование плана с участниками работ.
5. Подготовка ТЗ проекта.
6. Аудит environment на этапе подготовки к проведению работ.
В этот раз лекция была записана в режиме offline, и доступна по ссылке: https://youtu.be/HxW8mXgj2QU
Список ссылок по теме лекции — в описании на YouTube.
Доступна запись шестой лекции по сетям от Сергея (@SergeyPRS) — продолжение серии лекций по CCNA.
Данная лекция состоит из нескольких частей, и в первой части, которую мы сейчас публикуем, рассматриваются следующие темы:
1. Цели и особенности проведения работ на сетях передачи данных.
3. Выбор оптимального сценария работ.
4. Согласование плана с участниками работ.
5. Подготовка ТЗ проекта.
6. Аудит environment на этапе подготовки к проведению работ.
В этот раз лекция была записана в режиме offline, и доступна по ссылке: https://youtu.be/HxW8mXgj2QU
Список ссылок по теме лекции — в описании на YouTube.
Basic networking course
Доступна запись шестой лекции по сетям от Сергея (@SergeyPRS) — продолжение серии лекций по CCNA.
Данная лекция состоит из четырёх частей, и во второй части, которую мы сейчас публикуем, рассматриваются следующие темы:
1. Подготовка комплектующих для отправки в место проведения работ.
2. Сопровождение работ по монтажу СКС.
3. Сопровождение работ по монтажу оборудования.
4. Организация резервного канала управления.
Лекция была записана в режиме offline, и доступна по ссылке: https://youtu.be/9eg5GbED8kY
Список ссылок по теме лекции — в описании на YouTube.
Доступна запись шестой лекции по сетям от Сергея (@SergeyPRS) — продолжение серии лекций по CCNA.
Данная лекция состоит из четырёх частей, и во второй части, которую мы сейчас публикуем, рассматриваются следующие темы:
1. Подготовка комплектующих для отправки в место проведения работ.
2. Сопровождение работ по монтажу СКС.
3. Сопровождение работ по монтажу оборудования.
4. Организация резервного канала управления.
Лекция была записана в режиме offline, и доступна по ссылке: https://youtu.be/9eg5GbED8kY
Список ссылок по теме лекции — в описании на YouTube.
Перевёл статью о новых исследованиях в области мемристоров: https://te.legra.ph/Inzhenery-MIT-pomestili-desyatki-tysyach-iskusstvennyh-sinapsov-na-chip-06-18
Telegraph
Инженеры MIT поместили десятки тысяч искусственных синапсов на чип.
Оригинал статьи: https://news.mit.edu/2020/thousands-artificial-brain-synapses-single-chip-0608 Инженеры создали «мозг на чипе» размером меньше кусочка конфети, состоящий десятков тысяч искусственных синапсов – также известных, как мемристоры. Мемристоры…
Basic networking course
Время проведения: offline-запись лекции: https://youtu.be/HuUhmB4412I
Очередная лекция по сетям от Сергея (@SergeyPRS) — продолжение серии лекций по CCNA.
Шестая лекция ч.3 по темам:
1. Обновление программного обеспечения ноды.
2. Протоколы настройки и структура файла конфигурации ноды.
3. Разбор элементов файла конфигурации ноды.
4. Этапы подготовки файла конфигурации ноды.
UPD: Список ссылок к лекции: https://te.legra.ph/Basic-Networking-Course-lection-6-part-3-List-of-links-06-21
Время проведения: offline-запись лекции: https://youtu.be/HuUhmB4412I
Очередная лекция по сетям от Сергея (@SergeyPRS) — продолжение серии лекций по CCNA.
Шестая лекция ч.3 по темам:
1. Обновление программного обеспечения ноды.
2. Протоколы настройки и структура файла конфигурации ноды.
3. Разбор элементов файла конфигурации ноды.
4. Этапы подготовки файла конфигурации ноды.
UPD: Список ссылок к лекции: https://te.legra.ph/Basic-Networking-Course-lection-6-part-3-List-of-links-06-21
Ни для кого не новость, что помещение хакерспейса CADR закрыто на время пандемии для посещения людьми «со стороны» (не сотрудникам НРТК.) Однако это лишь временные, вынужденные меры, и как только будет возможность, мы вновь откроем кадродвери.
Последние два месяца были напряжёнными для меня (и думаю, многих вокруг.) Как ни странно, с приходом карантина работы не стало меньше, напротив – у IT'шников объём работы возрос: внезапно всем потребовалось срочно системы для удалённой работы, поддержка этих систем и курсы по их использованию. В моём случае, навалилось задач по двум работам практически одновременно.
Тем не менее, в периоды передышки удавалось выделять время для публикации в кадроблоге видео-лекций от Сергея (@SergeyPRS, спасибо за титанический труд!) и редких переводов статей. И как только появился доступ в колледж, распечатал на 3D-принтере заказ – ножки для бассейна. Качество получилось так себе, однако прикладываю эти фото здесь, как символ того, что CADR жив.
Последние два месяца были напряжёнными для меня (и думаю, многих вокруг.) Как ни странно, с приходом карантина работы не стало меньше, напротив – у IT'шников объём работы возрос: внезапно всем потребовалось срочно системы для удалённой работы, поддержка этих систем и курсы по их использованию. В моём случае, навалилось задач по двум работам практически одновременно.
Тем не менее, в периоды передышки удавалось выделять время для публикации в кадроблоге видео-лекций от Сергея (@SergeyPRS, спасибо за титанический труд!) и редких переводов статей. И как только появился доступ в колледж, распечатал на 3D-принтере заказ – ножки для бассейна. Качество получилось так себе, однако прикладываю эти фото здесь, как символ того, что CADR жив.