Carlos D'Agostino's blog

  • Github: github.com/carlosdagos
  • Keybase: keybase.io/carlosdagos
  • Stuff that I like: Strongly typed programming (like Haskell and OCaml), Lisp-family languages, Compilers, Linux, Emacs, music, surfing, bushwalking... and lots of other stuff really

Welcome to my personal website.

I'm normally a lurker, but I sometimes have opinions whenever I see stuff just browsing around, so I thought I'd share my thoughts. I'm almost never not listening to music, so just for fun I'll post at the very last part of each entry what I was listening to when I was writing.

Blog

WTF: Weird error tying to sign commits - August 21, 2022
Lessons learned after working one year as a Common Lisp Developer - The Bad - March 28, 2018
Lessons learned after working one year as a Common Lisp Developer - The Good - March 28, 2018
LambdaWorld, Andalucía... and Australia - October 29, 2017
Learning to love Nix (even though I previously badmouthed it), feat. Lisp and Python - July 28, 2017
Shitposting en español: Cómo ser menos imbécil como programador - June 17, 2017
Back in Málaga: PureScript, sun and surf - December 20, 2016
Experimenting with my own programming language: Bonlang - August 16, 2016
Randomness - Nowhere near the mouse lately - July 1, 2016
Happy Haskell and Scala development in nvim - May 26, 2016
Typesafe SQL at HaskellerZ - May 25, 2016
Folding characters vs iconv - February 20, 2016
On reversing strings - February 15, 2016

You can read more in the archives.