Hello, and welcome to my site! I’m Arthur, an MEng student at MIT studying computer science, looking for work as a software engineer in August 2024, and also considering entering grad school in some distant future. General things I find interesting and/or enjoy include programming languages, logic programming, computer-assisted proofs, musical and non-musical theater, horror movies, and many other misc. things. Check out my resume to learn more about my past work experience.
The demo Hugo theme that is the basis for this website, Hugo XMIN, has a subtitle “Keep it simple, but not simpler”, so I decided to substitute in something more applicable to myself. It’s a fusion of “One must imagine Sisyphus happy” from Camus, and a reference to the myth of Icarus and Daedalus. Something there resonates with me, both with the idea of Sisyphus’ unending punishment/goal to keep pushing a boulder up, only to lose everything at the precipice of glory, and trying again, and with the idea of flying towards the Sun on wings built by a metaphorical progenitor, blinded by the ambition and only being able to be that ambitious through someone else’s dreams. If I were able to articulate this more clearly, I’d be a writer instead.
All pages not under the root directory of the website are listed below. You can also visit the list page of a single section, e.g., posts, or notes. See the About page for more background about me and this website.