Flo flo@social.flal.net

:unverified: :bisexual_flag: ♓️ I was working on TCP/IP before everyone thought it was cool. Might have stopped a few bad guys along the way. Former moderator at mastodon.technology. I host a weekly radio show, which you can find out more about at https://bomb.shelter.radio.am/. Joined Mastodon in April 2018. #FlynnLives #NETMBX #NASAExplorer66 https://science.nasa.gov/missions/cobe #gawk #Intellivision Male/Neutral pronouns are fine. https://justmytoots.com/@fuzzface@epsilon-ix.masto.host

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

Doctoral Researcher at Aalto University: dense image correspondences, visual [camera] localization, inverse graphics

I might post about: how I lack sun in Finland, how I enjoy NixOS, how I suffer from literally every other build and deployment system... occasionally I'll try to write about #mathematics & my work

Priorities:
0. Autonomy
1. Public discourse
2. Everything else is debatable, including: market and socialism, property, democracy, federation

DemoScene / OpenBSD / Perl / Linguistics fanatic. No-nonsense Unix philosophy || suckless advocate.

Old skool lulz appreciator and former Slacker.

GPG Fingerprint: DFBA 296C C6A3 C417 4C16 C07D 7697 F7DA CBC6 8923

GPG Key: https://nechtan.io/gpg.txt

Software developer.
Data journalist.
Code and stories for ABC News Story Lab.
Sometimes musician/actor.
Husband and father.
Animal lover.
(admin for https://bne.social with @ash)
// alt account @josh //
searchable === true
ding the little bell for realtime updates

Brewer, Tabletop gamer, Tech evangelist, Prud'homme certified Beer Enthusiast, Scottish Lord, American transplant, & Aspiring Canadian. I have a show on YouTube: https://www.youtube.com/@robtalksbeer
I live my life one quarter barrel at a time.

he/him. ¬NT. neurchi de traverse, baker of biscuits.
Senior Staff Headrest for @puna

profile pic by BeJUG

Documentarian, geek opensource, dataholic | Féministe | she/her
Intérêts : logiciel libre, DIY, éducation, impression 3D, ergonomie, documentation, vélotaf

CTO of GIP Plateforme de l'inclusion. Former co-founder & CTO of Pix. Developper of paastis.dev. Coder. Streamer. Speaker. Writer. Papa pupuce.

Mes valeurs(du moment) : ambition, enthousiasme, humilité, fraternité, exigence, gaieté

#code #webdevelopment #fullstack #management #agile #sotwarecraftsmanship #psg #bulldoganglais #playstation

Scottish Indy minded, brewer of beers, twanger of strings, sculptor of pusses, patter of dogs, bon viveur. Like a good girn.

fierce, loving, passionate, professional lifelong learner, easily excitable crafter, voracious reader, mom of lots of boys, desert dweller, lover of cats, lover of science (mostly astronomy, space, earth science, and climate/biology), Stoic pagan kitchen witch, player of ttrpg, liberal she/her