I love the repetition, repeating, repeatedly....
Drone on

SLICK X THE HYPE 18TH AUG | 2011 - 2021 TRAP | WEEKND, J COLE, SCAR, LIL BABY & MORE

Liar

The Strangers

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

BIIG VYBZZ, MUSIC, DRINKS & ENERGY!! SUNDAY JULY 3RD BIIG2022
WE IN RANDOLPH MA

BIIG2022 THE MIXTAPE

DJ DADDY SPLEECE | REALITY SOUND | 07-31-2022 #72

The young lions of No Ramp Family's Zion Sound International bringing you another up full two hours of roots reggae niceness!
Featured artist on this session, the legendary HughMundell, Fyah Empress Jalifa and 242's (Bahamas)multi talented producer and song writer and artist Padrino

Foundation Sundays on Nice Up Radio 9/4/2022

CHRIS GOLDFINGER REGGAE DANCEHALL SHOW 13/10/22

GOLDFINGER DANCEHALL SHOW 13/10/22 PT 1

CHRIS GOLDFINGER REGGAE DANCEHALL SHOW 27/10/22

GOLDFINGER DANCEHALL SHOW 27/10/22 PT 2

LP description


Versace Bedouin is named after the track, "#VersaceBedouin," which is Razzlekhan's anthem, and an homage to her North African Bedouin heritage. It refers to both of Razzlekhan's alter-identities, the "Versace Bedouin" and the "Crocodile of Wall Street." 

As Razzlekhan says, "Be a goat, not a god damn sheep!"
#VersaceBedouin

---
The song "California Rollz" was inspired by overhearing a particularly loud and obnoxious conversation by two finance-bro's at her favorite hole-in-the-wall Japanese restaurant, Razzlekhan decided to make lemonade from lemons, and make a rap song. A poignant social commentary on classism and the various prejudices of Manhattan's rich white elite, "California Rollz" is still just as funny and catchy as "SaaSholes."

You'll notice a few of the lines in the song are in Japanese, as Razz actually went to high school in rural Japan, and is business-level proficient in Japanese. There's also a brief line in Korean in there, which Razz is also conversational in, as well as a reference to "sexpat guys" in Hong Kong, at the very end. 

#CaliforniaRollz

--
The final song, "Please Go Fund Yourself" (PGFY) was a response to Razzlekhan's extreme frustration and disappointment with the current American healthcare system. 

Razz started to write this song when she was trying to pick insurance options in late 2018. Frustrated with how much all the Obamacare options sucked, and how her premiums kept going up at least $100 every year, while coverage and benefits kept going down, Razz decided to voice her anger and share the people's concerns in this song. She actually interviewed dozens of Americans with healthcare and insurance issues, ranging from students to entrepreneurs, the elderly, and various healthcare professionals. Not to mention, anecdotes from her own mother's experience with cancer treatment and issues with insurance coverage. 

While this song is still humorous and a bit raunchy, like all of Razzlekhan's songs, it serves as a painful reminder of the issues with America's flawed healthcare system and the life-threatening issues it causes. 

#PleaseGoFundYourself

Please Go Fund Yourself (Prod. by Keyzus)

California Rollz (Prod. by Keyzus)

Razzelkhan is a female comedic rapper based in NYC. She’s often referred to as the “Versace Bedouin” ( #versacebedouin on IG) or “The Crocodile of Wall Street” (#crocodileofwallstreet on IG) for her nomadic tendencies, flashy fashion, and business savvy. 

Razzlekhan has always rooted for the underdog, and hopes her music will bring a voice to underdogs and misfits everywhere, especially in the Middle East. While her musical lyrics are often controversial and even cringeworthy, she fiercely believes that it’s important to voice different ideas and perspectives, even if they are unpopular. 

Razzlekhan is heavily influenced by North Africa and East Asia, both of which places she formerly resided. Her style is an eclectic mix of modern and timeless—mixing surrealist concepts with bedouin style and trap culture. 

Artists that have inspired and influenced Razzlekhan include: Die Antwoord, Awkwafina, Mickey Avalon, Tierra Whack, The Whitest Kids U’ Know’s Trevor Moore, Snoop Dogg, Eminem, Princess Nokia, Busta Rhymes, Kid Cudi, Ratatat, Gorillaz, Tunisian composter Hedi Jouini, Cairokee, Oka and Ortega, , and various other musicians and artists from North Africa and Eastern Turkey/Kurdistan. 

When Razzlekhan isn’t working on her rap, she’s usually writing code or being a bad boss lady, as she is CEO of two tech companies.

California Rollz (Prod. by Keyzus)

Razzlekhan

Recent comments

User 882380467

User 559819612

Dump On The Ump: A Baseball Podcast

CaddyWhomp

Related tracks