diff --git a/src/index.html b/src/index.html index 4cdc5e0..38c1388 100644 --- a/src/index.html +++ b/src/index.html @@ -31,54 +31,51 @@
-
-
-
-

Hosting

-

- The following websites are served from - NixOS - machines hosted on - Digital Ocean. If interested in starting a similar hosting solution, consider - getting a $200 credit using my - referral link. Configuration files for each of my machines can be found - here. -

-
- DigitalOcean Referral Badge +
+
+

Hosting

+

+ The following websites are served from + NixOS + machines hosted on + Digital Ocean. Configuration files for each of my machines can be found + here. If interested in starting a similar hosting solution, consider + getting a $200 credit using my + referral link. +

- + blog
Blog -

My blog is a jekyll project

+

+ I occasionally write about (usually) technical concepts in my + blog. Originally powered by Github Pages, I've since moved the + Jekyll-based + project to a self-hosting solution. Theming is provided by + Chirpy. +

@@ -87,42 +84,60 @@ target="_blank" class="w-32 h-32 flex-none" > - bookshelf + bookshelf
Bookshelf -

Bookshelf...

+

+ A collection of books I am actively studying. Usually mathematics + or computer-science based. I aim to prove concepts as I encounter + them using the + Lean + interactive theorem prover. All proofs are also available in + LaTeX. +

- - boardwise + + boardwise
- BoardWise -

BoardWise is a Phoenix project...

+

+ A + Phoenix- and + React-based + project that provides an interface for finding chess coaches. This + serves as an alternative to those found on + Lichess + and + Chess.com. + Based on the + Tailwind Studio + theme. +

-

Projects

+

Projects

  • Bootstrap
  • Anki Synonyms
  • @@ -130,5 +145,17 @@
+ diff --git a/src/main.css b/src/main.css index b5c61c9..db1d70b 100644 --- a/src/main.css +++ b/src/main.css @@ -1,3 +1,7 @@ @tailwind base; @tailwind components; @tailwind utilities; + +a { + text-decoration: underline; +}