Partial orders for Counter data structures
Multisets can be partially, but not totally, ordered by inclusion. Here’s a quick bugfix for the
counter crate.#Hi, I’m Yossi Frenkel
Welcome to Abstract Nonsense! Abstract Nonsense is a whimsical name for the mathematical subject of Category theory. It’s also my domain of all things arcane.
I studied mathematics and computer science at the University of Melbourne and I’m currently reading for an MPhil in Advanced Computer Science at the University of Cambridge.
In between working, I enjoy learning about maths, procrastinating, writing long lists, reading, and generally pretending I have a life outside of my head. Sometimes it works.
I enjoy writing about maths, computer science, and anything that piques my curiosity!
#Contact me
I’d love to hear from you! Feel free to email me at hello@abstractnonsense.xyz or start a discussion on GitHub.
Recent posts
All blog posts →MPhil in Advanced Computer Science at the University of Cambridge
A personal update: I’m returning to study!Apostol's Solution to the Basel problem
A neat solution to the Basel problem: $\sum_{n=1}^\infty \frac 1 {n^2} = \frac{\pi^2}{6}$. The solution is by Apostol, and relies on using vector calculus.Factorial overflow
Exploring the factorial function and determining the first $n$ such that $n!$ exceeds the maximum size of an unsigned integer, for various bitwidths. We’ll take a look at Stirling’s approximation and the Lambert W function.Writing an eigenvalue solver in Rust for WebAssembly
We build an eigenvalue solver in Rust and compile it to WebAssembly, to build an interactive demo of the Gershgorin Circle Theorem that bounds the region of the complex plane matrix eigenvalues live in.