#binarytrees — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #binarytrees, 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 -
Some stuff that led to me thinking about a relationship between #PascalsTriangle and #binaryTrees.
It seems to have started with me trying to represent Pascal’s triangle using things like #crochet, #macrame, #braiding and #knitting.