~$ whoami_
Hello, my name is
I'm a
Senior Front-End Developer
About: Software engineer | M.Sci Computer Science | Front-End Developer
Currently employed as a senior front-end developer for a digital agency that delivers web applications for some of the UK's biggest brands.
Outside work you'll find me in the kitchen cooking something impractical, fussing over my coffee, or at my desk tackling an eclectic and ever-growing pile of books.
~$ recent-activity_
9th of Oct New Blog Post Making a Responsive Portfolio/Blog Site with the Haskell Static Site Generator Hakyll 4th of Oct
Merged
haskell:master âž” Bugfix for the cabal-install CL tool
1st of Oct
New Blog Post
This is a Test Blog Post of No Importance
29th of Sep
Pull Request
Bug Fix for the Haskell toolchain, specifically the cabal-install tool
~$ academic-work_
A Constructive Formalisation of Hoare Logic within the Interactive Theorem Prover Agda
A constructive formalisation of Hoare Logic in the interactive theorem prover Agda. The final result is a constructive formalisation of Hoare logic and an Agda library that is fit for the purpose of proving correct simple imperative-style programs using the formalised Hoare logic rules.
Tags:
Agda
Formal Logic
Type Theory
Programming Language Semantics
Formal Proof
Creating a Robotic Waiter using a Pioneer P3DX Robot with Localisation via Particle Filtering
One of the highlights of my Computer Science degree. This was a group project in which we implemented robot localisation via particle filtering in C++. For the final part of the project we basically had to do something wacky with the robot and we made a robot 'waiter' that could deliver drinks ordered via an android app once it had figured out where it was in the lower ground floor of the computer science building.
Tags:
C++
Robotics
Particle Filter
Java/Android
Clustering
Monte Carlo Algorithms
Univalent Foundations and The Equivalence Principle for the Foolhardy Undergraduate (WIP)
At university I took an 'Individual Study' course. I don't remember what the original agreed-upon scope of the study was but I ended up studying Homotopy Type Theory, the Equivalence Principle, Univalent Foundations, Set Theory vs. Type Theory, and finally some Category Theory. One 16,000-word draft later, I had to take a leave absence for health reasons - spurred on by a global pandemic. This here is my attempt at repurposing that draft into something useful for future undergrads lest my efforts go to waste.
Tags:
Foundations of Mathematics
Univalence Principle
Category Theory
Homotopy Theory
Set Theory
Type Theory
Crazy Maths I Still Barely Understand
~$ project-portfolio_
Simple Python sprite-based Infinite Runner Game with Python 3.2 and pygame 1.9.1
A very simple infinite-runner game I made a fair few years ago now. Nothing all that impressive code-wise.
Tags:
Python
pygame
~$ contact-me_
If you want to contact me for whatever reason - be it for networking, to tell me about a job opportunity, or just to say hi - your best bet is to email me at contact@fraserbrooks.io. Alternatively you can reach out to me on LinkedIn. Either way I'll endeavour to get back to you promptly. Thanks for stopping by!