Proving Agrawal’s Conjecture Using Isabelle: A Journey in Formal Verification

Formal verification has always intrigued me, but it was only recently that I decided to tackle something quite ambitious: attempting to prove Agrawal’s Conjecture using Isabelle, a powerful proof assistant. This conjecture, centered on polynomial congruences, modular arithmetic, and primality, presents a fascinating challenge well-suited to Isabelle’s capabilities. Here’s a Read more

My First Gas Plane Flight

I have probably over a thousand hours of electric RC flight time. But this was my first gasser flight. It\’s a great plane but unfortunately the engine cutout on takeoff. I luckily saved her. This was my buddy and his dad\’s plane but they\’ve always had bad luck with it Read more