🚀 u/benj
Posts
Maths! — Hello everybody, it's been a while since I've been here :-) Anyways, lately I've been having tons of fun learning maths! Turns out that in maths all that "fun" and "beauty" and "elegance" and "play" that mathematicians are talking about is in the theorems and proofs and all those intellectual games that mathematicians make for themselves! The "applied" mathematics side of things never did it for me, it asked me to memorize a bunch of formulas, take them on authority that they "work"...
💬 5 comments · 4 likes · 2025-08-05 · 9 months ago
Have you ever felt the power of, when an command is doing something you don’t know and then you just put strace in front of it and suddenly there are no more secrets!? POWER!
💬 2 comments · 1 like · 2023-06-16 · 3 years ago
First Linux package contribution — Yesterday I finally make my first contribution but void linux! It’s funny that I’ve been using a bunch of distributions for years but the first one that I was motivated enough contribute, and that made it straight forward enough to do so, was void :) I’m not gonna rage about how xbps or their void-packages works, but suffice to say, I finally did it!
💬 5 comments · 2 likes · 2023-06-16 · 3 years ago