NP-Incompleteness
Weierstrass Factorization Theorem
02 Jul 2025
Karl Weierstrass was a German mathematician often regarded as the father of modern analysis. Despite being the author of groundbreaking theorems, Weierstrass never finished college.
The University of Königsberg eventually granted him a honorary degree and he became a professor at the nowadays Humboldt Universität zu Berlin.
Weierstrass tutored Sofia Kovalevskaya (the same woman Mittag-Leffler helped become full professor in Sweeden [6]), regarding her his best student, and helped her get a doctorate from Heidelberg University.
In this post we’ll study the Weierstrass Factorization Theorem which allows us to express an entire function as a product of its zeros.
Folly Coroutines
18 Jun 2025
In this post we’d like to discuss Folly coroutines. At a high-level, coroutines are a syntax sugar to Future and SemiFutures, which in turn are mechanisms for implementing asynchronous execution.
Mittag-Leffler's Theorem
17 Jun 2025
Magnus Gustaf “Gösta” Mittag-Leffler was a Swedish mathematician. After earning a PhD at Uppsala University, Mittag-Leffler attended lectures on elliptic functions from Charles Hermite in Paris and Karl Weierstrass in Berlin, which influenced his works.
Mittag-Leffler was an advocate of women’s rights. He helped Sofia Kovalevskaya become full professor of mathematics in Stockholm, the first woman to do so in Europe. As a member of the Nobel Prize Committee, Mittag-Leffler was responsible for convincing the committee to include Marie Curie in the Nobel prize in physics, instead of just Pierre Curie.
In this post we’d like to study the Mittag-Leffler’s Theorem.
Folly Executors
07 Jun 2025
In a previous post we discussed Folly futures where we introduced semi-futures and executors. Then in Asynchronous I/O Overview among other things we covered the libevent library.
In this post we want to delve into the executors. One of them being the IO executor which leverages libevent. So while reading those two posts is not strictly required, it’s highly recommended for the bigger picture.
Runge's Theorem
31 May 2025
Carl Runge was a German mathematician who, and among other things, is known for a result concerning the approximation of holomorphic functions. This result is know as the Runge’s approximation theorem and we’ll study its proof in this post.
Fun fact: Karl Weierstrass was one of Runge’s advisors.
Visit archive to see all posts...