#canhardlywait — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #canhardlywait, aggregated by home.social.
-
🤖💼 Oh, look! Another über-important #GitHub repo promising to revolutionize #textbooks with automated formalization—because reading was just too much work! Meanwhile, students everywhere are eagerly awaiting the next thrilling AI-generated chapter on binary trees. 🙄 #CanHardlyWait
https://github.com/facebookresearch/repoprover #AI #Revolution #automation #education #binarytrees #HackerNews #ngated -
🤖💼 Oh, look! Another über-important #GitHub repo promising to revolutionize #textbooks with automated formalization—because reading was just too much work! Meanwhile, students everywhere are eagerly awaiting the next thrilling AI-generated chapter on binary trees. 🙄 #CanHardlyWait
https://github.com/facebookresearch/repoprover #AI #Revolution #automation #education #binarytrees #HackerNews #ngated -
🤖💼 Oh, look! Another über-important #GitHub repo promising to revolutionize #textbooks with automated formalization—because reading was just too much work! Meanwhile, students everywhere are eagerly awaiting the next thrilling AI-generated chapter on binary trees. 🙄 #CanHardlyWait
https://github.com/facebookresearch/repoprover #AI #Revolution #automation #education #binarytrees #HackerNews #ngated -
🤖💼 Oh, look! Another über-important #GitHub repo promising to revolutionize #textbooks with automated formalization—because reading was just too much work! Meanwhile, students everywhere are eagerly awaiting the next thrilling AI-generated chapter on binary trees. 🙄 #CanHardlyWait
https://github.com/facebookresearch/repoprover #AI #Revolution #automation #education #binarytrees #HackerNews #ngated -
🤖💼 Oh, look! Another über-important #GitHub repo promising to revolutionize #textbooks with automated formalization—because reading was just too much work! Meanwhile, students everywhere are eagerly awaiting the next thrilling AI-generated chapter on binary trees. 🙄 #CanHardlyWait
https://github.com/facebookresearch/repoprover #AI #Revolution #automation #education #binarytrees #HackerNews #ngated