Email or username:

Password:

Forgot your password?
Talia's posts Post Back to profile
Talia Ringer
11 comments
Talia Ringer

(1) mei you are a legend

(2) This is exactly the kind of thing I love about proof assistants for math, how much they can open up the world of mathematics to people who wouldn't normally get to participate
2 July at 23:26 | Open on mathstodon.xyz
Talia Ringer

@tao it's exactly what I've been talking about coming to life. Look at the excerpt above I love it

2 July at 23:28 | Open on mathstodon.xyz
Talia Ringer

@tao also exactly what you mentioned about highly computational proofs benefiting from proof assistants a lot

2 July at 23:29 | Open on mathstodon.xyz
Talia Ringer

@tao Wow it gets even more epic I love this. Nobody even knows who this person is and they finished the proof!!
2 July at 23:41 | Open on mathstodon.xyz
Amélia Liao
Talia Ringer
Talia Ringer

@amy definitely neurodivergent and relatable
2 July at 23:48 | Open on mathstodon.xyz
mei
@TaliaRinger @amy ya don't say ;3

in my interview, I also talked a bit about how my ADHD has, as is typical, been a double-edged sword for this research. i'm a tiny bit disappointed that this hasn't made it into the article, but nevertheless I'm happy with how the article came out.
3 July at 5:57 | Open on donotsta.re
gaytabase

@TaliaRinger there was also a catboy in the article. very fedi!

3 July at 6:49 | Open on social.treehouse.systems
CF Bolz-Tereick
Go Up