255 awesome Nix accounts on Mastodon.
Niklas Korz
@[email protected]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
HoldMyType
@[email protected]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
Anthony Cowley
@[email protected]Functional roboticist. Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.
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)
Sandro
@[email protected]Some lefti , NixOS , Linux , Chaos
Don't be afraid of colorful flags 🏳️🌈🏳️⚧️🚩🏴
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
Home Manager News
@[email protected]Alex
@[email protected]I tinker with code, music, art, electronics, synths, and things in 3D.
#music #ambient #AmbientMusic #experimental #electronic #BandCamp #NewMusic #synths #eurorack
https://www.tiktok.com/@nixienoise
https://ko-fi.com/nixienoise
Hendrik Bunke
@[email protected]Developer, teacher, researcher (or in between all of this, can't tell exactly). #OpenScience, #Education, #School, #Linux (#Fedora #Silverblue, #NixOS), #Python, #functionalprogramming. 3 #Kids, PhD, #Cycling, #noCar. #Werder, #Bremen.
Find older toots at my first Mastodon instance: https://social.tchncs.de/@hbunke
Please do not DM me here. You may use
**Signal**: hbunke.44
or
**Matrix**: @hbunke:matrix.org
or even my professionel email address which you can find at https://tib.eu/hbunke
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
xanderio
@[email protected]nixpkgs | rust | elixir
@entropia | 🏳️🌈
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
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.
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
Jeezy
@[email protected]Rust 🦀 NixOS ❄️ YouTube 📺 Palestine 🇵🇸
goibhniu
@[email protected]Gaeilge, NixOS, Bogearraí saora, Eite chlé, Esperanto, Rothaíocht, Rotharcharr (Velomobile)
sé/siad
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