To all the #FreeSoftware and #opensource contributors and activists out there, past and present:
Thank you, you rock.
Without your efforts, I wouldn't be where I am today.
I started a video series on "How to build a compiler with LLVM and MLIR", I'll share my progress on the #Serene compiler on this series.
https://www.youtube.com/playlist?list=PLlONLmJCfHTo9WYfsoQvwjsa5ZB6hjOG5
Gitea and Forgejo are getting profile READMEs :)
I've updated the "resources" page on the #serene's website with numerous resources that I've studied to work on the compiler. If you're interested in #compilers, #mathematics, and stuff like that, you might find it useful.
What proof assistant do you use and why?
A door to a whole new world, just opened up to me, and WOW π€© . Literally goosebumps β¦.
Are you using #borgmatic yet? If not, drop whatever you're doing and set it up. It just saved me from a catastrophic incident.
Kudos to those who created #borgbackup and borgmatic
I just found another favorite author. Tim James. I listened to couple of his books on physics and astronomy and I have to say he is amazing. I liked his physics puns and his sense of humor in his books. And also, the way he narrated the books makes them even funnier. #physics
796 Packages need to be recompiled on my laptop. A downside of running #Gentoo. But totally worth it.
I used #rust, for the early versions of the Serene compiler, and I gave up on it due to some technical difficulties with the lang itself. But I'm happy that I made that choice. What a horrible foundation they got π€―
https://www.youtube.com/watch?app=desktop&v=gutR_LNoZw0
Are they going to sue me now? π π
A friend of mine sent me a thread of tweets about Benjamin Libet's experiment to deny the free will. It immediately, popped the idea of universal wave function in my head. If we can define the universe in terms of the universal wave function and interactions of quantum states, does it mean that we don't have free will? What do you think?
I've been trading stocks for over 5 years now. I can safely say that the stock trader groups and communities are quite poison. Whoever that makes money for a short while starts a community and calls himself/herself a guru and earns money by charging illiterate people for βteachingβ them how to trade, even though their trading game is just not good any more. Now add chatgpt to this mixture as well, and you'll get a mess. Who ordered that?
A nobody. Just a scientist in love with Physics, Mathematics and CS. Huge FCBarcelona fan. A #gnu/#linux and free software fan