This is my website.
I've been in Lisbon for a conference this past week, and on my first day here I stumbled across the "Museu do Dinheiro" , or Money Museum in English. As a lover of rather niche museums, of course I went right in! If you're ever in the area, you should be sure to visit it. It's filled with interesting information on the history of money (including its production throughout the ages), and also…
As an educator, it is important that I stay up to date with the wants and needs of industry. Apparently, cocaine is used throughout many industries to increase worker's performance, so I came to realise we should actively teach them to work on cocaine. In this post, I list a few common objections you might have to cocaine usage, and eloquently refute them, beginning with the main one: Won't the…
As a child, I absolutely hated using fountain pens. I'm left-handed and quite impatient (at least, at the time), so writing involved a lot of hand cramps, ink smudges all over the paper, and stains on the side of my hand. On the days that you were particularly unlucky, one of the ink cartridges would sponaneously erupt in your pen holder, turning all contents blue. To make matters worse: my…
...and forgot to tell anyone about it. Well, perhaps more accurately, I made a demo of a game, and forgot to tell anyone about it. Well, perhaps even more accurately, I made a demo of a game, told everyone I came across about it, but forgot to make a blog post. Yeah, that about covers it. So here we are! I proudly present (the demo for) Tomb Typer , a rogue-lite typing game. Excitingly, it might…
Somewhat on a whin last year, I decided to buy a water based rowing machine to use in my workout routine. Rowing seemed like a fun change, and it's also apparently "one of the best cardio workouts" according to some sources as it's full-body but low impact. The specific rower that I bought is a Cardiff R370 , bought second-hand for a good price. Unfortunately, sometime in the last months the…
In my previous blog post , I showed how we can solve a puzzle in the IDP-Z3 reasoning engine . It was inspired by a post by Hillel Wayne , who modelled the puzzle in Prolog. He starts the article by stating how, for his book, he prefers showing off logic programming through practical examples instead of small puzzles, which I quite agree with. Here's the good news: in this post, I'll show you how…
A few days ago, I came across a post titled Solving a "Layton Puzzle" with Prolog , in which the author describes a Prolog implementation of a puzzle from one of the Professor Layton games. It's quite an elegant implementation (check it out!), and it made me think about how we could solve it using the IDP-Z3 reasoning engine instead. First, let's learn more about the puzzle. The description in…
I've been trying to learn Rust on again and off again for the past few months. To motivate myself, I wanted to fool around a bit with Z3 (an SMT solver) in Rust. This quickly turned into quite a bit of a struggle, as while there are Rust bindings available , I'm finding them fairly difficult to work with. I'm not sure if this difficulty stems from the bindings being unergonomic, or that my Rust…
Update: we recently investigated the synergy between DMN and GPT-3 and published a paper on it. You can read all about it here . ChatGPT has been all the rage, lately. Many people have been experimenting with it, from producing code and passing a computer science exam to succesfully writing emails disputing a parking fine . So, as a researcher in symbolic AI, this begs the question: can it craft…
To play music on my pc, I use two different applications: cmus , for my local music ncspot , to connect to Spotify Both are minimalistic applications that work right out of your terminal. It would be cool, I thought, to show their status on my Sway status bar. So, I spent some time figuring out how to best do so. If you read this post, you can do so too! It's actually fairly simple: I have a…