The 1.0.0 of Idris has been released just a few months back, just enough to start trying out the language and some of the possibilities dependent typing offers. Back in July, we implemented a type safe bowling kata in which we could not create a bowling game that would not satisfy the rules of the…
You know the routine. You come across a topological space X and you need to find its fundamental group. Unfortunately, X is an unfamiliar space and it's too difficult to look at explicit loops and relations. So what do you do? You look for another space Y that is homotopy equivalent to X and whose fundamental group is much easier to compute. And voila! Since X and Y are homotopy equivalent, you know that the fundamental group of X is isomorphic to the fundamental group of Y. Mission accomplished. Below is a list of some homotopy equivalences which I think are pretty clever and useful to keep in your back pocket for, say, a qualifying exam or some other pressing topological occasion.
The joyous lion of theoretical computer science Boaz Barak is reporting on Avi Wigderson's book Mathematics and Computation which is on Avi's homepage. I read through an earlier version and it is highly recommended! Let me also recommend Avi's earlier survey on interaction between CS and math.
Several weeks ago a friend and I were discussing C++ logging frameworks. He had some issues with his company’s home-made logger, mainly regarding call latenc...
Lately I’ve been writing a game engine in C++. I’m using it to make a little mobile game called Hop Out. Here’s a clip captured from my iPhone 6. (Unmute for …
Quite a few people have asked me recently about choosing a GPU for Machine Learning. As it stands, success with Deep Learning heavily dependents on having the right hardware to work with. When I was…
I co-founded PrepMe in 2001. We were one of the first education companies online and the first purely online, personalized platform. We were acquired in 2011 by Providence Equity-backed Ascend Learning. In the last month, I've had 3 VC firms bring me in to chat with their partnership about education and 6 independent entrepreneurs reach out to…