Lean is a cool programming language and proof assistant for math geeks.
It lets you write super precise code and prove theorems like a pro.You can dig deep with their documentation and I think it's cool try it.

Words of wisdom from THE BROTHERS KARAMAZOV 🥶

What if we linked our neurons like computers linked for the internet?🤔
But, uh, would we need a firewall for bad ideas? 😁

Existential isolation amazes me, imagine this all people that exist, have existed or will ever exist can never experience the world exactly the way you do, this is your fingerprint on reality, a once in eternity moment for the universe.

YES, you are this unique.

So Ilya was Geoffrey Hinton's Student and that makes sense!

This is me rn😭😭😭🤣

Btw how on earth did you keep up with the names in his books?😭Here Alexey there Alyosha and sometimes in one goddamn passage use different names for the same Person😒Anyways what a book 🔥🔥

"Mathematics is the language with which God has written the universe." Galileo Galilei

If you haven't watched it yet, then you're missing out on a great Documentary.

Damn I trained my ai the whole day and now it has found a loophole and it is using that against me😂😂💪will release the project as promised pronto stay tuned!

Listening to this Mobland series intro song + Coding is 🔥

I'll release the project today around 5/6 PM UTC+3

🚀 I Built a Checkers AI Agent That Learns Like a Brain! 🤖♟️

Hello everyone! I just built a Checkers AI Agent that learns to play using the NEAT (NeuroEvolution of Augmenting Topologies) algorithm! 🧠♟️

After a long time of learning and building, I finally created a Checkers AI Agent that mimics biology using the NEAT algorithm.

This AI doesn’t just play; it learns through self-play and evolves its neural network structure over time, just like a brain. Inspired by AlphaGo, I wanted to explore how AI can mimic biological evolution — and watching it get smarter is honestly exciting.

It’s still at a basic level, but seeing it grow and learn on its own makes it incredibly rewarding. You can play against the AI in your browser or train your own models.
It is also open source.
Try it online, check out the code, or contribute!
🔗 Play now: https://checkers-using-neat1.onrender.com/
🔗 GitHub: https://github.com/benasphy/Checkers_Using_NEAT

⭐ Don’t forget to star, fork.
For questions or contributions DM @benasphy

If you are facing any error try to refresh it or try to run it locally as stated on the repository

I really appreciate anyone who wants to contribute and our aim should be reaching the AlphaGo level and anyone interested DM me @benasphy I could add you to contributors