git log -p -- @xameer

> 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
DP - shamelessly stolen from a an fp video i watched

Worked for 43 years on multiple systems. Comfortable with ZOS, Z/VSE, windows, UNIX, Chrome and Linux. Worked as developer and support, team lead and business analyst. COBOL, ASSEMBLER, BASIC, C, learning RUST & PYTHON. Developer and DBA using IDMS based applications, dev & support for DB2 based systems. I'm still learning and a semi-cranky senior!

shipwrk'd & coma-tose
drink'n fresh granat-apfel muttersaft

security researcher, open-source hardware+software engineer, ⚧dimensional slider, paradoxically lucid, bruja cibernética, exile, formally–trained geneticist, netzwerk hexe, bi-polar 2 witch-apologist, amateur mycologist, glitch wit☽h, katzenamt Bürokrat, day–dreamer, night-timer party–crasher

+poorly conceived original #music
+stupid posts in english, español y deutsche

A programmer from Aotearoa (otherwise known as New Zealand). I have also lived in China but I'm back now.
Antisemites (specifically including Likud supporters) and other racists dni.

KDE dev by day, hobbyist gamedev by night. Generalist FOSS contributor. Finnish AuDHD neurodisaster. I like metal, industrial and EBM music, and I love FPS, RPG and spacesim games.

I love FOSS and Linux. I want to help make gaming better on Linux desktop.

My opinions are always my own. Like my shitposts.
Banner by @Neotheta
Check https://scalie.zone/@aks/112251862581578956 for full image
Avatar by https://www.furaffinity.net/user/fefairy/

My posts often include foul language.

🇫🇮 Tööttään ja paskon välillä myös suomeksi. Sori siitä.

anticapitalist. america must be destroyed. 

#rust #embedded and #bevy 🦀 #学中文 🇨🇳

Emily, putting the gay into #gamedev ​

#rustlang, #speedcube, #heavymetal, and #bassguitar nerd hoping to flood the internet with my rambles and projects. Also an Arch user btw

Feel free to DM me and say hi :)

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 Developer trying to not go mad
I try to play guitar. I like it, you won’t.
I write mostly Java but I’d rather use Scala, Clojure, Gleam or Rust.
Nazis fuck off.

Born at lunchtime.

Against all forms of #antisemitism and #racism

Kein Gott, kein Staat, kein Patriarchat.

🐍 🦀👨‍💻🖖
Pessoas > Tecnologia
People > Technology

Creator of code and controversial opinions.

#Python and #Rust developer (although I did almost every language around there), #Brazilian #Trekkie. #fedi22

Geoffrey Teale 
Principal Engineer @ Upvest.
Born in England, adopted by Germany. 
Humanist. Father. Everton fan.
Not really a bot 🤖
Whilst I appreciate your intentions, please don't offer me Amazon Vouchers. I choose to use companies that pay their taxes and treat their workers with respect.

Functional safety with @rustlang
MD @ferroussystems

Kyūdō (Nidan). Diver. Runs events. Ex-@rustlang project member. Founding member @rust_foundation. ❤️Ruby.

34
🇬🇱 @ 🇳🇴Bergen
🏳️‍🌈🍳
@ AutismSpectrum
ACⒶB
Programming (mostly) in: C♯🎶/Ruby♦️/Python🐍/Rust⚙️.

#Autistic father, amateur #photographer, web designer, #WordPress fan, and marketer specializing in book-related whatnotery. From rural #NY.

Love #LEGO, #VideoGames, #mycology, #camping, #GlassBlowing, #writing, #books (particularly #SciFi) and #AugmentedReality.

🏳️‍🌈 Ally 🏳️‍🌈

🖤🤍💚🤍🖤

Profile picture: Illustration of white person with sideburns, goatee, a tie-dyed shirt, and purple beanie.

Header: Person in linen bunny hood with rust overalls under a street light at night near a rail crossing.

Always learning, I'm sharing what I find, mainly around #homeAssistant #rustlang #docker #kubernetes. In winter, as long as the climate allows it, I do #snowboarding instead of being behind a computer.

Computer engineer working in #Rust, #C, and #CPlusPlus. #micromobility enthusiast, including #longboarding, #unicycling, and #bicycling. Occasionally #sing the low notes in #opera choruses. he/they. Austin, TX, US.

Previously https://mastodon.social/@sporksmith

Me grok write code. Rust, Typescript, Python, JavaScript. Created: Xee, Xot, Morepath, lxml. Also: gardener, science & history fan, living life fan.

I post a lot about programming as well as gardening pictures. If you come for just the gardening pictures the programming talk may baffle you. If you're a programmer, I invite you to enjoy the flowers!

Oh and I post poems now

This page uses frames, but your browser doesn't support them.

Level 25 Kubernetes Technomancer. Follower of the ways of free software. Currently learning #Rust and tinkering with #Gentoo. Married to @Beckyisponymad.
Also a dog.

Co-owner of Floofy.tech, running https://botsinbox.net

50/50 shitpost/serious musings. Views here are not my employers. All lowercase means I'm shitposting :)

he/him bi. Ask me about my fursona.

pfp by @dancrescentwolf banner by zillionross

Working with #GStreamer and #RustLang. Interested in #cycling, tea, ducks, scuba diving, #ByzantineMusic . en/el(ελ)/de/ja(日本語)/es/it/fr