HassaanatifWhat “months” of discipline taught meAs I stirred my morning cuppa espresso, my ruminations led me to reflect on how long it had been since I last shared my life with the…Sep 30Sep 30
HassaanatifA Coq-ky affair: A Primer on Coq — A Formal Proof AssistantBackgroundSep 23, 2023Sep 23, 2023
HassaanatifThe benefits that we get out of Stirling’s Approximation: A Computer Science perspectiveLast year, I took up a course on “Design and Analysis of Algorithms” during the 4th semester of my Computer Science undergraduate degree…May 4, 2022May 4, 2022
HassaanatifWhat the “Dragon book” does wrong…Alright, so the talk of today’s post is going to be centered around the classic “Dragon Book” (aka “Compilers: Principles, Techniques, and…Jan 14, 2022Jan 14, 2022