Activity - At least it won’t complain about rigid, skolem or occurrence check. - Sprites kbin instance

Go to content Go to filters Go to search Go to footer

/m/linux@lemmy.ml

Add new link
Add new thread
Add new photo
Add new post
Create new magazine

Select a channel

Subscribed
Moderated
Favorites
All

Log in

someacnt_, 1 year ago

At least it won’t complain about rigid, skolem or occurrence check.

reply

report

activity

copy /kbin url

copy original url

open original url

Loading...

Activity (0)

Empty

Theme

General

Sidebar position

Left Right

Dynamic lists

Rounded edges

Infinite scrolling Automatically load more content when you reach the bottom of the page.

Sticky navbar The navbar will stick to the top of the page when you scroll down.

Show top bar

Turbo mode (experimental)

Mark new comments

Show "Support Us" block

Sub Channel

Show subscribed users

Show subscribed magazines

Show subscribed domains

Threads

Auto media preview Automatically expand media previews.

Compact view

Show users’ avatars

Show magazines’ icons

Show thumbnails

Microblog

Auto media preview Automatically expand media previews.

Show users’ avatars

Single

Comment reply position Display the comment reply form either at the top or bottom of the page. When 'infinite scroll' is enabled the position will always appear at the top.

top bottom

Show Comment Avatars Display/hide user avatars when viewing comments on a single thread or post.

Federation

Status:

Instances:

/m/linux@lemmy.ml

Thread

ChiefSinner

@ChiefSinner@lemm.ee

0

Added: 1 year ago
Online: -
Ratio: 0

Magazine

linux

@linux@lemmy.ml

1

From Wikipedia, the free encyclopedia

Linux is a family of open source Unix-like operating systems based on the Linux kernel, an operating system kernel first released on September 17, 1991 by Linus Torvalds. Linux is typically packaged in a Linux distribution (or distro for short).

Distributions include the Linux kernel and supporting system software and libraries, many of which are provided by the GNU Project. Many Linux distributions use the word “Linux” in their name, but the Free Software Foundation uses the name GNU/Linux to emphasize the importance of GNU software, causing some controversy.

Rules

Posts must be relevant to operating systems running the Linux kernel. GNU/Linux or otherwise.
No misinformation
No NSFW content
No hate speech, bigotry, etc

Related Communities

!opensource
!libre_culture
!technology
!libre_hardware

Community icon by Alpár-Etele Méder, licensed under CC BY 3.0

Created: 1 year ago
Owner: Sprite_tm
Subscribers: 1
Online: -

Threads 1406
Comments 28632
Posts 6
Replies 214
Moderators 1
Moderation log 3

Moderators

Sprite_tm

Active people

Related posts

Gentle reminder to everyone that support for #windows10 ends in about 90 weeks. Many computers can't upgrade to Win 11 so here are your options:...

Show more

1 year ago to linux

Hey 👋 dear Linux Community,...

Show more

1 year ago to linux

Looking to dip my toes into Linux for the first time. I have a 2016 Intel MacBook Pro with pretty solid specs collecting dust right now that I think I’m going to use. Research so far has indicated to me that the two best options for me are likely Mint or Elementary OS. Does anyone have any insight? Also open to other OS’s. I...

Show more

1 year ago to linux

Create your own instance

Clone repo and develop fediverse

kbin.spritesserver.nl

useful

Create new magazine

Add new thread

Add new link

Add new photo

help

Terms of service

© 2025 kbin.spritesserver.nl

Powered by kbin ∙ Report issue

All

Subscribed

Moderated

Favorites

•

linux@lemmy.ml

localhost

All magazines

0

Loading the web debug toolbar…

Attempt #