Teaching Correctness of Two Sorting Algorithms This article describes two sorting algorithms (gnome sort and bozosort) and gives their correctness proof in full detail.
Can ChatGPT do an exam? In this post we have a look at ChatGPT's answers to the final exam of a course I teach. I leave it to the reader to decide whether the given answers are correct or not. Anyway, I am impressed, but not convinced.
My New Year's resolutions for 2023 In this post, an outline is given of the yearly 2023 plans for both my professional and personal life.