For my phone (almost 7 years old), a thin needle to scrape out all the dust is sufficient. Pressurized air also helps.

Me, a physics educator: “Interesting!” takes note

We used to play the game with 2× base game, ~3 or so expansions (including Inns and Cathedrals), and one mini expansion. The game would take several hours, and everyone would just attempt to build a single giant city with a cathedral to get 3 points per city tile.

Here, the developer explained why development activity decreased:

While it is true that due to private reasons I had to take a bit of a pause of developing FlorisBoard and some time passed with no progress at all, implementing a completely new statistical NLP (Natural Language Processing) provider, or in laymans terms the long-awaited word prediction and spell-checking implementation, is also a huge task which takes a lot of time and trial-error and development time.

You are comparing GitLab (the application) with codeberg.org (the website operated by the codeberg e.V. non-profit). A fair comparison would be gitlab.com (the website operated by GitLab Inc.) with codeberg.org or GitLab (Community Edition or Enterprise Edition) with Forgejo (the application powering codeberg.org). They can be fully self-hosted and are both planning to implement AcivityPub-based federation.

The sidebar on his Patreon page says

you can actually donate any amount you want per month.

On this page, you can scroll down to the bottom, and there is an option “Or choose your own price” with a “Make custom pledge” button.

I would assume that “market share” is related to the relative number of units sold/number of active subscriptions/fraction of total sales in terms in revenue, or some similar metric. I run a variety of different distributions on servers (bare metal, VMs and containers) and desktop computers. Do they all count equally? Without giving it more thought, I wouldn’t even know how to determine the market share of Ubuntu in my own home in a sensible way.

With Windows, I can just count the number of active licenses. Oh wait, its zero.

This feels more like a hack than a suitable solution. Also, it does not work with static binaries.

It would be nice to have better support for 464xlat clat on linux. Sure, there are implementations like clatd based on tayga (which, by the way, was last updated in 2011???) or jool (out-of-tree kernel module), but setting them up is rather cumbersome. On Android, I automatically get a v4-rmnet0 interface when I connect to an IPv6 only network (such as my mobile network), which provides a local IPv4 gateway for legacy applications and websites, that will automatically do nat64/clat. Prefix-discovery is done using DNS64.

NASA already stole some of their rocks.

That does not sound plausible to me. Typically, your own computer would be behind a router that is either doing NAT or has a firewall (probably the former). Any incoming traffic would be directed to the router without any chance of reaching your computer. Whatever you saw was either outgoing traffic or incoming traffic in response to connections initiated by your own computer.

Connection attempts from the FBI? Could you specify that a bit further?

I don’t actually care about the IP address, I am just curious if a website is accessed via IPv4 or IPv6.

Firefox (I am not going to repeat the obvious ones that have been mentioned numerous times):

• IPvFoo: Display IP address information for website
• tabdetach: I always juggle around my windows. Being able to detach, attach and merge tabs without using the mouse is really useful.
• Cookie AutoDelete: Removes cookies unless whitelisted

home assistant, freshrss (and a few related services such as rss-bridge), nitter and piped. I tried to host libregrammar, but ran out of memory.

i.redd.it and v.redd.it might make sense as well. There is a bunch of subdomains and other domains (…oauth.reddit.com, …redditmedia.com, …), but they are only used if you connect the the main sites (i. e., not hot-linked), so blocking those will be sufficient to block all reddit-traffic.

I don’t see a future for reddit with the upcoming changes – at least not the part of reddit that I value. With the AMA it became clear (if it was not already) that reddit does not see a problem with this and the blackout will not change anything about this. To be honest, I think their plan might work, and they will end up with a profitable TikTok-clone a few years from now. But the community will be dead.

Some time on the 12th (tomorrow), I will delete all my accounts, uninstall all apps, remove RES, and block reddit in my hosts file (for good measure). (To be honest, it feels quite exciting to experience the demise of a platform at this pace!)

Reddit was at its best when it was a tiny fraction of its current size, so I feel confident that we can build great communities elsewhere. And the group of people that are mad at reddit is heterogeneous enough for this to actually work.