fgaz

I am a student of computer science. I build things, and sometimes write here

Blog posts archive

Multiple public libraries in a single Cabal package (GSoC 2018)

Reading time: 4 minutes

In summer 2018, during my last GSoC, I developed the "multiple public libraries in a single package" Cabal feature. In this long overdue post I explain why and how to use the feature.

Continue reading…

GSoC 2018 weekly statuses

Reading time: 1 minutes

I will update this post every week or two with my current status. See also github.com/haskell/cabal/projects/5

Continue reading…

Nix on the Jolla 1 (Sailfish OS armv7 phone)

Reading time: 4 minutes

I recently managed to make the nix package manager work on my Jolla 1 phone. nixos.org only provides precompiled nix binaries and a binary cache for packages for the x86_64, AArch641 and some others, but not for armv7 (the architecture of the Jolla Phone's processor), so some compiling was necessary (and some patching too).

This post is a summary of what I did.

Continue reading…

Haskell Summer of Code 2017: Last Mile for `cabal new-build`: first and last status update

Reading time: 10 minutes

Time flies! The Haskell Summer of Code is over, and this is my first and last status update. Last in the HSoC, but not in the project, as you'll see.

My goal was to bring cabal-install's new-build to a usable state, to eventually replace the old commands.

Continue reading…

Catene di Markov, letteratura e musica

Reading time: 8 minutes

Frugando nella cartella dei miei vecchi progetti ho ritrovato un esperimento che ho fatto circa un anno fa (e che avrei dovuto postare) sulle catene di Markov.

Continue reading…

Traduttore di codice morse in Haskell

Reading time: 4 minutes

Qualche tempo fa ho trovato su /r/programming questo vecchio thread con un interessante esercizio di programmazione. La richiesta era in apparenza molto semplice:

Chi sa scrivere il più piccolo/pulito/intelligente traduttore di Codice Morse?

Continue reading…

Hello, World!

Reading time: 1 minutes

Ho tentato più di una volta in passato di cominciare una specie di blog.

Continue reading…