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

https://clonbg.es #Linux siempre!!

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

Clean, Serviceable, and Convenient.

Get a hacker's perspective on your web apps, network, and cloud 💪

Pentest-Tools.com helps security teams run the key steps of a penetration test, easily and without expert hacking skills.

We're an infosec loving team serving ethical hackers in 95 countries through https://pentest-tools.com/, where you'll find 20+ pentesting tools and features for offensive security work.

We believe a good pentester can never be replaced by an automated tool.

Toots about #infosec #penetrationtesting /
#pentesting #ethicalhacking #offensivesecurity

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

FLOSS-promoter
Entwickle zum teil auch selber und Helfe bei der Dokumentation wo ich Zeit und Lust für habe.
Peertube: https://tube.tchncs.de/a/cybercow/video-channels

♿ 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.

#️⃣CatSalad – Math puns∕memes∕boosts go here

1 + 1 = 3 (for very larger values of 2)

Politica Pirata:
informazione su #whistleblowing #dirittidigitali #sovranitàdigitale #copyright #privacy #cyberwarfare #pirati #Europa #opensource #opendata #PrivacyPride
https://t.me/ppInforma

⚠️ Sono uno dei moderatori di mastodon.uno, ma le opinioni che caratterizzano questo account sono espresse sempre a titolo personale ⚠️

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

A newsletter about #privacy, #technology, #policy, #strategy, and #justice.

Posts by @jdp23.