I make videos about programming languages like Haskell, Rust, Nix, Cobol, Assembly and other weird ones. I also love retrocomputing and game development!
https://bio.site/ellyxir

Software engineer of over a decade. Loves animals and functional programming and pastel colours.

Working with #haskell #rust #typescript #react #css #nix and more. Interested in #a11y #webcomponents #htmx.

I talk about life stuff on Bluesky.

uBlueOS and NixOS, and CalyxOS user
OCI system images are my new favorite thing
Also I have an alt but you'll never find it
ΔΔΔ
7B00FF + 00FFD7 ♥
Contact methods in order of preference
You don't have to ask to message me, the fact that you chose to interact with me would make me happy (ik that's kinda sad but shush)
Biggest [Creo](https://www.youtube.com/channel/UCsCWA3Y3JppL6feQiMRgm6Q) meatrider
python -c 'print(chr(sum(range(ord(min(str(not())))))))'
PS my pgp key is marked as unverified on my keyoxide bc I haven't been able to get it to work qwq. This will be fixed Soon™

I explicitly do not consent to any content I post being used to train closed-source AI models or projects

Hello, my name is Henry Hiles, Full Stack Developer. I have extensive experience with React, SolidJS, Node.js, and ASP.NET Razor Pages. I have used my Node.js knowledge to create QuadraticBot 2.0, a giveaway bot for discord. For more projects, check out my GitHub profile. I am into #foss, #linux, #nixos, and #postmarketos.

I occasionally boost posts without alt text (mostly of raccoons or cats, nothing important).

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.

Software engineer, #nixpkgs maintainer, math enjoyer, FP enthusiast, rust noob.

lol. femboy.
i make stuff sometimes

neurospicy

I love programming, math, science, and linguistics

.NET shill turned Rust shill turned Nix shill

(deprecated username; may relocate in the future. ETA varies based on procrastination)

I don't post images without alt text. I also try not to boost posts without no alt text or with very unhelpful alt text

i speak english, toki pona, swedish, norwegian

hugs and kisses welcome

longer bio on my webbed site

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.

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

🏳️‍🌈🏳️‍⚧️

Fortschritt, Nachhaltigkeit, Fürsorge | Progress, Sustainability, Care

🛠️ Aramaki – a federated DevOps control plane

❤️ Cynefin, CAS, Python, NixOS, batou, Ceph, Qemu, Linux, pycountry

... and in a former life: Zope and ZODB

Founder and CEO at flyingcircus.io

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

23 |
Linux sysadmin for myself
💵 Windows sysadmin for money
🔐 Infosec nerd
🎼 Music theory is cool
🖥 I like 🦀 rust and nixos
🎮 Hobby gamedev using godot
🌸 Am weeb
🌈 Very gay

https://justmytoots.com/@olsonexi@mstdn.social

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

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

Rust 🦀 NixOS ❄️ YouTube 📺 Palestine 🇵🇸

https://linktree.lgug2z.com

interested in #RISC-V #Rust , #Swift, #NixOS , #SIMD, #Firefox, #QUIC, #HTTP/3, #Linux, #io_uring, #JPEG-XL , #AV1, #USD, #Vulkan, #WebGPU

> 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

J'aime les #Maths, l'#Informatique, les #JeuxVidéo #JeuxDeSociété, les #JeuxDeRôle, la #SF et la #Fantasy
Je suis en M1 d'informatique à l'École normale supérieure (ENS Ulm)
Je code en #Rust #RustLang, en #OCaml et en #Python
J'utilise #NixOS, ou Windows avec #WSL

I like Rust, NixOS, Linux, OpenBSD...

aspe:keyoxide.org:VRQB7AKCDL7BRLOOFXPAWJEROI

DevOps Trainee @Accuknox || Kubernetes || Golang || AWS || NixOS