pleroma.debian.social

pleroma.debian.social

disaster2life | @disaster2life@pleroma.debian.social

Internet weirdo, F/OSS enjoyer, Debian Culter, pursuing a degree by day, spending my nights sleepless :p; feel free to reach out, and have a great day!

(Profile Picture and Banner are from Doki Doki Universe)

jess :3 blobbee_flag_rainbow sailormoon_bow peachymist@labyrinth.zone
inactivitypub. we all just cozy up in our blankets and take a nap

mei | 絶望動物 mei@donotsta.re
i'm sorry they did WHAT
# header-data.json contains information for every single declaration in mathlib # which has a generated documentation entry (e.g., skipping private declarations by default). # The resulting file is huge (several hundred MB), hence we use a small HACK: # doc-gen4 uploads this file as a .bmp file, so GitHub's servers will serve it in # compressed form. When downloading it locally, we save it (decompressed) with the correct extension. download( 'https://leanprover-community.github.io/mathlib4_docs/declarations/header-data.bmp', DATA/'header-data.json' )

Joe Groff joe@f.duriansoftware.com

sometimes the ad stops loading at the perfect spot

screenshot of a truncated Google Chrome ad. "Choose Chrome for built-in malware"

disaster2life disaster2life
@mondstern I mean if you wish to volunteer your time, the debian publicity team could always use translations if you are interested in doing them! Most of it is news about the debian project and some original work, but the more languages everything is available in is the better! https://wiki.debian.org/Teams/Publicity this has some related information!

disaster2life disaster2life
@mondstern sadly don't, thats just a personal project thats just going to be for my use, I don't do much development stuff sadly :(

disaster2life disaster2life
@mondstern those look beautiful aaa!

-/mondstern mondstern@mastodon.green

@disaster2life

Debian in an little shop window exhibition 2023 Debian Debian in an exhibition since august 2020 Debian

disaster2life disaster2life
@mondstern o/

löb loeb@chaos.social

Fuck, i forgot my key...
Good thing i always keep a spare one around!

Me standing in front of a door holding my pocket realizing i forgot my key me reaching out for a rock beside the door me holing a rock with a ssh private key written on it

Nocta Nocta_Senestra@eldritch.cafe

I wish it was me

[picture of a kitten looking confused] I do not think therefore I do not am

disaster2life disaster2life
working on a project because brain needs the break, wasted 40 minutes messing with linux kernel just to remember that infact I had turned wifi off in the bios, at least I know also know I should at some point do something about the debian wiki wifi page

disaster2life disaster2life
@amberisvibin boy so sexy

disaster2life disaster2life
@highvoltage holy crap what is that it looks so amazing

disaster2life disaster2life
@brainblasted I usually end up in the side of a local hill I dug into

CryptPad cryptpad@fosstodon.org

Today we are very proud to announce that the United Nations has switched from Google Forms to CryptPad Form for collecting endorsements on the UN Open Source Principles: https://unite.un.org/news/sixteen-organizations-endorse-un-open-source-principles

CryptPad Form is a full-fledged application allowing you to build privacy-preserving questionnaires for your respondents.

Try it for free, without even registering an account, on our CryptPad.fr flagship instance!

FOSS

grant grant@godforsaken.website

some of you mfs on here

A screencap of a Gizmodo article titled "struck by lightning? This tree kinda likes it." It goes on to say: "New research suggests that Dipteryx oleifera trees, after being struck by lightning, are 14 times more likely to produce offspring."

disaster2life disaster2life
@obsoletesony I LOVED the idea and the story behind it, most certainly not just me loving Cathode Ray Dude's way of telling stories :))

disaster2life disaster2life
@sophie144p danke! i'll hopefully get around to it, have monday on so I should be able to work on all of it

XSF: XMPP Standards Foundation xmpp@fosstodon.org

Announcement

Today the Standards Foundation publishes an Open Letter to urge to adopt XMPP for .

It’s time for real interoperability. Let’s make it happen.

https://xmpp.org/announcements/open-letter-meta-dma/


The XMPP Logo

disaster2life disaster2life
Sitting in a class discussing democracy gets infuriating when the prof starts talking about direct democracy as "a system where everyone directly elects a REPRESENTATIVE" :-/

»