• Building GNU Emacs with pure GTK and native compilation

    The idea of a pure GTK implementation of GNU Emacs was introduced, as far as I am aware, in this thread in the Emacs mail list. After a long time I found out a fork at masm11/emacs, which brings proper GTK support and a separate fork at fejfighter/emacs which can be rebased upstream, making possible a rebase onto the native-comp branch.

  • Reading environmental data using embedded rust on STM32

    There are valid concerns with embedded devices, specifically IoT devices, ranging from the use of secure communication protocols, to memory safety issues. This makes rust a natural choice of language to program embedded devices.

  • Controlling your Pi-hole with async python GPIO

    This project involves adding two buttons to your Raspberry Pi, one to disable Pi-hole for n seconds and the other to enable it back. I run many services on one Raspberry Pi and a dummy synchronous while True loop will lock one core, that isn’t going to fly.

  • Using libsecret to handle mu4e secrets

    Usually people set their Emacs credentials on a possible encrypted .authfile. If your system uses the secret service for managing secrets, using it is a better alternative.

  • The Clifford algebra and Spin groups

    Let \(g\) be an bilinear symmetric form on a real vector space \(V\).

  • The Picard group of an elliptic variety

    Let \(X = \mathbb{C} / \Lambda\), where \(\Lambda\) is the lattice generated by \(1, \tau \in \mathbb{C}\), for some \(\tau\) with \(\text{Im}(\tau) > 0\). We want to show some explicit forms for the moduli space of line bundles over \(X\), the so called Picard group \(\text{Pic}(X)\). This moduli space is endowed with a group structure provided by tensor products, this post intends to give a brief exposition on the structure of the Picard groups and the Chern classes of elliptic curves.

  • Cauchy theory and Fourier analysis

    Suppose that \(f: U \to \mathbb{C}\) is a holomorphic function in an open set \(U \subseteq \mathbb{C}\) which is of class \(C^1(U)\) as a function defined on \(U \subseteq \mathbb{R}^2\), without loss of generality we can assume that the ball of radius \(R\) and center \(0\) is contained in \(U\), we can consider for any \(r < R\) the function

  • Using Emacs to read your email with ProtonMail

    This guide will cover the basics on how to integrate Emacs with the ProtonMail using

  • Multimedia codecs in Fedora

    Most codecs contain pieces of software which are not free or cannot be included in Fedora repositories, adding rpm-fusion’s repositories is required to for many codecs to work, we show methods on how to get codecs working in Fedora.

  • Bi-invariant metrics in a Lie group

    Let \(G\) be Lie group, we denote by \(\mathfrak g\) it’s Lie algebra. Let \(L_x,R_x\) be the differentials of \(y \mapsto x\,y\) and \(y\mapsto y\,x^{-1}\) at the identity \(e \in G\).

  • L²(G) Decomposition for compact groups

    Continuing the previous post, there are still much things to be said about the decomposition of the regular representation on \(L^2(G)\), by the Peter-Weyl theorem, there exist unique constants \(m_\pi \in \mathbb N\) such that

  • The Peter-Weyl Theorem

    Let \(G\) be a locally compact topological group, this is a survey on some elementary results on the representation theory when \(G\) is compact. From now on are going to assume all groups compact and all the Hilbert spaces separable.