logo FEDIDEVS

FEDIDEVS

Awesome Nix humans on Mastodon.

Human nix Nix
Header Image

I am a lecturer at (Amsterdam University College).

I teach & .

I spend too much time playing around with , .

I have a small blog: mishathings.org

I like to make : mishathings.org/music/

I play a small role in @BIJ1

Some tags of my life in random order:

(Following/ boosting is not necessarily agreeing/approving).

Last posted 1 day ago
Posts 8,303
Followers ▼ 4
Following 2,360
Header Image

SRE at reMarkable. Acmeist with a declarative fetish. Hates the slow. Maker. Coder. Reader. Gamer. Writer. Specialisation is for insects. tfr

Last posted 1 day ago
Posts 1,443
Followers ▼ 3
Following 348
Header Image

Nixos | Orgmode | Emacs

Hi,

I love solving bioinformatics, Omics and biological problems.
I'm an OnePiece fan
I love to read articles and novel.
I'm keen on tech and Unix tools.

Last posted 1 day ago
Posts 86
Followers ▼ 3
Following 43
Header Image

NixOS newbie, Nvim lover, film enthusiast and orchard keeper amateur

Last posted 1 day ago
Posts 13
Followers ▼ 3
Following 103
Header Image

(he/him) Environmental Scientist/Meteorologist @umphy. Built a low-cost CO₂ sensor network to monitor natural CO₂ emissions (dissertation: dx.doi.org/10.15496/publikatio), now developing meteorological payloads for multicopters.

tux nixos

vim git gitannex latex openscad prusaslicer

python

(tfr)

Last posted 1 day ago
Posts 5,087
Followers ▼ 3
Following 532
Header Image

and fanboy & contributor (#KDE, , )

hopelessly idealistic - realistically pessimistic

values science & facts over feelgood-ism

Last posted 1 day ago
Posts 30,606
Followers ▼ 1
Following 1,595
Header Image

Hello, I'm Henry Hiles, a developer specialising in NixOS system administration and Flutter development. I'm proficient with Nix, Dart, and Bash.

I build maintainable, declarative, and reproducible systems with Nix, usually using flakes, flake-parts, and Agenix. However, I can quickly adapt to any other preferred system. I also build high-performance, intuitive apps with Flutter, usually using Riverpod, Freezed, and Flutter Hooks.

I am into , , , and .

I occasionally boost posts without alt text (mostly of raccoons or cats, nothing important).

Last posted 1 day ago
Posts 7,377
Followers ▼ 1
Following 99
Header Image
Cass Alexandru @TYPES, Zurihac, PLDI
@[email protected]

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

Last posted 2 days ago
Posts 802
Followers ▼ 1
Following 176
Header Image

Technical IT consultant
Bicycle enthusiast
interested in Linux and FOSS (not exclusively)

Last posted 1 day ago
Posts 8,170
Followers ▼ 1
Following 305
Header Image
🇺🇦 haxadecimal 🚫👑
@[email protected]

Proud to be Antifa, like my grandfather, who was killed fighting fascism in WWII, and was posthumously awarded the Air Medal and the Purple Heart.

(SW Defined Radio)

HP calculator simulation at level
Maker (with John Doran) of
CHM PDP-1 Restoration Team
cis male
atheist
Damned dirty ape
Not a tame programmer
Some assembly required
No user serviceable parts inside

Last posted Less than a day ago
Posts 43,392
Followers ▼ 1
Following 1,794
Header Image

rust nixos neovim ms_music_notes

Languages: DE, EN

Over 11 years experience in Rust development and Nix/OS. 17 years experience in SW and F/LOSS development.
Works with Rust professionally and fulltime <3

Last posted 1 day ago
Posts 10,127
Followers ▼ 1
Following 228
Header Image
Eyal Kalderon 🌌
@[email protected]

Software engineer at Disney Streaming.
Creator of Amethyst Engine / tower-lsp / cargo2nix.
Rustacean. 🦀

Last posted 1 day ago
Posts 146
Followers ▼ 1
Following 140
Header Image

Electronics development and production, Python, NixOS

Last posted 1 day ago
Posts 535
Followers ▼ 0
Following 375

Trying to resist the organization by self-hosting. The organization is the organization.

I like in no particular order: , , , , , , , , , , , , , , , , , .

🇪🇺🇮🇹🇺🇦🏳️‍🌈

Mobile Linux:
- OnePlus 6 with (in a drawer 🙁)
-

Last posted 4 days ago
Posts 342
Followers ▼ 0
Following 752
Header Image
Cosmic Excursionist
@[email protected]

I'm a self-aware composite life form comprised of trillions of interdependent microorganisms, a contemporary link in a 4 billion year self-replicating carbon-based chemical process.

Interests: NixOS, Guix, Qubes OS, PostmarketOS, Python, Bash, Lisp, C, Rust, Go, hacking, ham radio, DIY electronics, world cultures, physics, evobio, climate, urban planning, systems theory, political philosophy, feminism, queer theory, theology, synthesizers, prog metal, soul, jazz, sci-fi.


♾️❤️

Last posted 2 weeks ago
Posts 26
Followers ▼ 0
Following 141
Pascal Dietrich
@[email protected]

Hi, ich bin Pascal, ein Schüler aus Ludwigshafen am Rhein.

Ich
- fotografiere gern
- nutze nixos
- programmiere in , rust, &

socialfolio.me/Cameo007

keyoxide.org/aspe:keyoxide.org

Das ist nur für :
$argon2id$v=19$m=512,t=256,p=1$5yi1Ae3rShdIUkDtt6l2kA$r/Kwm0dOTQlnjY2jKuZGQcKA27r5CN5omVn0Zx5UKMg

Tootfinder darf hier suchen.

Last posted 1 day ago
Posts 1,652
Followers ▼ 0
Following 100

Three anxious sysadmins in a trenchcoat. DevOpsSec mercenary. CTO of Antifa.

Last posted 1 day ago
Posts 2,468
Followers ▼ 0
Following 162
Header Image

rawr x3 profile in progress verified_paws foss guy

Last posted 3 months ago
Posts 30
Followers ▼ 0
Following 48
Header Image

Software developer, free software enthusiast, community organizer, "philosopher" and much much more!!!

Last posted 1 month ago
Posts 58
Followers ▼ 0
Following 137
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 1 day ago
Posts 17,833
Followers ▼ 0
Following 1,587
Stanislovas Kujalis
@[email protected]

he/him. Dark web monitoring at Nord Security (all opinions my own). Python, Rust, Linux. 2025 - year of the NixOS desktop.

Last posted 3 months ago
Posts 3
Followers ▼ 0
Following 59