261 of the best projects on Mastodon.
HoldMyType
@[email protected]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
Linux Is Best
@[email protected]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
CafeOlait
@[email protected]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.
Anti. 🐘
@[email protected]★ 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
coolbutuseless
@[email protected]Nerd. #RStats
TheSwiftDojo
@[email protected]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."
Malin
@[email protected]Working on an open-source RPG, so anyone can make any changes, and pass their ideas on.
If you'd like to collaborate on an RPG project, come and say 'hi' on Matrix:
ajuvo ✔
@[email protected]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
clonbg
@[email protected]https://clonbg.es #Linux siempre!!
pancake 🌱
@[email protected]Autor de radare2. També conegut com a @trufae a l’antigament anomenada Twitter
shplink
@[email protected]Clean, Serviceable, and Convenient.
pentest-tools.com
@[email protected]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
JRelland
:flower:
@[email protected]
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
☑️✅ cybercow ✅☑️
@[email protected]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
🙃 OꟽᏗ∀ИƎ 🇫🇷 🇪🇺
@[email protected]♿ France - Châlons-en-Champagne 🌍
The Star Trek Academy
@[email protected]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🐈🥗️〰️𝕄ᵃᵗʰ⁄𖾗𖾓៰𖾜៰៷
@[email protected]#️⃣CatSalad – Math puns∕memes∕boosts go here
1 + 1 = 3 (for very larger values of 2)
informapirata ⁂
@[email protected]
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 ⚠️