Posts

Fixing broken Haskell packages in Nixpkgs

August 3, 2021

It doesn’t matter who you are, it doesn’t matter when or where, sooner rather than later you’ll get a broken Haskell package in your Haskell project, what will you do when that happens?

Let's GPG like a paranoiac

May 29, 2021

This post assumes you have … Installed rng-tools in your system. Turned off your WiFi. Pulled out the Ethernet cable.

Setting up a Rust environment in Nix

May 15, 2021

When using Nix, we have different mechanisms at our disposal to setup a development environment for Rust, in this post we’ll explore the most common alternatives out there and the nicest of them all.

Installing Haskell quick and easy

April 6, 2021

There are several ways to install Haskell, pick one and let’s waste no time: Using stack Using ghcup Using nix Using stack On Linux or Mac Open a terminal an paste the following:

Basic kit survival guide when you have no GUI on Linux

April 2, 2021

I took bare Xmonad for a spin, quickly I realized I have no graphical apps installed for do most of the things I needed to do, so here is a quick cheat sheet for those moments of despair.

Build Haskell web services with Servant - Introduction

February 26, 2021

I’m beginning a series of blog posts motivated by a scream of HEEELP! I sensed in a Reddit post (ok maybe I’m exaggerating… was more like a whisper), the OP was pretty much complaining about the lack of resources to build real stuff with Servant, the community just pointed him to the “amazing docs” and the Servant paper to learn about it, others just discouraged it as “Servant is not for beginners”.

The Haskell FAQ

February 25, 2021

This is the proper introduction that I didn’t have when starting out with Haskell, I hope it serves you well. Let’s go!

Getting started with Haskell

May 25, 2020

In a episode “A touch of Haskell”, we learned the basic concepts of functional programming and how these are used in Haskell, however it was a rather dull post in the sense that it didn’t really explain how to get started at kicking butts with Haskell, and this is exactly what this post is really about.

Uploading files from Android to AWS S3 using Retrofit2

March 4, 2020

This is one of those posts that serves as a helping hand to others in need of clear and updated answers (at the time of writing) about how to upload files from Android to a server (in my case to a bucket in AWS S3) using Retrofit2.

What does an implication implies?

December 10, 2019

When learning about logic the majority of us understand perfectly the logic behind how and, or and not works, but not so much for implies, according to a boolean table this is how implies works:

Managing stacks with Docker Swarm

November 29, 2019

Recently I’m interested in streamlining the deployment of applications in the most automated way possible and is not possible to do this without looking at Docker (let’s ignore Nix for now), in this post we will get to know the basics of docker swarm.

The key principles to effectively develop Plutus smart contracts

April 5, 2019

In case you’ve been living under a rock or just haven’t heard of smart contract platforms, let me say these are just distributed computing platforms built on top of a blockchain, Ethereum is the most famous, or should we say infamous?

Compute the Merkle Tree of Bitcoin blocks using Haskell's cryptonite

March 19, 2019

EDIT 4/11/2019: If you want to follow along, the full code described in this post has been uploaded to GitHub here, though beware some things are little bit different as some additions and amendments have been made.

A touch of Haskell for the curious

December 10, 2018

Hello!, today we will write about things a newcomer to Haskell would need to ease the journey into the pure world, as for my self I could have certainly avoided the struggle in the paradigm shift if I were given something like this.

Generate PDF from HTML in NodeJS

December 5, 2018

I don’t do much JavaScript to be honest, if all I’m doing is web development I usually go with Python on the backend and Elm on the client side, but this time I needed to generate a PDF in NodeJS without any transpiler involved, so JavaScript it was.

Using Scalpel to build a simple web scraper with Haskell

November 25, 2018

Lately I was just curious about what functional programming language is considered to be the best suited to the area of web development, I started looking the web for answers, suddenly this post on HackerNews got my attention and it came to mind: why not to build a scraper to see which programming language has more mentions?

Notes on introduction to Dependent Types #2

November 3, 2018

In the last post we reviewed the ideas of dependent types as interpreted from the book "The Little Typer" by Daniel P.

Notes on introduction to Dependent Types #1

October 26, 2018

One of the reasons of existence of this website (my blog site) is for me to “record” whatever thing I’m learning or exploring at the moment, I know now that for me is much harder to do, I don’t have my creative ability as tuned as my “content consuming” ability, but at least I’m going to try.

Simple load balancing with Nginx and AWS

April 21, 2018

This time we’re going to configure a load balancer with Nginx, however before we start we need to know the basics of load balancing.

Using the map reduce facility in MongoDB

December 1, 2017

Continuing with the MongoDB series, now I would like to write about the built in mapReduce function. In order to have an example to illustrate the concept I’m going to download tweets into a MongoDB collection using pymongo and Twython.

How to mine Ether in Linux Ubuntu Server 16.04

November 11, 2017

The following instructions assumes that you already have a ETH Wallet ID and that your GPU card’s model is AMD RX580, if you use other OS or GPU then you need to adjust that properly by verifying package names and the correct drivers for the graphics card.

An introduction to mongo aggregations

September 16, 2017

This post describes a simple introduction to mongodb and how to get started with building complex queries. I suggest to read my previous post on NoSQL Databases in case you haven’t worked with them before so that you know what they are and what they are not.

NoSQL Databases

September 2, 2017

This time I’m going to write about what is a NoSQL database, let’s be clear about the different types of NoSQL databases that exist right now and why there are so many of them, but before we begin we need to understand what are SQL databases.

My keyboard layout migration experience, say hello to Colemak

June 4, 2017

For quite some time I’ve wanted to try a new keyboard layout, the first one I knew about was Dvorak, I was drawn by the idea that such a layout existed to optimize typing and after reading about the origins of the Qwerty layout I felt pretty uncomfortable that we used this layout only by historical reasons and not for better productivity.

Reminiscences of my "Vim to Emacs" experience

June 4, 2017

I’ve been using Emacs as my main editor for about two years now, and so far it’s been the best programming tool I’ve ever used, however is not for everyone, I think Vim users and Emacs users are somewhat compatible in their tastes while some others wouldn’t like either of those and prefer simple solutions like Sublime Text or Atom.

Getting started with Docker

March 7, 2017

This is a basic, straight forward, introduction to Docker. Docker is a container management tool. You can create containers based from images, an image is just a saved state of a container, or more properly it’s a snapshot of a container.

Getting started with PHPUnit

January 20, 2016

PHPUnit is a testing framework that can do a lot of things all related to testing and reports about our code.

Migrating a wordpress multisite to a single install

January 20, 2016

Recently I just needed to decouple several wordpress sites to make them separate wordpress installations, and oh yes it was a pain, doable thing but a pain non the less.

You appear to have cloned an empty repository on GitLab

January 3, 2016

A great way to manage your private projects at your company is by having your own Github like site, this is what Gitlab is all about.

MySQL server has gone away on Django

January 1, 2016

Often I need to generate reports of some sort from a “Django made” system, most of the time it’s easier to just open up a django shell and interact directly with the records from the database, however when my fingers are too slow and there are special configurations on the database server, I receive the following error:

Deploying Ruby on Rails applications with Apache

December 31, 2015

This time we’ll see how to deploy a rails application using apache and unicorn on ubuntu server! As you may know deploying a Rails, Node or Django app is not as straight forward as deploying PHP applications, unless you’re using a new generation hosting service that has automated deploys from your repo to the server in just a few clicks.

How to setup DNS servers in Ubuntu server?

December 30, 2015

From time to time I need to set the DNS resolvers on some servers, however when I’m on ubuntu I always forget how to do that, I’m not sure why, but if you like me forget this stuff… look no further!