224 awesome Nix accounts on Mastodon.
brokenix
@[email protected]> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0
#nobot
> i am not a book about me .
> https://git.sr.ht/~carnotweat/morning-rust
Yann Büchau
@[email protected]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)
Home Manager News
@[email protected]Edmund Miller
@[email protected]PhD Candidate @ UT Dallas in the Functional Genomics Lab
nf-core maintainer
Office mate to @monimiller
#FunctionalGenomics #Bioinformatics #Emacs #Nextflow @nf_core #NixOS #JuliaLang #Rugby #fedi22
Sandro
@[email protected]Some lefti , NixOS , Linux , Chaos
Don't be afraid of colorful flags 🏳️🌈🏳️⚧️🚩🏴
Markus
@[email protected]Das Einfangen von Momenten und das Spiel mit Licht und Farben faszinieren mich immer wieder aufs Neue.
Wichtig. No #altText = No boost. Inklusion statt Nixklusion.
Header: Face of a black cat
Profile: Bumblebee sitting on a blossom (monochrome image)
tootfinder
GroßStadtPflanze
@[email protected]📚🎨🎭🍨🚲🍫 ★ ICH bin NICHT schuld, wenn's Wetter schlecht ist. ★ (Account beim toten Vogel gelöscht. Wenn mein Handle dort auftaucht, bin es nicht ich!) Nix als Rosinen im Kopf. Albernheit wird unterbewertet. #ADHS seit 1/2 Jahrhundert. 🚲 Trekking-, Falt- und Lastenradbesitzerin (Utopia, Raleigh, Birdy, Nihola) :na sie/ihr she/her, weiß (aber nicht käsig) @ Hamburg ❤︎ Berlin/NYC ‼️Hätte gern mehr Frauen in meiner TL & mehr Verfolger*INNEN. [tootfinder] #tauschy 20
Martin Majc0 OM0MO Brechtl
@[email protected]{
"role" : “#infosec #OT #IT #consultant",
"certifications" : ["#CISA", "#CRISC", "#CISSP", "#CEH"],
"interests" : ["#python", "#nixos", "#linux", "#qubes", "#graphene", "#securityonion", "#proxmox", "#openwrt", "#opnsense", "#routeros"],
"hobbies" : ["#photography", "#hamradio", "#amateurradio", "#hillwalking", "#climbing", "volleyball"],
"HAMcallsign" : "OM0MO",
“location” : [“#Devin”, "#Bratislava", “#Slovakia”, "#Europe"],
"photolinks" : ["https://www.flickr.com/photos/martinbrechtl", "https://unsplash.com/@Majc0", "https://www.qrz.com/db/OM0MO"],
}
Sofie 🏳️🌈
@[email protected]Ops @ Hachyderm | Circuit wrangler
she/her
#guix #nixos #makers #electronics #denmark
maralorn
@[email protected]I am a mathematical physicist and work as a software developer at Heilmann Software.
I spend most of my time coding #haskell, #nix, #nixos, am a co-maintainer of nixpkgs.haskellPackages and a member of the #GHC Steering Committee. Apart from that I love choir singing, ballroom dancing and playing #TTRPGs.
Try out my projects:
https://code.maralorn.de/maralorn/nix-output-monitor
https://matrix.to/#/@nixpkgs-bot:maralorn.de
Rebecca Fernandez
@[email protected]Senior Graphics programmer at Nixxes Software. Previously TT Games and WeirdBeard Games. Now located in Australia after a decade in the Netherlands.
I am I will soon study game development at HKU.
I fucking love , and mango juice.
is queer
Feel free to interact with my posts however you wish (as long as it doesn't break my instance's rules and for the lewd/nsfw stuff you are not a minor).
If I dislike it I will tell you.
If I hate it I will probably block you.
If I love your response though I will favourite and or boost the fuck out of it be warned I am like fucking evil spirit I will haunt your account.
Any lewd or nsfw posts/comments I make are lighthearted or jokingly I am quite private about those things if I cross a line let me know though
Of course we do not have to agree with each other.
You and I both just have our views that's all.
I prefer the ways of the water and the wind.
Who watches the watchmen?
Free as in freedom thus also as in price
Met een vleugje zuivel
Jeezy
@[email protected]Rust 🦀 NixOS ❄️ YouTube 📺 Palestine 🇵🇸
goibhniu
@[email protected]Gaeilge, NixOS, Bogearraí saora, Eite chlé, Esperanto, Rothaíocht, Rotharcharr (Velomobile)
sé/siad
Marcus
@[email protected]I'm very interested in free software and licensing of art and the written word. I'm a member-owner of a local brewpub cooperative. I use SDF and Tilde pub-nixes as well as self host what I can.
At 19:00 UTC Monday through Friday I'm on AnonRadio.net doing a 30 minute news show. I read news I've found around the web.
My preferred pronouns are He/Him/His.
Sr. Estegosaurio 🦕
@[email protected]A random from Europe, informatic wannabe.
Really interested in programming, privacy, security & philosophy. Plus other cool things.
Currently struggling with #NixOS .
Don't be shy, I only have my account private due to bots and stuff. I don't bite. (most of the time).
Elis H 🌱
@[email protected]❄️ #NixOS 🐧 #Linux enthusiast, 📻 #HamRadio operator, #Emacs user.
Mostly another guy that likes hacker things.
I also have a strong respect for both human and non-human animals. #Vegan for the animals and the planet 🌱🌍
HenkPoley
@[email protected]Science fanboy.
Software developer, previously software tester. #PHP, #bash, #python. Some #PowerShell, #Java, #C and #Z80Assembly (Ti-83)
Otherwise interested in #Rust, #Elm, #NixOS, #Erlang, #Elixir, TLA+, and #ReasonML / #ReScript.
Ran a #seascouts troup for a while.
Speaks Dutch, English, German, some French, and a tiny bit of Mandarin and Spanish.
Diamond
@[email protected]Go Developer, Nix Enthusiast | it/she 🏳️⚧️ | CSU Fullerton 2024 | Google STEP Intern 2022, SWE Intern 2023
SyöminenJaPyöräily
@[email protected]Essen und Radfahren
No alt Text? No boost! 🤷♀️
Folgeanfragen werden nur angenommen, wenn ich so ungefähr erahnen kann, warum Du mir folgen willst. Und auch dann nur, wenn sonst nix dagegen spricht :-P
Bildbeschreibung Header: Auf einer Seebrücke am Meer steht ein Lastenrad mit Tourengepäck.
Bildbeschreibung Profilbild: Nussschnecken auf einem Kuchengitter.