diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-02-04 18:13:38 +0100 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-02-04 18:13:38 +0100 |
commit | 9754a53fdc14f6ee4cf00f851cda68d69889bdcd (patch) | |
tree | 0af2ae9e1488f22b56e92cb6b17bb82e2f919bd3 /site/index.html |
Initial commit with previous content and a minimal theme
Diffstat (limited to 'site/index.html')
-rw-r--r-- | site/index.html | 61 |
1 files changed, 61 insertions, 0 deletions
diff --git a/site/index.html b/site/index.html new file mode 100644 index 0000000..442f5a5 --- /dev/null +++ b/site/index.html @@ -0,0 +1,61 @@ +<!doctype html> +<html lang="en"> + <head> + <meta charset="utf-8"> + <meta name="viewport" content="width=device-width, user-scalable=no"> + <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/fork-awesome@1.1.7/css/fork-awesome.min.css" integrity="sha256-gsmEoJAws/Kd3CjuOQzLie5Q3yshhvmo7YNtBG7aaEY=" crossorigin="anonymous"> + <link rel="stylesheet" href="https://cdn.jsdelivr.net/gh/tonsky/FiraCode@1.207/distr/fira_code.css"> + <link rel="stylesheet" href="https://edwardtufte.github.io/et-book/et-book.css"> + <link rel="stylesheet" href="/style/main.css"> + <title></title> + </head> + <body id="vcard"> + <article> + <img src="https://avatars0.githubusercontent.com/u/1141231?s=460&v=4"> + + <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 blog</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 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> + </body> +</html> |