NP-Incompleteness
Shared Libraries
25 Apr 2025
Previously we learned about the ELF file used by Linux operating systems. There, we briefly covered the dynamic linker which is responsible for loading shared libraries and that they’re also encoded as ELF files.
In this post we’ll study shared libraries in more details. Knowing about ELF is not strictly necessary for this, but I would recommended reading the ELF post to fully follow some of the discussions.
The Residue Theorem
16 Apr 2025
“Why does a mathematician call their dog Cauchy?” (answer in the Conclusion)
This is a post with my notes on complex integration, corresponding to Chapter 4 in Ahlfors’ Complex Analysis.
In the last post of the series, we studied The General Form of Cauchy’s Theorem . One of the outcomes in generalizing it for multiply connected regions was the concept of the modules of periodicity. In this post we’ll explore this idea further and see how it can be used as a tool for solving integrals, via Cauchy’s Residue Theorem.
ELF: Executable and Linkable Format
12 Apr 2025
In this post I'd like to delve into them, in particular on the Executable and Linkable Format or ELF file format (used by most Linux systems). We'll cover what ELF is used for, how its contents are organized and finally how the operating system "executes" an ELF file.
Queues
29 Mar 2025
We recently visited Vietnam and on the way back, departing from Hanoi, we had to stand in multiple queues: one for ticketing and luggage, one for immigration, one for X-ray screening, and finally one for boarding. We could even count the last queue inside the plane to reach our seats.
This got me thinking about queues in data processing and reasons to use (or avoid) them. In this post I’d like to explore some of those trade-offs.
Review: Getting Started with LLVM Core Libraries
22 Mar 2025
In this post I’ll share my notes on the book Getting Started with LLVM Core Libraries by Bruno Cardoso Lopes and Rafael Auler.
The book is aimed at people interested in developing code using LLVM internal libraries. It’s very practical in the sense that it provides lots of code examples, installation steps and command lines.
My main objective in reading this book was to get a better understanding on how LLVM worked and so I skimmed most of the parts around setting up and running things. I’ll focus instead more on the high level / conceptual parts of the book in my summary.
Visit archive to see all posts...