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
shellsharks
@[email protected]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
pancake 🌱
@[email protected]Autor de radare2. També conegut com a @trufae a l’antigament anomenada Twitter
Open State Foundation
@[email protected]Wij maken ons sterk voor een open overheid door data te ontsluiten en hergebruik te stimuleren.
☀️ #OpenOverheid ☀️ #Transparantie ☀️ #CivicTech ☀️
☀️ #OpenData ☀️ #OpenStandaarden ☀️ #OpenSource ☀️
Irrsinn Hilft ⚾ 🏈 🏀 🏒
@[email protected]#Pedelec-Fahrer, #BerlinFlamingos, #BerlinAdler, Berlin und Hamburg, WordPress und PHP, Laravel, MariaDB, Soziale Medien sind nicht sozial.
#49ers, #FTTB, #3Dprinting, #Alltagsradler,
#DataAnalyst #BerlinBraves
Hans Bot – 🙃
@[email protected]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.
WWWCDORG
@[email protected]Conseil secteur associatif et/ou culturel. #association #culture #spectacle_vivant #festival #politiques_culturelles #DD #DIY #Logiciel_Libre #Linux #Bretagne #fedi22
ekes
@[email protected]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
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
🙃 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.