#microcontroller #firmware #FPGA #SDR (SW Defined Radio)
#retrocomputing
#nonpareil HP calculator simulation at microcode level
Maker (with John Doran) of Nixie tube RPN calculators
CHM PDP-1 Restoration Team
Damned dirty ape
Call sign N2ES
he/him
cis male
Not a tame programmer
in #Colorado, not far from #Denver

I am a lecturer at #AUC (Amsterdam University College).

I teach #PoliticalEcology & #EarthScience.

I spend too much time playing around with #linux, #emacs.

I have a small blog: https://mishathings.org

I like to make #music: https://mishathings.org/music_things/

I play a small role in #BIJ1 #Amsterdam

On Matrix: https://matrix.to/#/@misha:pub.solar

Some tags of my life: #Colombia #Medellin #SOAS #London #Bombay #India #Nieuwmarkt #Heiloo

5G Inside

Da manche eine Bio toll finden, dann schreib ich mal hin was mir Spontan einfällt, da eigentlich über mich nix tolles zu schreiben gibt^^

Fahre gern E-Scooter (Super um Fix von A nach B zu kommen) Interessiere mich auch für EBikes und Lastenräder.

Finde Autos nicht doof, nur die dummen Autofahrer die da meist am Steuer sind.

Sonst finde ich vieles Interessant, merkt man meist am Kommi drunter :)

Mehr fällt mir gerade nicht ein was hier so stehen könnte

Internet software developer

#NixOS #Rustlang #XMPP #IPv6 #noPHP #carfree #Dresden #searchable #FediBuzz

• She/Her • 21 • 🇧🇷, talk 🇧🇷🇬🇧 • Valve & FOSS fangirl • Mermaid 🧜‍♀️ • 🏳️‍🌈 Lesbian ⚢ •





Loves #swimming, #cooking, #mermaids and #gaming. #OpenSource everything. #Linux user.

https://luana.dev.br/

Searchable!

Migrated from @luana

🇪🇺 European

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

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

Go Developer, Nix Enthusiast | it/she 🏳️‍⚧️ | CSU Fullerton 2024 | Google STEP Intern 2022, SWE Intern 2023

"They think I'm hiding in the shadows, but I am the shadows" - The Batman

Hi, I'm Frankie 👋

I write about Literature, Life, experiences, Tech, Privacy, and the occasional political rant

'M working hard for my Honorary Doctorate! 😉

I love constructive suggestions, but be nice

I enjoy conversation, but I randomly turn off

I sometimes forget what I said

(Ignore what I write within brackets)

"All Toots and Quotes posted are my own." - Someone's post

Boosts not=endorsements*

In a permanent foot-in-mouth state

*

"Na na na na" is the whole point of Hey Jude

I sometimes forget what I said

TLA⁺ core developer. Love formal methods & distributed systems!

Living in Atlanta, GA, USA. Non-technical hobbies include BJJ, birdwatching, and mushroom foraging.

Other random facts: vim user, nix/arch dual-booter, dual Canadian/US citizen, loose-leaf tea drinker, cyclist, living kidney donor, vegetarian, ecosocialist dreaming of a 2000 watt society! he/him

grosses Maul und nix dahinter.

Der Zweck eines Systems ist, was es tut.

@kami_kadse
@kamikadse161

Julien aka Luj.

PhD Student in Software Supply Chain Security.

NixOS enthusiast and contributor.

Other interests include functional programming languages, software security, formal verification.

Available for freelance projects.

He/Him

May occasionally toot in french.

Computing enthusiast, distributed systems developer, DM, NixOS and Kubernetes user, Rust and Elixir enjoyer, Dota2 player

Three anxious sysadmins in a trenchcoat. DevOpsSec mercenary.
#nix #rust #python #ruby #linux

Technical IT consultant
Bicycle enthusiast
interested in Linux and FOSS (not exclusively)

Alter weis(s)er Mann, Ausbilder/Dozent/Leibeigener bei einem Bildungsträger, Fahrrad-/Autofahrer und Fußgänger, Linux User, living in NRW since 2001, born in Mainz 1964, mag die See lieber als die Berge, Hund + Frau + Kind, BBQ Lover, weit nach #Grün gerückt, no Nazis, AfD oder querdenkende Wichswichtel! Nix KI oder AI
#verdi #bildung

😷 💉💉💉💉 🇪🇺 🛻🚲 🚶‍♂️🌻

Muss ständig an mir arbeiten, da #notjustsad #depression 🤡👹

I'm from BaaaaaaaaarRrrRrRRrRRgrn, Norway! I love free libre open source software AND open hardware, securing privacy and autonomy for all - because of the digital world world we live in. I'm also a recovering distro hopper, I've worked as a sysadmin (or "SysOps" I think it's called today) and I'm currently interested in getting into modern web development.

📚🍨🚲🍫
★ 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 (Pegasus mit Alfine 11, Birdy red, Nihola). 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

23 | she/her |
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
🌈 Sapphic | Polyam in theory, but currently single 🙃

Flirting is ok and good.

Feel free to ask for my Signal if we're mutuals.

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