beuke.org

A personal blog exploring computer science and theoretical physics

Category: Computer Science

2025
K8s on Hetzner vs. AWS Fargate
Total Cost of Ownership Analysis for IT-departments
Posted on Sep 28 2025 ~ X min read
#AWS  #hetzner  #kubernetes  #fargate  #cloud engineering
Profunctor Optics
Monoidal Structures for Modular Access Patterns
Posted on Mar 29 2025 ~ X min read
#category theory
Retrieval Augmented Generation
Enhancing LLMs with External Knowledge
Posted on Mar 03 2025 ~ X min read
#artificial intelligence  #GPT  #LLM
2024
Terminal Latency
Measuring Terminal Latency with Typometer
Posted on Mar 16 2024 ~ X min read
#benchmark  #terminal  #latency
2023
Coq Tutorial
Interactive Theorem Proving with Coq
Posted on Oct 09 2023 ~ X min read
#theorem proving  #proof theory  #coq
Category
Collection of Objects Linked by Arrows
Posted on Oct 02 2023 ~ X min read
#category theory  #haskell
Natural Transformation
A Morphism of Functors
Posted on Sep 12 2023 ~ X min read
#category theory  #haskell
Applicative
A Strong Lax Monoidal Functor
Posted on Sep 08 2023 ~ X min read
#category theory  #haskell
Functor
A Homomorphism of Categories
Posted on Aug 30 2023 ~ X min read
#category theory  #haskell
Semigroup
An Associative Magma
Posted on Aug 29 2023 ~ X min read
#category theory  #haskell  #abstract algebra
Monoid
A Semigroup with Identity
Posted on Aug 27 2023 ~ X min read
#category theory  #abstract algebra
Monad
A Monoid in the Category of Endofunctors
Posted on Jul 25 2023 ~ X min read
#category theory  #abstract algebra  #monads
Quantization
A Key Technique for GPT Model Compression and Efficiency
Posted on Apr 06 2023 ~ X min read
#artificial intelligence  #GPT  #LLM
2022
Monads in Python
Functor, Applicative, Monads in Python
Posted on Oct 30 2022 ~ X min read
#haskell  #functional programming  #monads  #python
2021
Arch Linux Versioned
Arch Linux Date-Based Versioned Upgrades
Posted on Jun 21 2021 ~ X min read
#arch  #linux  #upgrades
Disk Latency
Measuring Disk Latency with ioping
Posted on Mar 08 2021 ~ X min read
#storage  #performance  #benchmark
2020
Hom-Set
Sets of Morphisms
Posted on Jan 18 2020 ~ X min read
#category theory  #haskell
2018
Pure Imperative Haskell
Pure Imperative Code Examples in Haskell
Posted on Aug 27 2018 ~ X min read
#haskell  #functional programming  #imperative
Pronounceable Haskell Operators
Pronounceable Names for Common Haskell Operators
Posted on Aug 14 2018 ~ X min read
#haskell  #functional programming  #operators
Programming Language Popularity
GitHub Programming Language Popularity based on BigQuery
Posted on Jul 14 2018 ~ X min read
#ranking  #programming languages
2017
The Missing Docs of Bspwm
Bspwm as undocumented i3-gaps alternative
Posted on Jun 23 2017 ~ X min read
#linux  #bspwm  #wm  #ricing
Minimal Wkthmltopdf Docker Container
HTML to PDF minimal Docker container, without X11
Posted on Jun 22 2017 ~ X min read
#docker  #patch  #pdf  #musl
JSON Parsing in ELM
JSON parsing in a purely functional web language
Posted on Jan 14 2017 ~ X min read
#elm  #json  #functional programming
2016
Create a GitHub Mirror
Provide easy access to external repos via GitHub
Posted on Dec 25 2016 ~ X min read
#github  #bash  #programming
2014
Online Chess Clock Exploit
Modify client side lag calculation for infinite time
Posted on Jun 10 2014 ~ X min read
#timeseal  #chess  #reverse engineering