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.

★ 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

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

Internet software developer

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

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

Hacker, Pirat, Feuerwehr, Maschinist, Bierfreund, λ-punk, experimenteller Neuropharmakologe, Hanf Züchter und Grower, stv. Bundes Vorsitzender PP-DE a.d. #haskell #rustlang #nixos #openbsd

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

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

🙋‍♂️ They/He

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

Be excellent to each other.

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.

#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

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

Fachkraft für gar nix, dönerphiler Mundwerker, Schokopuddingfan, Carbonaraconnoiseur, Eclairbär, Podcastenthusiast, challengeresistent, konstant urlaubsreif. Wurde als "Leuchtturmwärter mit 25 Jahren Berufserfahrung" charakterisiert. SH-Korri für die Programme des Deutschlandradios, hier ausgesprochen privat.

Ich poste idR unlisted, die meisten Posts und Direktnachrichten, die älter als zwei Monate sind, werden spätestens dann automatisiert gelöscht. (Fotocredit Profilbild: Tobias Migge)

I am a lecturer at #AUC (Amsterdam University College).

I teach #PoliticalEcology & #EarthScience.

I spend too much time playing around with #linux, #emacs.

I have a small blog: https://mishathings.org

I like to make #music: https://mishathings.org/music_things/

I play a small role in #BIJ1 #Amsterdam

On Matrix: https://matrix.to/#/@misha:pub.solar

Some tags of my life: #Colombia #Medellin #SOAS #London #Bombay #India #Nieuwmarkt #Heiloo

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!

• 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

🇪🇺 European

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

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)

git log -p -- @xameer

> 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
DP - shamelessly stolen from a an fp video i watched