I Lean-ed into Formalization first timeI 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 ...Jan 23 · 8 min readanirudhg07.hashnode.dev
Working without Sudo in Unix TerminalMany 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...Jun 27, 2025 · 10 min readanirudhg07.hashnode.dev
Terminal is a CrazeHave 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...Jul 29, 2024 · 6 min readanirudhg07.hashnode.dev
Capture The Flag(CTF)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...Jun 18, 2024 · 7 min readanirudhg07.hashnode.dev
Terminal GPT and AIIn 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...May 25, 2024 · 7 min readanirudhg07.hashnode.dev
