Evan M. Drake
Chico CA
Hello, my name is Evan Drake. I am a computer science researcher among other things. I enjoy writing about my hobbies be that research or about some of the interesting books I read. I graduated in 2024 with my masters (my thesis can be found below), and currently I am taking a break from academic study but I plan on returning for my PhD in the coming years. To stay sharp I decided to start writing about some of the research side quests I have been doing. This website includes both a blog for less formal writings (usually) and a projects tab where you can find some of my ongoing projects. I will try to post news about both my interests and some interesting books/publications I read.
news
| May 24, 2025 | cool_induction_proof |
|---|---|
| Mar 13, 2025 | I have created a bookshelf with an ongoing collection of my favorite academic books |
| Mar 06, 2025 | I have a project idea for a topological library in Lean4 that I will start working on soon. |
| Feb 11, 2025 | First blog post is up and finalized |
| Jan 25, 2025 | I created this new blog using Ruby/Jekyll and al-folio, to act as a kind of writing space for my hobbies and research needs. |
latest posts
| Mar 28, 2026 | The Completeness Axiom |
|---|---|
| Apr 19, 2025 | Induction |
| Jan 30, 2025 | Inversion Operation |
