Toots for caten@mathstodon.xyz account

Written by Charlotte Aten on 2025-01-19 at 05:24

Is anyone working on #P2P server software compatible with #ActivityPub? It seems natural to be able to donate network resources instead of cash, and would make services even more difficult to censor.

[#]Mastodon #Fediverse #BitTorrent #IPFS #WebTorrent

=> More informations about this toot | View the thread

Written by Charlotte Aten on 2025-01-13 at 18:11

A while back I made a post about the University of Buffalo page on the Mathematicians of the African Diaspora:

https://www.math.buffalo.edu/mad/index.html

It turns out there's a new page, with its own domain, at https://www.mathad.com/home

I have to admit, I prefer the classic style and broader scope of the old page, but the new one does have the advantage of being maintained.

[#]math #STEM #AfricanDiaspora #BlackInSTEM #Africa #history

=> More informations about this toot | View the thread

Written by Charlotte Aten on 2024-12-29 at 05:39

I've been reading "The Feminine Mystique" by Betty Friedan recently. One of the things that has stood out to me is the early American lamentation that women's intellectual potential is wasted in their subjugation. If 19th century aristocrats could see that about women, why can't their modern heirs see it about the working class?

They are so desperate to build machines that possess human intellect so that they might have more pliable slaves, yet they would squander the massive, efficient computing power of a billion unique human spirits in order to avoid sharing a fraction of a percent of their hoarded wealth.

What's more, these people are perverting large parts of mathematics and computer science in pursuit of their agenda, poisoning a new generation against the serious study of human reasoning and its relation to logic.

A ruling class that casually dismisses its people as "intellectually disabled" in order insult and suppress them is asking to be removed from power.

[#]feminism #math #AI #class #history #MachineLearning #abelism #ComputerScience

=> More informations about this toot | View the thread

Written by Charlotte Aten on 2024-12-13 at 22:34

I updated my bio. I am still interested in machine learning, and I am continuing my own projects in this area, but this terminology has become synonymous with an ideology and culture to which I am diametrically opposed.

There is great value in tools like optical character recognition, speech recognition, and machine translation (when ethically applied). However, the current regime selling machine learning tools as products is completely disconnected from what I would view as a healthy and productive contribution to society.

I would still like to contribute to practical applications of mathematics in the world, and I hope that academia will continue to support my efforts to contribute in a way that supports everyone, not just a small cadre of plutocrats.

[#]MachineLearning #AI #math #ethics #research

=> More informations about this toot | View the thread

Written by Charlotte Aten on 2024-12-06 at 21:47

I'm on the mailing list for Spectra (https://lgbtmath.org/), a queer math organization, as well as their Outlist (https://lgbtmath.org/People.html). I'm not any more involved than that at the moment, but I'm now questioning my plans to help out more in the future.

This year, an election was held, the results of which are now nullified since it was apparently held a year ahead of schedule according to the bylaws. The situation appears acrimonious and I cannot yet determine whether leadership has acted in accordance with my own ethics.

The controversy appears to meld several extreme current political issues, and I am disappointed that it is not obvious where everyone stands. Sadly, connection to ethically dubious entities is part of being a mathematician in the US, and I hope that the first tax-exempt queer math organization is not one of them.

I might know more if I was on the organization's Discord, but given the mailing list discussion, I'm not sure if joining that platform with clarify things.

[#]queer #math #lgbt #academia

=> More informations about this toot | View the thread

Written by Charlotte Aten on 2024-12-05 at 18:43

The video for this talk is now available:

https://www.youtube.com/watch?v=i4X_aCgbwcw

=> More informations about this toot | View the thread

Written by Charlotte Aten on 2024-12-04 at 17:26

I've been on a longer hiatus from livestreaming than I originally intended, but you can see me give a seminar talk this evening at the The New York City Category Theory Seminar:

https://www.sci.brooklyn.cuny.edu/~noson/Seminar/index.html

I'll be talking about the invariant theory part of my thesis (https://arxiv.org/abs/2402.18063) at 7PM, New York time. I'll discuss how I found that every (positive) property of finite structures can be checked by counting small* substructures.

[#]CategoryTheory #combinatorics #logic #Bourbaki #algebra #AbstractAlgebra

=> More informations about this toot | View the thread

Written by Charlotte Aten on 2024-11-23 at 22:21

For example, if you want to search arxiv.org, you can try typing in "asdf" into the search box, which yields

https://arxiv.org/search/?query=asdf&searchtype=all&source=header

Probably "source" is pointless tracking, but it turns out "searchtype" is required, so my final entry into Firefox is

https://arxiv.org/search/?query=%s&searchtype=all

I hope this helps more people switch to better options for search.

(2/2)

[#]search #SearchEngine #Firefox #arXiv

=> More informations about this toot | View the thread

Written by Charlotte Aten on 2024-11-23 at 22:16

Did you know that desktop Firefox hides the ability to set custom search engines from users? I finally got fed up with DuckDuckGo and decided to make the change. In order to do this, you need to:

  1. Go to about:config in your address bar.

  1. Search for browser.urlbar.update2.engineAliasRefresh

  1. Click the + symbol to the right to change this setting to "true".

  1. Under "Search" in the settings menu you will now see that you have a new "Add" button.

  1. Click that, and you will be able to include a custom url for searches.

To get this url, the easiest thing to do is make a search in the desired engine, copy the resulting url (maybe removing some garbage, if you know how) and then changing the search query to %s

(1/2)

[#]Firefox #search #SearchEngine #Mozilla #DuckDuckGo

=> More informations about this toot | View the thread

Written by Charlotte Aten on 2024-11-07 at 21:34

Microsoft's Outlook on mobile won't allow me to attach this 618kb jpg to an email, so I'm posting it on Mastodon in order to have a copy of it on my laptop. This is related to the thing about Tarski's High School Algebra Problem I posted a while ago. The long identity is called the Wilkie Identity.

[#]Microsoft #Outlook #math #algebra #AbstractAlgebra #UniversalAlgebra #logic

=> View attached media

=> More informations about this toot | View the thread

Written by Charlotte Aten on 2024-10-28 at 21:36

I've been a fan of Sage (https://www.sagemath.org/) and CoCalc (https://cocalc.com/) for some time, and I would now like to complain.

Sage is an open source computer algebra system which is written in Python, but for technical reasons comes with its own version of the Python interpreter. The first IDE I used regularly was Eclipse, and I used to know the arcane steps needed to make it use the Sage Python binary on various systems.

I switched to PyCharm some years ago, but I have only been using it to write pure Python. Now I want to use Sage, so I tried doing the same gymnastics I used to do with Eclipse and was annoyed.

I decided that being forced to work online wasn't a big deal, so I'd use CoCalc instead. Even though CoCalc was made with Sage in mind, there does not seem to be direct support for running Python modules with Sage, only the notebook style is promoted. It seems absurd to me that after all these years it is still so much work to simply use Sage in a Python project with an IDE.

In addition to this, Sage's support for the kinds of calculations I want to do at the moment is quite immature, with TODO in many, many places.

I want to use Sage since it combines many useful (and fast) libraries that I need, but I think I need to just accept that I should start building my own solution that works for my purposes.

I know that I could contribute to Sage, but I feel like the weight of changing what I need to change is so much, and that I would get my calculation done faster by just doing it myself.

[#]SageMath #Python #CoCalc #EclipseIDE #PyCharm #math #OpenSource #FOSS

=> More informations about this toot | View the thread

Written by Charlotte Aten on 2024-10-22 at 00:09

My fifteenth Math Research Livestream is now available on YouTube:

https://www.youtube.com/watch?v=qWGnJy7SqXU

I shared an old computation I did about polyhedral products and also checked out a survey paper on the subject.

I'm going to take the rest of October to focus on some other things, but I plan to be back to streaming in November!

[#]math #topology #combinatorics #CategoryTheory

=> More informations about this toot | View the thread

Written by Charlotte Aten on 2024-10-18 at 17:15

I've found a citation of my own work on Wikipedia for the first time!

https://en.wikipedia.org/wiki/Commutative_magma

Naturally, I read this page before I wrote my rock-paper-scissors paper. It's neat to see that my own work is now the citation for something that was unsourced "original research" on Wikipedia.

[#]math #research #Wikipedia #algebra #games #RockPaperScissors #AbstractAlgebra #UniversalAlgebra #combinatorics #GameTheory

=> More informations about this toot | View the thread

Written by Charlotte Aten on 2024-10-14 at 23:46

I'll be streaming again in 15 minutes at twitch.tv/charlotteaten. I'll be talking about an old computation I did about polyhedral products and I'll also check out a survey paper on the subject (https://arxiv.org/pdf/1903.04114).

[#]math #topology #combinatorics #CategoryTheory

=> More informations about this toot | View the thread

Written by Charlotte Aten on 2024-10-07 at 23:55

My fourteenth Math Research Livestream is now available on YouTube:

https://www.youtube.com/watch?v=pVoFfZAyXzk

I talked about some topics related to my recent preprint (https://arxiv.org/abs/2409.12923) about topological lattices.

I decided to skip streaming today because I wanted to talk about polyhedral products, but I haven't found the old calculation that I wanted to talk about yet. Shocking I couldn't find something I did like six years ago in the ten minutes before I would start streaming. I'll look for it now, so hopefully I'll be ready next week.

[#]math #topology #algebra #AbstractAlgebra #UniversalAlgebra #combinatorics #LatticeTheory

=> More informations about this toot | View the thread

Written by Charlotte Aten on 2024-09-30 at 23:41

I'll be streaming again in 20 minutes at twitch.tv/charlotteaten. I'll be talking about my recent preprint (https://arxiv.org/abs/2409.12923) about topological lattices!

[#]math #topology #algebra #AbstractAlgebra #UniversalAlgebra #combinatorics #LatticeTheory

=> More informations about this toot | View the thread

Written by Charlotte Aten on 2024-09-23 at 21:33

Due to some unexpected obligations I won't be streaming this week, but I plan to be back next week to talk about the paper I recently posted (https://arxiv.org/abs/2409.12923). Some time in the coming weeks I'd also like to do a stream about polyhedral products, since this was a very welcome viewer suggestion for which I already have some material!

=> More informations about this toot | View the thread

Written by Charlotte Aten on 2024-09-20 at 18:08

I posted a new paper on the arXiv!

https://arxiv.org/abs/2409.12923

In "Higher-dimensional book-spaces" I show that for each (n) there exists an (n)-dimensional compact simplicial complex which is a topological modular lattice but cannot be endowed with the structure of topological distributive lattice. This extends a result of Walter Taylor, who did the (2)-dimensional case.

I think this kind of result is interesting because we can see that whether spaces continuously model certain equations is a true topological invariant. All of the spaces that I discuss here are contractible, but only some can have a distributive lattice structure.

A similar phenomenon happens with H-spaces. The (7)-sphere is an H-space, and it is even a topological Moufang loop, but it cannot be made into a topological group, even though our homotopical tools tell us that it "looks like a topological group".

This is (a cleaned up version of) something I did during my second year of graduate school. It only took me about six years to post it.

[#]math #topology #algebra #AbstractAlgebra #UniversalAlgebra #combinatorics #LatticeTheory

=> More informations about this toot | View the thread

Written by Charlotte Aten on 2024-09-17 at 16:59

I've come across the University at Buffalo page on the Mathematicians of the African Diaspora again:

https://www.math.buffalo.edu/mad/index.html

It hasn't been updated in some time from the looks of it, but there is a ton of useful information here, whether you're a mathematician, a historian, or just interested in African achievements in STEM. Definitely check it out if you've never seen it!

[#]math #STEM #AfricanDiaspora #BlackInSTEM #Africa #history

=> More informations about this toot | View the thread

Written by Charlotte Aten on 2024-09-16 at 22:49

My thirteenth Math Research Livestream is now available on YouTube:

https://youtu.be/j7mHxTUkRn4

In this one, I mention that 13 is a lucky number in math, and then keep talking about topological lattices as a continuation of my stream from the previous week.

I'm taking this week off from streaming, but I expect to be back next week at the same time!

[#]math #livestream #Twitch #topology #research #UniversalAlgebra #AbstractAlgebra #algebra

=> More informations about this toot | View the thread

=> This profile with reblog | Go to caten@mathstodon.xyz account

Proxy Information
Original URL
gemini://mastogem.picasoft.net/profile/110591310791547110
Status Code
Success (20)
Meta
text/gemini
Capsule Response Time
458.196127 milliseconds
Gemini-to-HTML Time
6.379747 milliseconds

This content has been proxied by September (ba2dc).