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.

Blogs:

1. Ben Katz's Blog: Robotic and other build, very raw and cool
2. Alex Hattori's Blog: Legged Robot Builds
3. Xingxin He's Blog: Weekly update on how the person is doing a phd plus some other topics
4. Albert Kuo's Blog: I like the Topics in this blog