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 #noai
send messages , not metadata
> https://sr.ht/~carnotweat/deltanix
#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)

er/he, #fdroid contributor, likes #nixos and #arch, also quite interested in #politics, #foss, #golang

Find me under @j_r too

#fedi22 tfr

Some lefti , NixOS , Linux , Chaos

Don't be afraid of colorful flags 🏳️‍🌈🏳️‍⚧️🚩🏴

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

Latest home manager news.

Unofficial.

#NixOS #Nix #HomeManager

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

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

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

nixpkgs | rust | elixir

@entropia | 🏳️‍🌈

{
"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"],
}

📚🎨🎭🍨🚲🍫
★ 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

Ops @ Hachyderm | Circuit wrangler

she/her
#guix #nixos #makers #electronics #denmark

Senior Graphics programmer at Nixxes Software. Previously TT Games and WeirdBeard Games. Now located in Australia after a decade in the Netherlands.

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

Rust 🦀 NixOS ❄️ YouTube 📺 Palestine 🇵🇸

https://linktree.lgug2z.com

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

#Ancom #NoLLM #NoBlockchain #CopyLeft #Nix