ashinkarov.github.com/links.html at master · ashinkarov/ashinkarov.github.com · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
<!doctype html>
<html lang="en">
    <head>
        <meta charset="utf-8">
        <meta http-equiv="x-ua-compatible" content="ie=edge">
        <meta name="viewport" content="width=device-width, initial-scale=1">
        <title>Artem Shinkarov - links</title>
        <link rel="stylesheet" href="./css/notosans.css" />
        <link rel="stylesheet" href="./css/merriweather.css" />
        <link rel="stylesheet" href="./css/sakura.css" />
        <link rel="stylesheet" href="./css/tema.css" />
    </head>
    <script>
      function visibilityToggle(id) {
         var x = document.getElementById(id);
         //alert("display of " + id + " = " + x.style.display)
         if (x.style.display === "none") {
           x.style.display = "block";
         } else {
           x.style.display = "none";
         }
      }
    </script>
    <body>
        <header>
            <div class="logo">
                <a href="./">Artem Shinkarov</a>
            </div>
            <nav>
                <a href="./">About</a>
                <a href="./publications.html">Publications</a>
                <a href="./archive.html">Posts</a>
                <a href="./links.html">Links</a>
            </nav>
        </header>
        <hr style="border:1px solid #e4e4e4;" />
        <main role="main">
            <p>I am collecting various links that I found interesting.
This includes blogs that I read from time to time, cool
posts that facinate me, etc. I am trying to keep this
categorised, but it does go out of hands sometimes.</p>
<h2 id="blogs">Blogs</h2>
<ul>
<li><a href="https://jesper.sikanda.be/">Jesper Cockx</a> writes all kind
of things about Agda.</li>
<li><a href="https://www.cs.bham.ac.uk/~axt978/">Ayberk Tosun</a> works with
Martin Escardo on the intersection of topology and type
theory.</li>
<li><a href="https://www.cse.chalmers.se/~abela/">Andeas Abel</a> one of
the key Agda developers.</li>
<li><a href="http://gallais.github.io/">Guillaume Allais</a> writes about
type theory, Agda, Idris, etc.</li>
<li><a href="https://mazzo.li/">Francesco Mazzoli</a> — all kinds of
computer science topics.</li>
<li><a href="https://amelia.how/">Amélia Liao</a> writes about Cubical
Agda and type theory.</li>
<li><a href="https://www.cs.bham.ac.uk/~mhe/">Martín Escardó</a> writes
about type theory and mathematics.</li>
<li><a href="https://math.andrej.com/">Andrej Bauer</a> writes about mathematics
and type theory.</li>
<li><a href="https://andraskovacs.github.io/">András Kovács</a> writes about
type theory, often from the implementor’s perspective.</li>
<li><a href="http://bollu.github.io/">Siddharth Bhat</a>
writes about all kinds of CS topics.</li>
<li><a href="https://www.math3ma.com/">Tai-Danae Bradley</a>
writes about category theory and mathematics.</li>
<li><a href="https://pigworker.wordpress.com/">Conor’s blog</a>
explains constructions that float around in his head.</li>
<li><a href="http://docs.hancock.fastmail.fm.user.fm/">Peter Hancock</a>
does not blog a lot, but the stuff that is there is quite interesting.
A number of his papers and documents
<a href="https://www.dcs.ed.ac.uk/home/pgh/">are available here</a>.</li>
</ul>
<h2 id="interesting-articles">Interesting articles</h2>
<ul>
<li><a href="https://math.andrej.com/2007/09/28/seemingly-impossible-functional-programs/">Seemingly impossible function</a>
explores how to find an infinite sequence of binary digits
that corresponds to the given predicate (in finite time)!</li>
<li><a href="http://www.jonmsterling.com/dreamtt/dreamtt/index.html">dreamtt</a>
is a toy implementation of bidirectional elaborator.</li>
<li><a href="https://github.com/AndrasKovacs/elaboration-zoo">Elaboration Zoo</a>
is a collection of experiments that Andras did when studying
how to write efficient elaborators.</li>
<li><a href="http://minikanren.org/workshop/2020/minikanren-2020-paper3.pdf">MicroKanren in J</a>
describes an implementation of relational language MiniKanren in J.</li>
</ul>
<h2 id="agda-related">Agda-related</h2>
<ul>
<li><a href="https://1lab.dev/index.html">1lab</a> is a web page about
Cubical Agda with a lot of examples.</li>
</ul>
<h2 id="books">Books</h2>
<ul>
<li><a href="https://github.com/BartoszMilewski/Publications/blob/master/TheDaoOfFP/DaoFP.pdf">The Dao of Functional Programming</a>
by Bartosz Milewski.</li>
<li><a href="https://topology.mitpress.mit.edu/">Topology</a> from the perspective
of category theory.</li>
<li><a href="https://gustedt.gitlabpages.inria.fr/modern-c/">Modern C</a>
talks about some interesting modern features of C.</li>
<li><a href="https://leanpub.com/the-tao-of-tmux/read">The Tao of Tmux</a>
is a book about tmux.</li>
</ul>
<h2 id="research">Research</h2>
<ul>
<li><p><a href="https://julesjacobs.com/misc/deadlines/">Conference Deadline Calendar</a>.
This is a very nice idea, given that it will be updated.</p></li>
<li><p><a href="https://xavierleroy.org/courses/EUTypes-2019/">Proving compiler correctness</a>
is a course by Xavier Leroy with a number of interesting
implementational details. This is somewhat super-reduced version
of CompCert.</p></li>
<li><p><a href="https://www.andrej.com/zapiski/MGS-2022/notes-on-realizability.pdf">Realizability</a>
by Andrej Bauer. There is also a <a href="https://github.com/andrejbauer/notes-on-realizability">link to GitHub repo</a>
with more details.</p></li>
<li><p><a href="https://golem.ph.utexas.edu/category/">n-Category Café</a>
group blog about physics math and philosophy.</p></li>
</ul>
<h2 id="non-technical">Non-technical</h2>
<ul>
<li><a href="https://arterritory.com/">Artteritory</a>
is a web portal about art.</li>
<li><a href="https://alexanderpiatigorsky.com/">Alexander Piatigorsky</a>
a web page about the philosopher with his works etc.</li>
<li><a href="http://gorky.media/">Gorky media [ru]</a>
is a web portal about literature.</li>
<li><a href="https://www.rigaslaiks.lv/">Rigas Laiks</a>
is a journal about culture and philosophy.</li>
<li><a href="https://knife.media/">Нож [ru]</a>
is a web portal about culture.</li>
</ul>
        </main>
    </body>
</html>