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

#photography
#ErgoL (ex #bépo) #splitkeyboard #mechanicalkeyboard
#jeuxvidéo
#nvim #rustlang
#NixOS #Linux

« La vie, c’est comme une balançoire : il y a des hauts et des bas, mais il y aura toujours un enfoiré pour te foutre le cul par terre. »

Messages supprimés au bout de 2 mois pour délester l’instance

Interests:
#cats #linux #hardware #programming #opensource #games #gamedev #godot #manga #anime #trains #lego

Operating Systems:
#nixos at home and in production
#debian and #macos9 in powermac
#postmarketos in old devices

Programming languages:
Like = #python #rustlang #assembler #dartlang
Its complicated = #clang #cpp #cpplang #java #csharp
Dislike = php javascript bash lua

Human languages:
ENG, SPA, EUS

Gaeilge, NixOS, Bogearraí Saoire, Eite chlé, Esperanto, Rothaíocht, Rotharcharr (Velomobile)
sé/siad

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

• fluffy dragon netrunner making computers do cursed things • punches NixOS so hard that it runs on WSL

• Avatar by https://nitter.net/Sir_Lorart

(he/him) Environmental Scientist/Meteorologist @umphy. Built a low-cost CO₂ sensor network to monitor natural CO₂ emissions: https://doi.org/10.1127/metz/2022/1125 ☁️

#Linux #NixOS #FOSS #SailfishOS

#PinePhone #Arduino #RaspberryPi #ESP8266

#vim #git #gitAnnex #TeXLaTeX #OpenSCAD #SolveSpace

#Python
#hledger #plainTextAccounting

(tfr)

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

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).

Some lefti , NixOS , Linux , Chaos , Pragmatist

I write (and sometimes rant) here about my DevOps experience at work, the hackspace and at home.

Don't be afraid of colorful flags 🏳️‍🌈🏳️‍⚧️🚩🏴

"If the rules are the problem, the rules must change!" ~ don't know

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

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

I trust code more than politics.

Always busy with computer, tech stuff and mostly #linux 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

Often just trying to understand what is going on.

Slow PhD research on the role of data and models in open field farming.

Current interests: topological data analysis, remote sensing, self-hosting, degoogling, nixos

Julien aka Luj.

PhD Student in Software Supply Chain Security.

NixOS enthusiast and contributor. Emacs nerd. NixOS Steering Committee member.

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

Available for freelance projects.

He/Him

May occasionally toot in french.

Eigentlich seit Oktober 2022 hier.

Ehefrau, #Mutter und #Oma. Seit kurzem auch Rentnerin.
#humorvoll, empathisch, politisch #grün/links

Dies ist mein Erstzaccount. "Maren" ging mir flöten.
Bin aber noch die Selbe.

Ich duze im Internet. Wenn mich jemand siezen möchte, ist das natürlich ok. Ich bleibe beim du. 🫠

AfD Fans, Schwurbeltypen o.ä. haben bei mir nix zu suchen. Lohnt auch keine Diskussion. Habe ich zu viele hinter mir. Da kann man auch mit der Tapete reden, sorry.

Hi, ich bin Pascal, ein Schüler aus Ludwigshafen am Rhein.

Ich
- fotografiere gern
- nutze #NixOS
- programmiere in #Python, #RustLang , #Kotlin & #JS

https://socialfolio.me/Cameo007

https://keyoxide.org/aspe:keyoxide.org:UMQXUAGZD2FKDDS4ZROP3XHXIE

Das ist nur für #Keyoxide:
$argon2id$v=19$m=512,t=256,p=1$5yi1Ae3rShdIUkDtt6l2kA$r/Kwm0dOTQlnjY2jKuZGQcKA27r5CN5omVn0Zx5UKMg

Tootfinder darf hier suchen.

queer autistic tgirl

⚠️ those who only know it on the internet ⚠️: do not be flirty or lewd towards this one without explicit permission

unreasonably passionate about nix, RFC 3339 and many other things

more information it one can be found on its website at https://da157.id/this-one

internet dinosaur. dev.

compares everything to IRC.

#nixos #emacs #cpp

Average spooktoberfest enjoyer. Scala, Smithy, Nix.
Follow my journey to making music on #jkmakesmusic

❄️ NixOS 🤩 (Security, Infra, Python and Release-Manager 22.11/23.05)

Day: Network & Infrastructure.
Night: FOSS, Home Automation