mantevian
@mantevian.bsky.social
22 // my friends associate me with math as a school subject // into electronic music, computational art and programming languages // I write css for a living
mantevian.xyz
mantevian.xyz
I ideologically would like to ditch spotify, but I found so many of my favourite artists from discover weekly, including one who's actually ditching the platform now. I can't be ungrateful to spotify for providing that. not sure how to solve this dilemma
July 20, 2025 at 7:07 PM
I ideologically would like to ditch spotify, but I found so many of my favourite artists from discover weekly, including one who's actually ditching the platform now. I can't be ungrateful to spotify for providing that. not sure how to solve this dilemma
I saw "? true : false" at work yesterday
July 16, 2025 at 6:17 PM
I saw "? true : false" at work yesterday
PUNCHBOX
I made an entry to the Mini Jam 188!
it's an arcade-shooter game where you need to punch *boxes* with your *boxing* glove and destroy the box-producing factory. made in 3 days. all art by me in Inkscape. no AI.
you can play it on itch! mantevian.itch.io/punchbox
I made an entry to the Mini Jam 188!
it's an arcade-shooter game where you need to punch *boxes* with your *boxing* glove and destroy the box-producing factory. made in 3 days. all art by me in Inkscape. no AI.
you can play it on itch! mantevian.itch.io/punchbox
July 6, 2025 at 9:24 PM
PUNCHBOX
I made an entry to the Mini Jam 188!
it's an arcade-shooter game where you need to punch *boxes* with your *boxing* glove and destroy the box-producing factory. made in 3 days. all art by me in Inkscape. no AI.
you can play it on itch! mantevian.itch.io/punchbox
I made an entry to the Mini Jam 188!
it's an arcade-shooter game where you need to punch *boxes* with your *boxing* glove and destroy the box-producing factory. made in 3 days. all art by me in Inkscape. no AI.
you can play it on itch! mantevian.itch.io/punchbox
the "gnome web" browser doesn't work on my work pc on clean lts ubuntu with gnome. webkit just doesn't render anything. screw ubuntu for real
July 2, 2025 at 4:27 PM
the "gnome web" browser doesn't work on my work pc on clean lts ubuntu with gnome. webkit just doesn't render anything. screw ubuntu for real
the good feeling when you spend 3 hours and stay up until 2 AM trying to fix a software issue, and then in the morning it takes 5 minutes to finish it all
July 2, 2025 at 6:12 AM
the good feeling when you spend 3 hours and stay up until 2 AM trying to fix a software issue, and then in the morning it takes 5 minutes to finish it all
turned out that neutralino just doesn't work on wayland natively :/
setting GDK_BACKEND=x11 makes it run just fine. it even sets the icon and system tray correctly!
setting GDK_BACKEND=x11 makes it run just fine. it even sets the icon and system tray correctly!
July 2, 2025 at 6:08 AM
turned out that neutralino just doesn't work on wayland natively :/
setting GDK_BACKEND=x11 makes it run just fine. it even sets the icon and system tray correctly!
setting GDK_BACKEND=x11 makes it run just fine. it even sets the icon and system tray correctly!
wanted to try neutralino (electron alternative that uses a small precompiled binary and native webview)
instead spent 3 hours debugging a segfault that only occured outside of vscode. next up: comparing all env vars in normal shell and vscode shell to find the cause
instead spent 3 hours debugging a segfault that only occured outside of vscode. next up: comparing all env vars in normal shell and vscode shell to find the cause
July 1, 2025 at 10:41 PM
wanted to try neutralino (electron alternative that uses a small precompiled binary and native webview)
instead spent 3 hours debugging a segfault that only occured outside of vscode. next up: comparing all env vars in normal shell and vscode shell to find the cause
instead spent 3 hours debugging a segfault that only occured outside of vscode. next up: comparing all env vars in normal shell and vscode shell to find the cause
i want to try golang html templating for my website if i'm gonna do blog posts on there
June 30, 2025 at 7:35 PM
i want to try golang html templating for my website if i'm gonna do blog posts on there
having a comfortable physical place to work on your computer is invaluable. i'm just mentally blocked all the time when i'm not comfortable enough
June 29, 2025 at 7:58 PM
having a comfortable physical place to work on your computer is invaluable. i'm just mentally blocked all the time when i'm not comfortable enough
finally started some work on the website mantevian.xyz
not much but I'm loving the simple design
not much but I'm loving the simple design
Document
mantevian.xyz
June 29, 2025 at 3:49 PM
finally started some work on the website mantevian.xyz
not much but I'm loving the simple design
not much but I'm loving the simple design
seeing non-frontend devs struggle with basic css is validating, I thought it was easy to understand but I guess it's just me, so my experience is actually kinda valuable
June 29, 2025 at 7:23 AM
seeing non-frontend devs struggle with basic css is validating, I thought it was easy to understand but I guess it's just me, so my experience is actually kinda valuable
Reposted by mantevian
my proposition for environmentalism and preserving energy is to abandon js frameworks and stop running several megabytes of a scripting language in every website
June 24, 2025 at 6:18 PM
my proposition for environmentalism and preserving energy is to abandon js frameworks and stop running several megabytes of a scripting language in every website
kde 6.4 and oneui 7 in the span of a few days. this oneui update is pretty big but I'm not sure about samsung keeping its identity. feels a bit more like google or apple
June 23, 2025 at 5:49 PM
kde 6.4 and oneui 7 in the span of a few days. this oneui update is pretty big but I'm not sure about samsung keeping its identity. feels a bit more like google or apple
javascript's textmate scopes are soooo complicated and multi-layered. I looked through some code in go and it has like the simplest configuration possible. literally just source.go and a single scope for whatever the current token is
June 22, 2025 at 12:33 PM
javascript's textmate scopes are soooo complicated and multi-layered. I looked through some code in go and it has like the simplest configuration possible. literally just source.go and a single scope for whatever the current token is
I've spent so much time trying to figure out how this textmate stuff works in vscode and looking through several themes for reference
and now I've learned there's a built-in inspector... well that changes everything and my config is gonna be really small now :D
random css as an example
and now I've learned there's a built-in inspector... well that changes everything and my config is gonna be really small now :D
random css as an example
June 22, 2025 at 12:27 PM
I've spent so much time trying to figure out how this textmate stuff works in vscode and looking through several themes for reference
and now I've learned there's a built-in inspector... well that changes everything and my config is gonna be really small now :D
random css as an example
and now I've learned there's a built-in inspector... well that changes everything and my config is gonna be really small now :D
random css as an example
I hope samsung isn't gonna try to copy apple's new glass style, or I'm switching off of samsung whenever I get my next phone (idk when and idk what to switch to)
June 22, 2025 at 7:17 AM
I hope samsung isn't gonna try to copy apple's new glass style, or I'm switching off of samsung whenever I get my next phone (idk when and idk what to switch to)
help why do I have 13 ghost followers, it says 16 but I can see only 3 of them
June 21, 2025 at 2:17 PM
help why do I have 13 ghost followers, it says 16 but I can see only 3 of them
summer solstice and it's the coldest + windiest day this june so far
June 20, 2025 at 7:50 PM
summer solstice and it's the coldest + windiest day this june so far
Reposted by mantevian
Here are the equations for the different corners. If you're using this for realtime, you might appreciate the simplicity and lack of expensive trig functions:
May 22, 2025 at 3:38 PM
Here are the equations for the different corners. If you're using this for realtime, you might appreciate the simplicity and lack of expensive trig functions: