youwen5/site
1
0
Fork 0
mirror of https://github.com/youwen5/site.git synced 2024-11-24 09:23:50 -08:00
Code Issues Projects Releases Packages Wiki Activity Actions

content: update about

Browse source
This commit is contained in:
Youwen Wu 2024-07-03 04:38:55 -07:00
parent b284b1f83c
commit 8c04f44084
Signed by: youwen5
GPG key ID: 865658ED1FE61EC3
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
src/routes/about/+page.svelte
View file

@ -42,10 +42,10 @@
and web development in 2020 instead of becoming a cool kernel hacker or something.
</p>
<p class="text-xl leading-relaxed">
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.
</p>
<img
src="https://github.com/youwen5/youwen5/raw/main/profile-3d-contrib/profile-night-view.svg"