http://vk.com/majakmusic
ttp://majak.bandcamp.com/

Маяк - Юность

Мечтаете, чтобы ваше ПО было сверх надежным, но грустите, ведь даже самый большой набор тестов не гарантирует 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://bit.ly/3yI6tHS
Поговорили про те, як сприймати та використовувати інформацію у період війни, чому важливо поширювати новини навіть на маленьку авдиторію, перші кроки у пластунстві, про велику гру, яка вчить. Познайомились ближче з «Лісовими чортами», що вважається одним із найстаріших куренів, історією його назви та створення. 

«Пластовий обіт» – тематичний подкаст до 110-річчя Пласту. Авторка та ведуча: Оксана Пужаковська – пластунка, піарниця, випускниця нашої школи подкастів. Говорить з пластунами про те, як вони у часі війни тримають свій фронт та як їм у цьому допомагає пластовий гарт. Слухайте нові епізоди щовівторка на SoundCloud, Google та Apple podcasts. І якщо вам подобається, що ми робимо і ви хочете, щоб ми могли це робити й надалі, ще більше та впевненіше, підтримуйте нас на Patreon: https://www.patreon.com/radioskovoroda 
Внески символічні, щоб кожному, хто хоче допомогти, було посильно!
Також можете задонейтити через PayPal radioskovoroda@gmail.com будь-яку комфортну вам суму. Творіть разом з нами нові медіа нової доби!

Пластовий обіт – Е5 – Ярема Дух

Даром  дівко  цвіти сієш

А вже років двісті

А вже років двісті, як козак в неволі

My new track «Goodbye» now is everywhere. 

Dedicated to the Angels who died in Ukraine from Russian troops, bombs and missiles during the war in 2022. Recorded in Kyiv, Ukraine

Goodbye

Радіодокументальний серіал “Що є свобода? Діалог із Григорієм Сковородою”.
Нараторка - Ада Роговцева.
В ролі Григорія Сковороди - Сергій Жадан.
Сценарій Мирослава Лаюка. Продюсерка Олена Гусейнова.

Що є свобода? Діалог із Григорієм Сковородою (Частина 2)

Contemporary Noise Quintet - Sophie

Tracklist :

01 -  Jozef Van Wissem (ft. Zola Jesus) - In Templum Dei
02 -  Azzddine - Takassim (Harissa Mix)
03 -  Yasmine Hamdan - Hal
04 -  Natacha Atlas - Gafsa
05 -  Nitin Sawhney - Koyal (Songbird)
06 -  Souad Massi - Ghir Enta
07 -  Hüsnü Şenlendirici - Bülbülüm Altın Kafeste
08 -  İnce Saz - Şarabi
09 -  Loreena McKennitt - Kecharitomene
10 - Jane Birkin - She Left Home (Instrumental)
11  -  Vas - Sunyata
12 - Mercan Dede - Dem
13  - Oi Va Voi - Ladino Song

Chimaera

Death In Rome – Lambada

4 years later, we're back..

And like you, we’ve been absorbing this soul-searching time of tumult. It’s moved us to finish some thoughts that’ve been bubbling for some time now. 

They say the arc of the moral universe bends, but it doesn’t. it is bent. By us all. Everyday.

We’re making fleeting choices each day to speak out or not against injustices, and every time a new voice of resistance is heard, it's another victory. 

People everywhere are rallying against the forces of physical, mental and social inertia to rise from warrior-worn armchairs and fight for a more beautiful world. The streets are filling up.

Let's go from seat to street, from the supine safety of somewhere to taking risks in solidarity, raise our heads above the trenches as one. 

Now is not the time to let shit slide. Don't let it lay.

This is the first of a series of new tracks, culminating in The End Of Fear EP in May 2019.

Lyrics

I don’t know about you, friend,
or your futile fight
and i don’t know about your blue or how you
try as you might in the tv light again

But the weight of water
and the safety of our sun
pulls us down
its pulling on each and everyone 
pulling on each and every one here

Now these are crimes of passion
with our red hands in the dirt
just trying to get out from behind the rock 
to get hurt.

am i gonna let it lay?
no i won’t let it lay

When did we stop learning lessons
of that which we strive?
The essence of acquiescence is
in your supine eyes
when you sip the wine
but its cool, man, no it's fine yeah

the weight of water
and the safety of our sun
pulls us down
its pulling on each and everyone here
pulling on each and every one here

These are crimes of passion
with our red hands in the dirt
now its time to get our from behind the rock and get hurt.

 I won’t let it lay
i won't let it lay
nothing here can’t change
the futures here to stay
its never gonna be the same 
but you gotta wanna be the change

These are crimes of passion
with our red hands in the dirt
just trying to get out from behind the rock to get hurt.

am i gonna let it lay?
oh am i gonna let it lay?
 
Love will change the world around you
under clouds, over horizons
even in your silent hours     
beyond where all darkness flowers

LET IT LAY - MAIGRET JNR

Вступлени (1:50)
Впечатления от React Russia (4:07)
In100gramm бар и шаверма (19:50)
Грузия, Ататюрк, Пушкин, Пётр I (25:11)
Uibook (43:45)
Петербургский разработчик отсудил 23 млн рублей (46:42)

IT Konfa https://itkonfa.tech/
Uibook — инструмент для визуального тестирования React-компонентов с медиа-запросами https://habr.com/ru/post/454176/
In100gramm https://twitter.com/Realetive/status/1139596706918666241
Петербургский разработчик отсудил 23 млн рублей по делу об интеллектуальной собственности https://paperpaper.ru/papernews/2019/06/13/peterburzhec-otsudil-23-milliona-rublej/

#97 Архитектура, которую ты не заслужил

Вся правда о фронтенд-разработке. Всё, о чём боятся говорить — вы услышите здесь! Смузи, вейп, ES6, REACT — вас накроет волной хайпа

#97 Архитектура, которую ты не заслужил

Фронтенд Юность (18+)