Паттерн Model-Update-View и зависимые типы

Recent Posts from This Journal

• Жалобы на жизнь

  Хорошее место Красный Окрябрь, приятное. Но вот соседство с храмом Pussy Riot напрягает. Мало того, что звонят постоянно, так еще какую-то хрень туда…

• Есть ли жицнь за МКАДом?

  Вакансия в Екатиренбурге С++, Rust, blockchain и зарплата всего 40 000 рублей. Там правда люди живут?

• ROS и языки программирования.

  Дослушал курс до конца, и даже выполнил все задания. Оказалось полезно: ROS - система с развитой инфраструктурой, богатой деталями и тонкостями,…