Hi! I'm Corey Richardson. I'm taking MP351 for 3 credits. I've been an active member of the labs since the very first meeting my freshman year, 2013. Next semester I'll be on a co-op at NICTA's trustworthy systems research group, specifically on the verification team for the seL4 microkernel. This semester, I served as a lab co-director and lead a number of other efforts. Here are my chronicles...
As a co-director, I handled meeting emails and led forums and meetings.
Ziltoid the Omniscient is COSI's router and firewall. I spent some time drafting a design document. Right now, it is running a Debian system, and is not tied into Ansible yet. In fact, it has no automation at all! This is unfortunate. But thankfully, it can be improved incrementally.
I designed the box that the new mirror will go in. The announcement email has details about the situation and the suggested new build. A huge thank you to all of the alumni that have donated! We also got a lovely cost-saving recommendation, which is outlined in the update email. We're still waiting for the last of the money to land in our account. Since I'm going on co-op, I won't be able to participate in the physical setup. I will be guiding the maintainer with setting up the storage array. We've also received a large donation of equipment from OIT, that I want to experiment with to create a distributed filesystem for Mirror.
As a sort-of continuation of last year's Coq study group (the "Coq Qlub"), I started a study group for the highly esteemed text, Types and Programming Languages. For most of the semester, we met twice weekly to discuss the reading and exercises. This turned out to be a crazy pace, and we scaled it back a lot as all of us became very busy with classes. Since I've previously worked through about half of the material already, I served more as a teacher.
This was my primary project this semester. We have a simple website. Our primary goal is to create a robust Rust ecosystem around the seL4 kernel. As one of our sub-projects, we have the Robigo project. This will be a POSIX-compliant userspace server which will (ideally) allow running most POSIX-compliant programs unmodified in seL4. Our code is on GitLab.
Like last year, I organized a game jam we call the 7-Hour Roguelike. It was a lot of fun, and quite a few people joined and made their roguelike open-source. We even had a team from SUNY Potsdam!
During one of the after-meeting slots, I organized a PGP key signing party. Part of this was running a workshop on creating a PGP key, and how PGP works in general. I wrote up a very small list on on the docs for future key signing parties at COSI.
I personally have been using the Isabelle interactive theorem prover somewhat extensively this semester, as it's the tool I'll be using on my co-op. They are a free software project. They previously did not have a mirror in the US, but now we mirror them officially!.
My contributions to open source software this semester mostly consisted of reporting issues. I made a few minor patches to the seL4 proof infrastructure. I also released some of my own code, from the various side projects I've been working on. It's all on my GitHub profile.
I continued to maintain the infrastructure of This Week in Rust, a weekly newsletter about happenings in the Rust community. I also edited a few episodes when the other editors were not available, though we rotate editors due to the significant time commitment (a few hours each week!). We now have a new, "modern" and mobile-friendly theme. We also use MailChimp for mailing out the newsletter, instead of it only being on the blog.