ashinkarov.github.com/archive.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
<!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 - Archives</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">

<ul>

        <li>
            <a href="./posts/2023-09-04-fhpnc23.html">Presenting at FHPNC'23</a> - June 12, 2023
        </li>

        <li>
            <a href="./posts/2023-06-12-types23.html">Presenting at TYPES'23</a> - June 12, 2023
        </li>

        <li>
            <a href="./posts/2016-05-12-british-scientists-2.html">Чем занимаются британские ученые (2)</a> - May 12, 2016
        </li>

        <li>
            <a href="./posts/2016-03-23-british-scientists-1.html">Чем занимаются британские ученые (1)</a> - March 23, 2016
        </li>

        <li>
            <a href="./posts/2013-04-09-firefox-in-gentoo.html">Firefox on Gentoo</a> - April  9, 2013
        </li>

        <li>
            <a href="./posts/2013-04-08-updating-my-blog.html">Updating my blog</a> - April  8, 2013
        </li>

        <li>
            <a href="./posts/2013-02-01-teaching-operating-systems.html">Teaching operating systems</a> - February  1, 2013
        </li>

        <li>
            <a href="./posts/2013-01-31-amazon-luck-left-me.html">Amazon luck had left me</a> - January 31, 2013
        </li>

</ul>


        </main>
    </body>
</html>