http://homotopytypetheory.org/2013/06/20/the-hott-book/
http://golem.ph.utexas.edu/category/2013/06/the_hott_book.html
Участник:StasFomin/Bookmarks/CS — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Добавлена закладка The HoTT Book: category_theory — LiveJournal) |
StasFomin (обсуждение | вклад) (Добавлена закладка Итак, вы установили fzf. Что дальше? / Хабр) |
||
| (не показаны 2 промежуточные версии этого же участника) | |||
| Строка 1: | Строка 1: | ||
| + | == 2023 == | ||
| + | |||
| + | === 2023-08 === | ||
| + | |||
| + | * 2023-08-05, 11:43:01: [https://habr.com/ru/articles/724070/ Итак, вы установили fzf. Что дальше? / Хабр] | ||
| + | |||
== 2020 == | == 2020 == | ||
=== 2020-07 === | === 2020-07 === | ||
| + | * 2020-07-08, 10:38:56: [https://softwarefoundations.cis.upenn.edu/plf-current/Hoare.html?fbclid=IwAR0bL5qyR-u0sVD_ztmgSGXZbOVGIdMaxTP7lOrlXGZsnoc56ebkTRNz-i0 Hoare: Hoare Logic, Part I] | ||
| + | * 2020-07-02, 21:35:57: [https://discopal.ispras.ru/%D0%A3%D1%87%D0%B0%D1%81%D1%82%D0%BD%D0%B8%D0%BA:StasFomin/Bookmarks/Algorithms Участник:StasFomin/Bookmarks/Algorithms — DISCOPAL] | ||
* 2020-07-02, 20:44:29: [https://category-theory.livejournal.com/19259.html The HoTT Book: category_theory — LiveJournal] | * 2020-07-02, 20:44:29: [https://category-theory.livejournal.com/19259.html The HoTT Book: category_theory — LiveJournal] | ||
*: <html><h1 class=" b-singlepost-title entry-title p-name " ng-non-bindable="">The HoTT Book </h1> <div class="b-singlepost-bodywrapper"> <article class="b-singlepost-body entry-content e-content ng-scope" lj-sale-entry="" lj-discovery-tags="" lj-embed-resizer=""> <a href="http://homotopytypetheory.org/book/" rel="nofollow" target="_self">http://homotopytypetheory.org/book/</a> <br><a href="http://homotopytypetheory.org/2013/06/20/the-hott-book/" rel="nofollow" target="_self">http://homotopytypetheory.org/2013/06/20/the-hott-book/</a><br><a href="http://golem.ph.utexas.edu/category/2013/06/the_hott_book.html" rel="nofollow" target="_self">http://golem.ph.utexas.edu/category/2013/06/the_hott_book.html</a> </article> <div class="z7fhfxd z7fhfxd--empty ng-isolate-scope" zr2z6e5j0on0scroll="true" zr2z6e5j0window0min="320" zr2z6e5j0window0max="1000" zr2z6e5j0close0less="true" zr2z6e5j0not0init="zvti6cemobile_content_5"><div class="z7fhfxd__inner"> <div class="z7c4ll7s8ko "></div></div></div></div></html> | *: <html><h1 class=" b-singlepost-title entry-title p-name " ng-non-bindable="">The HoTT Book </h1> <div class="b-singlepost-bodywrapper"> <article class="b-singlepost-body entry-content e-content ng-scope" lj-sale-entry="" lj-discovery-tags="" lj-embed-resizer=""> <a href="http://homotopytypetheory.org/book/" rel="nofollow" target="_self">http://homotopytypetheory.org/book/</a> <br><a href="http://homotopytypetheory.org/2013/06/20/the-hott-book/" rel="nofollow" target="_self">http://homotopytypetheory.org/2013/06/20/the-hott-book/</a><br><a href="http://golem.ph.utexas.edu/category/2013/06/the_hott_book.html" rel="nofollow" target="_self">http://golem.ph.utexas.edu/category/2013/06/the_hott_book.html</a> </article> <div class="z7fhfxd z7fhfxd--empty ng-isolate-scope" zr2z6e5j0on0scroll="true" zr2z6e5j0window0min="320" zr2z6e5j0window0max="1000" zr2z6e5j0close0less="true" zr2z6e5j0not0init="zvti6cemobile_content_5"><div class="z7fhfxd__inner"> <div class="z7c4ll7s8ko "></div></div></div></div></html> | ||
Текущая версия на 11:43, 5 августа 2023
Содержание
2023
2023-08
- 2023-08-05, 11:43:01: Итак, вы установили fzf. Что дальше? / Хабр
2020
2020-07
- 2020-07-08, 10:38:56: Hoare: Hoare Logic, Part I
- 2020-07-02, 21:35:57: Участник:StasFomin/Bookmarks/Algorithms — DISCOPAL
- 2020-07-02, 20:44:29: The HoTT Book: category_theory — LiveJournal
-
The HoTT Book
-
- 2020-07-02, 19:47:30: "Reverse Engineering for Beginners" free book
- RE4B and "Understanding Assembly Language".
- 2020-07-02, 19:46:58: Dennis Yurichev: SAT/SMT by Example
- SAT/SMT by Example