NGI Zero is a grant making programme for R&D of free and open source technology, coordinated by @nlnet in collab with @fsfe @APC @ps @techcultivation @ros @fsi @nixos_org @ISOCSwitzerland @apell Tolerant Networks HAN University Brno University OW2 & OFE | Delivers technology for the #NextGenerationInternet
Account is run by NLnet
IMG: C. Jeschke | Unsplash

Fractional-CTO, and polyglot software engineer (#Haskell, #PureScript, #Nix, #NixOS, #Deno, #Rust, #Roc, #Flix) with focus on building and scaling infrastructure, platforms and SaaS products end-to-end.

Tolerates writing #Scala for good money.

Has a penchant for #OptionsTrading, #FunctionalProgramming, #Economics, #SystemsThinking.

Antifascist, immigrant, gay af, she/her.

Internet software developer

#NixOS #Rustlang #XMPP #IPv6 #noPHP #carfree #Dresden #searchable #FediBuzz

★ Es gibt nix Gutes, ausser 😷 toot es
★ Boosted means boss move
★ Weckt mich wenn Revolution ist
★ Alpaca 🦙 Ozelot 🐆 Axolotl 🦎
★ Allen alles
★ Auf allen Spektren

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

#Muskodus #Twexit #LongCovid #UrbanLoveWarrior #TootFinder #FamilyAbolitionist

grosses Maul und nix dahinter.

Der Zweck eines Systems ist, was es tut.

@kami_kadse
@kamikadse161

#OpenSource and #OpenData fanboy & contributor (#KDE, #NixOS, #OpenStreetMap)

hopelessly idealistic - realistically pessimistic

values science & facts over feelgood-ism

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

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

Gegen Insektenkiller. Schützt die Wildbienen.

FuckNazis

#MaskeAuf #DurchseuchungToetet
Team #LowCovid und #Infektionsverweigerer
Nerve mit Themen um Covid, LC, Me/Cfs (sorry)

🏳️‍⚧️🏳️‍🌈 Ally, female
AntiPutin, AntiSchwurbel + Antifaschist #AfDVerbotJetzt

Für Demos gehe ich unter Menschen, ansonsten muss es nicht unbedingt sein...
Esse vegetarisch (auch gerne vegan).
Gebt mir gerne Tipps zu Käseersatz zum Überbacken! (fand nix leckeres bisher)

Disclaimer: Opinions do not necessarily reflect those of the mastodon.de staff.

Postet häufig über Hotlines, aber bleibt stets freundlich gegenüber Servicekräften - die können ja auch nix dafür!
Ungebildet und dumm
Hartknäckige Diva
Proud inhabitant of Rheinhessen
Boosts appreciated!

🏳️‍🌈/🏳️‍⚧️ ally
Queerphobes keep out!
Like ≠ endorsement

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.

#plt #os #fp #lisp #scheme #clojure #guile #guix #nix #rde #emacs

I'm working on https://spectrum-os.org/, a compartmentalized operating system. Working on Nixpkgs things, virtualization things, maybe Wayland things?

Development livestreams every so often. :)

Avatar by Chipiku.

🙋‍♂️ They/He

JavaScript fanboy and expert in bug creation. I also do Nix things.

Be excellent to each other.

#microcontroller #firmware #FPGA #SDR (SW Defined Radio)
#retrocomputing
#nonpareil 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 #Colorado, not far from #Denver

🇨🇦 citizen, 🇺🇦 supporter.

"We must build dikes of courage to hold back the flood of fear." - MLK Jr.

Born at 320 ppm CO2

IEEE PSES, IAS & SA member

Avatar: A cartoon of a white guy in a red t-shirt standing waist-deep in a pot of coffee, resting a full cup on the pot's rim, and smiling.

Header banner: Two wooden signs nailed to a tree. The top sign points left with the words "Same Old Mistakes," and the bottom sign points right with "Glorious New Mistakes."

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.

https://justmytoots.com/@kagan@wandering.shop

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

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





Loves #swimming, #cooking, #mermaids and #gaming. #OpenSource everything. #Linux user.

https://luana.dev.br/

Searchable!

Migrated from @luana

Systemic Tinkerer, Logic Juggler.

#GameDev, #GameAI, #dkgame
@framebunker, ex @GameAINorth, ex @unity. Occasional @nixos_org contributor.

Phrases opinions badly, blocks dumb shit.

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

Cloud computing, web development, multimedia, languages and pen and paper. Sometimes computer graphics. Mainly Rust, Go and TypeScript.
I use Nix btw.
MSc Computer Science (2019-2022 @uniheidelberg).
Co-founder of @alugha.
Toots in German and English.
#MastoAdmin at @admin.

#fedi22 #rustlang #programming #linux #macos #tech #cats #nixos #rust #golang #typescript #devops #sysadmin #kubernetes searchable

s='hello;'
echo "${s//;/\;}"

> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0
#nobot #nobridge #noai
send messages , not metadata
> https://sr.ht/~carnotweat/deltanix
#rust #nix , bits of #haskell #ocaml