civodul

@civodul@toot.aquilenet.fr

GNU, Guix, Guile, reproducible research, etc.

abcdw

@abcdw@fosstodon.org

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

Improve tooling for Guile and GNU Guix.

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

rml

@rml@functional.cafe

hacker.

daviwil

@daviwil@fosstodon.org

Scheme hacker, writer, game developer, and Emacs inhabitor living in Athens, Greece.

I make videos about GNU Emacs, GNU Guix, Guile Scheme, and related topics on the System Crafters channel on YouTube.

✅ emacs mention in the profile

#gnu #emacs #guix #lisp #scheme #gamedev

Z572

@Z572@mastodon.social

guix,guile,emacs 用户

brokenix

@brokenix@emacs.ch

data Free f a = Pure a | Free (f (Free f a))
⊢ V : C ✓
classical logic corresponds to the mechanism of first-class continuation under the Curry-Howard isomorphism
all partial functions are computable
emacsclient --eval '(my-refresh-foo-bar)'

Mehrad

@Mehrad@fosstodon.org

Bioinformatician🧬 during the day, Data Scientist📈 in the afternoon, and Linux🐧 hobbyist at night. Federation and E2EE advocate. Interested in Data Analysis, Machine Learning, and FOSS/FLOSS.

Languages:
🗣
|_ 🇮🇷: Native
|_ [🇺🇸🇬🇧]: Almost native
|_ 🇫🇮: In Progress 😅

🤖
|_ :rstats: : Primary
|_ :python: : Know my way around
|_ 🐪: Oldie but Goodie (esp. regex)
|_ :rust: : n00b

Some of my interests in machine-readable format:
#Rstats #Bioinformatics #MachineLearning #OpenScience

benoitj

@benoitj@fosstodon.org

father, coder, learner

#nobot

janneke

@janneke@todon.nl

towards a full source free software #bootstrap

#veganⓋ🌱
#GNU Mes, Guile, Guix, the Hurd

physicist|#barefooter|#vegan|#Avatar® Master

cofounder: https://gnu.org/s/mes, https://lilypond.org, https://doe040.nl

#nvc|#sociocracy|#poly

http://joyofsource.com

cel7t

@cel7t@emacs.ch

Hello there!

I'm a math student interested in algebra, operating systems and compilers.

I'm currently working on bringing Package Parameterization to GNU Guix.

I also play guitar and write lengthy posts about music sometimes.

Tags recommended by my local LLM:
#math #scheme #lisp #clojure #LLM #gnu #guix #guitar #music

w96k

@w96k@fosstodon.org

Developer. I like functional programming, :lisp: lisp and :copyleft: free software movement. I extensively use :guix: Guix as OS and :emacs: Emacs in pair with :orgmode: orgmode. My personal computing is based mostly on libre software.

I do web backends at work and use proprietary software there on my :debian: / :gentoo: / :guix: systems. If you have libre or open software related work, you can pm me.

I have 2nd account for non-IT content:
https://mk.phreedom.club/@w96k

#nobot

csepp

@csepp@merveilles.town

Mostly doing #guix #programming and #lowpoly #3d #art . Interested in learning stuff. Many stuffs.
Also likes: running, dogs, running with dogs, and headpats.

If you're wondering why I faved but didn't boost your art, add an image description.

Background text in avatar is from Peace and Love by Rebecca Sugar: https://www.youtube.com/watch?v=aXi7-UrvTAw

Name: means "droplet" in Hungarian, pronounced "chepp"

jbzfn

@jbzfn@mastodon.social

deadblackclover

@deadblackclover@functional.cafe

FP Hacker | Programming languages nerd | Decentralized enthusiast

ArneBab

@ArneBab@rollenspiel.social

#TTRPG, #Filk and #FreeSoftware. Physicist by training, PhD in climate science, software developer by trade. I write German and English, as #freeculture by idealism.

Maintains https://floss.social/@Freenet

Profile picture: earthen dragon

Ich schreibe Rollenspiele auf http://www.1w6.org und Software u.a. auf http://www.draketo.de

Hier bin ich auf Infrastruktur, die von Rollenspiele Spielenden für Rollenspiele Spielende gepflegt wird, mit der ich auch in Kontakt zu anderen bleiben kann. Danke!

avp

@avp@fosstodon.org

Artyom V. Poptsov, a free software developer, piano-player, poetry-compiler, science-lover.

science ∩ art = wonder

My CV:

If you like my work you can support me by sending some Bitcoins:
bc1qp7vwxnp4z05fgedfsrqeqvt89fjwnnghng0vp5

nmeum

@nmeum@hachyderm.io

Computer scientist pursuing a PhD degree with a focus on automated testing of software for embedded systems using symbolic execution. In my spare time, I am also a regular contributor to Alpine Linux. Additional interests include functional programming (mostly Scheme and Haskell), software security, operating systems (Alpine Linux, OpenBSD, Guix, RIOT), and computer architecture (mainly RISC-V).

crmsnbleyd

@crmsnbleyd@emacs.ch

Doing computer stuff, mostly.

Follow requests welcome.

Profile pic: pixel art of a smiling Pikachu on trans flag background with enby hearts by my partner https://lgbtqia.space/@zozo

Header: GIF of a green alien with five eyes and a grin (the lisp alien) holding a flag with "Drew" written on it. The flag is waving and the backgroung is non-binary flag colours.
Source: my partner! https://dotpict.net/users/3247908

passthejoe

@passthejoe@ruby.social

Journalist, itinerant programmer, picker, grinner. #Debian and #Fedora #Silverblue on the desktop, #AlmaLinux, #Fedora, #OpenBSD and #FreeBSD on the server. Husband, father, amateur gardener, cat herder, large appliance tinkerer.

Posts expire after one year.

graywolf

@graywolf@emacs.ch

SRE at day, learning GNU Guile and Guix at night. New to Emacs, love it so far.

abbienormal

@abbienormal@tech.lgbt

this is an experiment fi mine with tech.lgbt

cis, gay, somewhat damaged

Introvert, demisexual, demiromantic

he/him/his

lxsameer

@lxsameer@social.lxsameer.com

A nobody. Just a scientist in love with Physics, Mathematics and CS. A #gnu/#linux and free software fan.

zacchiro

@zacchiro@mastodon.xyz

Full professor of computer science at Télécom Paris, Polytechnic Institute of Paris. Co-founder & CTO Software Heritage. Previously: Debian leader, Open Source Initiative board.

LGUG2Z

@LGUG2Z@hachyderm.io

Rust 🦀 NixOS ❄️ YouTube 📺 Palestine 🇵🇸

https://linktree.lgug2z.com

podiki

@podiki@mastodon.online

Write, teach, photograph, code. Not necessarily in that order. Free and open source software for life.

fredg

@fredg@pouet.chapril.org

Hacker, auteur, procrastineur ...

#bsd #linux #écriture #AutoEdition #SFFF #lecture #rock #metal #FreeCulture #FridayRockMetal #velotaf

Playlists FridayRockMetal : https://galusik.fr/fridayrockmetal/index.txt

anemofilia

@anemofilia@mathstodon.xyz

Graduate student in Mathematics, Vegan, Free Software Activist and GNU Guix user. I'm Brazilian btw.

runswithd6s

@runswithd6s@mastodon.social

Fullstack #Clojure and #ClojureScript engineer who loves #sailing! #Emacs, #FairVote, #RightToRepair, #HRC 🌈, #NOH8, 💙💜♥️

#Esperanto: https://tvitero.com/@sesflankoj

michelin

@michelin@hachyderm.io

#Meta production engineer working on #Linux userspace, longtime #Fedora contributor, #Debian maintainer.

#Midwest #USA transplant, mostly harmless.

avatar: bespectacled man wearing a blue mask and a blue hat

kolev

@kolev@babka.social

#Jewish #gay #hamradio #Guix #GNU #Linux #FreeSoftware #yiddish #pennsylvaniadutch

ronaldo

@ronaldo@mathstodon.xyz

Physicist and GNU/Linux enthusiast / Paraense de Igarapé-Miri, físico e entusiasta GNU/Linux / Il segreto della vita è questa non è un'esercitazione.

• Working with #cosmology, #gravitation, modified #gravity, compact #stars, nuclear #physics, machine #learning, data #science

• #OpenScience, #GNU, #FOSS, #Decentralization, #DistributedSystems, #GNOME, #Emacs, #Linux advocate

• Toots in EN, PT, IT, ES

• CC BY-NC-SA

deedend

@deedend@fosstodon.org

Back to Linux full time in my personal T480 (after 15 years), basic Python knowledge, learning C and currently playing with Arch Linux, Debian Sid, wanting to try Void and Guix. Time poor. Firefox user, Emacs newbie, Hyprland fan

superkamiguru

@superkamiguru@fosstodon.org

Professional Tinkerer

Developer of MSG (MacOS Subsystem for Guix)

csantosb

@csantosb@emacs.ch

Doing public research in France.

Using Emacs. What else ?

#emacs #opensource #unix #linux #guix #orgmode

adanskana

@adanskana@mastodon.social

Guix User and Computer Abuser

fasija

@fasija@iceshrimp.spathoche.ovh

Je suis l'admin de cette instance individuelle Iceshrimp qui tourne sous Yunohost.

Soy la admin de esta instancia individual Iceshrimp que funciona bajo Yunohost

I'm admin of this single-user Iceshrimp instance which runs through Yunohost

Le reste de ma bio est en post épinglé, mais il faut un follow request

mir

@mir@talk.marq42.xyz

21, mtf girlthing (she/they), #Emacs cultist, lazy pirate, part time weeb, probably other things. #神を殺したい (I want to kill God). had some more labels here but why bother tbh...

you just won The Game! congratulations, you're free!

partners with https://talk.marq42.xyz/@whinyaan for some reason

pfp is made from https://picrew.me/share?cd=P42zPcak8Q

follows open, but expect to be interrogated and possibly kicked if vibe is off. no parody/impersonation accounts please!

btw mir is pronounced "meer"

reviews:
"[...] I really enjoy talking to Mir [...]" -@puppygirlhornypost
"and also yeah, mir is awesome, thank you mir" -@NotThatDeep

aeva

@aeva@mastodon.gamedev.place

I'm a just a small town AAA graphics programmer in Chicago. I worked on Gears 5 and Gears Tactics. My work is secret, but my personal projects are not.

I like to post about my personal research, various side projects, and I like to think out loud a lot. Expect weird humor, esoteric ramblings, and occasionally also art I made out of math. I like implicit surface modeling the normal amount. Amateur spoonie. 🏳️‍⚧️

Curses are just blessings with caveats.

louis

@louis@emacs.ch

Software developer #Go #CommonLisp #JS #SQL. #LispWorks user. Soft spots for #Emacs #SmallWeb. Recently becoming #OpenBSD enthusiast. #LinuxMint as a daily driver. Recovering Apple addict.

Author of the Tuner app for Linux.

Other hobbies: #Running #FireFighter #StarTrek

fsf

@fsf@hostux.social

Fighting for essential rights and freedoms for computer users since 1985. https://fsf.org

jeko

@jeko@framapiaf.org

Crafting happiness with Free Software & Hardware
I love you all.
How can I help you ?

harish

@harish@hachyderm.io

I’m an unreliable narrator of my own life.

mondstern

@mondstern@mastodon.green

#FOSS #nobot #fdroid #exhibition #neuhier #flathub_apps

#nobot #nodope

Ehrenmitglied bei Codeberg e.V.

worldsendless

@worldsendless@qoto.org

Full Stack Clojure web app engineer

njoseph

@njoseph@social.masto.host

A tired enterprise software developer on a sabbatical. Developing some small tech solutions to recover and rediscover the joy of programming.

Might consider doing paid remote work for free software or cooperatives.

Admin of https://social.masto.host

#Privacy #FreeSoftware #FreedomBox #SelfHosting #SmallTech #nobot

cnx

@cnx@larkspur.one

Vietnamese grad student & free software enthusiast

aerique

@aerique@genart.social

Lithp or die!

vascorsd

@vascorsd@mastodon.social

• anime & manga • strong copyleft • privacy
• linux • functional programming • tech

No Freedom exists without Privacy.

Currently #scala software developer.
Half-shit posting around. Check at your own risk.

ahelwer

@ahelwer@fosstodon.org

Freelance software engineer focused on formal methods & distributed systems, with an intensive side-interest in quantum computing. TLA⁺ enthusiast!

Uses: :pine64: :steamdeck: :arch: :sway: :rust: :neovim: :firefox:

Born in Canada, living in Atlanta, GA, USA. Main hobbies include submission grappling, birdwatching, and mushroom foraging. Living kidney donor. Vegetarian. Hoping for a 2000 watt society. he/him

soupglasses

@soupglasses@hachyderm.io

Ops @ Hachyderm | NixOS maintainer | Circuit wrangler

she/her #guix #ldap #makers #electronics

People

Local

Federated