Velotafeur, mais geek avant tout, hacker, Devops, auteur & contributeur du libre. Python, Docker, NixOS/Archlinux addict #JeSuisUnDesDeux #velotaf #LiberezLaData

Montpellier · bruno.adele.im

PhD student with Ralf Hinze, Jurriaan Rot & Niels van der Weide in Category Theory for the design of Proven Correct, Total Algorithms
#categorytheory #agda #haskell #nix #emacs Recursion Schemes/Structured Recursion Generic Programming Language Acquisition New Masculinities #vegan #sustainable #skeptic Friend Boulderer #meditation Yin #maker 🇪🇺an

(he/him) Environmental Scientist/Meteorologist @umphy. Built a low-cost CO₂ sensor network to monitor natural CO₂ emissions (dissertation: http://dx.doi.org/10.15496/publikation-117538), now developing meteorological payloads for multicopters.

#Linux #NixOS #FOSS #SailfishOS

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

#Python
#hledger #plainTextAccounting

(tfr)

internet dinosaur. dev.

compares everything to IRC.

#nixos #emacs #cpp

she/her 🏳️‍⚧️🏳️‍🌈

some catgirl living in the terminal
nixos, zellij, nushell and nvim

Kann gut als Gewichtsdecke benutzt werden
Mutter von Claire (kuschelnashorn)

trans & confused
pls hug and cuddle

23
likes cute girl-flavoured humans

beware, purple things around me
might go missing :3

HRT since October 25

probably would like to eeep at the moment

He/Him | Recovering Android Engineer | Baby Rustacean and Nix enjoyer | Ask me for pictures of my dog!

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

hopelessly idealistic - realistically pessimistic

values science & facts over feelgood-ism

Nixos | Orgmode | Emacs

Hi,

Software Engineer in #fossunited
I'm an #OnePiece fan
I love to read articles and novel.
I'm keen on tech and Unix tools.

Everything else is #Emacs

#photography #quadcopters #hiking #cycling #climbing #bouldering #linux #nixos #rust #nobot

Web developer in #Drupal tooting about #Writing, #Linux, and #Programming.

I maintain the Drupal service for #NixOS

Sometimes contributor to #FOSS projects.

Trans rights are human rights. Black lives matter.

Opinions are my own.

Avatar Alt Text: A giant plushie banana slug surrounded by smaller plushie banana slugs. The big slug has a tag that says "I Can't Be Bought".

Banner Alt Text: A mossy green stump with a little cluster of tiny, cream colored mushrooms.

TLA⁺ core developer. Love formal methods & distributed systems!

Living in Seattle, WA, USA. Non-technical hobbies include BJJ & birdwatching.

Other random facts: vim user, nix/arch dual-booter, dual Canadian/US citizen, loose-leaf tea drinker, cyclist, living kidney donor, vegetarian, ecosocialist dreaming of a 2000 watt society! he/him

alles und nix

SRE at reMarkable. Acmeist with a declarative fetish. Hates the slow. Maker. Coder. Reader. Gamer. Writer. Specialisation is for insects. tfr #nim #prometheus #kubernetes #nix #monitoring #golang

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

Rust developer.

CTF player (web, rev) with kalmarunionen
NixOS enthusiast.
EN/日本/PL

🇩🇪 in 🇹🇼

Writing software on disk and in flash. (系統軟體工程師) at Framework Computer

OS: @NixOS_org

An annoying Rust person, reluctant Nix user, big linguistics/etymology fan, Need for Speed: Most Wanted enjoyer, and also queer I guess

Professional electrical/mechanical engineer and at home tinkerer.

Repairer at several repair cafés in Berlin.

Language: English/Dutch/German

Header shows the Nixie clock I made some years ago (and a vinyl record player behind it).

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





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

https://luana.dev.br/

Searchable!

Migrated from @luana

I like hardware and software I can tinker with.

Interested in decentralization, selfhosting, overlay networks, cryptography, hardware.

Posts mainly in Russian, and occasionally in English. Boosts on the other hand are mostly English.

Свободу российским политзаключённым. Те кто стоят за репрессиями обязательно за это ответят. И за остальное тоже. 🦄☮️@

★★★☆☆ 🇺🇸
☆☆☆☆☆ 🇩🇪
★☆☆☆☆ 🇯🇵
★★★★★ 🇷🇺
★☆☆☆☆ 🇷🇸

#fedi22 #decentralization #encryption #linux #nixos #foss #selfhosting #electronics

Just an arctic fox doing infosec. Also doing DIY electronics and photography.

I may talk your ear off if I know you, or something about the matter. While I do I work on it, don't say I didn't warn you!

Posts may be in English or sometimes German.

⁂

See also my Pixelfed account @varbin for pictures of fursuting, DIY electronics and macro shots of flora.

⁂

“We can disagree and still love each other unless your disagreement is rooted in my oppression and denial of my humanity and right to exist.” — James Baldwin

⁂

I used ⁂ before it was cool.

Background image FN2A3630 is CC-BY-SA 4.0 licensed by Nixette at Wikimedia Commons (https://commons.wikimedia.org/wiki/File:FN2A3630.jpg)