PhD student with Ralf Hinze in Category Theory for the design of Proven Correct, Total Algorithms
#categorytheory #agda #haskell #nix #emacs Recursion Schemes Generic Programming Language Acquisition New Masculinities #vegan #sustainable #skeptic Friend #meditation Yin #maker 🇪🇺an

Creature on the Web. Lots of social anxiety.
Eepy
I sometimes do weird things with Tech.
Linux and Nix(OS) Shill.

If I mess up, please tell me.

#nobot (except the cute ones)

I like hardware and software I can tinker with.

Interested in decentralization, overlay networks, cryptography, hardware.

Posts mainly in Russian, and occasionally in English. Boosts on the other hand are mostly English.

Свободу российским политзаключённым. Те кто стоят за репрессиями обязательно за это ответят. И за остальное тоже. 🦄☮️@

★★★☆☆ 🇺🇸
★☆☆☆☆ 🇩🇪
★☆☆☆☆ 🇯🇵
★★★★★ 🇷🇺
★☆☆☆☆ 🇷🇸

#fedi22 #decentralization #encryption #linux #nixos #foss #selfhosting #electronics

🧑🏿 Millennial black cis guy
🖋️ #Writer and #novelist
💻 #Linux and #OpenSource geek (I use #NixOS btw)
🧘 #Buddhist, hippie, #BurningMan )'(
🦁 #Furry
💑🏿 #Pansexual

💑🏾 https://spectrum.avris.it/5IMo
💕 https://cake.avris.it/pD4

Profile pic: a drawing of a mischievous lion with green eyes and a big golden mane, by @YemmieArts

Profile banner: two lions in trans colors facing opposite directions defiantly. Source: https://e926.net/posts/1550976

Support Technician & Eternal learner
🇫🇷🇬🇧 Speaker
🐧 Linux explorer
🐍 Python tinkerer
👩‍💻 Homelab enthusiast

Proud to be Antifa, like my grandfather, who was killed fighting fascism in WWII, and was posthumously awarded the Air Medal and the Purple Heart.
#microcontroller #firmware #C #CPlusPlus
#FPGA #VHDL #Verilog #SDR (SW Defined Radio)
#retrocomputing
#nonpareil HP calculator simulation at #microcode level
Maker (with John Doran) of #NixieTube #RPN #calculator
CHM PDP-1 Restoration Team
Call sign N2ES
he/him
cis male
atheist
Damned dirty ape
Not a tame programmer
in #Colorado, near #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/

I play a small role in @BIJ1 #Amsterdam

Some tags of my life in random order: #Heiloo #Colombia #Nieuwmarkt #Medellin #London #SOAS #India #Bombay #AbyaYala

(Boosting is not necessarily (fully) agreeing/approving).

Nix and NixOS Geek
Love Linux, FOSS, Devops etc❤️🙌
Exploring, Learning and Implementations quench my curiosity than anything else

Basically a passionate Linux and Nix guy😁
Love to solve problems
Bassist on Hiatus
Love Music, Anime, Good stories etc
Basically a being who admires and love to be creative

Alt Text:
The profile pic is a character named Hinata Shoyo from the anime Haikyuu and the Banner pic is Nix logo showcasing the account owner is anime and tech otaku.

#nix #nixos #linux #FOS

#OpenSource and #OpenData fanboy & contributor (#KDE, #NixOS, #OpenStreetMap)

hopelessly idealistic - realistically pessimistic

values science & facts over feelgood-ism

Former SysAdmin, Qt C++ dev, python automation tinkerer. Motorcycle rider. Trainee bus driver.

grosses Maul und nix dahinter.

Der Zweck eines Systems ist, was es tut.

@kami_kadse
@[email protected]

I'm interested in #Linux, #FOSS, data storage/management systems (#btrfs, #gitAnnex, #git), unfucking our society and a bit of gaming (#planetside2, #trackmania, #guildwars2, #BeatSaber).

I help maintain #Nixpkgs / #NixOS.

I use #emacs. I ride a #brompton. I like trains.

Can be found IRL @cccda.

Personal account: @umetA

Tech: #Apple, #nix, #SBC, #RetroGaming, #3DPrinting

Indie developer and fractional-CTO for very early stage startups. Polyglot software engineer (#Haskell, #Erlang, #Scala, #Nix, #NixOS, #Fsharp) with focus on building privacy-cenetered applications and services.

Has a penchant for #OptionsTrading, #FunctionalProgramming, #Economics, #SystemsThinking.

Antifascist, immigrant, gay af.

Average spooktoberfest enjoyer. Scala, Smithy, Nix, Playdate dev, ADHD, GFDI, JP2GMD

Der mit den Kurzgesagt-Hoodies

Macht was mit SAP, Linux und Web. Von allem ein bisschen was aber nix richtig.
Winkt dem KI-Hype-Train beim Vorbeifahren.
Hat sich aus Versehen einen Nick ausgesucht, den niemand aussprechen kann 🥲

Free hugs and cuddles

WICMP ✅
EH ✅✅
FSCK ✅
ASM ✅
GPN ✅✅✅
HO ✅✅
MRMCD ✅✅
DHCP ✅✅
C3 ✅✅🔜

internet dinosaur. dev.

compares everything to IRC.

#nixos #emacs #cpp

.Net Coder, C#, ASP.NET (Core)

Velotafeur, mais geek avant tout, hacker, Devops, auteur & contributeur du libre. Python, Docker, NixOS/Archlinux addict #JeSuisUnDesDeux #velotaf #LiberezLaData

Montpellier · bruno.adele.im

Tech by the people, for the people.

Washing up ⌨️ #RISCV #RiscvAssembly washing up #Raspberrypi sorting socks 🗜️ #tibber taxi service #HomeLab #macOS shopping
⚛️ #physics cooking 🧮 #mathematics homework 🧘🏻‍♂️ #iyoga #choir #iyengaryoga
#meshtastic 🦀 #nixos #reticulum
(Photo: Steve Carter @GetCarter )