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:
➡️ https://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.
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?
New post on the Spritely blog! @tsyesika writes about "Petname Systems"! https://spritelyproject.org/news/petname-systems.html
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
It's so disheartening when a project's domain name *redirects* to a GitHub README page. There's not even anything worth bookmarking.
Even something as dead simple as this is miles better:
https://soju.im/
Another recent example.
Indent all but the first line of your paragraphs. This is useful when you have long lines which, when wrapped, become hard to dicern. It’s like a cross between a description list (<dl>) and a list (<ul>).
p {padding-left:2rem; margin:0; text-indent:-1rem}
Also, use <dl> and
Reminder that negative margins and paddings in CSS are a thing, and are quite useful. Some of my favourite uses follow.
More space between document sections:
h1, h2, h3, h4, h5, h6 { margin: 2rem 0 -0.5rem;}
When viewport width is small (mobile, etc.), <pre> stretches to the walls, and it’s content is aligned with the rest of the document’s text:
pre { margin: 0 -0.5rem; padding: 0.25rem 0.5rem;}
Reading a paper written by @cwebber, and this stuck out to me:
Do you and I mean the same thing? Lojban enthusiasts clearly solved language, creating something completely syntactically unambiguous! Except, oh no, turns out syntactic unambiguity does not mean meaning unambiguity. What’s a bear? From an evolutionary standpoint, something moved from a pre-bear state to a bear-state, but evolution didn’t put a pin in it… this was rough, statistical, approximate. Not to mention, what’s a “dead bear”? Is it still a bear? When does it decompose into bear goo? And when does it decompose beyond that? Vocabulary thus seems to be a tug-of-war between fuzziness and crispness.
“Bear Goo” is a fun metaphor.
I'm working on the standard library of the language we're developing. Here's datetime::arithmetic, a lot of fun to work on :)
https://paste.sr.ht/~vladh/36b8032168a7ea6eb7c54420129f5e985eac2b86
@freemo
Thank you for hosting and administrating this instance. If I can give back, please let me know how.
@w @p
I love good serif monospace fonts. A favourite of mine is Triplicate.
https://mbtype.com/fonts/triplicate/
You can see it being used throughout this site:
https://beautifulracket.com/explainer/contracts.html#a_fzPMp
this violates every single one of my senses 10 times over. I love it. https://suricrasia.online/iceberg/
Libre software engineer with physics background.
Maintainer for @hare date/time.
.py .go .ha ...
en es ...
\t <dl> agpl posix 9p