Professor of computational mathematics at University of Ljubljana, Slovenia.
World's #1 matchbox fan
"mathematician" | Topos Institute, Oxford
I want to live forever so I can post forever
Just a computer guy.
https://sergio.sh
Mathemactivist and Craftamatician, constantly trying to unleash the beauty of Maths for all to see! Also a tortoise lover. (she/her)
Mathematician
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.
Hi! I'm a CS student doing programming language development (type theory in particular), assisted theorem proving and computer art as hobbies :)
I spend a significant part my free time overthinking how computing could be better, in terms of reliability, composability and transparence to the user.
I'm still a beginner when it comes to type theory, so I'll probably be asking lots of questions that may be ill-constructed. Please be gentle!
Applied category theorist, working on merging category theory and functional programming.
https://zanzix.github.io/
Just a guy who is trying to learn a little every day.
#️⃣CatSalad – Math puns∕memes∕boosts go here
1 + 1 = 3 (for very larger values of 2)
Systems programmer, parent, volunteer Math Circle leader and general math enthusiast. Team puzzles and #geometry Honorary Lord Semichord
Located in Seattle, WA
blog.mathoffthegrid.com
Astrophysicist at the Royal Observatory of Belgium interested in the rotational fluid dynamics of planetary cores and stars.
I do MEG at the NIMH
Brains. Logic.
Things that were known when I was in High School, but not taught. Things that were not known then but are known very well now
Canadian-American physics and computer science student from Western Washington.
Working to make software understandable by all.
Interested in computer science, physics, and math.
Zig, Rust, and Scheme enjoyer
Quantum is an #OpenAccess peer-reviewed journal for #quantum science and related fields.
Quantum is #NonProfit and community-run: an effort by #researchers and for researchers to make #science more open and #publishing more transparent and efficient.
This is mostly a #bot account sharing new published papers and editorials. Occasionally humans may post here.
