Summer in the Silicon Valley

In this post, I will blog about my 2015 summer in the Silicon Valley interning as a Machine Learning intern at Databricks as well as the »

Mathematica Implementation of QuickSort using Repeated Rule Substitution

Correspondance between replacement rules and function definitions One can view Mathematica functions as simply a global replacement rule which is used to substitute variables (formally $\alpha »

Easy Tree Rotations with Pattern Matching

Rotate trees with confidence! When it comes to programming interviews, one of my biggest fears has always been tree rotations. You'll often see these operations cited »

Thinking Functorially: Commutative Algebra and Type Theory

Thinking Functorially (WIP) These are some of my notes about how commutative algebra and programming languages both benefit from functors. Please refer to (Eisenbud, Commutative Algebra »

MathJax and Code Highlighting in Ghost 0.5

Updated my earlier guide to the 8/16/2014 latest version of Ghost. MathML Support (MathJax) In ghost/content/themes/YOUR_THEME_NAME/default.hbs, before »

Categories: Top and Grp

In this post, we will use the notion of categories and functors to make rigorous the relationship between topological spaces and their underlying fundamental and homology »