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.

Ann Arborite, computerist, cat dad, best #skier on the mountain, my initials are BAD so all my ideas are BAD ideas. #GoBlue. http://keybase.io/bdimcheff. DM for signal. #BlackLivesMatter

also @bdimcheff on a2mi.social for Ann Ann Arboreal things.

#bikes #urbanism #bancars #cats #skiing #computers were a mistake but I do #golang #kubernetes #homeassistant #nixos #sre etc. I like #StarTrek in particular and #SciFi in general. Have been known to #shitpost.

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

#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

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.

nix type of gay. sometimes i ctf. she/her
📍 melbourne, australia

#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

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





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

https://luana.dev.br/

Searchable!

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

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
chose life not Google
> https://git.sr.ht/~carnotweat/modshelltovm
#rust #nix , bits of #haskell #ocaml

Functional roboticist. 
Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.

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

#Linux #NixOS #FOSS #SailfishOS

#PinePhone #Arduino #RaspberryPi #ESP8266

#vim #git #gitAnnex #TeXLaTeX #OpenSCAD #SolveSpace

#Python
#hledger #plainTextAccounting

(tfr)