Latest Posts

• Setting up Emacs for Prolog

  October 6 2024

  How to set up Emacs for Prolog

• Impressions about AI

  August 19 2024

  Impressions after ~1.5 Years of ChatGPT’s release.

• The Literate Programming

  April 11 2024

  Testing the Literate Programming approach as proposed by Knuth.

• A Method for Code Review

  February 3 2024

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

• Testing Redragon Diomedes' Microphone

  January 23 2024

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

• Cleaning up an Ubuntu OS

  November 30 2023

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