A little flock of Whooper Swans, arrived a few days ago, one hour after sunset at Rengaskari Reef one mile from our home shore.  The sea is frozen a long way out, but by the shallow waters of the reef there's a small piece of free water.  The picture is by sunset as I leaved the mics on the reef.

Updating www.rupuranta.net  - Better description maybe later ;-

(MKH8020 ab80cm,  MixPre, 32>24/48, no processing, Flac)

A frozen Reef  - 15/3/2022 - Rengaskari Finland

Что происходит с видео вашего котика, которое вы загружаете на какой-нибудь стриминговый сервис, а потом скидываете ссылку друзьям во всем мире? Как видеоплеер понимает, когда показывать видео в низком качестве, а когда – в высоком? Как работают различные кодеки и чем они отличаются? Мы поняли, что очень плохо себе представляем весь пайплайн работы стриминговых сервисов, и позвали в гости главного специалиста по этой теме в России – Александра Тоболя, технического директора ВКонтакте, VK Видео и VK Звонков.

Поддержи лучший подкаст про IT:
www.patreon.com/podlodka 

Также ждем вас, ваши лайки, репосты и комменты в мессенджерах и соцсетях! 
Telegram-чат: https://t.me/podlodka  
Telegram-канал: https://t.me/podlodkanews 
Страница в Facebook: www.facebook.com/podlodkacast/ 
Twitter-аккаунт: https://twitter.com/PodlodkaPodcast  

Ведущие в выпуске:
Евгений Кателла, Егор Толстой

Полезные ссылки:
Как Netflix выбирает thumbnail’ы для видео
https://twitter.com/TrungTPhan/status/1445768087832182796

Доклад про хранилище видео
https://www.youtube.com/watch?v=Hs2txKgnpAk

Статья про QUIC
https://habr.com/ru/company/vk/blog/594633/

Сравнение кодеков
https://www.compression.ru/video/codec_comparison/index.html

Podlodka #261 – Стриминг видео

Функциональный язык, идеально подходящий для создания распределенных вычислительных систем. Язык, позволяющий порождать легковесные процессы и реализующий модель акторов для безопасного общения между ними. Язык, не претерпевающий грандиозных изменений благодаря удачному проектированию еще в 80-х годах! Он активно используется в WhatsApp и на нем написан RabbitMQ. Интригует? Тогда скорее включайте выпуск, где Максим Лапшин, основатель компании Erlyvideo, 2 часа увлекательно рассказывает нам про Erlang!

Переносите свои проекты в облако Selectel всего в пару кликов: https://slc.tl/Oe1sx

Также ждем вас, ваши лайки, репосты и комменты в мессенджерах и соцсетях! 
Telegram-чат: https://t.me/podlodka  
Telegram-канал: https://t.me/podlodkanews 
Страница в Facebook: www.facebook.com/podlodkacast/ 
Twitter-аккаунт: https://twitter.com/PodlodkaPodcast  

Ведущие в выпуске:
Катя Петрова, Стас Цыганов

Podlodka #265 – Erlang

Мечтаете, чтобы ваше ПО было сверх надежным, но грустите, ведь даже самый большой набор тестов не гарантирует 100% работоспособность кода на всех кейсах? На помощь придет верификация ПО с помощью формальных методов! Опишем спецификацию на программу с помощью математических языков и докажем какие-нибудь ее свойства. Не обещаем, что будет просто, но точно будет интересно! Вместе с профессором Национального Университета Сингапура Ильей Сергеем разобрали верификацию не только на простых задачах, но и в проектах с огромной кодовой базой и распределенными вычислениями. Обсудили истории успеха из реальных проектов, основные сложности этого подхода и направления активных исследований применения формальных методов в разработке ПО.

Оставляйте заявку и бесплатно переносите проекты на гибкую и мощную инфраструктуру Selectel: https://slc.tl/gzpzo

Поддержи лучший подкаст про IT:
www.patreon.com/podlodka 

Также ждем вас, ваши лайки, репосты и комменты в мессенджерах и соцсетях! 
Telegram-чат: https://t.me/podlodka  
Telegram-канал: https://t.me/podlodkanews 
Страница в Facebook: www.facebook.com/podlodkacast/ 
Twitter-аккаунт: https://twitter.com/PodlodkaPodcast  

Ведущие в выпуске:
Катя Петрова, Стас Цыганов

Полезные ссылки:
Введение в верификацию в Coq https://softwarefoundations.cis.upenn.edu/

Комплятор C верифицированный в Coq
https://compcert.org/

Книжка Лампорта по спецификации сисатем https://lamport.azurewebsites.net/tla/book-02-08-08.pdf

Facebook Infer, анализ построенный на логике
https://fbinfer.com/

Как в Амазоне используют формальные методы
https://www.youtube.com/watch?v=YdxvOPenjWI&ab_channel=ACMSIGOPS

Model Checker для Rust 
https://github.com/model-checking/kani

Сайт Ильи 
https://ilyasergey.net

Twitter Ильи 
https://twitter.com/ilyasergey

Podlodka #268 – Формальные методы и верификация программ

Разбираемся в нюансах интернет-рекламы! Какие разновидности рекламы бывают, за что платят рекламодатели и как работают рекламные аукционы? Выясняем вместе с Андреем Мищенко из Яндекса.

ЖК «Светлый мир «Станция «Л»…» — современный комплекс комфорт‐класса. Если вы мечтали жить в уютном, зеленом ЖК, где есть все для комфортной жизни и развития — это то, что вам нужно! Узнайте больше о ЖК, ценах на квартиры и планировках на сайте: https://station-l.ru

Поддержи лучший подкаст про IT:
www.patreon.com/podlodka 

Также ждем вас, ваши лайки, репосты и комменты в мессенджерах и соцсетях! 
Telegram-чат: https://t.me/podlodka  
Telegram-канал: https://t.me/podlodkanews 
Страница в Facebook: www.facebook.com/podlodkacast/ 
Twitter-аккаунт: https://twitter.com/PodlodkaPodcast  

Ведущие в выпуске:
Женя Кателла, Катя Петрова

Полезные ссылки:
Доклад Алексея Стысина про аукционы
https://youtu.be/wwSSnVUpbMw?t=3729

Статья про модель оплаты за конверсии
https://yandex.ru/adv/news/model-oplaty-za-konversii-v-yandeks-direkte-dostupna-vsem-reklamodatelyam

Доклад про автотаргетинг
https://www.youtube.com/watch?v=hrsvuFhbPQU

Podlodka #269 – Интернет-реклама

Продолжаем нести знамя борьбы с карго-культом, и на сей раз под раздачу попали оценки сроков. Действительно, какая разница, какой срок назвать, если делать все равно всегда дольше? Вместе с Виталием Шароватовым посвятили выпуск поискам истины!

Яндекс Банк ищет ребят на интересные задачи в небольшой, но технологичный финтех-стартап. Не тот стартап, где переработки — награда за энтузиазм. И не тот финтех, «где карту получали, туда и идите». А дружелюбный и продвинутый продукт с небольшой командой, но большими планами: https://fintech.yandex.ru/?utm_source=telegram&utm_campaign=podlodka

Поддержи лучший подкаст про IT:
www.patreon.com/podlodka 

Также ждем вас, ваши лайки, репосты и комменты в мессенджерах и соцсетях! 
Telegram-чат: https://t.me/podlodka  
Telegram-канал: https://t.me/podlodkanews 
Страница в Facebook: www.facebook.com/podlodkacast/ 
Twitter-аккаунт: https://twitter.com/PodlodkaPodcast  

Ведущие в выпуске:
Женя Кателла, Егор Толстой

Связанные выпуски:
https://podlodka.io/125 – выпуск про оценку сроков и трудоемкости задач

Podlodka #273 – Оценки не нужны

Easel Practice 7 - 16 - 22

Steppa

STEPPA

shrimpL

-BUTHA_ROME
𝓔𝓣𝓔𝓡𝓝𝓘𝓣𝓨 𝓚𝓡𝓐𝓩𝓨
KlearJOfficial

BFAM We Just Want The Money (redone)

This is the longform version of "Under The Wall" the Hiroshimabend remix of :zoviet*france:'s "Hidden-by-the-Wall" Open Remix Project. All sounds used were created originally by :zoviet*france:, with additional remix and production by Puppy38 at Opiumdenpluto. A CD version may be available in the future, which will be split into separate tracks.

Under The Wall

:zoviet*france: / Hiroshimabend - Under The Wall

Podlodka – это еженедельное аудио-шоу про IT и все, что с ним связано. Формат наших выпусков - это полное погружение в тему вместе с приглашенным гостем. В каждый выпуск мы зовём интересных и именитых профессионалов в разных областях.

Мы любим обсуждать архитектуру, делиться опытом промышленной разработки и спорить на горячие темы.

Подкаст Подлодка ведут четверо весёлых и опытных инженеров с примесями менеджеров:
- Егор Толстой (Kotlin Project Lead, JetBrains)
- Стас Цыганов (Product Manager, Kotlin team в JetBrains)
- Катя Петрова (Product Marketing Manager, Kotlin team в JetBrains)
- Женя Кателла (Staff Developer, Shopify)

Podlodka #269 – Интернет-реклама

Podlodka Podcast

Related tracks