Latest Posts

• Setting up Emacs for Prolog

  06 Oct 2024

  How to set up Emacs for Prolog

• Impressions about AI

  19 Aug 2024

  Impressions after ~1.5 Years of ChatGPT’s release.

• The Literate Programming

  11 Apr 2024

  Testing the Literate Programming approach as proposed by Knuth.

• A Method for Code Review

  03 Feb 2024

  An empirical (and relatively organized) method for code review.

• Testing Redragon Diomedes' Microphone

  23 Jan 2024

  A simple and amateur test of the Redragon Diomedes headset’s microphone.

• Cleaning up an Ubuntu OS

  30 Nov 2023

  Some useful commands to clean up an Ubuntu OS of a coder.