tone down the drop shadows
Add a post about learning dependent types
Publish post on learning dependent types