shishir03

4 ms·

1. 1.▲
   Exploring the world through a Minecraft Plugin(shishir-iyer.medium.com)

   3 points by shishir03 4y ago|1 comments
2. 2.▲
   by shishir03 4y ago

   Last fall I coded a plugin in Minecraft that can generate any specified region of the Earth. In this blog post I discuss how I went about doing it and some of the challenges I faced along the way. Any feedback is welcome!
3. 3.▲
   by shishir03 6y ago

   Do you have any suggestions for courses teaching practical formal methods?