logo FEDIDEVS

FEDIDEVS

279 awesome Nix accounts on Mastodon.

nix Nix
Header Image

Haskell, Nix, Purescript, Plutus, Zig, Rust. laser-focused on FP: formality, purity, and totality; repulsed by pragmatic, unsafe, "move fast and break things" approaches
---
AC24 1DE5 AE92 3B37 E584 02BA AAF9 795E 393B 4DA0

Last posted 1 day ago
Posts 332
Followers ▼ 1
Following 140
Header Image
Last posted 1 day ago
Posts 1,873
Followers ▼ 1
Following 456
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 Less than a day ago
Posts 13,506
Followers ▼ 1
Following 1,283
Header Image

5G Inside

Da manche eine Bio toll finden, dann schreib ich mal hin was mir Spontan einfällt, da eigentlich über mich nix tolles zu schreiben gibt^^

Fahre gern E-Scooter (Super um Fix von A nach B zu kommen) Interessiere mich auch für EBikes und Lastenräder.

Finde Autos nicht doof, nur die dummen Autofahrer die da meist am Steuer sind.

Sonst finde ich vieles Interessant, merkt man meist am Kommi drunter :)

Mehr fällt mir gerade nicht ein was hier so stehen könnte

Last posted Less than a day ago
Posts 27,431
Followers ▼ 1
Following 379
Header Image
Home Manager News
@[email protected]

Latest home manager news.

Unofficial.

Last posted 1 day ago
Posts 299
Followers ▼ 1
Following 3

Hello, I'm Henry Hiles, a developer specializing in flutter and web development. I'm proficient with Dart, Astro, Node.JS, and TypeScript. I build high-performance, intuitive applications with clean, efficient code and modern design principles.

Always eager to learn, I’ve earned certifications from Microsoft, Google, and Meta in cloud computing, AI, and cybersecurity. Whether I'm optimizing mobile apps or designing websites, I’m passionate about delivering innovative digital solutions.

I am into , , , and .

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

Last posted 1 day ago
Posts 6,035
Followers ▼ 0
Following 108
Header Image
Chris Cochrun ~ >
@[email protected]

Just a guy who loves Jesus, family, and open source. In that order.

I am currently a / at an organization called Teens For Christ Connection.

Tell me about your adventures in:

I'm kinda a nerd I guess...

Last posted 1 day ago
Posts 453
Followers ▼ 0
Following 123
Header Image

Currently overengineering my blog. I also write for fun, and at work.

When I'm not coding, I write. Fiction. Non-Fiction. I read a lot of and watch a lot of movies and . I consider myself a cinephile.

Man City fan since Benjani 🇿🇼 put on the shirt

我的中文不太好

Opinions my own 😎

Last posted 6 months ago
Posts 427
Followers ▼ 0
Following 52
Header Image

Passionate about technology, Open source and long time Linux user. Into DevOps, self-hosting, home automation, retro-gaming, NixOS and Rust.

Last posted 2 days ago
Posts 13,650
Followers ▼ 0
Following 263
Header Image

swe @ cachix.org by day.
dabbling in graphics programming by night.

Last posted 5 months ago
Posts 6
Followers ▼ 0
Following 49
Header Image

Environmental Scientist/Meteorologist @umphy. Built a low-cost CO₂ sensor network to monitor natural CO₂ emissions: doi.org/10.1127/metz/2022/1125 ☁️

tux nixos

pine64 arduino raspberrypi

vim git gitannex latex openscad prusaslicer

python

(tfr)

Last posted 1 day ago
Posts 3,622
Followers ▼ 0
Following 484
Header Image

A clumsy heart_nb furry trying to learn how to code for a hobby. me also sometimes goes mrp and meow randomly blobcatgoogly2

My favorite video games to play includes Stardew Valley and CDDA. Sometimes CK2.

I'm not a super talkative person, but I'm friendly if you're nice.

English isn't my native tongue and am not good at it. You'll be seeing instances of me messing up with my words, rather often. I apologize.

Last posted 7 months ago
Posts 591
Followers ▼ 0
Following 97
Header Image
Stéphan Kochen
@[email protected]

I like building things for the web! Hope that's okay. (he/him)


Author of castling.club, & enthousiast.

Last posted 2 days ago
Posts 990
Followers ▼ 0
Following 578
Header Image
crypto_monoid
@[email protected]

Software engineer, maintainer, math enjoyer, FP enthusiast, rust noob.

Last posted 1 month ago
Posts 41
Followers ▼ 0
Following 31
Header Image
Jesse Hallett
@[email protected]

Software engineer in the Bay Area. Dad. Nerd. I work at Hasura. I'm into , , , , . Also sometimes .

Reducing wealth inequality is a big issue to me - IMO it's an issue with one of the highest conceptual simplicity-to-world improvement ratios. So sometimes I step out of the tech zone and post things like and .

Pronouns he/they

Last posted 4 weeks ago
Posts 171
Followers ▼ 0
Following 196
Header Image

i exist

Last posted 4 months ago
Posts 74
Followers ▼ 0
Following 21
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/morning-

Last posted 7 months ago
Posts 11,776
Followers ▼ 0
Following 327
Header Image

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

Last posted 1 week ago
Posts 31
Followers ▼ 0
Following 122
Header Image
Peder Bergebakken Sundt
@[email protected]

🇳🇴 Datafjomp fra . Stipendiat på i som fikler med nevrale felt og 3D differensierbar rendering. Elsker å forstå og grave i store systemer, pakker programvare for morro.
🇬🇧 Norwegian computer goober, fiddling with neural ray fields and inverse rendering at . Loves to grok and muck around in huge systems, packages software for fun.
He/Him

Last posted 3 days ago
Posts 90
Followers ▼ 0
Following 455
Header Image

Ich bin unbeaufsichtigt. Queer. HIV. Er/ihm they/them.

Manchmal bin ich , manchmal und manchmal hänge ich einfach nur so an der Straßenecke herum und schimpfe auf Heteros. Demimale aber eigentlich geht dich das auch nix an.

Last posted 1 day ago
Posts 3,790
Followers ▼ 0
Following 880