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.
@aral Turkey is doomed IMHO, ErdoΔan has a dictatorship mentality and eventually, will bring Turkey to its knees just like other religious dictatorships in the Middle East.
What proof assistant do you use and why?
A door to a whole new world, just opened up to me, and WOW π€© . Literally goosebumps β¦.
@Mehrad
:))) maybe. But never used GTK programmatically.
@Mehrad
I don't know about GTK that much, I'm just a user because of Emacs and some other apps. Otherwise, never had to talk to them at all.
Moreover, I don't like Gnome and nor KDE. So, I guess I could be a good judge :D
@danialbehzadi
@Mehrad
I apologize for replying in En, I hate KDE, not because it's bad, just because of Qt. Qt is by far the worst library I ever worked with. The company behind it is a joke, the code and build quality is pretty bad, and I think if it wasn't because of KDE it would've died many years ago. My beef is only with Qt
@danialbehzadi
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
@fzero Believe it or not, I thought the same when I searched for the same terms for the first time. I was like Jaysus, my search history/result used to be about tech and science. I'm getting old. π
A nobody. Just a scientist in love with Physics, Mathematics and CS. Huge FCBarcelona fan. A #gnu/#linux and free software fan