

Ah, DEs. What’s so hard though, they are just linear algebra on function space
Jest aside, yeah mathematical device for physics could easily become quite hard and unwieldy.
Ah, DEs. What’s so hard though, they are just linear algebra on function space
Jest aside, yeah mathematical device for physics could easily become quite hard and unwieldy.
Makes me think maybe I shouldn’t have chosen math, I am not even 1% as smart as Andrew Wiles
Which equation hurt you? Schrodinger’s?
How can I unsee this comment?
I never messed up my computer despite frequently not knowing what certain command I am running does. Am I lucky, can I buy a lottery on this basis?
Thanks, I manage to successfully mount the volume on my host! Sadly, it seems like forgejo’s usual version and docker/podman version are quite different, so there are issues arising from that. I guess I have to set things up from ground-up; At least I have a backup of the repositories now.
Modern replacement of IRC, it is an open source chatting platform which admits some limited federation. You can look into it on https://matrix.org/
Fwiw, I still hear about it these days around me.
Oh no… I wish I could move to e.g. matrix, but lots of people refuse to leave discord… Am I just going to be cut off?
Eh, I don’t think autism is related to the appearance of brain.
The devs state you shouldn’t hold your breath waiting for the native window manager xfwm to be ported into a Wayland compositor, since they don’t know if/when it will be done.
It seems window management part is putting significant challenges, which I guess is for the exact reason - tight coupling of WM and compositor. Maybe XFCE won’t get a full port?
Yeah, sadly some games still do not work well on linux. Recently I had issues with Talos principle 2, where it may randomly crash on loading screen.
Nah, I am not talking about hackernews buzz. I just thought it is dying couple of years ago.
Is haskell still alive?
Is linux becoming this popular, or is this a one-off incident?
What is the bottom right language?
God, I wish. But I heard reddit even grew when 3rd party API was banned. Why would it be different this time?