|
|
(не показано 8 промежуточных версий этого же участника) |
Строка 1: |
Строка 1: |
− | == 2020 == | + | == 2023 == |
| | | |
| + | === 2023-12 === |
| + | |
| + | * 2023-12-16, 22:37:50: [https://packagecloud.io/Altinity/clickhouse Altinity/clickhouse - Packages · packagecloud] |
| + | |
| + | === 2023-02 === |
| + | |
| + | * 2023-02-04, 01:21:59: [https://marketplace.visualstudio.com/items?itemName=Tyriar.luna-paint Luna Paint — Image Editor - Visual Studio Marketplace] |
| + | |
| + | == 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-11 === | | === 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-11-07, 11:54:43: [https://leanprover-community.github.io/learn.html Learning Lean] |
| | | |
Из полностью открытых и достаточно мощных есть еще IBM Power