Pinned toot

My about epistemic logic, card games, drinking logicians, gossip, binary decision diagrams, and muddy children is out: malv.in/phdthesis/ and I shall defend it on June 13th in .

m4lvin boosted

@jedie @Paule @kuketzblog
Signal ist freie Software. Aber da endet die Freiheit auch schon.
1. Man muß die Amazon-Cloud in den USA nutzen. Keine freie Wahl des Servers / der Jurisdiktion.
2. Man ist an eine (nicht-anonyme) Rufnummer gefesselt. Keine freie Wahl der Id!
3. Man muß ein Smartphone mit Android oder iOS nutzen. Auch die halbgare "Desktop-App" funktioniert nicht ohne. Keine freie Wahl des OS!
Signal ist kein "freier Messenger".

m4lvin boosted

Please
Don't feel bad or ashamed if you spend your week-end sleeping, resting.

It's *it's purpose*.

And in itself, resting is **not** doing nothing.

It's taking care of yourself, and allowing to gather back some energy. Some time to yourself.

Resting *is* doing something, for you. And it's a good thing to do sometimes.

m4lvin boosted

Oha, gerade erst bahn.guru/ entdeckt, wo man gezielt nach Sparpreisen bei der Deutschen Bahn suchen kann. Kam als Hinweis nach meinem letzten Blogpost-Rant über die Preise Bahn vs. Fliegen rein. Danke für den Hinweis!

m4lvin boosted

"i use linux as my operating system," i state proudly to the unkempt, bearded man. he swivels around in his desk chair with a devilish gleam in his eyes, ready to mansplain with extreme precision.
"actually," he says with a grin, "linux is just the kernel. you use GNU+linux."
i don't miss a beat and reply with a smirk, "i use alpine, a distro that doesn't include the GNU coreutils, or any other GNU code. it's linux, but it's not GNU+linux."

the smile quickly drops from the man's face. his body begins convulsing and he foams at the mouth as he drop to the floor with a sickly thud. as he writhes around he screams "I-IT WAS COMPILED WITH GCC! THAT MEANS IT'S STILL GNU!"
coolly, i reply "if windows was compiled with gcc, would that make it GNU?" i interrupt his response with "and work is being made on the kernel to make it more compiler-agnostic. even if you were correct, you won't be for long."

with a sickly wheeze, the last of the man's life is ejected from his body. he lies on the floor, cold and limp. i've womansplained him to death.

Today I asked my first-year bachelor Artificial Intelligence students what editors they use. Is geany that popular anywhere else? And what happened to the good old days of vs. ? 😉

m4lvin boosted

Playing around with some potential #wallpapers for the #gpdpocket2

Not sure which to pick yet.

(All #OC and cc-by 4.0)
#photography

m4lvin boosted
m4lvin boosted

learning to program is stressful lmao Show more

m4lvin boosted

This is an amazing video on the history of the universe as we understand it today, illustrated with an absurdly long domino train.

youtube.com/watch?v=ObngtuPFI8

m4lvin boosted
m4lvin boosted
m4lvin boosted

retoot to support this hardworking single mom

m4lvin boosted

"Welcome to Magic School. Here is your schedule."
"Thanks! But..."
"Yes?"
"This is just 'Ethics' and 'Human rights' and things like that."
"Correct, that's the first year curriculum."
"Do we have to learn all this?"
"Of course! What do you think this is, software engineering?"
#MicroFiction #TootFic #SmallStories

m4lvin boosted
m4lvin boosted
m4lvin boosted

New blog post!

👩🏻‍💻👨🏿‍💻👩🏾‍💻👨🏽‍💻👩🏼‍💻👩🏿‍💻👨🏻‍💻

Why women in psychology can't program

"About two months ago my brother, who works in data science on social psychology data, asked me why his colleagues, who are women and have PhDs in psychology, cannot code"

neuroplausible.com/programming

Yesterday, I taught Math students about conditionals in the Intro to Logic course. Today, I gave the same lecture to AI students. When we tested them with Wason's card selection task during the break, their answers turned out to be quite different! (via birdsite twitter.com/RinekeV/status/106)

m4lvin boosted

#zwartepiet Show more

m4lvin boosted
m4lvin boosted

I am so fucking angry.

Oil companies, for decades, have been DELIBERATELY ACCELERATING global warming in order to MELT THE FUCKING MELT THE POLAR ICE CAPS so they can extract oil from the Arctic more easily!

twitter.com/buttpraxis/status/

These people are murderers. They are destroying our planet and wiping out the human and non-human life for easy profit!

Show more
Scholar Social

Federated microblogging for academics

Scholar Social is a microblogging platform for researchers, grad students, librarians, archivists, undergrads, academically inclined high schoolers, educators of all levels, journal editors, research assistants, professors, administrators—anyone involved in academia who is willing to engage with others respectfully.

We strive to be a safe space for queer people and other minorities, recognizing that there can only be academic freedom where the existence and validity of interlocutors' identities is taken as axiomatic.

"An academic microblog that you can be proud to put on the last slide of a presentation at a conference"

"Official" monthly journal club!

(Participation is, of course, optional)

Scholar Social features a monthly "official" journal club, in which we try to read and comment on a paper of interest.

Any user of Scholar Social can suggest an article by sending the DOI by direct message to @socrates@scholar.social and one will be chosen by random lottery on the last day of the month. We ask that you only submit articles that are from *outside* your own field of study to try to ensure that the papers we read are accessible and interesting to non-experts.

Read more ...