SW Engineer, Amateur mathematician (contributed to metamath.org, oeis.org, ...), Legal Tourist (went to Honolulu in 2010 to watch the end of Sancho v. DOE).
Math teacher & parent by day, creative coder by night.
Foundations, Logic, Semantics, Types, Computer Science
Casual Lecturer at UNSW
Researcher at Data61
Opinions are my own, not my employers'.
한국어 좀 할 수 있다
he/him
I'm a programmer who was trained in physics long ago. If on Bluesky, follow @ap.brid.gy so I can see you.
Mathematician, koala fan, mathstodon.xyz admin,
⅓ of https://aperiodical.com. He/him
Applied Compositional Thinking
Hi, I'm Grégoire, a person passionate about a bunch of things, including maths, software, music, voice, human and computer languages, and virtual places.
Feel free to get in touch!
Private account: @glocq
Computer Scientist. Assistant professor interested in counting and reasoning under uncertainty. Feminist. Trekkie. Traveller. LaTeX enthusiast.
"Clearly not very smart" - a former colleague
"Exceptional in every way. 10/10" - one of my former students
Une citation mathématique chaque jour & quelques actualités mathématiques.
A mathematical quote every day & some mathematical news.
#mathématiques #mathematics #maths #math
Pension actuary & math buff. He/him. Passionate about polytopes, integer sequences, statistics & science. Also jogging!
More Curious Amateur than Expert
#Linux #NixOS
#SoftwareCraft
#FunctionalProgramming
Denotational Design & Semantics
Graph Theory & Transformation & Formal Grammars
HoTT/UF/CategoryTheory Diagrams & Props Networks
Machine Learning/Statistics/Probability
Natural Language Processing
Computational Linguistics
Information Theory
Dynamical Systems Pde/Chaos
DSP Audio Math+Music/MamuX
Lots of things to learn. Endlessly learning.
Trolls say they are not trolls.
I am a night elf.
computer programmer. math enthusiast. Not good at chess, but desperately want a GWAR-themed fantasy chess set.
Formerly mds2@arktos.social.
How does the brain work? Someday, we'll figure it out.
Group Leader, MRC LMB, and Professor, University of Cambridge, UK.
#neuroscience #Drosophila #ScientificPublishing #academia #TrakEM2 #FijiSc #CATMAID #connectomics #connectome #vEM #iNaturalist #entomology
Born at 335 ppm.
Brains, signal processing, software and entomology: there will be bugs.
Union organizer. Rogue #philosopher. Sometimes a dev. Pretty good with data. Math, physics, evolution, ice cream & justice. Also sci fi, poetry and tennis.
On politics. Most of my focus every day is political, more or less; and am glad to connect with folks offline. I do not do a lot of political posting on social media principally for my mental health. As a Jew, I do post in opposition to Israel's ongoing genocide against Palestinians.
Scotland-based Kiwi. Software crafter. Creative polymath and omnivore. He/him. Boost is not endorsement. Employee of Moody's, but any opinions are my own and not those of my employer.
Programmer by day, math and theoretical physics hobbyist by night. Particular interests in group theory, geometric algebra, the connections between discrete and continuous math, and the connections between physics and group theory / information theory / CS.
You might know me by one of my previous handles, often of the form [c]hronos or [c]hronos-[t]achyon, but I'm trying to escape the corporate webcrawl panopticon.
Math-obsessed perpetual asker of why. Random task penguin. Life thoughts are often in haiku. (She/her).
Profile picture is a self portrait. Portrait with crows flying from head, with beach and self flying a Klein bottle kite. Beach has piano keys and ear has a möbius ring. Sky has roadway lines coming to a vanishing point with piano keys. Blues and grays.
