My lastest posts
-
Understanding how computation works part 8
2016/09/19On this post, I will try to make you understand more about computer science. In this part of the post we are going learn about an abstract way of programming, useful for testing if a program's going to execute right.
Read more -
Understanding how computation works part 7
2016/09/19On this post, I will try to make you understand more about computer science. In this part of the post we are going to see a impossible program.
Read more -
Understanding how computation works part 6-2
2016/09/01On this post, I will try to make you understand more about computer science. In this part of the post we are going to see two more universal system: Tag System, Cyclic Tag System.
Read more -
Understanding how computation works part 6-1
2016/08/29On this post, I will try to make you understand more about computer science. In this part of the post we are going to see how to simulate a Turing machine with lambda calculus, and learn about two ways of writing programs: Partial Recursive Functions and SKI Combinator Calculus.
Read more -
GSoC - My project's code submission
2016/08/15After 3 months working for a company called OpenSNP on the program Google summer of code, I finally made it, and to show you, I will talk about what I have done on this project.
Read more -
Understanding how computation works part 5-2
2016/08/02On this post, I will try to make you understand more about computer science. In this part of the post we are going to see what more we can do with lambda calculus, we're going to also try to implement an interpreter for lambda calculus and parse this interpreter.
Read more -
Understanding how computation works part 5-1
2016/07/29On this post, I will try to make you understand more about computer science. In this part of the post we are going to talk about a minimal programming language, called untyped lambda calculus.
Read more -
Understanding how computation works part 4
2016/02/19On this post, I will try to make you understand more about computer science. In this part of the post we are going to talk about Alan Turing machine, how it works and how can we simulate it.
Read more -
Understanding how computation works part 3
2016/02/19On this post, I will try to make you understand more about computer science. In this part of the post we are going to talk about a new type of automatas, called Pushdown Automata.
Read more -
Understanding how computation works part 2-2
2016/02/19On this post, I will try to make you understand more about computer science. So, in this part of the post we are going to parse the RegExp implementation and we will convert a NFA into a DFA.
Read more -
Understanding how computation works part 2-1
2016/02/19On this post, I will try to make you understand more about computer science. So, in this part of the post we are going to see what is a automata, the different kinds that exists and how the work.
Read more -
Understanding how computation works part 1-2
2016/02/05On this post, I will try to make you understand more about computer science. So, in this part, I will talk about Denotational Semantics, and we are going to parse the semantics implementation.
Read more -
Understanding how computation works part 1-1
2016/02/05On this post, I will try to make you understand more about computer science. So, to start the post, I will talk about the meaning of programs and talk a little bit about Operational Semantics.
Read more -
Learning SQL
2015/09/09SQL is a standard language for accessing databases, on this post you are going to understand more about the language and learn how to programe on it.
Read more -
Compiling Sass
2015/08/04Sass is the most mature, stable, and powerful professional grade CSS extension language in the world. This post will teach you how to compile your Sass project on a css file
Read more -
Using Sass - PART 2
2015/07/31Sass is the most mature, stable, and powerful professional grade CSS extension language in the world. This post is the continuation of the 'Using Sass - PART 1' post, so let's continue.
Read more -
Using Sass - PART 1
2015/07/30Sass is the most mature, stable, and powerful professional grade CSS extension language in the world. This post will teach how to use it in your project, let's get start?
Read more -
Blogging with Jekyll
2015/07/07Using HTML, CSS, Jekyll and Markdown you are going to create your own website, but not a totally static website, with the help of Jekyll this is possible, because Jekyll is a blog-aware, static site generator.
Read more -
Installing Jekyll in your Windows environment
2015/07/02Jekyll is a RubyGem that offers you a way of transforming your HTML/CSS into a static website. This post is about how to install and use Jekyll, let's move on.
Read more -
Installing Ruby in your Windows environment
2015/07/01Ruby is a dynamic, reflective, object-oriented, general-purpose programming language. This post is about how to install Ruby in your windows, it's easy, so let's get it on.
Read more