What powers deisenroth.cc?

Analytics

Google Analytics

since May 2021

Caching

Varnish

since Oct 2022

CDN

Fastly

since Oct 2022

Cookie compliance

Osano

since May 2021

Font scripts

Google Font API

since May 2021

JavaScript graphics

MathJax v2.7.4

since May 2021

JavaScript libraries

FancyBox

since May 2021

jQuery v3.6.4

since May 2021

MobX

since Oct 2022

Maps

Leaflet

since May 2021

Miscellaneous

Highlight.js

since May 2021

Open Graph

since Oct 2022

PWA

since Oct 2022

RSS

since Jan 2024

PaaS

GitHub Pages

since Oct 2022

Netlify

since May 2021

Static site generator

Hugo

since Feb 2025

UI frameworks

Bootstrap v4.6.1

since Oct 2022