Articles
Formal Methods of Language Modelling
2024-10-25 13:55:24 +0100 BST
The following are notes that have been written for the paper: arXiv:2311.04329. I will update the article with future notes. Please let me know if you find any mistakes, as there are probably many. Please cite if you plan on using this text, or the source material. Chapter 3.2 Symbol Page Meaning $$p_\theta$$ 61 Current model $$p_{\theta^\star}$$ Optimal model (can never be known) $$\widetilde{p_{\theta^\star}}$$ 62 Optimal model approximation from corpus $\mathcal{D}$ $$p_{\hat{\theta}}$$ Estimated (after minimizing loss) model $$p_M$$ Model $$\mathcal{l}(\theta^\star,\theta)$$ Loss function (outputs similarity between two distributions, in this case it takes the parameters of the distribution)....
Federal University of Amazonas (UFAM) Seminar: AICodeRepair
2024-07-10 16:50:04 +0100 BST
I recently presented our group’s latest research to the Federal University of Amazonas (UFAM). The experiments were conducted from January 2024 and April 2024. The video can be watched below. UFAM Article (in Portuguese) Abstract As society increasingly depends on artificial intelligence, the need for trust in neural networks becomes more critical. However, neural networks often exhibit vulnerabilities that can undermine this trust. In this seminar, I will present our research group’s efforts to enhance the reliability of neural networks embedded in C code....
Favourite LaTeX Templates
2024-07-04 13:16:47 +0100 BST
This will be updated when I find new ones. Keep an eye out 👀 A Really Simple, Minimalistic Beamer Theme Simple Beamer Theme ...
Useful LaTeX Definitions for Articles and Beamer Presentations
2024-07-04 12:04:10 +0100 BST
Initially when I started using LaTeX, I was using all the built-in functions with the help of the internet to do what I need. In the rare occasion when I needed to do something specific that the commonly defined LaTeX environment did not accommodate for, I would search online. But that rarely worked. I still don’t know why, perhaps I was using the code given to me wrongly. I just couldn’t (and still can’t) read style code for LaTeX documents....
Use Metasploitable2 with KVM
2022-11-15 11:56:00 +0100 +0100
This guide will explore how to import, setup, and configure the Metasploitable2 virtual hard disk file provided by rapid7. The reason that this guide exists is that importing the virtual hard disk file is not as straight forward as one might think. Here are the steps: Download Metasploitable2 from the link above and extract the zip file. Open Virtual Machine Manager. Choose to create a new VM. Choose Import existing disk image....
Moving to Hugo
2022-06-15 00:16:18 +0100 BST
Up to this point, this website was using static builder and article compiler to build the static contents of the website while avoiding reuse of HTML. While they were simple scripts written in shell script, they were extremely limiting. As the website grows and more articles are added, along with thumbnails and summary, I have decided to move to using Hugo. Hugo is one of the most popular open-source static site generators....
Godot - Asteroid Game For Complete Beginners
5 Articles
Godot - Asteroids Game For Complete Beginners: 5
Introduction This is part 5 of the tutorial series for making an asteroids style game in Godot, designed for absolute beginners with little to no experience in programming. This article will cover: Making a score counter user interface for the game. Making the score counter increment when the player shoots a meteor. Making the score counter reset when the player ship gets hit by a meteor. Before going through this article, it is recommended following the steps outlined in the previous parts of this tutorial series....
Godot - Asteroids Game For Complete Beginners: 4
Introduction This is part 4 of the tutorial series for making an asteroids style game in Godot, designed for absolute beginners with little to no experience in programming. This article will cover: How to make the asteroids slowly move towards the player ship. How to make the asteroids spawn around the player ship. Before going through this article, it is recommended following the steps outlined in the previous parts of this tutorial series....
Godot - Asteroids Game For Complete Beginners: 3
Introduction This is part 3 of the tutorial series for making an asteroids style game in Godot, designed for absolute beginners with little to no experience in programming. This article will cover: Creating bullets for the player ship. How to make the player ship shoot bullets. Making the asteroids break when hit by the bullets. Before going through this article, it is recommended following the steps outlined in part 1 of this tutorial series....
Godot - Asteroids Game For Complete Beginners: 2
Introduction This is part 2 of the tutorial series for making an asteroids style game in Godot, designed for absolute beginners with little to no experience in programming. This article will cover: Basics of programming. Programming in Godot. How to write simple gameplay. Programming Basics The base version of Godot has 3 ways of adding behavior to objects: GDScript: Writing code in Godot’s own scripting language. VisualScript: Visual scripting, drag and drop blocks....
Godot - Asteroids Game For Complete Beginners: 1
Introduction This tutorial is designed for people with little to no experience with programming who want to learn how to create games using the Godot game engine. This article will cover: How to setup Godot. How to use the editor on a very basic level. This article will not cover how to write a full/complex game, in order to do that, you need to know the basics. The game will be 2D as that is the easiest type of game for beginners to understand....
Archived
2 Articles
Article Compiler Tutorial
This tutorial will look at how to setup article compiler so that it compiles markdown articles inside a folder and outputs them as HTML in another folder, along with how the template system works. Article compiler can be obtained on GitHub. Requirements Article Compiler uses the following programs: Perl Installation Article compiler is basically a script, so once you download/clone the git repo, just copy the compile-articles.sh script into a place where you will want to use it....
Static Builder Tutorial
This tutorial will look at how Static Builder works and will also act as a guide on how to set it up and use it. Static builder is a tool written in Python3 that allows for the reuse of common elements in static websites. For example, without it, changing the header bar in one webpage, will not change it in all the others, Static Builder is designed to fix this issue, and hence speed up the workflow and hopefully lessen the more mundane parts of the creation process....