Flo flo@social.flal.net
Geek barbu, avide de bière et de data. programmation et parentalité fonctionnelle. il/lui
Bearded geek, longing for beer and data. functionnal programming and parentiong. He / him
avatar : by Delapouite under CC BY 3.0
Raito Bezarius @raito@nixos.paris
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/.
Tasting Craft Beer @tastingcraftbeer@mastodon.beer
Certified #CraftBeer enjoyer (Diplom Biersommelier). I give tours at a #brewery and occasionally blog about #beer.
Alter-ego (data science, population health, astrophysics, academia): @harcel
Buy me a pint at https://bmc.link/craftbeer !
Else Someone @nobody@mastodon.acm.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
Rob Talks About Beer🍺 @robfrominternet@mastodon.beer
Brewer, Tabletop gamer, Tech evangelist, Prud'homme certified Beer Enthusiast, Scottish Lord, American transplant, & Canadian citizen. I have a show on YouTube: https://www.youtube.com/@robtalksbeer
I live my life one quarter barrel at a time.
Joshua Byrd @phocks@bne.social
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 //
ding the little bell for realtime updates and add a profile pic if you want a followback 😎