lthms.xyz – lthms' Blog

Here

2018-06-17 My Lisp Journey #1: Getting Started With trivial-gamekit
2018-05-03 A Lightweight Access Control for Pijul Repositories
2018-02-04 nordless Meets MELPA
2018-02-04 Extensible, Type-Safe Error Handling In Haskell
2017-10-16 Coq Ltac 101
2017-07-15 Monad Transformers Are A Great Abstraction
2017-05-13 Rewriting in Coq
2017-04-10 Why I Will Continue to Use Pijul for my Toy Project
2017-01-14 Playing Around With Program and Dependent Types
2016-12-09 Introducing SpecCert
2016-04-17 Typeclass versus Record
2015-07-11 Strongly-specified Functions in Coq

And there

2017-07-09 Emacs, montre-moi ces espaces que je ne saurais voir
2014-09-30 La vulnérabilité Shellshock
2014-07-25 Introduction à la détection d’intrusion

Writing and programming are two important parts of my life, maybe because they are very similar. In this small corner of the Internet, I gather my articles about computer science. I write mostly about functional programming languages, in particular Haskell and Coq.