Anirudh Gupta

@anirudhg07

Student@IISc, Bangalore. Hungry for leaning!

IndiaJoined May 2024

About

I am a student at IISc, Bangalore, persuing BTech Mathematics and Computing. I am a math, cs and ai enthusiast. I love cracking math problems or tinkering with my terminal.

Available for

I am available for being mentored, tutored.

Anirudh Gupta's blogs

Anirudh Gupta's bloganirudhg07.hashnode.dev6 posts

Articles Comments

Recently published

AGAnirudh Guptaanirudhg07.hashnode.devJan 23 · 8 min read

I Lean-ed into Formalization first time

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 ...

0

AGAnirudh Guptaanirudhg07.hashnode.devJun 27, 2025 · 10 min read

Working without Sudo in Unix Terminal

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...

0

AGAnirudh Guptaanirudhg07.hashnode.devJul 29, 2024 · 6 min read

Terminal is a Craze

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...

0

AGAnirudh Guptaanirudhg07.hashnode.devJun 18, 2024 · 7 min read

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...

0

AGAnirudh Guptaanirudhg07.hashnode.devMay 25, 2024 · 7 min read

Terminal GPT and AI

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...

0

Anirudh Gupta

About

Available for

Anirudh Gupta's blogs

Recently published

I Lean-ed into Formalization first time

Working without Sudo in Unix Terminal

Terminal is a Craze

Capture The Flag(CTF)

Terminal GPT and AI

Search Hashnode

Anirudh Gupta

About

Available for

Anirudh Gupta's blogs

Recently published

I Lean-ed into Formalization first time

Working without Sudo in Unix Terminal

Terminal is a Craze

Capture The Flag(CTF)

Terminal GPT and AI