logo FEDIDEVS

FEDIDEVS

Awesome Nix accounts on Mastodon.

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
Home Manager News
@[email protected]

Latest Home Manager news.

Unofficial, operated by @katexochen.

Also available on Bluesky, as bsky.app/profile/hmnews.bsky.s.

Hosted at github.com/katexochen/hmnews-b.

Last posted 2 days ago
Posts 548
Followers ▼ 3
Following 3
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

(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

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

Last posted 1 day ago
Posts 13
Followers ▼ 3
Following 103
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
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
Fookin prawn 🇳🇱
@[email protected]

Raiding your API for fun and profit.👾

Last posted 1 day ago
Posts 372
Followers ▼ 1
Following 490
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

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
🇺🇦 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

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

grosses Maul und nix dahinter.

Der Zweck eines Systems ist, was es tut.

@kami_kadse
@[email protected]

Last posted 1 day ago
Posts 18,065
Followers ▼ 1
Following 832
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

❄️ NixOS 🤩 (Security, Infra, Python and Release-Manager 22.11/23.05)

Day: Network & Infrastructure.
Night: FOSS, Home Automation

Last posted 1 day ago
Posts 2,657
Followers ▼ 0
Following 586
Header Image

internet dinosaur. dev.

compares everything to IRC.

Last posted 1 day ago
Posts 2,669
Followers ▼ 0
Following 875
Header Image

Security Researcher & Nix enjoyer/maintainer

Last posted 4 weeks ago
Posts 1
Followers ▼ 0
Following 11
Header Image
Carsten Mürau
@[email protected]

Macsico. Und sonst nix. Nicht immer objektiv, nicht immer folgerichtig, teilweise sogar vollkommen subjektiv.

Last posted 1 day ago
Posts 32
Followers ▼ 0
Following 12
Header Image

- PhD Student
- Fluid flow
- Modelling
- AI
- Linux
- Gentoo + Nix
- OpenSource

Last posted 1 week ago
Posts 186
Followers ▼ 0
Following 101
Header Image

Some lefti AFD, NixOS nixos, Linux tux, Chaos fairydust, Pragmatist clippy

I write (and sometimes rant) here about my DevOps experience at work, the hackspace and at home.

Don't be afraid of colorful flags progress_pride 🏳️‍🌈🏳️‍⚧️🚩🏴

"If the rules are the problem, the rules must change!" ~ don't know

Last posted 1 day ago
Posts 3,406
Followers ▼ 0
Following 352