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
|
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<title>Tom Smeding</title>
<style>
/* Source: https://github.com/madmalik/mononoki/blob/master/style.css */
@font-face {
font-family: 'mononoki-webfont';
src: url('/fonts/mononoki-Regular.eot?#iefix') format('embedded-opentype'), /* IE6-IE8 */
url('/fonts/mononoki-Regular.woff2') format('woff2'), /* Super Modern Browsers */
url('/fonts/mononoki-Regular.woff') format('woff'), /* Pretty Modern Browsers */
url('/fonts/mononoki-Regular.ttf') format('truetype'); /* Safari, Android, iOS */
font-weight: normal;
font-style: normal;
}
@font-face {
font-family: 'mononoki-webfont';
src: url('/fonts/mononoki-Bold.eot?#iefix') format('embedded-opentype'), /* IE6-IE8 */
url('/fonts/mononoki-Bold.woff2') format('woff2'), /* Super Modern Browsers */
url('/fonts/mononoki-Bold.woff') format('woff'), /* Pretty Modern Browsers */
url('/fonts/mononoki-Bold.ttf') format('truetype'); /* Safari, Android, iOS */
font-weight: bold;
font-style: normal;
}
@font-face {
font-family: 'mononoki-webfont';
src: url('/fonts/mononoki-Italic.eot?#iefix') format('embedded-opentype'), /* IE6-IE8 */
url('/fonts/mononoki-Italic.woff2') format('woff2'), /* Super Modern Browsers */
url('/fonts/mononoki-Italic.woff') format('woff'), /* Pretty Modern Browsers */
url('/fonts/mononoki-Italic.ttf') format('truetype'); /* Safari, Android, iOS */
font-weight: normal;
font-style: italic;
}
@font-face {
font-family: 'mononoki-webfont';
src: url('/fonts/mononoki-BoldItalic.eot?#iefix') format('embedded-opentype'), /* IE6-IE8 */
url('/fonts/mononoki-BoldItalic.woff2') format('woff2'), /* Super Modern Browsers */
url('/fonts/mononoki-BoldItalic.woff') format('woff'), /* Pretty Modern Browsers */
url('/fonts/mononoki-BoldItalic.ttf') format('truetype'); /* Safari, Android, iOS */
font-weight: bold;
font-style: italic;
}
body {
font-family: mononoki, mononoki-webfont, "Courier New", Courier, Monospace;
text-align: center;
}
div.main-content {
display: inline-block;
max-width: 800px;
}
#pubs-ul {
text-align: left;
}
@media (prefers-color-scheme: dark) {
body {
color: #eee;
background-color: #181818;
}
a {
color: #bbf;
}
a:visited {
color: #99f;
}
}
</style>
</head>
<body>
<div class="main-content">
<h1>Hi!</h1>
<p>
I'm Tom Smeding. I love programming, doing math and playing the piano.<br>
I'm a PhD candidate in computer science at Utrecht University in the Netherlands.
</p>
<p>
You can reach me on
<a href="https://matrix.to/#/@tom:tomsmeding.com">Matrix</a>,
<a href="https://libera.chat/">Libera.chat</a>,
<a href="https://telegram.me/tomsmeding">Telegram</a>,
<a href="https://github.com/tomsmeding">Github</a>,
<a href="https://www.linkedin.com/in/tom-smeding">LinkedIn</a> and
<a href="https://www.facebook.com/tom.smeding">Facebook</a>,
among others.
Besides Github, I also have a number of projects on my <a href="https://git.tomsmeding.com">own server</a>.
</p>
<p>
I've also <a href="/blog">written some notes</a> at some point.
</p>
<details><summary><u>For a list of my academic publications, click here.</u></summary>
<ul id="pubs-ul">
<!--PUBS-REPLACE-START--> (Info missing, server misconfigured) <!--PUBS-REPLACE-END-->
</ul>
</details>
</div>
</body>
</html>
|
