April 17, 2015

Mods

Recently I went back to check on my mods over at DNModz, a forum...

Read More
April 2, 2015

Database

I wrote my notes while studying for database design in markdown so I thought I...

Read More
March 31, 2015

Updates on Coq

Just an explanation for the lack of updates: I’ve been really busy since, not just...

Read More
March 11, 2015

WAMP

You may have heard of the LAMP stack which stands for Linux, Apache, MySQL, PHP,...

Read More