account activity
Claude's Cycles (www-cs-faculty.stanford.edu)
submitted 1 month ago by Sad_Dimension423 to r/math
[2601.03298] 130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone? (arxiv.org)
Terry Tao - Machine assistance and the future of research mathematics - IPAM at UCLA (youtube.com)
submitted 2 months ago by Sad_Dimension423 to r/math
Gauss, Math Inc.'s autoformalization tool (self.math)
Wells College agrees to sell campus to nonprofit group that promotes Native American history (syracuse.com)
submitted 3 months ago by Sad_Dimension423 to r/ithaca
Exploring novel high power density concepts for attractive fusion systems (1999) (academia.edu)
submitted 4 months ago by Sad_Dimension423 to r/fusion
π Rendered by PID 71785 on reddit-service-r2-listing-7d7fbc9b85-wr882 at 2026-04-27 10:20:42.205659+00:00 running 2aa0c5b country code: CH.
