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.
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.
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)
Fix diverged branch problem: check git log HEAD..origin/master, then if head is the same (which indicates that indeed branches have diverged at some earlier commits) then git merge origin/master and git commit -m "message" and git push