In my latest blog post, I explore some intriguing and varied topics. I delve into my personal good software development habits, alongside an exciting piece on reverse engineering iOS 18’s inactivity reboot. I highlight some of AlphaProof’s coolest mathematical proofs and reflect on the evolving power of print. Lastly, I discuss the ongoing relevance of magazines. There’s something for everyone to enjoy!

• Good software development habits: This post is not advice, it’s what’s working for me. It’s easy to pick up bad habits and hard to create good ones. Writing down what’s working for me hel…
• Reverse Engineering iOS 18 Inactivity Reboot: Wireless and firmware hacking, PhD life, Technology
• AlphaProof’s Greatest Hits: Here I’ll try to explain the coolest ideas in each of AlphaProof’s IMO 2024 solutions. AlphaProof produces proofs in Lean, and each Lean proof is composed of a series of tactics. So I’ll pick out the tactics that correspond to these ideas in the proofs for problems 1, 2 and 6 (the three problems that AlphaProof solved). AlphaProof has developed its own proving style, so figuring out what it’s doing can involve some detective work.
• Power of Print rides shift in tides:
• From the Editor’s Desk: Magazines Still Relevant: The results of a survey from earlier this year conducted by the Association of Magazine Media are good news for those of