kuniga.me > NP-Incompleteness

NP-Incompleteness

Velox: The Vector

01 Jun 2026
Velox Logo

Velox is an open source C++ library by Meta that can be used to perform computation common to distributed engines like Presto.

Its offerings include columnar operations, a rich type system, an expression parser and a smart resource management such as memory [1]. In this series of posts we’ll go over different components of Velox. In this inaugural post we cover the vector data structure which is used to store the columnar data.

Continue reading...

Sobolev Spaces

02 May 2026
Thumbnail of Sergei Lvovich Sobolev

Continuing with my exploration of understanding physics from first math principles (see previous post on functionals), I wanted to learn more about Sobolev spaces.

These are a type of vector space named after the Soviet mathematician Sergei Lvovich Sobolev (1908-1989), featured on the thumbnail.

Continue reading...

[Book] Stream Processing with Apache Flink

28 Apr 2026
Book cover.

In this post I’ll share my notes on the book Stream Processing with Apache Flink by Fabian Hueske and Vasiliki Kalavri.

This book covers many aspects of the popular open-source Apache Flink, a stream processing engine.



Continue reading...

Functionals

26 Apr 2026
Thumbnail of Frigyes Riesz

I started reading the book The Theoretical Minimum by Leonard Susskind and George Hrabovsky. A lot of the math from the early chapters looked familiar, but in Chapter 6: The Principle of Least Action, they describe and derive the Euler-Lagrange equation, which I don’t recall seeing before.

I wanted to explore these equations and their derivation, but from a more mathematical point of view. This led me to a short rabbit hole around functionals and Sobolev spaces and since I like learning things from first principles, I decided to cover functionals first.

Continue reading...

[Book] Complex Analysis

05 Apr 2026
Book cover.

In this post I’ll share a summary on the book Complex Analysis by Lars V. Ahlfors, and my journey in studying it.

I’ll start with the journey because I think it’s the more interesting. The second part is basically a link to all the posts I wrote from studying this book.


Continue reading...

Visit archive to see all posts...

Sub-pages