Hello, I am Adi!

Mathematics student @ University of Waterloo.

Reach me at athayyil [@] uwaterloo.ca!

“The more I think about language, the more it amazes me that people ever understand each other at all.”

― Kurt Gödel


Can You Actually Prove You’re in Love?

Formally, love is a non-verifiable claim in an incomplete information game, where trust emerges as a Bayesian equilibrium sustained by costly signaling and repeated belief updating under uncertainty.

[read]

Copy/Swap Idiom in C++

The copy/swap idiom builds a copy-assignment operator that is self-assignment safe and provides the strong exception guarantee by accepting the right-hand operand by value, performing a noexcept swap with this, and letting the temporary’s destructor automatically release the old resources.

[read]

Dynamic Memory Allocation in C

Explore memory management in C with functions like malloc, realloc, and free for allocating, resizing, and deallocating memory. Learn how to use Valgrind to detect memory leaks and errors, helping you write more efficient, error-free programs.

[read]