DevZen Podcast DevZen Podcast

В этом выпуске: Говорим про облака: AWS, Яндекс.Cloud, Azure, GCP; кому и зачем нужен Terraform: сравниваем его в Ansible, Puppet, Chef; говорим о будущем Golang; Ваня завершает поиск работы; GameZen; вопросы слушателей

Шоуноты:

[00:17:04] Интервью с гостем

https://www.instagram.com/sadonerer/?hl=ru
https://twitter.com/sadonerer


[00:23:24] IaС Terrafrom или как я читал первый доклад в онлайне.
[00:49:58] Облачные провайдеры - кому какой ближе, а кому приходиться.
[01:03:19] AWS v Яндекс
[01:09:17] Похоливарить по GoLang - кто на нем пишет и что в нем можно нагородить
[01:21:03] InterviewZen
[01:55:56] Темы и вопросы слушателей для 0332
[02:17:55] [GameZen] Haven
[02:21:32] [GameZen] The Medium



Лог чата: https://t.me/devzen_live/1795

Голоса выпуска: Света, Валера, Ваня, а также гость Дмитрий.

Фоновая музыка: Plastic3 --- Corporate Rock Motivation Loop 4

КДПВ отсюда.

В этом выпуске: обсуждаем разработку IDE с Никитой, какой она должна быть, какие они были за последние 50 лет, отзывчивость UI, тренды и идеи; ИнтервьюЗен - заметки Ивана об интервью в разные компании; трэш при распознавании нашего подкаста; еще несколько более мелких тем, и вопросы слушателей

Шоуноты:

[00:15:23] Интервью с гостем

https://twitter.com/nikitonsky/status/1373999591201386497
Telegram: Contact @nikitonsky_pub


[00:56:05] Что мы узнали за эту неделю

The Top 100 Venture Capital Partners & Firms l CB Insights
Neuralink - YouTube
https://www.linkedin.com/company/neuralink/
https://twitter.com/neuralink


[01:03:21] InterviewZen
[01:47:27] [В закладки] Доклады про кишочки Python

Before you continue to YouTube
Before you continue to YouTube


[01:50:18] У Facebook утекли персональные данные 533 млн пользователей

Have I Been Pwned: Pwned websites
533 million Facebook users’ phone numbers leaked on hacker forum


[01:53:35] [SaaSZen] Забанили в Гугле
[01:54:19] Слушатель Mikhail попробовали Яндекс speech-to-text на нашем подкасте. Получился трэш.

Ghostbin
Telegram: Contact @devzen_live
https://cloud.yandex.com/en/docs/speechkit/stt/transcribation,


[01:59:19] Debugging random slow writes in PostgreSQL

Debugging random slow writes in PostgreSQL | safts | blog
Основы полнотекстового поиска в PostgreSQL | Записки программиста


[02:07:02] Темы и вопросы слушателей 0331

Лог чата: https://t.me/devzen_live/1514

Голоса выпуска: Света, Валера, Ваня, Саша, а также гость Никита.

Фоновая музыка: Plastic3 --- Corporate Rock Motivation Loop 4

КДПВ отсюда.

В этом выпуске: мы, не успев погрустить о том, что новый интересный спонсор не смог случиться, совершим глубокое погружение в мир формальных методов верификации. Какие подходы считать формальными методами? Кто это применяет и где? Как начать верифицировать свой софт и на что это похоже? Где искать свойства для проверки? Как читать и рефакторить формальные спецификации?
На закуску мы традиционно побурчим на SaaS'ы и починим валерин HDMI.


[00:05:31] Наш новый спонсор, которого не случилось
[00:06:59] Вместо рекламы

DigitalOcean The developer cloud
Установки и настройка OpenVPN в Ubuntu Linux за 5 минут | Записки программиста
Поднимаем собственный почтовый сервер на VDS | Записки программиста


[00:09:40] Интервью с гостем

https://twitter.com/falsenov
anton-trunov (Anton Trunov) · GitHub
Эликсир от даунтайма — Episode 0185 « DevZen Podcast
GitHub - ligurio/practical-fm: A gently curated list of companies using verification formal methods in industry
Cosette: An Automated SQL Solver
GitHub - coq-community/awesome-coq: A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog]
Software Foundations
Certified Programming with Dependent Types
John Hughes - How to specify it! A guide to writing properties of pure functions | Code Mesh LDN 19 - YouTube
The Science of Deep Specification
K framework · GitHub
Telegram: Contact @practical_fm


[02:03:18] Что мы узнали на этой неделе

International Fixed Calendar - Wikipedia
International Fixed Calendar - The Perihelion Effect
http://www.public.asu.edu/~checkma/today.html


[02:08:46] [Одной строкой, SaaSZen] Disqus продолжает охреневать
[02:11:05] [Одной строкой, SaaSZen] Mail.ru запугивает пользователей
[02:12:11] Летняя школа по верификации Лялямбда-2021

Лялямбда ’21, школа верификации, компиляторов и реверса
Логистика Лялямбда '21


[02:17:31] Я у мамы спикер-гофер или GopherConRussia 2021
[02:18:45] Кажется починил HDMI

Лог чата: https://t.me/devzen_live/1191

Голоса выпуска: Света, Валера, Ваня, Саша, а также гости Антон и Василий.

Фоновая музыка: Plastic3 --- Corporate Rock Motivation Loop 4

КДПВ отсюда.

В этом выпуске: передовые технологии от ведущего игрока на рынке, поиск работы через LinkedIn и интересные находки на собеседованиях, как по Crunchbase и другим публичным источникам понять, в какую компанию вы идете, ставим на биос апдейт для удвоения печали, сравнение алгоритмов сжатия PGLZ и LZ4, а еще в чем кайф любительского радио и другие темы.


[00:02:20] Интервью с гостем
[01:01:08] Интересные находки на собеседованиях
[01:31:40] #OpenToWork

https://www.linkedin.com/in/afiskon/
Information on 419 Database Management Systems
PostgreSQL: PostgreSQL Mailing Lists: pgsql-jobs
Build ClickHouse on MacOS failed · Issue #21904 · ClickHouse/ClickHouse · GitHub
Fix #21904: ClickHouse doesn't compile on MacOS by afiskon · Pull Request #22024 · ClickHouse/ClickHouse · GitHub


[01:48:18] Обновил биос сломался HDMI при загрузке
[01:51:58] Кранчбейз

https://www.crunchbase.com/
JavaZone 2018
Dropbox - JavaZone_SB.pdf - Simplify your life


[01:56:09] [Одной строкой] Waiting for PostgreSQL 14 – Allow configurable LZ4 TOAST compression
[01:59:34] Темы и вопросы слушателей для 0329

Темы и вопросы слушателей для 0329 « DevZen Podcast
Buy RTL-SDR Dongles (RTL2832U)
Любительское радио | Записки программиста




Лог чата: https://t.me/devzen_live/977

Голоса выпуска: Света, Валера, Ваня, Саша, а также гость Евгений.

Фоновая музыка: Plastic3 --- Corporate Rock Motivation Loop 4

КДПВ by отсюда.

В этом выпуске: Печем блины вместе с Валерой и рисуем на доске вмете с Miro; Пытаемся разобраться в актуаторах и сенсорах вместе с гостем и его IOT платформой; проводим Свете новый интернет; Вопросы слушателей и немного GameZen под занавес

[00:01:43] Что мы узнали за неделю

https://twitter.com/sum3rman/status/1371206482759417861
https://twitter.com/ruxeg/status/1372589932120834048
An Online Visual Collaboration Platform for Teamwork | Miro


[00:20:35] Интервью с гостем

Rightech IoT Cloud (RIC) · GitHub
Rightech - Home | Facebook
Telegram: Contact @rightechportal
Rightech | VK
Rightech - Just Do IoT


[01:22:04] Света и новый интернет?
[01:31:06] Темы и вопросы слушателей для 0328
[01:53:26] [GameZen] Prey выглядит офигенно на новых консолях и ПК

Prey + Dishonored: FPS Boost Is A Game-Changer For Xbox Series X|S - And It's Not Just About 60fps - YouTube
Ненадежный выпуск — Episode 0150 « DevZen Podcast



Лог чата: https://t.me/devzen_live/833

Голоса выпуска: Света, Валера, Ваня а также Илья.

Фоновая музыка: Plastic3 --- Corporate Rock Motivation Loop 4

КДПВ by MadMax Chef on Unsplash.

В этом выпуске: окончательно перешли на телеграм, отвод тепла от плат и от датацентров; MIPS переходит на RISC-V; обсуждаем пост Амазона об очередях и асинхронных системах; рассуждаем про Helios.

Шоу нотес:

[00:02:07] DevZen Gitter deprecated
[00:02:44] Что мы узнали за неделю

Electronics tutorial - Heat pipes - YouTube
Википедия — свободная энциклопедия


[00:24:53] Тулула
[00:44:51] Датацентры горят

https://twitter.com/playrust/status/1369611688539009025
okmeter.io — server monitoring ready-made for you


[00:49:56] MIPS Becomes RISC-V
[01:03:11] 2021 Open Hardware Summit (Online)
[01:04:56] AWS blogpost "Avoiding insurmountable queue backlogs"
[01:28:27] Microsoft Helios

Helios: hyperscale indexing for the cloud & edge – part 1 | the morning paper
Helios: hyperscale indexing for the cloud & edge (part II) | the morning paper
http://www.vldb.org/pvldb/vol13/p3231-potharaju.pdf


[01:39:00] Темы и вопросы слушателей

Лог чата: https://t.me/devzen_live/172

Голоса выпуска: Саша, Света, Валера, Ваня.

Фоновая музыка: Plastic3 --- Corporate Rock Motivation Loop 4

КДПВ from Wikipedia