welcome to the personal webpage of a thing called charlie.

charlie's interests include, but are not limited to:

• math
• lean
• rust
• bugs
• hollow knight
• star trek
• robots
• charachorder

one may expect future content on this page to be of or related to the above topics.

friends and other lovely creatures :]

etc.

it uses NixOS, btw. its personal NixOS configuration can be found here.

its academic-facing webpage and math blog can be found here, but please note that it is very out-of-date and will be overhauled in the near future.