Show more

@sotolf@fosstodon.org @vim
Read @vim's description. It's a Fediverse group. I'm trying to encourage people to use it :)

@sotolf@fosstodon.org
Nice. Care to send this to @vim ?

~b boosted

@freakazoid @paul

Maybe what we really need is language-aware line wrapping that is independent of the underlying formatting. For languages like Go with strict formatters that should be easy.

vim has the ‘breakindent’ option, which visually indent wrapped lines.

1 foo.2         A single, indented          line, visually wrapped and          equi-idented.3 foo.

By language aware, did you mean something like:

1 func(alpha, bravo, charlie)2 foo...1 func(          alpha,          bravo,          charlie  )2 foo...

@Gargron
No.

That should be given a different word. "Censor" seems more appropriate, because you are locally censoring a person's existance from your timeline, not just the their posts.

Muting should strictly refer to the ignoring of one and only one's activities (primarily notes).

~b boosted

Bund.de is the official German government portal for doing government-related paperwork online.

They have now created their own Mastodon instance at social.bund.de which contains some official accounts. You can find them on the instance's directory page:

➡️ social.bund.de/explore (in German)

This is a really promising sign! The Fediverse can allow citizens to interact with public officials without having to give away personal data.

#BundDe #Germany #Deutschland #Deutsch #Government

@rastinza
I generally use timelines for some reasons.

They're useful when you can't remember the name of something. You just kinda fumble through your history.

It's also nice to be able to jumps back "3 weeks", "9 months" or "4 years", etc. to see what you downloaded or listened to back then.

@rastinza
Maybe artist/album, if I have too many songs.

I'm a terminal user. Spreadsheets would work in a graphical setting, unless you meant some kind of plaintext format.

Music enjoyers: How do you sort your music files? What do you recommend?

Right now, for all music I download in 2022, I have:

music/2022/<artist>/<track_title>.ogg

But this has some issues. I want a general timeline of music by year of download, but then some songs by the same artist a separated into different years. Do I instead ditch the years thing and use/abuse the files' modified time stat? Do you have a different approach?

~b boosted

"If you want to write fast software, use a slow computer" - Dominic Tarr

I have always loved this quote and lived by its message long before I found it so succinctly put. Thanks again, Dominic.

@2ck
Begs the question, what really is vision / imagination / the mind's eye?

I read somewhere that you only "see" things which are useful to you, both physically and mentally. Like a door handle, or a chair when you're tired, or a person's microexpressions when someone is important to you. Kinda like that "ape in the middle of a ball game" experiment.

~b boosted

@metalune@fosstodon.org
What alternatives are you considering? pass?

passwordstore.org/

~b boosted

Somehow I've never seen these shots of the map editor for MadSpace, a Russian non-euclidean DOS fps. Just about what I expected. #DOSGaming

~b boosted
~b boosted

university compsci clubs in the 90s: we host our own IRC server, email infrastructure, ftp, shared UNIX computer, NNTP...

university compsci clubs in 2022: google suite is too hard so someone here has a Discord you could join if you know who to ask

Show more
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.