Два Ивана (название обсуждается)

Иван Елфимов, Иван Чернов

Разработчики из Ostrovok.ru разговаривают про Python и IT

  1. Два Ивана №40 Тайпчекеры #дваивана

    JUL 21

    Два Ивана №40 Тайпчекеры #дваивана

    Два Ивана остаются под впечатлением от PiterPy и продолжают разговор про инструменты экосистемы Python. В этот  раз обсудили различные аспекты типизации в Python, сравнили с TypeScript и поговорили про новые инструменты, которые могут повлиять на типизацию в будущем. Ещё вспомнили про JetBrains и, конечно же, про LLM. Не обошлось и без зубодробительной теории категорий. Островок приглашает вас на travel-tech хакатон! Присоединяйтесь, чтобы воплотить свои идеи, прокачать навыки и попробовать силы в захватывающем техническом марафоне. Все подробности на сайте О! Хакатона. Таймкоды: (00:00:00) Вступление(00:01:03) Типизация в Python и её развитие (00:05:49) Сравнение с TypeScript и подходы к типизации (00:10:46) Проблемы и перспективы типизации в Python (00:14:05) Проблемы с типизацией в Python(00:17:03) Сравнение инструментов типизации (00:19:40) Новые протоколы и их влияние (00:22:25) Будущее инструментов типизации (00:23:56) Конкуренция между IDE и LSP (00:26:58) Инновации в типизации с использованием LLM (00:28:31) Шутки и проблемы в программировании (00:29:28) Типизация и проектирование систем типов (00:33:17) Состояния и классы в программировании (00:36:11) Математика и теория категорий (00:39:07) Формализация натуральных чисел Ссылки: https://blog.edward-li.com/tech/comparing-pyrefly-vs-ty/

    41 min
  2. Два Ивана №33 Crab The Flag или как Островок сделал CTF вместе с kksctf #гостевой

    10/04/2024

    Два Ивана №33 Crab The Flag или как Островок сделал CTF вместе с kksctf #гостевой

    В гостях у двух Иванов команда kksctf в лице greg0r0 и Rubikoid. Разговариваем про то, как мы вместе организовали внутренний Capture The Flag (CTF) в Островке. Подписывайтесь на телеграм каналы Островка — Ostrovok! Tech, ведущих — Charnov Sharit и biozz.dev и гостей — .рубик: мета и greg0r0_life_and_work. Таймкоды: (00:00:00) Вступление, тема(00:05:18) У безопасности две стороны(00:07:57) Про наш CTF(00:09:48) Два типа CTF(00:11:52) Attack-defense заходит далеко(00:15:09) Стадии уязвимостей(00:20:07) pwn2own(00:25:07) kksctf(00:27:67) Категории тасок(00:34:31) Про сложность задач(00:36:17) Про CVE(00:41:19) Про PCI DSS(00:44:23) Снова про категории(00:51:18) Создать свой CTF(00:55:19) yatb и инфра(01:14:05) Учимся на CTF(01:17:36) Тренды CTF(01:20:48) Сложность таска Ссылки: Про взлом репозитория phpДва Ивана №27 Инфобез и вирусная аналитика со Станиславом РаковскимkksctfyatbНаши хендлеры: Rubikoid, greg0r0, vanadium23, biozz)

    1h 28m

About

Разработчики из Ostrovok.ru разговаривают про Python и IT