Random Cool Stuff

Mathematics

1. Lean: Programming Language for Theorem prover [Link]
   i. Tutorials: Natural Number Game [Link]
2. Manim: Python Library for making cool mathematical videos [Github-Link] [Manim Community]

Cool AI tools:

1. InstantID : Merges your picture with text description and an optional pose photo
2. Text to Image Playground: COnvert text to image with free credits addition.

Useful Softwares:

1. WinDirStat: Used to find large files in the system. Helpfull in cleaning up the system.