my meandering musing

Home Blog Resumé
  • A Measure Theory Surprise May 19, 2024

    The class of Borel sets in the Euclidean space is not closed under linear transformation.

  • The spectral theorem and the singular value decomposition Mar 12, 2024

    Turning a matrix into a diagonal matrix simplifies many problems and thus is of particular interest. We take a look at the spectral theorem, which captures the diagonalizability of self-adjoint operators, and the singular value decomposition, which generalizes it to non-square matrices.

  • Deriving Dynkin’s theorem from the monotone class theorem Oct 28, 2023

    Dynkin’s theorem is an extensively applicable result in measure theory. Here, we prove the theorem in a more roundabout way, using the monotone class theorem.

  • Quick way to emulate a database in Rust Sep 22, 2023

    How I emulate a key-value store in Rust using a quick and dirty way.

  • Interactive notes on finite-state machine Jul 10, 2023

    As I am self-studying theory of computation, specifically the theory of finite automata right now, I am making some notes on the topic to better reinforce what I have learnt, with interactive demonstrations of the automata.

  • Discontinuities of a real function Dec 28, 2022

    What can we say about the set of discontinuities of a function on the real line?

  • On the importance of trusting trust Mar 23, 2022

    Are supply chain attacks justifiable by the explicit no warranty clause in open source licenses?

RSS ⋅ GitHub