Help
RSS
API
Feed
Maltego
Contact
Domain > fraserbrooks.io
×
More information on this domain is in
AlienVault OTX
Is this malicious?
Yes
No
DNS Resolutions
Date
IP Address
2024-06-07
18.64.247.55
(
ClassC
)
2024-08-21
3.166.181.53
(
ClassC
)
2025-09-05
99.84.188.95
(
ClassC
)
2026-03-04
3.169.173.101
(
ClassC
)
Port 80
HTTP/1.1 301 Moved PermanentlyServer: CloudFrontDate: Wed, 04 Mar 2026 23:36:39 GMTContent-Type: text/htmlContent-Length: 167Connection: keep-aliveLocation: https://fraserbrooks.io/X-Cache: Redirect from cloudfrontVia: 1.1 e3d057b3e6efdd15e49b433f7704a6c8.cloudfront.net (CloudFront)X-Amz-Cf-Pop: HIO52-P4Alt-Svc: h3:443; ma86400X-Amz-Cf-Id: bJr7iQaM1SRhM7A2eAYmWa2Si9BGvOJAJIUGM-NPfJ8M7TW1G8biNg html>head>title>301 Moved Permanently/title>/head>body>center>h1>301 Moved Permanently/h1>/center>hr>center>CloudFront/center>/body>/html>
Port 443
HTTP/1.1 200 OKContent-Type: text/htmlContent-Length: 18678Connection: keep-aliveDate: Sat, 28 Feb 2026 17:30:45 GMTCache-Control: public, max-age0, s-maxage31536000Server: AmazonS3Accept-Ranges: bytesETag: 9a5ec1794879f0a2c506ef8be8026591Last-Modified: Mon, 21 Apr 2025 18:30:13 GMTX-Cache: Hit from cloudfrontVia: 1.1 a454a679efa1e16833b77cb6af61e11c.cloudfront.net (CloudFront)X-Amz-Cf-Pop: HIO52-P4Alt-Svc: h3:443; ma86400X-Amz-Cf-Id: _OQGpSK5E6hQ3xvNx2MgtfEVjTfMlZs3UXkIc9gTvxlv3H0-j9_VTAAge: 367554 !doctype html>html langen> head> meta charsetutf-8> meta http-equivx-ua-compatible contentieedge> meta nameviewport contentwidthdevice-width, initial-scale1> meta namecurrent-page contentHome> title>Fraser Brooks | Home/title> link relicon typeimage/png href./images/favicon.png> link relstylesheet href./css/root.css /> script typetext/x-mathjax-config> MathJax.Hub.Config({ HTML-CSS: {fonts: STIX-web}, SVG: {font: STIX-Web}, TeX: {Augment: { Definitions: { delimiter: { \\llbracket: 27E6, \\rrbracket: 27E7, \\lAngle: 27EA, \\rAngle: 27EB } } }} });/script>script typetext/javascript async srchttps://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.7/MathJax.js?configTeX-MML-AM_CHTML>/script> /head> body idbg-img> header> nav idbnna> !-- Home Button --> div idhome-button classstart-block nav-block > a href./>FB/a> /div> !-- Page Title (Home, Blog, Contact... etc.) --> div idpage-title classnav-block> span>Home/span> /div> !-- Nav Link: 1 --> a href./ idnav-link1 classnav-link nav-block> span classunderline-me>Home/span> /a> !-- Nav Link: 2 --> a href./blog.html idnav-link2 classnav-link nav-block > span classunderline-me>Blog/span> /a> !-- Nav Link: 3 --> a href./open-source-jrnl.html idnav-link3 classnav-link nav-block> span classunderline-me>Open-Source Journal/span> /a> !-- Nav Link: 4 --> a href./#projects idnav-link4 classnav-link nav-block> span classunderline-me>Projects/span> /a> !-- Nav Link: 5 --> a href./#contact-me idnav-link5 classnav-link nav-block> span classunderline-me>Contact Me/span> /a> !-- CV/Resume Button --> div idcv-link classnav-block> a href./content/pdfs/cv.pdf classunderline-me>CV/a> /div> !-- Nav Block --> div idshow-nav-links-button classnav-block> div> div classbtn-line line-top>/div> div classbtn-line>/div> div classbtn-line>/div> /div> /div> div idbreak1 classnav-break> /div> div idbreak2 classnav-break> /div> div idbreak3 classnav-break> /div> /nav> /header> main rolemain idinsert> link relstylesheet href./css/index.css />div idpage-map-root> div idpage-map-rhs> a idemail hrefmailto:contact@fraserbrooks.io>contact@fraserbrooks.io/a> div idemail-sep classmap-sep>/div> div classicon-stack> a hrefhttps://twitter.com/FraserLBrooks classicon-link-container> img srcimages/twitter.svg classsvg-icon /> /a> div classmap-sep invisible>/div> a href./#bnna classicon-link-container bnnaBtn> img srcimages/banana-line.svg classsvg-icon /> /a> div classmap-sep invisible>/div> a hrefhttps://www.linkedin.com/in/fraserbrooks0208 classicon-link-container> img srcimages/linkedin.svg classsvg-icon /> /a> div classmap-sep invisible>/div> a hrefhttps://github.com/frabrooks classicon-link-container> img srcimages/github.svg classsvg-icon /> /a> div classmap-sep invisible>/div> div classstem> /div> /div> /div> div idtraffic-light> div classmap-sep hidden>/div> a href#! idcircle1 classcircle> div idsubCircle1 classsubCircle>/div> div idbranch1 classbranch hidden>/div> div idbranch11 classbranchSub branch hidden>/div> div idbranch12 classbranchSub branch hidden>/div> /a> div classmap-sep>/div> a href#! idcircle2 classcircle> div idsubCircle2 classsubCircle>/div> div idbranch21 classbranchSub branch hidden>/div> div idbranch22 classbranchSub branch hidden>/div> /a> div classmap-sep>/div> a href#! idcircle3 classcircle> div idsubCircle3 classsubCircle>/div> div idbranch31 classbranchSub branch hidden>/div> div idbranch32 classbranchSub branch hidden>/div> /a> div classmap-sep>/div> a href#! idcircle4 classcircle> div idsubCircle4 classsubCircle>/div> div idbranch41 classbranchSub branch hidden>/div> div idbranch42 classbranchSub branch hidden>/div> /a> div classmap-sep>/div> div classstem>/div> /div>/div>div idfirst-block classinsert-block> h4 idwhoami classtext-mono text-secondary terminal-text>~$ span classterminal-text-heading>whoamispan classblink>_/span>/span> /h4> div idnameplate> div idtop> div idportrait>/div> div idtop-text> h4 classtext-accent>Hello, my name is /h4> div idname-container classtext-primary text-mono> span>Fraser/span>span>Brooks/span> /div> div idsubtitle-container styledisplay: inline;> h4 classlhs text-accent styledisplay: inline;>Im a/h4> h2 classrhs text-primary text-mono styledisplay: inline;>Senior Front-End Developer/h2> div classicon-stack> a hrefhttps://twitter.com/FraserLBrooks classicon-link-container> img srcimages/twitter.svg classsvg-icon /> /a> div classmap-sep>/div> a href./#bnna classicon-link-container bnnaBtn> img srcimages/banana-line.svg classsvg-icon /> /a> div classmap-sep>/div> a hrefhttps://www.linkedin.com/in/fraserbrooks0208 classicon-link-container> img srcimages/linkedin.svg classsvg-icon /> /a> div classmap-sep>/div> a hrefhttps://github.com/frabrooks classicon-link-container> img srcimages/github.svg classsvg-icon /> /a> /div> /div> /div> /div> div idbottom> div idspacer>/div> div idintro-text> p>span classtext-secondary text-mono>About: /span>Software engineer | M.Sci Computer Science | Front-End Developer/p> p>Currently employed as a senior front-end developer for a digital agency that delivers web applications for some of the UKs biggest brands./p> p>Outside work youll 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./p> /div> /div> /div> div idrecent-activity-text> h4 idterminal2 classtext-mono text-secondary terminal-text>~$ span classterminal-text-heading>recent-activityspan classblink>_/span>/span> /h4> a href./blog/2021-10-09-making-a-responsive-portfolio-blog-site-with-the-haskell-static-site-generator-hakyll.html classrecent-activity> span classlhs> span classdate>9th of Oct/span> span classNewBlogPost type-box>New Blog Post/span> /span> span classrhs text-accent underline-me>Making a Responsive Portfolio/Blog Site with the Haskell Static Site Generator Hakyll/span> /a> a hrefhttps://github.com/haskell/cabal/pull/7310 classrecent-activity> span classlhs> span classdate>4th of Oct/span> span classNewMerge type-box> img srcimages/merged.svg classsvg-no-hover /> span>Merged/span> /span> /span> span classrhs text-accent underline-me>haskell:master ➔ Bugfix for the cabal-install CL tool/span> /a> a href./blog/2021-10-01-this-is-a-test-blog-post-of-no-importance.html classrecent-activity> span classlhs> span classdate>1st of Oct/span> span classNewBlogPost type-box>New Blog Post/span> /span> span classrhs text-accent underline-me>This is a Test Blog Post of No Importance/span> /a> a hrefhttps://youtube.com classrecent-activity> span classlhs> span classdate>29th of Sep/span> span classNewPullRequest type-box> img srcimages/pull-request.svg classsvg-no-hover /> span>Pull Request/span> /span> /span> span classrhs text-accent underline-me>Bug Fix for the Haskell toolchain, specifically the cabal-install tool/span> /a> /div>/div>div classinsert-block> h4 idterminal3 classtext-mono text-secondary terminal-text>~$ span classterminal-text-heading>academic-workspan classblink>_/span>/span> /h4> div classinsert-item> div classitem-lhs> a href./content/pdfs/constructive-hoare-logic.pdf classhover-underline-text-primary> h2 classtext-primary>A Constructive Formalisation of Hoare Logic within the Interactive Theorem Prover Agda/h2> /a> img classthumbnail src./content/academic-work/01-thesis.png> /div> div classitem-rhs> a href./content/pdfs/constructive-hoare-logic.pdf classhover-underline-text-primary> h2 classtext-primary>A Constructive Formalisation of Hoare Logic within the Interactive Theorem Prover Agda/h2> /a> p>A a classinline-link hrefhttps://en.wikipedia.org/wiki/Constructivism_(philosophy_of_mathematics)>constructive/a> formalisation of a classinline-link hrefhttps://en.wikipedia.org/wiki/Hoare_logic>Hoare Logic/a> in the interactive theorem prover a classinline-link hrefhttps://en.wikipedia.org/wiki/Agda_(programming_language)>Agda./a> 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./p> div classitem-links-and-tags> a hrefhttps://github.com/frabrooks/constructive-hoare-logic classicon-link-container> img srcimages/github.svg classsvg-icon> /a> a href./content/pdfs/constructive-hoare-logic.pdf classicon-link-container> img srcimages/pdf.svg classsvg-icon> /a> div classseparator>/div> span classtext-secondary bold small>Tags:/span> span classtext-primary small>Agda/span> span classtext-primary small>Formal Logic/span> span classtext-primary small>Type Theory/span> span classtext-primary small>Programming Language Semantics/span> span classtext-primary small>Formal Proof/span> /div> /div> /div> div classinsert-item> div classitem-lhs> a href./content/pdfs/robotics-final-report.pdf classhover-underline-text-primary> h2 classtext-primary>Creating a Robotic Waiter using a Pioneer P3DX Robot with Localisation via Particle Filtering/h2> /a> img classthumbnail src./content/academic-work/02-robotics-proj.gif> /div> div classitem-rhs> a href./content/pdfs/robotics-final-report.pdf classhover-underline-text-primary> h2 classtext-primary>Creating a Robotic Waiter using a Pioneer P3DX Robot with Localisation via Particle Filtering/h2> /a> p>One of the highlights of my Computer Science degree. This was a group project in which we implemented a classinline-link hrefhttps://en.wikipedia.org/wiki/Robot_navigation>robot localisation/a> via a classinline-link hrefhttps://en.wikipedia.org/wiki/Monte_Carlo_localization>particle filtering/a> 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./p> div classitem-links-and-tags> a hrefhttps://github.com/frabrooks/robotic-waiter-w-pioneer-p3dx-robot classicon-link-container> img srcimages/github.svg classsvg-icon> /a> a href./content/pdfs/robotics-final-report.pdf classicon-link-container> img srcimages/pdf.svg classsvg-icon> /a> div classseparator>/div> span classtext-secondary bold small>Tags:/span> span classtext-primary small>C++/span> span classtext-primary small>Robotics/span> span classtext-primary small>Particle Filter/span> span classtext-primary small>Java/Android/span> span classtext-primary small>Clustering/span> span classtext-primary small>Monte Carlo Algorithms/span> /div> /div> /div> div classinsert-item> div classitem-lhs> a href./content/pdfs/constructive-hoare-logic.pdf classhover-underline-text-primary> h2 classtext-primary>Univalent Foundations and The Equivalence Principle for the Foolhardy Undergraduate (WIP)/h2> /a> img classthumbnail src./content/academic-work/03-undergraduate-hott.jpg> /div> div classitem-rhs> a href./content/pdfs/constructive-hoare-logic.pdf classhover-underline-text-primary> h2 classtext-primary>Univalent Foundations and The Equivalence Principle for the Foolhardy Undergraduate (WIP)/h2> /a> p>At university I took an Individual Study course. I dont 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./p> div classitem-links-and-tags> a hrefhttps://github.com/frabrooks/constructive-hoare-logic classicon-link-container> img srcimages/github.svg classsvg-icon> /a> a href./content/pdfs/constructive-hoare-logic.pdf classicon-link-container> img srcimages/pdf.svg classsvg-icon> /a> div classseparator>/div> span classtext-secondary bold small>Tags:/span> span classtext-primary small>Foundations of Mathematics/span> span classtext-primary small>Univalence Principle/span> span classtext-primary small>Category Theory/span> span classtext-primary small>Homotopy Theory/span> span classtext-primary small>Set Theory/span> span classtext-primary small>Type Theory/span> span classtext-primary small>Crazy Maths I Still Barely Understand/span> /div> /div> /div> /div>div classinsert-block> h4 idprojects classtext-mono text-secondary terminal-text>~$ span classterminal-text-heading> project-portfoliospan classblink>_/span>/span> /h4> div classinsert-item> div classitem-lhs> a hrefhttps://github.com/frabrooks/dragon-escape-game-python classhover-underline-text-primary> h2 classtext-primary>Simple Python sprite-based Infinite Runner Game with Python 3.2 and pygame 1.9.1/h2> /a> img classthumbnail src./content/project-portfolio/02-dragon.gif styleborder: 2px solid black;> /div> div classitem-rhs> a hrefhttps://github.com/frabrooks/dragon-escape-game-python classhover-underline-text-primary> h2 classtext-primary>Simple Python sprite-based Infinite Runner Game with Python 3.2 and pygame 1.9.1/h2> /a> p>A very simple infinite-runner game I made a fair few years ago now. Nothing all that impressive code-wise./p> div classitem-links-and-tags> a hrefhttps://github.com/frabrooks/dragon-escape-game-python classicon-link-container> img srcimages/github.svg classsvg-icon> /a> div classseparator>/div> span classtext-secondary bold small>Tags:/span> span classtext-primary small>Python/span> span classtext-primary small>pygame/span> /div> /div> /div> div classinsert-item> div classitem-lhs> a hrefhttps://github.com/frabrooks/dodo-go-android classhover-underline-text-primary> h2 classtext-primary>Dodo Go: Simple Android Game/h2> /a> img classthumbnail src./content/project-portfolio/03-dodo-go.gif styleborder: 2px solid black;> /div> div classitem-rhs> a hrefhttps://github.com/frabrooks/dodo-go-android classhover-underline-text-primary> h2 classtext-primary>Dodo Go: Simple Android Game/h2> /a> p>I need some better projects to showcase.../p> div classitem-links-and-tags> a hrefhttps://github.com/frabrooks/dodo-go-android classicon-link-container> img srcimages/github.svg classsvg-icon> /a> div classseparator>/div> span classtext-secondary bold small>Tags:/span> span classtext-primary small>Java/span> span classtext-primary small>Android/span> /div> /div> /div> /div>div classinsert-block stylemin-height: initial;> h4 idcontact-me classtext-mono text-secondary terminal-text>~$span classterminal-text-heading> contact-mespan classblink>_/span>/span>/h4> p> 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 a hrefmailto:contact@fraserbrooks.io classinline-link>contact@fraserbrooks.io./a> Alternatively you can reach out to me on a hrefhttps://www.linkedin.com/in/fraserbrooks0208 classinline-link>LinkedIn./a> Either way Ill endeavour to get back to you promptly. Thanks for stopping by!/p>/div>script src./js/index.js>/script> /main> footer> p>Site proudly generated by a classinline-link hrefhttp://jaspervdj.be/hakyll>Hakyll./a> See the a classinline-link hrefhttps://github.com/frabrooks/hakyll-site-and-blog>full source code/a> on GitHub./p> p classsmall stylepadding: 0; margin: 0;> ps. absolutely do not click the banana button/p> /footer> /body> script src./js/main.js>/script> /html>
View on OTX
|
View on ThreatMiner
Please enable JavaScript to view the
comments powered by Disqus.
Data with thanks to
AlienVault OTX
,
VirusTotal
,
Malwr
and
others
. [
Sitemap
]