Aaron Bieber qbit@mammothcirc.us

Lucas de Sena, also known as Seninha (pronounced [sẽˈnĩ.ə]) or by his h4x0r name of phillbush, is a mid 20s South American and undergraduate Computer Scientist. He likes birds, hammocks, computers, northeastern Brazilian culture, and philology. He is not related to Ayrton Senna.

Student at ENS Ulm in computer science, mathematics, geopolitics and public policies : formal verification maximalist.

President & core contributor at https://mangaki.fr, an open source recommender system for anime & mangas.

Contributor to the NixOS project and Lean theorem prover.

Often available for nerdsnipping or contracting for fun subjects, check my interests on my website!

Profoundly unsatisfied on politics discourse, anti-fascist, fan of https://catala-lang.org/.

Write code ere' day. #rust #apljk

https://github.com/ashyisme/jr

Interests include: #codegolf, #openbsd, #plan9, #jlang, #apl, #shakti

💼 DevOps / SRE at $HOME

👾 #openbsd #debian #kubernetes #coffee #mechanicalkeyboard #leagueoflegends #sociotechnical systems

🤖 #nobot #noindex #noarchive
バーチャルルート

λ he/him
TTL 2592000
CC BY-NC-SA 4.0

Computer scientist pursuing a PhD degree and occasional contributor to a FOSS project near you. Interested in software security (especially regarding embedded devices), operating systems, and computer architecture.

Nein

Alt account for @julienxx

#plan9 #9front #smolinternet #emacs #openbsd #rust #haskell #retrocomputing #COYS #punk

[he/they]
Software development coach.
Itinerant programmer.
Legacy code wrestler.
agilein3minut.es podcaster.
Musician.
Bad poet (award-winning).

Comp.Sci Ph.D, reverser.

Spends way too much time on display server protocols, emulators and terminal innards.

Interests: visualisation for computing comprehension, dynamic methods, systemic debugging, offensive privacy.

Related URLs:
https://arcan-fe.com
https://divergent-desktop.org
https://www.github.com/letoram
https://www.systemicsoftwaredebugging.com