Sachal Khalid

@freeCodeCamp @beaucarnes Great, you guys are literally contributing.🙌

Potential employers may want to know that you have solid Kubernetes skills. Well, to show them you do, you can earn the Certified Kubernetes Administrator cert - and this course helps you study. In it, @beaucarnes covers cluster architecture, workloads and scheduling, networking, storage, and more - with tons of demos. freecodecamp.org/news/prepare-f…

@AnimaAnandkumar Amazing 🙌

We’re excited to release TorchLean which is the first fully verified neural network framework in Lean. The Lean community has largely focused on pure mathematics. TorchLean expands this frontier toward verified neural network software and scientific computing. With the recent release of CSlib, we see this as another step toward a fully verified ML stack. We support features: 1. Executable IEEE-754 floating-point semantics (and extensible alternative FP models) verified tensor abstractions with precise shape/indexing semantics 2. Formally verified autograd system for differentiation of NN programs Proof-checked certification / verification algorithms like CROWN (robustness, bounds, etc.) 3. PyTorch-inspired modeling API with eager-style development + export/lowering to a shared IR for execution and verification Project page: leandojo.org/torchlean.html Paper: [2602.22631] TorchLean: Formalizing Neural Networks in Lean Work done @Robertljg, Jennifer Cruden, Xiangru Zhong, @huan_zhang12 and @AnimaAnandkumar. #MachineLearning #ScientificComputing #Lean

Hi @dhruv_rathee , I found your new product, AI Fiesta, fascinating. One curiosity: how do you ensure users get the latest official versions on the backend? Asking since users only see responses, not API logs. Transparency = trust 🙌

@Python_Dv C

Python Question / Quiz; What is the output of the following Python code, and why? 🤔🚀 Comment your answers below! 👇 #python #programming #developer #programmer #coding #coder #softwaredeveloper #computerscience #webdev #webdeveloper #webdevelopment #pythonprogramming #pythonquiz #ai #ml #machinelearning #datascience

🚀 Just completed my dashboard inspired by @codebasicshub! 👉 Revenue/Market: ₹65.66M 👉 Revenue/Customer: ₹25.92M 👉 Avg Order: ₹6.64K 👉 Top Market: Delhi NCR 👉 Best Year: 2018 👉 Top Customer: Electricalsara Stores 👉 Top Zone: North #DataAnalytics #insights #DataVis

@zeeshanusmani Very sad to hear but. You should not stop here. You should build your own website for vedios which will not depend upon any thing and you will have right to speak anything, as same as Sandeep Mahshveri did for his vedios content, because we learned a lot from your vedios.

My YouTube Channel was permanently deleted today by YouTube due to the posting of content deemed "harmful and dangerous." Alhamdo Lillah. I primarily share videos related to personal and spiritual development, as well as emerging technologies. I'm unsure why my content was classified as "Harmful and Dangerous." The last video I uploaded discussed #AnantAmbani’s Pre-Wedding and compared it with poverty in India. I speculate that the video might have been perceived as offensive by #NealMohan or #SundarPichai. Here goes the right of "Freedom of Expression." Zeeshan Usmani Deleted Channel - youtube.com/c/zeeshanusman…

🚀 Attention, fellow Coders! 🚀 🌟 It's #Day6 of the exhilarating 7-day #LeetCodeChallenge, and I'm poised to tackle the "Greatest Common Divisor Traversal" problems! 💥 #CodingAdventure #ProblemSolving #Day6Success 🎉

Read very bold and important statement. Reference: "Eat that Frog" by Brain Tracy

@Python_Dv (B) is the answer.

What is the output of this code, and why? 🤔🚀Comment your answers below! 👇 #python #programming #developer #morioh #programmer #softwaredeveloper #computerscience #webdev #webdeveloper #webdevelopment #pythonprogramming #pythonquiz #ai #ml #machinelearning #datascience

I'll do Exploratory Data Analysis for you. let's connect. #Fiver #order

Bring Back Google Coding Competitions! - Sign the Petition! chng.it/66Lf982y via @Change

@RealBenjizo 6 will be the answer because That newfun will have the address of first function instead of second one and it will repoint on first one.

Python Question; What is the output of this code, and why?🤔

@benzard19 @MiftahIsmail But unfortunately this discussion is beyond our politician thoughts.

@MiftahIsmail The most realistic way to boost our economy is through IT sector. India became an IT giant from their change in policies in the 90s and early 2000s and their IT sector is projected to contribute around 10% to their GDP in FY2025. Why does our IT sector only contribute around 1%?

Please ask me any question you want about our economy and about Reimagining Pakistan. I will try to answer as many questions as I can. Thank you.

@benzard19 @MiftahIsmail Here comes some technicalities. In Indian universities there is a culture to solve leetcode code problems not at the end of the degree but when they got admission in University. But here in Pakistan students even don't no what is leetcode. So FANG hires Indianan instead of us.

If you want to Learn Data Science / ML in 2023, follow this roadmap :

@piaicofficial When admission will open for AI?

PIAIC : Web 3.0 and Metaverse admissions will be announced again. #SavePakistan #PakistanZindabad #President #PIAIC #ZiaKhan #web3 #metaverse #virtualreality #technology #crypto #artifialintelligence #cloudcomputing #karachi #lahore #islamabad #peshawar

@RaviShastriOfc What's your secret of success?

I’m in a good mood today, ask me anything. #AskRavi

We want to be choosers not beggars. #MarchAgainstImportedGovt