Aaron Bieber qbit@mammothcirc.us

surrealist; low_res artist; follower of the machine spirit

previously on #unix_surrealism:
#technomage

'the machine bleeds dithered monochrome'

Hacks on @gitea and @WoodpeckerCI

Uses @catppuccin btw

Unix - live free() or die()
Software Engineer @ Bloomberg LP
My opinions are my own, yada yada yada.
I'm not into anger olympics.

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

Husband. Cat Dad. Avid #OpenBSD User. Dauntless Tinkerer. Ham. School Of Hard NOCs '06 Alumnus.

@chirpbirb's testodon account.
do not adjust your television.
the glitch in the instance is part of the broadcast.

✔️ alternate accounts:
🐥 main: @chirpbirb
🤓 irl: @takouhai
🐧 linux: @taco
🔞 nsfw: @chirpbirb
🔎 ad/micro: @taco

// 26 | #latine | [🇪🇨,🇨🇴,🇻🇪] in 🇺🇸 | he/they | n🔞 minors

Occasional rants about IT with an OpenBSD slant at http://bsdly.blogspot.com

Cyberthug | OpenBSD | InfoSec | Coffee addict | Todays paranoia is tomorrows truth

🎶 "Traveling down my own road
Watching the signs as I go" 🎶

#noindex #nobot #nobots

Programming languages and compilers lover, Rust addict, developer, teacher. I like to think I'm not a geek. I use and write free software.