Latest Posts

• Human Writing

  2025 November 25

  A decision about writing

• AI Agents for Coding

  2025 August 9

  A brief report about testing AI agents for coding

• Setting up Emacs for Prolog

  2024 October 6

  How to set up Emacs for Prolog

• Impressions about AI

  2024 August 19

  Impressions after ~1.5 Years of ChatGPT’s release.

• The Literate Programming

  2024 April 11

  Testing the Literate Programming approach as proposed by Knuth.

• A Method for Code Review

  2024 February 3

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

• Testing Redragon Diomedes' Microphone

  2024 January 23

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

• Cleaning up an Ubuntu OS

  2023 November 30

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