git log -p -- @xameer

> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0
#nobot #nobridge #noai
send messages , not metadata
> https://.sr.ht/~carnotweat/deltanix
#rust #nix , bits of #haskell #ocaml
DP - shamelessly stolen from a an fp video i watched

Describe myself? Why? Who I believe I am is irrelevant to who you're going to believe me to be.

Language: While I do natively write in English, I also use DeepL to translate my text to better communicate. If you notice an error, please let me know, and I'll forward it to the right people.

This is my reserved account.

I keep a primary account on Misskey at: @Linux

In a democracy, a political party should derive its power by winning a war of ideas. It shouldn’t wrest control by disenfranchising the vote.

★ Es gibt nix Gutes, ausser 😷 toot es
★ Boosted means boss move
★ Weckt mich wenn Revolution ist
★ Alpaca 🦙 Ozelot 🐆 Axolotl 🦎
★ Allen alles
★ Auf allen Spektren

"hard to like"

Community care for mental health, mutual aid for all.

Life is difficult in these times, feel free to ask me for help.

write: D/E/F/ read: Sp/It/Port

#Muskodus #Twexit #LongCovid #UrbanLoveWarrior #TootFinder #FamilyAbolitionist

Nerd. #RStats

A learning space for practicing with the Swift language and iOS toolsets.
With the intent to develop world class Apps.
Via developing people with proven skills.

Neo: "I know kung-fu."
Morpheus: "Show me."

Working on an open-source RPG, so anyone can make any changes, and pass their ideas on.

https://bindrpg.gitlab.io

If you'd like to collaborate on an RPG project, come and say 'hi' on Matrix:

https://matrix.to/#/#bindrpg:matrix.org

#rpg #ttrpg #gemini #foss #TeXLaTeX

c-base; c3d2; CCCP; damals-tm-podcast.de ; hybr.de ; FOSS project facilitator; co-operatives;
DECT 3370 ; Z6X3DTSM ; 2 CV; Arbeitsklima und Management für Nerds; Postcrossing

Infosec researcher | Indieweb enthusiast | Find me @ https://shellsharks.com

#fedi22 #infosec #cybersecurity #tech #indieweb #apple searchable

Profile picture: A red shark holding a terminal window shaped like a surfboard. The terminal reads “> whoami shellsharks”

https://keyoxide.org/FA7AC5E3626AEF016A5AD0BB172E73E0A585273E

Autor de radare2. També conegut com a @trufae a l’antigament anomenada Twitter

Wij maken ons sterk voor een open overheid door data te ontsluiten en hergebruik te stimuleren.

☀️ #OpenOverheid ☀️ #Transparantie ☀️ #CivicTech ☀️
☀️ #OpenData ☀️ #OpenStandaarden ☀️ #OpenSource ☀️

#Netzpolitik, #DSGVO, #Datenschutz und #Informationssicherheit
@datenkanal, @radioinsecurity, tfr

#Pedelec-Fahrer, #BerlinFlamingos, #BerlinAdler, Berlin und Hamburg, WordPress und PHP, Laravel, MariaDB, Soziale Medien sind nicht sozial.
#49ers, #FTTB, #3Dprinting, #Alltagsradler,
#DataAnalyst #BerlinBraves

Our way of life is killing our way of life. I favor avoiding #Venusforming Earth over dreams about #Terraforming Mars. #NoTimeToWaste
May sanity return in politics. 
🇪🇺 Tooting mostly in English, also in Dutch, occasionally in different languages.
🐣322.25 ppm.
#NetPositive
Let's start a conversation.

Conseil secteur associatif et/ou culturel. #association #culture #spectacle_vivant #festival #politiques_culturelles #DD #DIY #Logiciel_Libre #Linux #Bretagne #fedi22

Web developer for projects for a better world.

This is a work account. Plenty of Drupal, PHP, web community and dev, and projects.
Personal account @ekes

Garatzailea eta #txistularia - #infosec #linux
Batzuetan iparraldekoa. Bestetan hegoaldekoa

Empreinte carbone (Inventons Nos Vies Bas Carbone). Bilan Carbone (Nos Gestes Carbone, Atelier 2 tones, MyCO2), Zéro Déchets (membre d'un Groupe Local de Zéro Waste France), Compostage (Réseau Compost Citoyen Grand Est), Actionnaire de Team For The Planet, l'innovation au service de la réduction des Gaz à Effet de Serre (https://team-planet.com/fr/shareholders/user/d6F_KM927Qw-jose-relland), amateur de Fresques.

#Troyes, #AubeEnChampagne, #GrandEst, #France, #UE

Can communicate in English

♿ France - Châlons-en-Champagne 🌍

A podcast about the latest new episodes of Star Trek by two higher education faculty, a media prof and a philosophy prof.

We go beyond fan reaction to talk about the character development; story arcs; the production design; and the philosophy, ethics, and lessons learned from the story, which makes sense, given that we are real faculty.

All Mastodon posts are by the media prof, Michael.