logo FEDIDEVS

FEDIDEVS

Awesome Nix accounts on Mastodon.

nix Nix
Header Image

🧑🏿 Millennial black cis guy
🖋️ and
💻 and geek (I use btw)
🧘 , hippie, )'(
🦁
💑🏿

💑🏾 spectrum.avris.it/5IMo
💕 cake.avris.it/pD4

Profile pic: a drawing of a mischievous lion with green eyes and a big golden mane, by @YemmieArts

Profile banner: two lions in trans colors facing opposite directions defiantly. Source: e926.net/posts/1550976

Last posted 1 day ago
Posts 3,555
Followers 640
Following ▼ 3
Header Image

CTO at satoshi-connect.ch.
@bebop ambassador.

I’m curious and passionate about free software, decentralized systems and decentralized finance. I’m interested in Haskell, Nix, Rust but also embedded systems, radio comm ops and the occasional math paper.

In my free time, I contribute to open source projects, promote blockchain-based solutions to real-world problems or study RF signals around me.

Salvadorian. I also *really* like trains :)

Last posted 4 days ago
Posts 400
Followers 44
Following ▼ 3
Header Image
Cass Alexandru
@[email protected]

PhD student with Ralf Hinze, Jurriaan Rot & Niels van der Weide in Category Theory for the design of Proven Correct, Total Algorithms
 Recursion Schemes/Structured Recursion Generic Programming Language Acquisition New Masculinities  Friend Boulderer  Yin  🇪🇺an

Last posted 2 days ago
Posts 840
Followers 224
Following ▼ 3
Header Image

I like hardware and software I can tinker with.

Interested in decentralization, selfhosting, overlay networks, cryptography, hardware.

Posts mainly in Russian, and occasionally in English. Boosts on the other hand are mostly English.

Свободу российским политзаключённым. Те кто стоят за репрессиями обязательно за это ответят. И за остальное тоже. 🦄☮️@

★★★☆☆ 🇺🇸
☆☆☆☆☆ 🇩🇪
★☆☆☆☆ 🇯🇵
★★★★★ 🇷🇺
★☆☆☆☆ 🇷🇸

Last posted 2 days ago
Posts 526
Followers 552
Following ▼ 2
Header Image

Leading development of spectrum-os.org/, a compartmentalized operating system. Nixpkgs committer.

Avatar by Chipiku.

Last posted 1 day ago
Posts 367
Followers 1,149
Following ▼ 2
Header Image
Last posted 1 day ago
Posts 2,439
Followers 78
Following ▼ 2
Header Image

Professional electrical/mechanical engineer and at home tinkerer.

Repairer at several repair cafés in Berlin.

Language: English/Dutch/German

Header shows the Nixie clock I made some years ago (and a vinyl record player behind it).

Last posted 1 day ago
Posts 547
Followers 67
Following ▼ 2

🇪🇺 European

Cloud computing, web development, multimedia, languages and pen and paper. Sometimes computer graphics. Mainly 🦀 Rust, Go and TypeScript.

❄️ Nixpkgs committer
🔬 MSc Computer Science (2019-2022 @uniheidelberg).
👨‍💻 Co-founder of @alugha.
🐘 at @admin.

Toots in German and English.

searchable

Last posted 1 day ago
Posts 4,222
Followers 887
Following ▼ 2
Header Image
Trumtins Electro Shark 325ppm
@[email protected]

I am
Astronauts always said upon return from space flight: I Haven’t seen any borders from orbit, just a beautiful blue ball. Therefor:
And:
Why the clippy? Watch: youtu.be/2_Dtmpe9qaQ?si=K70CP0

Last posted 2 days ago
Posts 18,289
Followers 578
Following ▼ 2
Header Image
Fookin prawn 🇳🇱
@[email protected]

Raiding your API for fun and profit.👾

Last posted 4 days ago
Posts 380
Followers 81
Following ▼ 2
Header Image

fatyoshi
Privacy, Selfhosting and FLOSS enthusiast..
Member of the team.

Last posted 1 day ago
Posts 210
Followers 27
Following ▼ 2
Header Image

(doom, sludge, …) metal, macos, nix(os), nix-darwin, binnen:, he/his, neurodingens, werder

Last posted 1 day ago
Posts 128
Followers 23
Following ▼ 2
Header Image
LeuchtturmECK
@[email protected]

Nicht mein Zirkus - nicht meine Affen.

Eishockey, dazu Retrogaming, und von allem nix. Des glangt ma.
EC Kassel olé!

ⓘ 𝘛𝘩𝘪𝘴 𝘶𝘴𝘦𝘳 𝘪𝘴 𝘴𝘶𝘴𝘱𝘦𝘤𝘵𝘦𝘥 𝘰𝘧 𝘣𝘦𝘪𝘯𝘨 𝘱𝘢𝘳𝘵 𝘰𝘧 𝘢 𝘵𝘦𝘳𝘳𝘰𝘳𝘪𝘴𝘵 𝘰𝘳𝘨𝘢𝘯𝘪𝘻𝘢𝘵𝘪𝘰𝘯 𝘤𝘢𝘭𝘭𝘦𝘥 𝘈𝘯𝘵𝘪𝘧𝘢. 𝘗𝘭𝘦𝘢𝘴𝘦 𝘳𝘦𝘱𝘰𝘳𝘵 𝘢𝘯𝘺 𝘴𝘶𝘴𝘱𝘪𝘤𝘪𝘰𝘶𝘴 𝘣𝘦𝘩𝘢𝘷𝘪𝘰𝘳.

Last posted 4 days ago
Posts 1,332
Followers 79
Following ▼ 2
Header Image
Diogo Correia
@[email protected]

Programming and Open-Source Enthusiast.
Studying Cybersecurity @ KTH 🇸🇪 | Studied Comp Sci @ IST 🇵🇹 | CTF Player @ STT & RoyalRoppers

Last posted 5 days ago
Posts 95
Followers 55
Following ▼ 2
Header Image

internet dinosaur. dev.

compares everything to IRC.

Last posted 1 day ago
Posts 2,739
Followers 278
Following ▼ 2
Header Image

rust Rust developer.

CTF player (web, rev) with kalmarunionen
nix_snowflake_logo NixOS enthusiast.
EN/日本/PL

Last posted 1 day ago
Posts 1,178
Followers 69
Following ▼ 2
Header Image
JustDude 🙋🏻‍♂️🫶🏼🕊️
@[email protected]

I trust code more than politics.

Always busy with computer, tech stuff and mostly and
Interested in energy reduction, measurement. A little politics but mostly fun and itchy remarks which trigger thinking. So read and keep smiling 🙂
Posts are deleted periodically, toots are time bound, just as humans.

Locked account but feel free to ask to follow, I will follow back
please

justmytoots.com/@justdude@mast

Last posted 1 day ago
Posts 535
Followers 285
Following ▼ 2
Header Image

★ 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

Last posted 1 day ago
Posts 16,954
Followers 1,677
Following ▼ 2
Header Image

nixpkgs | rust | elixir

@entropia | 🏳️‍🌈

Last posted 1 day ago
Posts 10,107
Followers 507
Following ▼ 2

Interests:

Operating Systems:
at home and in production
and in powermac
in old devices

Programming languages:
Like =
Its complicated =
Dislike = php javascript bash lua

Human languages:
ENG, SPA, EUS

Last posted 3 days ago
Posts 197
Followers 80
Following ▼ 1
Header Image

Wohne in . Interessiere mich für die Lokalereignisse meiner Stadt und den dazu. War fast drei Jahrzehnte lokal aktiv beim Bund für Umwelt und Naturschutz Deutschland. Habe als Gewerkschafter (GdP) meine Ämter weitergegeben. Engagiere mich aber in den Themenfeldern Gefahren für unsere und die Geschichte der Weimarer Republik (Polizei und Schwarz-Rot-Gold) Anmerkung: Hat nix mit „Reichsbürgern“ zu tun. Ist quasi das Gegenteil.

Last posted 1 day ago
Posts 2,956
Followers 180
Following ▼ 1