Leni Aniva
@aniva.bsky.social
🔧 Researcher in Machine Assisted Theorem Proving at https://centaur.stanford.edu/
☯️ Director of NorCal Hakkero Factory No. 1 (I make #touhou cosplay props)
🔗 https://leni.sh, https://pixelfed.social/chrysoberyl
❄️ Training AI on my content is prohibited
☯️ Director of NorCal Hakkero Factory No. 1 (I make #touhou cosplay props)
🔗 https://leni.sh, https://pixelfed.social/chrysoberyl
❄️ Training AI on my content is prohibited
Bluesky is incorrectly labeling this as a fundraising link
November 18, 2025 at 11:19 PM
Bluesky is incorrectly labeling this as a fundraising link
The scraping is likely coming from Lean FRO's external link of my website. Almost all the scraping traffic comes from Brazil for some reason.
October 25, 2025 at 4:53 PM
The scraping is likely coming from Lean FRO's external link of my website. Almost all the scraping traffic comes from Brazil for some reason.
This is why I enforce a strict no-online-AI policy for my research collaborators. Never trust these companies.
October 22, 2025 at 3:01 AM
This is why I enforce a strict no-online-AI policy for my research collaborators. Never trust these companies.
This is not stable yet and may have issues with 1.12.0. I tested it on 1.11.6.
October 11, 2025 at 5:54 AM
This is not stable yet and may have issues with 1.12.0. I tested it on 1.11.6.
I do this too. If I set the font size to 10pt like what I did on 1080p monitors they would be too difficult to read, and if I don't scale up the icons they become hard to click.
September 21, 2025 at 7:22 AM
I do this too. If I set the font size to 10pt like what I did on 1080p monitors they would be too difficult to read, and if I don't scale up the icons they become hard to click.
Yes, and it was on the newspapers
September 20, 2025 at 12:38 PM
Yes, and it was on the newspapers
The LessWrong organization led by Yudkowsky spawned cults eg the Zizians
September 20, 2025 at 8:14 AM
The LessWrong organization led by Yudkowsky spawned cults eg the Zizians
yeah but the user list may need to grow over time
August 31, 2025 at 11:42 PM
yeah but the user list may need to grow over time
The site has multiple users so I can't just provision a single user.
August 31, 2025 at 8:09 PM
The site has multiple users so I can't just provision a single user.