/ Recent content on Bassel Mabsout Hugo -- gohugo.io en-US Sun, 03 Dec 2017 17:09:14 -0500 /blog/constructing-vectors/ Sun, 03 Dec 2017 17:09:14 -0500 /blog/constructing-vectors/ This is not yet another blog post on the benefits of dependently typed length indexed vectors and how they’re defined, if you’re looking for that Justin Le did a much better job than I can: https://blog.jle.im/entry/fixed-length-vector-types-in-haskell.html. I will only try to construct such vectors. But, as a short description: they are Vectors with their length encoded at the type level like: Vector 3 Float. Libs I will be using V from Linear. /blog/spheres-and-points/ Sat, 11 Nov 2017 17:09:14 -0500 /blog/spheres-and-points/ Regular polytopes A curious topological result in euclidean spaces is the number of possible regular polytopes in n dimensions. The series (starting with dimension 0) goes like this: 1 1 ∞ 5 6 3 3 3 ... Platonic solids What this means is that there are only 5 regular or platonic solids in 3 dimensional space. That’s it! These are solids where all the sides are equal and all the faces are the same regular polygon. /about/colophon/ Sat, 22 Aug 2015 06:28:26 -0700 /about/colophon/ This website is a personal homepage. The site is built with Hugo—a static site generator made with Go. The website source code is available on GitHub. It uses the cocoa theme. The posts are written in Markdown. The primary font face is Open Sans and the monospace font face is Ubuntu Mono. The social icons are from the Ionicons font set. CSS classes for code syntax highlighting are done by the highlightjs library