Участник:StasFomin/Bookmarks/Crypto — различия между версиями

Материал из DISCOPAL
Перейти к: навигация, поиск
(Добавлена цитата к закладке Ruslan Karmanov)
(Добавлена закладка Finding the process that a window belongs to)
 
(не показано 7 промежуточных версий этого же участника)
Строка 1: Строка 1:
 +
== 2021 ==
 +
 +
=== 2021-09 ===
 +
 +
* 2021-09-04, 16:31:44: [https://kb.froglogic.com/misc/find-process-for-window/ Finding the process that a window belongs to]
 +
 +
=== 2021-06 ===
 +
 +
* 2021-06-12, 03:30:34: [http://192.168.4.102/investigateprint Централизованная Система Идентификации]
 +
 
== 2020 ==
 
== 2020 ==
 +
=== 2020-11 ===
 +
 +
* 2020-11-26, 03:44:35: [https://homotopytypetheory.org/book/ The HoTT Book | Homotopy Type Theory]
 +
* 2020-11-26, 03:42:24: [https://habr.com/ru/company/near/blog/526682/?utm_campaign=526682&utm_source=habrahabr&utm_medium=rss Нерешенные проблемы шардинга в блокчейне / Блог компании Near / Хабр]
 +
* 2020-11-11, 09:03:10: [https://www.youtube.com/watch?v=MFH93fJzKBM OS DAY_day 2 - YouTube]
 +
* 2020-11-11, 09:01:13: [https://link.springer.com/article/10.1007/s12243-020-00751-w Consistency, availability, and partition tolerance in blockchain: a survey on the consensus mechanism over peer-to-peer networking | SpringerLink]
 +
* 2020-11-07, 11:55:46: [https://golem.ph.utexas.edu/category/2013/01/from_set_theory_to_type_theory.html From Set Theory to Type Theory | The n-Category Café]
 +
* 2020-11-07, 11:54:43: [https://leanprover-community.github.io/learn.html Learning Lean]
 +
 
=== 2020-08 ===
 
=== 2020-08 ===
  

Текущая версия на 13:31, 4 сентября 2021

2021

2021-09

2021-06

2020

2020-11

2020-08

2020-07