From 8c04f440849d05416fe4ec4693ec1739882ca866 Mon Sep 17 00:00:00 2001 From: Youwen Wu Date: Wed, 3 Jul 2024 04:38:55 -0700 Subject: [PATCH] content: update about --- src/routes/about/+page.svelte | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/routes/about/+page.svelte b/src/routes/about/+page.svelte index dc7113e..e67905d 100644 --- a/src/routes/about/+page.svelte +++ b/src/routes/about/+page.svelte @@ -42,10 +42,10 @@ and web development in 2020 instead of becoming a cool kernel hacker or something.

- Nowadays, my personal projects primarily consist of tools for developers, and everyone - else. I usually create CLIs for the former and websites for the latter. I see the web as - a necessary evil - it's bloated and inefficient beyond reason, but it remains the - easiest way to reach users with the lowest barriers of entry and commitment. + Nowadays, my personal projects primarily consist of tools to make life easier. My + academic interest is in exploring how we can improve the reliability of computer + programs through formal mathematical methods - namely, the correspondence between + programs, proofs, and categories.