@anirudhg07

I Lean-ed into Formalization first time

Jan 23 · 8 min read · I was fascinated when one of my Professors, Siddhartha Gadgil at Indian Institute of Science gave a talk where he should machines checking proofs. This is not AI. Rather a programming language. I was in my first year in undergrad when I saw this and ...

Working without Sudo in Unix Terminal

Jun 27, 2025 · 10 min read · Many times when we are connecting to a remote server via ssh, or using a Linux machine without sudo access i.e. you are not root, it is just painful that you cannot install packages which make your terminal workflow easier.Yes, I am talking about JUS...

Terminal is a Craze

Jul 29, 2024 · 6 min read · Have you ever looked at the plain black terminal where you do python3 hello.py and results pops up. It looks so ugly when you see all those big lines of errors. You just want to avoid it.But then you have unixporn reddit where you look at people's te...

Capture The Flag(CTF)

Jun 18, 2024 · 7 min read · Have you ever wondered how ethical hacking works? How cyber security people become who they are? That's still a long distance road but what about, how do you find exploits in softwares and programs which cyber attackers(hackers, bad guys) find just b...

Terminal GPT and AI

May 25, 2024 · 7 min read · In today's advancing world, the hot topic going on is "AI". Everyday, we use ChatGPT, Gemini, Llama, Github Copilot, etc. for our everyday purposes. For code writers, they may feel Github Copilot, OpenAI's gpt-3.5-turbo, gpt-4 are life saviours. Thes...