This is my personal website, I will try to list my projects here.
Bashy came up to me after a book club to present her project of organizing a meetup and then later possibly a conference on the topic of open source.
TEAL is a group I created that meets regularly to discuss scientific articles. I was inspired by the Guild Hall Book Club and wanted to create peer pressure for myself to read more articles.
π Website π Meetup π Discord
This was one of the first meetups I attended, and after a while I took over the meetup. There used to be a meetup group, but since I was paying for it I re-used it for TEAL.
π Facebook Group
Organizing TEAL means doing a number of small tasks every two weeks. For some reason my body is unable to perform those tasks in time, therefore we decided with Alex to automate it using Rust.
This project exists in part because we want to gain more experience implementing stuff with Rust, getting to know Rust libraries, and also creating something that we would actually use.
π Github
A project I am working on related to mutual funds. I am using Elm for frontend and Rust for backend.
π Website
I guess I'm learning Lean now. Mihai already discovered Lean while learning Idris, and now, 2 years later I am also learning it. There is a course at UBB hosted by Mihai and Iulian, and I was invited to be a good student. I think it's great. Can't wait to do some proofs!
I did a presentation about Monads, not my finest presentation, but this was the first time I used the beamer class in latex. I also started using vim, just to make it extra difficult to complete it in time.
π KovΓ‘cs GyΓΆrgy - Monads in Lean
π David Thrane Christiansen - Functional Programming in Lean
After learning Idris, we were thinking about a new language to learn. We decided to go with Rust, because it seemed the most interesting, and we wanted to find out what the "borrow checker" is.
π Steve Klabnik and Carol Nichols β The Rust Programming Language
π Tim McNamara β Rust in Action
Me and three friends (Alex, Mihai, Norbert) came together to learn a new language. The goal was to figure out what "dependent type" means, and what can it be used for.
π Edwin Brady β Type-Driven Development with Idris
I taught lab for a semester for UTCN second year students. The lab was mostly created by me, and the material covered brainfuck, x86 assembly and microcontrollers.
π Jeff Duntemann β Assembly Language Step by Step