-
Сподели Знаење #4-2020: Логика, математика и софтвер
Сподели Знаење #4-2020: Логика, математика и софтвер
Овој четврток (23-07-2020г.) ќе имаме „Сподели Знаење“, четврто годинава. Боро Ситниковски, кој е автор на Gentle Introduction to Dependent Types with Idris и Gentle Introduction to Blockchain with Lisp, по n-ти пат (не знам точно колку пати ни има предавано :)) ќе нѐ држи за рака, и со факел ќе нѐ води низ занданите на …