Course-AI : Academic Journey to The Industry
Published:
How students can connect academic learning, applied mathematics, artificial intelligence, and industry-oriented problem solving..
Posts by Tags
Academics
Artificial Intelligence
Course-AI : Academic Journey to The Industry
Published:
How students can connect academic learning, applied mathematics, artificial intelligence, and industry-oriented problem solving..
Azamgarh
अत्रेय महाकाव्य: शून्य से सृजन और आजमगढ़ की पावन कर्मभूमि की अमर गाथा
Published:
क्या आपने कभी उस ‘शून्य’ के बारे में सोचा है जहाँ से इस अनंत ब्रह्मांड का उदय हुआ? क्या आप जानते हैं कि आजमगढ़ की पवित्र नदियाँ—तमसा, मंजूषा और कुँवर—किन महान ऋषियों की साधना की साक्षी रही हैं?
Book-AI
Building
Lake: The Build System and Package Manager for Lean 4
Published:
Just as C++ relies on CMake for build orchestration and package managers like Conan or vcpkg for dependency resolution, Lean 4 relies on Lake (Lean Make). Lake serves as a unified build system, dependency manager, and task runner designed specifically to handle module trees, compiled C backends, and precompiled proof artifacts.
Chitrakoot
अत्रेय महाकाव्य: शून्य से सृजन और आजमगढ़ की पावन कर्मभूमि की अमर गाथा
Published:
क्या आपने कभी उस ‘शून्य’ के बारे में सोचा है जहाँ से इस अनंत ब्रह्मांड का उदय हुआ? क्या आप जानते हैं कि आजमगढ़ की पवित्र नदियाँ—तमसा, मंजूषा और कुँवर—किन महान ऋषियों की साधना की साक्षी रही हैं?
Courses-AI
Course-AI : Academic Journey to The Industry
Published:
How students can connect academic learning, applied mathematics, artificial intelligence, and industry-oriented problem solving..
Decision Making
Notebook : Chanakya(Kautilya) Niti Sutra
Published:
“Establish yourself in Self-Control, plan with Secrecy, act with Courage, and let Truth be your final destination.” — Ajeet Kumar
Design
Lake: The Build System and Package Manager for Lean 4
Published:
Just as C++ relies on CMake for build orchestration and package managers like Conan or vcpkg for dependency resolution, Lean 4 relies on Lake (Lean Make). Lake serves as a unified build system, dependency manager, and task runner designed specifically to handle module trees, compiled C backends, and precompiled proof artifacts.
Ethics
Notebook : Chanakya(Kautilya) Niti Sutra
Published:
“Establish yourself in Self-Control, plan with Secrecy, act with Courage, and let Truth be your final destination.” — Ajeet Kumar
Hindi
अत्रेय महाकाव्य: शून्य से सृजन और आजमगढ़ की पावन कर्मभूमि की अमर गाथा
Published:
क्या आपने कभी उस ‘शून्य’ के बारे में सोचा है जहाँ से इस अनंत ब्रह्मांड का उदय हुआ? क्या आप जानते हैं कि आजमगढ़ की पवित्र नदियाँ—तमसा, मंजूषा और कुँवर—किन महान ऋषियों की साधना की साक्षी रही हैं?
History
अत्रेय महाकाव्य: शून्य से सृजन और आजमगढ़ की पावन कर्मभूमि की अमर गाथा
Published:
क्या आपने कभी उस ‘शून्य’ के बारे में सोचा है जहाँ से इस अनंत ब्रह्मांड का उदय हुआ? क्या आप जानते हैं कि आजमगढ़ की पवित्र नदियाँ—तमसा, मंजूषा और कुँवर—किन महान ऋषियों की साधना की साक्षी रही हैं?
Industry
Course-AI : Academic Journey to The Industry
Published:
How students can connect academic learning, applied mathematics, artificial intelligence, and industry-oriented problem solving..
Intelligence
Notebook : Chanakya(Kautilya) Niti Sutra
Published:
“Establish yourself in Self-Control, plan with Secrecy, act with Courage, and let Truth be your final destination.” — Ajeet Kumar
How to become a mathematician ?
Published:
I don’t know from where to start to tell you about my story because i have’t become a mathematician until now, but on the track in the race of becoming a mathematician. So, whatever i will tell you that will be the my thoughts during learning and understanding in the journey of continuum hard work how i am actually transforming myself from a first class passed out master student that have a litle exposure to the research due to my masters thesis on topics of discrete differential geometry and its applications to become a researcher in mathematics after publishing papers.
Mathematics
How to become a mathematician ?
Published:
I don’t know from where to start to tell you about my story because i have’t become a mathematician until now, but on the track in the race of becoming a mathematician. So, whatever i will tell you that will be the my thoughts during learning and understanding in the journey of continuum hard work how i am actually transforming myself from a first class passed out master student that have a litle exposure to the research due to my masters thesis on topics of discrete differential geometry and its applications to become a researcher in mathematics after publishing papers.
Research
Notebook : Chanakya(Kautilya) Niti Sutra
Published:
“Establish yourself in Self-Control, plan with Secrecy, act with Courage, and let Truth be your final destination.” — Ajeet Kumar
How to become a mathematician ?
Published:
I don’t know from where to start to tell you about my story because i have’t become a mathematician until now, but on the track in the race of becoming a mathematician. So, whatever i will tell you that will be the my thoughts during learning and understanding in the journey of continuum hard work how i am actually transforming myself from a first class passed out master student that have a litle exposure to the research due to my masters thesis on topics of discrete differential geometry and its applications to become a researcher in mathematics after publishing papers.
System
Lake: The Build System and Package Manager for Lean 4
Published:
Just as C++ relies on CMake for build orchestration and package managers like Conan or vcpkg for dependency resolution, Lean 4 relies on Lake (Lean Make). Lake serves as a unified build system, dependency manager, and task runner designed specifically to handle module trees, compiled C backends, and precompiled proof artifacts.