anomiti

В мире веб-разработки фреймворки приходят и уходят, но какой веб-сайт не возьми, там почти наверняка будет использоваться CSS. Что это за технология, которая с нами уже так долго, разбираемся с Софией Валитовой.

Поддержи лучший подкаст про 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  

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

Полезные ссылки:
Блог Софии
ariarzer.dev

Статья про слои
https://ariarzer.dev/articles/2021/css-cascade-layer.html

Доклад Никиты Дубко «CSS – язык программирования»
https://www.youtube.com/watch?v=2UIwHWQeJBs

Podlodka #259 – CSS

moke

Функциональный язык, идеально подходящий для создания распределенных вычислительных систем. Язык, позволяющий порождать легковесные процессы и реализующий модель акторов для безопасного общения между ними. Язык, не претерпевающий грандиозных изменений благодаря удачному проектированию еще в 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 – Формальные методы и верификация программ

color

STBB #796

5 - 7-2022

https://stbbforever.com/viewtopic.php?f=2&t=1093

STBB 796 BOLLYWOOD

This remix version of "Phantom Heart" was a bonus track to commemorate the re-release of Jonny Fallout's debut album, "Cybertherial" on RetroReverbRecords.

"Cybertherial", is a cyberpunk romance — nine songs about longing, loving, losing yourself and finding your way in a confusing and chaotic futuristic world mediated by zeros and ones. When you're immersed in the dark, unsure of what's true and what isn't, how can love survive?

Bandcamp:
https://retroreverbrecords.bandcamp.com/album/cybertherial

Cybertherial

Phantom Heart (Night Waves)

🎧Stream: https://fanlink.tv/tzi-beautiful_stranger

It's not just music. It's a complete story in audio format!
Listen to Full "Ronin" Album - https://soundcloud.com/tzi_music/sets/ronin

-

🎧 My Music:

🥁 tzi - band.link/tzi_music (Hip-Hop and EDM Instrumentals)

🎻 Roman Voropaev - band.link/romanvoropaev_music (Orchestral and Cinematic Instrumentals)

-

🌏 All About Me:

🏄🏼 Роман "tzi" Воропаев - taplink.cc/romanvoropaev_tzi

-

⭐️ Exclusive Content

Boosty - boosty.to/tzi (For Russian-speakers)
Patreon - patreon.com/tzi (For English-speakers)

🏮 Follow tzi

VK - vk.com/tzi_music
FaceBook - facebook.com/tzimusic/
Telegram - t.me/tzi_music
Instagram - instagram.com/romanvoropaev_tzi
Twitch - https://www.twitch.tv/romanvoropaev_tzi
Discord: discord.gg/Ww7cR8tnUk
YouTube: youtube.com/channel/UCEWAbtZc1s0__lsT3FrQ1gg
Spotify - open.spotify.com/artist/0OtctMT5WuZpib5GQiEuMT
BandCamp - https://tzimusic.bandcamp.com

-

🎧Listen to my music - band.link/tzi_music

📧Email - tzioriginal@gmail.com

-

💸 Donate / Поддержка
If you like my work and decide to support me financially / Если вам нравится мое творчество и вы решили меня поддержать материально:

Russia (CIS) / Россия (СНГ):
Boosty: boosty.to/tzi
Sberbank MasterCard: 5469 5500 4866 3626
Tinkoff Visa: 4377 7237 6685 6011
Tinkoff Mir: 2200 7001 6184 0706
Qiwi: qiwi.com/n/ROMANVOROPAEV

World / Весь мир:
Patreon: patreon.com/tzi
Ko-Fi: ko-fi.com/tzioriginal
PayPal: www.paypal.com/paypalme/voropaevroman

-

📌Follow The Designer 

Author of the Cover: Alina Sanna
Instagram: https://www.instagram.com/samurai_chan_/
VK: https://vk.com/samuraichanka

-

⬛My another project: Roman Voropaev - @romanvoropaev_music

Hello!
I'm a composer, sound designer and musician! Do you need music for your project?
Contact me on my social networks or via email above!

Beautiful Stranger

Arkos for the Dark Zebra available at https://www.luftrum.com on November 3rd, 2022. This is a demo track by Joe Dachtler using only sounds from Arkos, so it's 100% naked. See a list of presets used below.

Arkos: https://www.luftrum.com
Joe Dachtler: http://joedachtler.com

Arkos is a dark and gritty cinematic sound set for Zebra HZ created by Sonic Underworld and curated by Luftrum. It features an arresting tapestry of sounds that will form the backbone of your underscore for your next crime thriller, dark drama, or near-future nightmare.

Presets used:

ARP Formanta
ARP Vedic
ARP Ventris
BL Ace Deuce
BS Feral
BS Vantra
BS Ozark
KY Lustmord
PD A Final Now
PD A Farewell Memory
PD Across The Ice
PD Against The Flow
PD Goetia
PD Kalliria
PD Sorrow
PL Centrifugalis
PL Neocenic
PL A Higher Power
PL Irrlicht
PL Swash
PL Polynominal
PL Zenigata
PL Pound The Void 
SC Insanorata
SC Quastra
SC Obliterate
SC The Hollow Woods
SC Zorkan
SQ Fascinoma
SQ Things That Were
SY A Long Way Down
SY A Slippery Slope
SY Turning Point

Joe Dachtler - Escape From Arkadios

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

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

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

Podlodka #259 – CSS

Podlodka Podcast