I'm a lecturer on sabbatical at De Montfort University (DMU) where I've been teaching various modules such as front-end web development, functional programming, and research to a variety of students from different courses across the Faculty of Computing, Engineering, and Media.
I'm a transdisciplinary creative generalist. I have passion for what I do, and what I think is right. Sometimes that involves saying "no".
My sense of purpose is my own - I'm an introvert.
Un-Current
I have a PhD in Software Engineering/Computer Science. The title of my thesis is Algorithmic Meta-Creativity and it's available as HTML or PDF at dr.physics.wtf.
My research interests revolve around studying human and computer creativity and how they are evaluated, the absurd pseudo philosophy pataphysics and its applications, and the development of creative exploratory search algorithms inspired by pataphysical concepts.
Although the PhD wasn't classed as "practice-based" research, an artefact pata.physics.wtf was submitted alongside the thesis. The software for this was written (mostly) in Python.
A (theoretically infinite) magic carpet can be constructed from a single magic square of a special kind of class. Demonstrates magical properties of carpet and draws the magic line of any magic square within.
Uses HammerJs, SVG, and JavaScript. Source code can be found on GitHub.
Force push changes (overwrites stuff) git push --force
List all local branches git branch
List all branches (incl. remote) git branch -a
Create branch (but don't checkout) git branch NAME
Create branch (and checkout) git checkout -b NAME
Switch branch git checkout NAME
Delete local branch git branch -d NAME
Force delete local branch git branch -D NAME
Delete remote branch git push origin --delete NAME
Work on two branches at the same time (in VS Code): from master branch do this: git branch BRANCH-NAME and then git worktree add NAME-of-FOLDER BRANCH-NAME Git Worktree Add Example afterwards remove with git worktree remove BRANCH-NAME
Remove "ignored" files that were added before the gitignore was created git rm -rf --cached . and then git add . (make sure gitignore is uptodate)
Delete "cached" files that were previously deleted from cache but are still in history git filter-branch --index-filter 'git rm -r --cached --ignore-unmatch "FILENAME"' -f HEAD (DANGEROUS - MAKE BACKUP)
Add the following code to a pre-commit hook in the .git/hooks folder of your repo. This will generate html files from markdown content every time just before you commit.
Make sure you add styles inside a <style> block to a file called "styles". See pandoc command in script below.
#!/bin/sh
echo "Converting markdown files to html with Pandoc..."
for file in markdown/*.md
do
echo "Processing $file"
name=$(basename ${file%%.*})
# echo $name
pandoc $file -f markdown -t html -o html/$name.html -s -H styles --quiet
# --quiet = suppress warning messages
# -s = standalone (full htmlm not snippet)
# -H = include file in header
done
git add .
echo "... and stage generated html files."
You can now also change colour and names of tabs in Windows Terminal by right clicking the context menu!
Close a pane using Ctrl Shift W.
Customisation config file for new Windows Terminal in Customisation stuff in C:\Users\Fania\AppData\Local\Packages\Microsoft.WindowsTerminal_8wekyb3d8bbwe\LocalState\profiles.json
Bulk updates might need an increase in request body size due to error 413. add a line in nginx config file for couch domain: client_max_body_size 100M;