#теориятипов — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #теориятипов, aggregated by home.social.
-
Смотрю лекцию по слабым моделям памяти https://youtu.be/P4AnGeVFbzo и тут опять касаются формальной верификации, даже сюда хочется #Agda тащить.
-
Lol, ChatGPT предлагает мне, чтобы практиковаться в Agda следующее
> Решать задачи: Как и при изучении любого другого языка, практика очень важна. Вы можете решать задачи на sites, таких как Codewars или HackerRank, а также использовать ресурсы, такие как "The Agda Wiki", который предлагает ряд задач для решения.
Я сначала посмеялся, лет 5 назад я заходил на этот прекрасный сайт, кажется агдой там и не пахло, а сейчас захожу и там есть специальные задачи для Agda. Я в шоке. Сук, всё. Challenge accepted.