home.social

#теориятипов — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #теориятипов, aggregated by home.social.

  1. Смотрю лекцию по слабым моделям памяти youtu.be/P4AnGeVFbzo и тут опять касаются формальной верификации, даже сюда хочется #Agda тащить.

    #ФормальнаяВерификация #ТеорияТипов #Программирование

  2. Lol, ChatGPT предлагает мне, чтобы практиковаться в Agda следующее

    > Решать задачи: Как и при изучении любого другого языка, практика очень важна. Вы можете решать задачи на sites, таких как Codewars или HackerRank, а также использовать ресурсы, такие как "The Agda Wiki", который предлагает ряд задач для решения.

    Я сначала посмеялся, лет 5 назад я заходил на этот прекрасный сайт, кажется агдой там и не пахло, а сейчас захожу и там есть специальные задачи для Agda. Я в шоке. Сук, всё. Challenge accepted.

    #Agda #ТеорияТипов #TypeTheory #TheoremProver