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
This gem was released 7h ago. I love the jokes and also the repetitions of themπ€£. If you have worked with #Emacs, play this, sit back and enjoy
And yes, Emacs has a package for that too π
@gotosocial Hey folks, I was reading the getting started guide, and I saw the warning about running a different application on the same domain. If gotosocial is compatible with mastodon, then would it be possible to replace mastodon with gotosicial on the same domain and account domain?
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 nobody. Just a scientist in love with Physics, Mathematics and CS. Huge FCBarcelona fan. A #gnu/#linux and free software fan