🇩🇪 in 🇹🇼

Writing software on disk and in flash. (系統軟體工程師) at Framework Computer

OS: @NixOS_org

GNU Guix is a package manager and GNU/Linux distribution with advanced features like per-user package installations and reproducible development environments. It uses the functional approach pioneered by #nix and adds a system DSL using Guile Scheme.

GNU Guix is a free software project developed by volunteers, under the umbrella of the GNU Project. GNU Guix is committed to respecting and enhancing the freedom of its users #gnu #foss #freesoftware #linux.

Posts by @futurile and Guix volunteers

autism extraordinaire 🇵🇱

fond of nix, zig, niri, neovim, clap (audio plugin api)

yap to me about free software and pretentious music

🙋‍♂️ They/Them

JavaScript fanboy and expert in bug creation. I also do Nix things.

Be excellent to each other.

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

🇪🇺 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

Hack on operating systems and programming languages. He/Him.

Improve tooling for Guile and Guix.

Author of Guix Home, RDE, Arei/Ares Guile IDE.

74830A276C328EC2 at keyserver.ubuntu.com and keys.openpgp.org.

#plt #os #fp #lisp #scheme #clojure #guile #guix #nix #rde #emacs

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

hopelessly idealistic - realistically pessimistic

values science & facts over feelgood-ism

your average online trans[bi]an :)
a little weird and very dumb, sorry about that!

eternal dilettante, never take what I say as an informed opinion no matter how confident I sound :3

obsessed with yuri and nix, will not stop talking about minidiscs, evangelion and hyper light drifter if prompted; you have been warned.

Sometimes sad on main (but cw'd), sorry.

pfp from "The Girlfriend Project" by Sahyu, Protokrawl et al.
header from here (they deleted their account :/): https://archive.is/kgRgm

I trust code more than politics.

Always busy with computer, tech stuff and mostly #linux #arch #nixos and #python #freebsd
Interested in energy reduction, measurement. A little politics but mostly fun and itchy remarks which trigger thinking. So read and keep smiling 🙂
Posts are deleted periodically, toots are time bound, just as humans.

Locked account but feel free to ask to follow, I will follow back
#nobots please

https://justmytoots.com/@justdude@mastodon.nl

🇫🇷🇬🇧
Linux, Python and Homelab enthusiast

Mal sehen, ob wir es schaffen. All diesen Hass. Aus den Köpfen wieder rauszuboxen.
#fckafd; #prüf; #merzleckeier; #nichtmeinkanzler;
AfD schlimm, schlimmer. Muss weg. #AfDVerbotjetzt
CDU kann nix. Schafft nix. #BuhCDU.
SPD schlapp, schafft sich ab #OchneeSPD
Wer hat uns verraten? Sozialdemokraten!

A Japanese developer and incoming UCLA Data Theory student. I'm working on a new terminal LLM agent harness in Zig with ZERO AI slop https://steed.sh Interested in Open Source, Nix, and Zig. I share some thoughts and my writing.

Wohne in #Hameln. Interessiere mich für die Lokalereignisse meiner Stadt und den #Journalismus dazu. War fast drei Jahrzehnte lokal aktiv beim Bund für Umwelt und Naturschutz Deutschland. Habe als #Polizei Gewerkschafter (GdP) meine Ämter weitergegeben. Engagiere mich aber in den Themenfeldern Gefahren für unsere #Demokratie und die Geschichte der Weimarer Republik (Polizei und das historische Reichsbanner Schwarz-Rot-Gold) Anmerkung: Hat nix mit „Reichsbürgern“ zu tun. Ist quasi das Gegenteil.

internet dinosaur. dev.

compares everything to IRC.

#nixos #emacs #cpp

Programming languages aficionado, occasional runner, quantified-self enthusiast, and fervent napper. Works as senior software engineer at Google on http://github.com/google/googlesql

If you want to follow me, please make sure your profile has some info that helps me learn about you.

#programminglanguages #software #running #Haskell #NixOS #photography #quantifiedself #indieweb #rss #blogging

#haskell #nix

- Clinical Data Scientist / Forward Deployed Engineer @ Newton's Tree
- PhD Graduate in Haemodynamics + AI
- Previously worked within MRI Physics @ NHS
- Member of the Church of Emacs
- Linux + Gentoo + Nix
- Works with Python, R & SQL
- Plays with Fortran, Common Lisp, Emacs Lisp & Rust

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

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

I am a mathematical physicist and work as a software developer at Heilmann Software.

I spend most of my time coding #Haskell and am a member of the #NixOS Haskell team and the #GHC Steering Committee. Apart from that I love choir singing, ballroom dancing and playing #TTRPGs.

Try out my projects:

https://code.maralorn.de/maralorn/nix-output-monitor
https://matrix.to/#/@nixpkgs-bot:maralorn.de