Aaron Bieber qbit@mammothcirc.us

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

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

Milk. Cereal. Combine!

Trying not to be an asshole.
Mood is usually "run to the hills ! run for your lives !"

OpenBSD slacker (paco@).

(en;es;ca) #nobot

toots expire after 60 days.

"If Time is built within Our Self's, then Time is Our Self's, as result of Time it Self" tfr
-
I am a :linux: lover, :debian: lover, :vim: lover, :i3wm: lover, and :terminal: lover. I am a #creative guy, not so much in the #tech side, but the pure organic one. #Psychology is one of many subjects I like to speak, sometimes #politcs, but I am not addicted to it. I love #animals, of all kind. Be they #Monkeys, #Dogs, #Cats, #Bunny, #Oxs, #Tigers, #Lions, #Elephants, #Rats, #Flowers and #Birds. I even like #imaginary living beings, like #Dragons and Fairly #dreams. Sometimes I try to believe so hard, that I can lead you to think that #fantasy is in fact within #reality. I can read and write, #English, #Spanish and #Portuguese. #Bash, #HTML, #CSS and #JavaScript :D, while I love to write some #Poetry, compose #Music and give some tips for many other things. And by the way, "we Came in Peace"
Fantasy (OM) + Logic (Spirit) = Application (Expression) which means: 1+1=1 OR 3 #Tao

Follow me for Rust, mechanical keyboards, Linux, BSD, electronics, 3D printing, and other computer stuff.

🌏 Sunshine Coast, Australia

he/him 🦀

I love sane software. So it's not surprising that I'm using #OpenBSD. I program #C, #Perl and #ABAP for food.