Internet software developer

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

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

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
cis male
atheist
Damned dirty ape
Not a tame programmer
Some assembly required
No user serviceable parts inside

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 #radicle 👾
(Photo: Steve Carter @GetCarter )
@homelab
LXMF: fa01207bb431ff3aeea472de3e81beab

Programming and Open-Source Enthusiast.
Studying Cybersecurity @ KTH 🇸🇪 | Studied Comp Sci @ IST 🇵🇹 | CTF Player @ STT & RoyalRoppers
#NixOS #Android #HomeAssistant

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

Nixos | Orgmode | Emacs

Hi,

Software Engineer in #fossunited
I'm an #OnePiece fan
I love to read articles and novel.
I'm keen on tech and Unix tools.

Everything else is #Emacs

He/Him | Recovering Android Engineer | Baby Rustacean and Nix enjoyer | Ask me for pictures of my dog!

🧑🏿 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

"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

Follow my BLOG here: https://theneutralfaceblog.wordpress.com/

'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

Nicht mein Zirkus - nicht meine Affen.

Eishockey, dazu Retrogaming, und von allem nix. Des glangt ma.
EC Kassel olé!
#FCKNZS
#noafd

ⓘ 𝘛𝘩𝘪𝘴 𝘶𝘴𝘦𝘳 𝘪𝘴 𝘴𝘶𝘴𝘱𝘦𝘤𝘵𝘦𝘥 𝘰𝘧 𝘣𝘦𝘪𝘯𝘨 𝘱𝘢𝘳𝘵 𝘰𝘧 𝘢 𝘵𝘦𝘳𝘳𝘰𝘳𝘪𝘴𝘵 𝘰𝘳𝘨𝘢𝘯𝘪𝘻𝘢𝘵𝘪𝘰𝘯 𝘤𝘢𝘭𝘭𝘦𝘥 𝘈𝘯𝘵𝘪𝘧𝘢. 𝘗𝘭𝘦𝘢𝘴𝘦 𝘳𝘦𝘱𝘰𝘳𝘵 𝘢𝘯𝘺 𝘴𝘶𝘴𝘱𝘪𝘤𝘪𝘰𝘶𝘴 𝘣𝘦𝘩𝘢𝘷𝘪𝘰𝘳.

Professional full-time Nix hater and part-time Haskell liker. Former world's fastest Nameless One. Jewish refuge. Transbian menace 🏳️‍⚧️🏳️‍🌈. She/Her.

a rust developer who codes sometimes fun stuff, occasionally makes games. uses linux and sewerslvt as the center of xyr personality lol. 
speaks russian, english and hebrew but almost all the posts are in english. 
hate and love technology at the same time


 and 
 (rn most of the time i feel )
use #gentoo and #nixos


#nobridge

CTO at satoshi-connect.ch.
@bebop ambassador.

I’m curious and passionate about free software, decentralized systems and decentralized finance. I’m interested in Haskell, Nix, Rust but also embedded systems, radio comm ops and the occasional math paper.

In my free time, I contribute to open source projects, promote blockchain-based solutions to real-world problems or study RF signals around me.

Salvadorian. I also *really* like trains :)

Electronics development and production, Python, NixOS

Rust developer.

CTF player (web, rev) with kalmarunionen
NixOS enthusiast.
EN/日本/PL

Writing Android keyboards (https://codeberg.org/natkr/flickboard) for fun, Kubernetes operators for money. Sometimes helps maintain https://kube.rs. Enjoys (the idea of) Nix.

Swedish, but bad at it.

Queer. Fascists can go pound sand.

#LogicielLibre - #Nixos - #Grapheneos - #DeltaChat - #Vélotaf - #OSM - #openstreetmap - #MonnaieLibre - #j2s - #BoardGameArena - #SaintNazaire (44)

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

hopelessly idealistic - realistically pessimistic

values science & facts over feelgood-ism

Hobbybäcker und Läufer.
Wahlduisburger mit einer Vorliebe für gutes Essen. Kuchen geht immer 😀
Beruflich mache ich irgendwas mit IT - im ÖD, also nix für Weicheier und ein Zeichen von Leidensfähigkeit. 
Professioneller Facepalmer - manchmal braucht der Mensch mehr Finger.
 #laufen #brotbacken #sauerteig #duisburg

🇪🇺 European

Cloud computing, web development, multimedia, languages and pen and paper. Sometimes computer graphics. Mainly 🦀 Rust, Go and TypeScript.

❄️ Nixpkgs committer
🔬 MSc Computer Science (2019-2022 @uniheidelberg).
👨‍💻 Co-founder of @alugha.
🐘 #MastoAdmin at @admin.

Toots in German and English.

#rustlang #programming #linux #macos #tech #cats #nixos #rust #golang #typescript #devops #sysadmin #kubernetes searchable