Blog Infra Notes, June 2026
(Again an AI post…) Infra changes from the last twenty-ish commits, excluding post content. Scope: deployment, search/filtering, Typst HTML output, layout, and MathML blurbs. Deployment...
Blog Posts
Typst 0.15 Migration Summary
(this document was 100% AI agent generated with supervision) The Typst 0.15 release changed the most important part of this blog’s rendering pipeline: HTML export...
Navier–Stokes Existence or Breakdown
This is an AI-generated survey distilled from a talk by Javier Gómez-Serrano , lightly edited but not independently checked line by line. Treat it as...
Blog Redesign: Effect-TS, Search, and What's New
This is an updated description of the current features of this blog, following up on the initial redesign post . The biggest changes since then...
Summary of the Talk on Stability of Matter and Mathematical Physics in Vienna
What follows is an AI generated ( notegpt.io, found by google ) summary of Rupert’s recent talk at the Erwin Schrödinger International Institute for Mathematics...
Notes on Lewin Ch4: Spectral Theorem and Functional Calculus
1 Multiplication Operators Let be Borel, and let be a locally finite Borel measure on . We set . Local finiteness implies that...
Notes on Lewin Ch3: Self-adjointness Criteria: Rellich, Kato and Friedrichs
Rellich–Kato Let be a self-adjoint operator and . We say that an operator defined on is -bounded with relative bound if...
Notes on Lewin Ch2: Self-adjointness
Let be a separable Hilbert space over . Graphs Definition: the graph of an operator is the vector subpsace of given by...
Notes on Lewin Ch1: Introduction to Quantum Mechanics
Important notation , so it is antilinear in the first index and linear in the second. . Also - as I am playing on my...
Left and right acting derivatives
Saw an interesting notation in this Math Stackexchange answer . I quote - “ Eq. may be rewritten as , where acts on...
Blog Tags
This post serves as an elaboration on the tags used in this blog, as needed. ai-assisted : Posts that were written with the help of...
Translation of Prandtl's original paper on the boundary layer
1. On Fluid Motion with Very Small Friction 1 2 By L. Prandtl (Hannover) (With one plate of figures.) In classical hydrodynamics, the motion of...
Vibe Coded Projects
Work and life have not allowed for a lot of free time, but LLMs now allow writing niche software extremely quickly. You even get results...
Blog Redesign
This blog used to be a Jekyll site. I feel a strong need to practice and improve my writing, so I decided to leverage my...
Hello Typst
This is a sample blog post written in Typst format. Introduction Welcome to new blog system! This post demonstrates how Typst files work. Basic Math...
Notes on Lewin Appendix
Appendix A: Sobolev Spaces Definition Definition of is given, and the Meyer-Serrin theorem is stated without proof. Sobolev spaces on the interval Considering...
Padé Approximants and Integer Square Roots
The goal of Leetcode 69: Sqrt (Easy) is to provide your own implementation of integer square roots (rounded down), without appealing to a built in...
Excellent Notes, Books, and Courses
The purpose of this post is to link to well-polished or otherwise exceptional educational content online. If I have done at least part of the...
Maxwell's Theorem
In a recent 3Blue1Brown video , it was mentioned that the 2D (centered) Gaussian are the unique distributions which are radial and have independent marginals....
Project Euler in Scala 3
A collection of solutions to the first 57 Project Euler problems implemented in Scala 3. Links Check out the repository to explore the solutions and...
Comment on the Two Crystal Balls problem
The Two Crystal Balls problem, as mentioned in e.g. this course , is the following problem: “You are given two identical crystal balls that will...
tao2tex
A Python tool that converts HTML versions of mathematical blog posts (primarily from Prof. Terry Tao’s WordPress blog) into beautifully formatted LaTeX documents using regex...
Mathematics
Publications My publications are listed on ORCiD . My PhD Thesis supervised by Prof. José Rodrigo is available at the Warwick Research Archive Portal ....
macaltkey.nvim
A simple Neovim plugin that simplifies setting alt/option key bindings on Mac by converting intuitive syntax like <a-a> to proper unicode characters like å, making...