mundane_party

joined 1 year ago
[–] mundane_party 21 points 1 year ago* (last edited 1 year ago) (1 children)

I heard aeharding has been blackmailing ruud

 
[–] mundane_party 6 points 1 year ago (1 children)

I could be wrong, but based on the Wikipedia article it seems like it’s more trying to be a python replacement than a rust/c++/Java/etc replacement. The big thing with rust is that it’s rules allow memory safety without a garbage collector, while unless I missed something it seems like nim just uses a garbage collector. Not that that’s necessarily some huge problem or anything, but you know, different purposes

[–] mundane_party 25 points 1 year ago (4 children)

Tab characters are space efficient and configurable for each person in their editor. Space characters are consistent between developers.

Solution: each tabspace indent is a random width, making it both inconsistent and non-configurable. Also, each character is the size of at least four regular characters, so it’s not even space efficient

[–] mundane_party 1 points 1 year ago

Well we’re about 5% of the way through the transfer window. Good luck I guess?

[–] mundane_party 4 points 1 year ago (1 children)

*GP for Gianpiero. But otherwise, I think you’re spot on

 

When I am viewing a feed it seems like there is some sort of auto-refresh that continuously adds new posts to the top of the feed, no matter what sort I am using. This refresh shifts the posts below and also closes any images I had expanded which makes browsing very unpleasant. I assume this happens for any feed, but I particularly notice this on Local or All because they are more active. Is there any way to fix this?

It seems like this auto-refresh is pretty wasteful, unless you're intentionally trying to follow a live thread or something. But at the very least I feel like new posts should be added with respect to the sort in place instead of always going to the top so that the feed doesn't keep shifting and refreshing as I try to scroll through.