beuke.org

A personal blog about computer science and other interesting topics.

D-Branes
Dirichlet Membranes in String Theory
Posted on Mar 2 2025 ~ 31 min read
#theoretical physics  #string theory  #cosmology 
The Ekpyrotic Universe
A Different Perspective on the Beginning of Time
Posted on Mar 1 2025 ~ 12 min read
#theoretical physics  #cosmology  #big bang 
The Metamorphosis
A Novella by Franz Kafka
Posted on Feb 21 2025 ~ 17 min read
#kafka  #novella  #analysis 
Zen
Posted on Oct 26 2024 ~ 5 min read
Terminal Latency
Measuring Terminal Latency with Typometer
Posted on Mar 16 2024 ~ 9 min read
#benchmark  #terminal  #latency 
Coq Tutorial
Interactive Theorem Proving with Coq
Posted on Oct 9 2023 ~ 6 min read
#theorem proving  #proof theory  #coq 
Category
Collection of Objects Linked by Arrows
Posted on Oct 2 2023 ~ 10 min read
#category theory  #haskell 
Natural Transformation
A Morphism of Functors
Posted on Sep 12 2023 ~ 5 min read
#category theory  #haskell