About

My name is Alessio Chiapperini, on the Internet you can find me under the alias spidernet or some clever variation of it (I like to use spookernet in October). I am a graduate student in CS at Università degli studi di Udine focusing on automatic and formal verification of software, programming languages and distributed systems; I am currently in the process of writing my thesis on bigraphical reactive systems. My interests ranges from low-level programming and embedded systems to formal verification, (mathematical) logic, distributed systems, compilers and information theory.

This blog is mainly about what I do outside my studies. Here I mainly write about topics that I find interesting, things I’ve recently learned or cool ideas.

The source code of this blog is open source and can be found on Github. If you have any suggestions or if you find any bugs you can report them at https://github.com/spodernet/spodernet.github.io/issues. Also keep in mind that english is not my native language.

License

The content of this site and the source code used in it are public domain and follow the Unlicense.

Software preferences

As far as operating systems goes, I have been a GNU/Linux user since 2009. I mainly use ArchLinux, but from time to time I like to use various BSDs or other linux distros. I like small and very simple tools without frills and distractions.

Most of my work is done in Vim and tmux. I have been using spectrwm as a window manager for about a year, before that I was using xmonad. I really like the flexibility of a tiling window manager.

I use pass for managing my passwords. It’s simple, it follows the Unix philosophy and it even lets me track changes using git so I can access them from any device; yes even my phone.

For content consumption I use mpv with youtube-dl and smplayer; my music player of choice is cmus.

For emails I use aerc, an email client written in go that aims to be efficient and extensible. Note that it is still a work in progress, so if you do decide to try it, expect some bugs.

My dotfiles can be found here, they’re mostly stable except my vimrc, I’m addicted to tweaking it.

My favourite programming language is C, it’s very fast, it has a very simple syntax and it’s not a big language, hence you can actually master it, albeit with some effort and not without turning up your nose in a couple of places (ok more than a couple). However, if you get around its quirks, it’s a really good language and it will teach you a lot. I fell in love with its simplicity and power, it’s so poweful that it can even format your harddrive if you’re not careful. Gotta love undefined behavior. C is usually my goto language unless a particular language is better suited for that domain.

Another language that I like is Haskell. Functional programming has a place in my heart (the first programming course in university was about Racket, a language based on the Scheme dialect of Lisp). Learning and using functional languages really opened my mind and in the meantime probably messed it up too :D. If with C it was love at first sight, with Haskell it’s more of a love-hate relationship.

Contact

My email should be available at the bottom of the page, at least that’s where it should be. So much for responsive design ;-). Feel free to send me an email.