blob: e7d1428c5ec107137f3d5827b3827892ebb63cbd (
plain)
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
|
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link rel="stylesheet" href="/style/main.css">
<noscript id="lazyloading">
<link rel="stylesheet" href="/vendors/fork-awesome.1.1.7/css/fork-awesome.min.css">
<link rel="stylesheet" href="/vendors/fira-code.2/font.css">
<link rel="stylesheet" href="/vendors/et-book/font.css">
</noscript>
<title></title>
</head>
<body id="vcard">
<article>
<img src="/img/merida.webp">
<p>
Hi, awesome stranger.
</p>
<p>
I am <strong>lthms</strong>, and I welcome you in my little corner of
the Internet.
</p>
<nav>
<dl>
<dt><a href="/posts/">my write-ups</a></dt>
<dd>
You may find interesting my articles if you are into functional
programming languages.
</dd>
</dl>
<dl>
<dt><a href="https://code.soap.coffee"><i class="fa fa-code" aria-hidden="true"></i> code.soap.coffee</a></dt>
<dd>
A collection of personal git repositories, including a set of
dotfiles (emacs, sway…), a set of tools for story writers.
</dd>
</dl>
<dl>
<dt><a rel="me" href="https://mastodon.social/@lthms"><i class="fa fa-mastodon" aria-hidden="true"></i> @lthms@mastodon.social</a></dt>
<dd>
My personal account on the fediverse. I mostly toot about functional
programming languages, formal methods, and my Emacs configuration.
</dd>
</dl>
<dl>
<dt><a href="https://dblp.org/pers/hd/l/Letan:Thomas">my academic publications</a></dt>
<dd>
I have a PhD in computer science, and I focus my research on
applying formal methods approaches to prove security properties.
</dd>
</dl>
</nav>
<p>
I wish you a wonderful day.
</p>
</article>
<script>
let noscript = document.getElementById('lazyloading');
let resources = noscript.innerText.split('\n');
for (var ix in resources) {
noscript.insertAdjacentHTML('beforebegin', resources[ix]);
}
</script>
</body>
</html>
|