logo FEDIDEVS

FEDIDEVS

95 awesome Nix accounts on Mastodon that posted recently.

Recently posted nix Nix
Header Image
NGI Zero open source funding
@[email protected]

NGI Zero is a grant making programme for R&D within free and open source technology, coordinated by @nlnet in collab with @fsfe, @APC, @ps, @techcultivation, @ros, @fsi, @nixos_org, Tolerant Networks, HAN University, Brno University, APELL, @ISOCSwitzerland, OW2, OFE & more | delivers technology for the

Image: Christofer Jeschke via Unsplash.

Last posted 4 days ago
Posts 1,564
Followers ▼ 51
Following 2,031
Header Image
Home Manager News
@[email protected]

Latest home manager news.

Unofficial.

Last posted 3 days ago
Posts 259
Followers ▼ 27
Following 3
Header Image
Kagan MacTane (he/him)
@[email protected]

Brooklyn/SF-based web developer, fan of hard SF (especially The Expanse - speak Lang Belta with me!), aspiring urban fantasy writer, lover of coyotes, accessibility, cocktails, bacon, and sushi. Bi and queer, Neopagan, feminist and SJW.

justmytoots.com/@kagan@wanderi

Avatar: Me, a bald, middle-aged white guy, with bi pride color stripes behind my head
Header: The San Francisco Bay Bridge at night, with the vertical cables lit up by the Bay Lights

Last posted 1 day ago
Posts 14,076
Followers ▼ 21
Following 190
Header Image

> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0

> i am not a book about me .
> git.sr.ht/~carnotweat/virt-nix
, bits of

Last posted 1 day ago
Posts 6,890
Followers ▼ 13
Following 152
Header Image

🏳️‍🌈🏳️‍⚧️

Fortschritt, Nachhaltigkeit, Fürsorge | Progress, Sustainability, Care

🛠️ Aramaki – a federated DevOps control plane

❤️ Cynefin, CAS, Python, NixOS, batou, Ceph, Qemu, Linux, pycountry

... and in a former life: Zope and ZODB

Founder and CEO at flyingcircus.io

Last posted 1 day ago
Posts 3,316
Followers ▼ 13
Following 210
Header Image
Determinate Systems, Inc.
@[email protected]

Bringing Nix ❄️ to the enterprise to empower fearless software delivery 💪

Last posted 3 days ago
Posts 132
Followers ▼ 12
Following 116
Header Image
blobfoxmegumin 🏳️‍🌈🎃🇧🇷Luana🇧🇷🎃🏳️‍🌈 verified
@[email protected]

• She/Her • 19 • 🇧🇷, talk 🇧🇷🇬🇧 • Valve & FOSS fangirl • Mermaid 🧜‍♀️ • 🏳️‍🌈 Lesbian ⚢ •





Loves , , and . everything. user.

luana.dev.br/

Searchable!

Last posted 1 day ago
Posts 15,455
Followers ▼ 7
Following 1,042
Header Image
Edmund Miller
@[email protected]

PhD Candidate @ UT Dallas in the Functional Genomics Lab
nf-core maintainer
Office mate to @monimiller

@nf_core

Last posted 2 days ago
Posts 848
Followers ▼ 6
Following 911
Header Image
Andrew Tropin
@[email protected]

Hack on operating systems and programming languages. He/Him.

Improve tooling for Guile and GNU Guix.

Author of Guix Home, RDE, Arei/Ares Guile IDE.

74830A276C328EC2 at keyserver.ubuntu.com and keys.openpgp.org.

Last posted 3 days ago
Posts 2,247
Followers ▼ 6
Following 100
Header Image

Recluse open source programmer. Ⓥ. he/him.

Last posted 3 days ago
Posts 315
Followers ▼ 6
Following 482
Header Image

Thing i love :
- Birds of all kind they are all so cute
- furry art
- monsters, horror, eldritch entities
- music (electro, hip hop, jazz, funk, trip-hop, post rock, dark ambience, dance, etc...)
- cooking, especially making cakes and biscuits
- books
- starting project (and never finishing them)

I work as a dotnet dev doing some dev ops too.

hatch year is 1995

Please have a bios or some post before following, if not you will be considered as a suspicious account and might be blocked.

Last posted 1 day ago
Posts 16,747
Followers ▼ 5
Following 358
Header Image
adingbatponder
@[email protected]

Tech by the people, for the people.

Washing up ⌨️ washing up sorting socks raspberrypi 🗜️ ⚙️ taxi service ubuntu shopping
⚛️ cooking 🧮 homework 🧘🏻‍♂️
Pro nouns: but verbs are good too if used right. :meshtastic: 🦀 rust debian nixos

Last posted 1 day ago
Posts 3,674
Followers ▼ 4
Following 618
Header Image
Julian Stecklina
@[email protected]

Does low-level systems hacking for food. 🌍🇪🇺🇩🇪🇷🇴🇪🇸🇺🇦 | @blitzclone on Twitter

Last posted 2 days ago
Posts 141
Followers ▼ 4
Following 163
Header Image

and fanboy & contributor (, , )

hopelessly idealistic - realistically pessimistic

values science & facts over feelgood-ism

Last posted 1 day ago
Posts 17,431
Followers ▼ 4
Following 1,237
Header Image
🇺🇦 haxadecimal
@[email protected]

(SW Defined Radio)

HP calculator simulation at microcode level
Maker (with John Doran) of Nixie tube RPN calculators
CHM PDP-1 Restoration Team
Damned dirty ape
Call sign N2ES
he/him
cis male
Not a tame programmer
in , not far from

Last posted 1 day ago
Posts 18,396
Followers ▼ 4
Following 1,262
Header Image
Peter J. Jones
@[email protected]

Open Source enthusiast. Lover of functional programming. An all-around nerd who likes to wear bow ties.

Author of Effective Ruby.

Last posted 2 days ago
Posts 16
Followers ▼ 4
Following 60
Header Image

I paint and grow things. I am consumed by all things Scandinavian, Astrophysics, and Gardening. I might be into power tools. She/Her/Who Dat?

Last posted 1 day ago
Posts 1,912
Followers ▼ 3
Following 260
Header Image

Theoretical physics MSc student @uniheidelberg
interested in general relativity, quantum field theory (gauge theories and quantum gravity in particular), statistical physics, geometric algebra, spinors and spaceflight. Feel free to ask me if you don't understand something I post :)

My non-physics things: , , , , , , , ,

fighting for formalism biodiversity in physics since 2021

Last posted 1 day ago
Posts 358
Followers ▼ 3
Following 32
Last posted 1 day ago
Posts 2,073
Followers ▼ 3
Following 2,039
Header Image

; ; ; ; ; ; ; ; ; amateur socializer; reader; pet parent; occasionally ;

Last posted 2 days ago
Posts 217
Followers ▼ 3
Following 264