diff --git a/_data/navs.yml b/_data/navs.yml deleted file mode 100644 index a3da499..0000000 --- a/_data/navs.yml +++ /dev/null @@ -1,15 +0,0 @@ -- name: "depsterr.com" - path: "/" - home: true - -- name: "about" - path: "/about.html" - home: false - -- name: "blog" - path: "/blog.html" - home: false - -- name: "feed" - path: "/feed.xml" - home: false diff --git a/_layouts/nav.html b/_layouts/nav.html index 089e141..66a41dc 100644 --- a/_layouts/nav.html +++ b/_layouts/nav.html @@ -2,15 +2,9 @@ layout: default ---
- +
{{ content }} diff --git a/about.md b/about.md deleted file mode 100644 index 4faea30..0000000 --- a/about.md +++ /dev/null @@ -1,39 +0,0 @@ ---- -layout: centered -title: "about" ---- - -# About - -## Who am I? - -I'm a first year at Chalmers University of Technology in Gothenburg. My interests include mathematics, programming languages, type theory and formal methods. Though I'm not necessarily particularly knowledgable in any of these fields. My dislikes include blockchain, machine learning, and bigots. - -I currently mostly write Haskell, though I'd also consider myself proficient at C. I know a fair bit of Agda, Idris, Scheme, and ruby. I'm interested in learning APL, Ocaml, and Coq. - -## What have I made? - -Here are some of my "complete" projects. - -* [bc](https://githug.xyz/depsterr/bc) - A brainfuck compiler for x86_64-linux that collapses consecutive +- and <> operations into single instructions. -* [mpdart](https://githug.xyz/depsterr/mpdart) - A X application which displays the album art of the song/album currently played by mpd. -* [viddl](http://viddl.depsterr.com) - A web interface to youtube-dl -* [kino](http://githug.xyz/depsterr/kino) - A tui client for [yts.mx](https://yts.mx) -* [hm](http://githug.xyz/depsterr/hm) - A hindley-milner type checker - -## Contact Info - -### Email - -Personal email: - -```c -int main(int argc, char** argv) { - do { - putchar(*("gcc thiscode.c; ./a.out" + (char)(*++argv)) ^ *( - "\x03\x06\x13\x53\x00\x0d\x1b\x01\x23\x1f\x16\x0a" - "\x5a\x0c\x55\x4d\x4f\x46\x0d\x00\x0c\x1a\x19\x0a" - + (char)((*argv)++))); - } while ((char)*(--argv + 1) % (3 << 3)); -} -``` diff --git a/assets/css/main.scss b/assets/css/main.scss index 725309f..1d426d2 100644 --- a/assets/css/main.scss +++ b/assets/css/main.scss @@ -59,6 +59,10 @@ figcaption { color: $text; } +.tcenter { + text-align: center; +} + pre code { display: block; } diff --git a/blog.html b/blog.html deleted file mode 100644 index 9dad740..0000000 --- a/blog.html +++ /dev/null @@ -1,14 +0,0 @@ ---- -layout: centered -title: "blog" ---- - diff --git a/index.html b/index.html index ca7f5db..6208989 100644 --- a/index.html +++ b/index.html @@ -1,9 +1,19 @@ ---- -layout: centered -title: "home" ---- -

-{% katexmm %} -A living $\bot$ -{% endkatexmm %} -

+--- +layout: centered +title: "blog" +--- + +{% katexmm %} +

A living $\bot$

+{% endkatexmm %} + +