🤖💼 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
GitHub - facebookresearch/repoprover: Research code base for Automatic Textbook Formalization

Research code base for Automatic Textbook Formalization - facebookresearch/repoprover

GitHub

Cây Nhị Phân Giải Thích Trong 4 Phút 🌳 | Cơ Sở Dữ Liệu Cho Người Mới Bắt Đầu
Giải thích cây nhị phân, tính chất và loại cây, ứng dụng trong lập trình #CâyNhịPhân #BinaryTrees #CơSởDữLiệu #DSA #LậpTrình #Programming

https://www.reddit.com/r/programming/comments/1ook6y7/binary_trees_explained_in_4_minutes_dsa_for/

Learn about the unique and unusual operation of "rolling binary trees" and implement an algorithm that performs it in linear time, using common design patterns and principles in #Java. #algorithms #binarytrees #bigo #designpatterns. By George Tanev on Foojay  Today.

https://foojay.io/today/rolling-binary-trees-a-guide-to-common-design-patterns-in-java/

#foojaytip

Rolling Binary Trees: A Guide to Common Design Patterns in Java

We introduce a linear algorithm for rolling binary trees and implement it in Java, by demonstrating the use of common design patterns.

foojay

Learn about an uncommon & unexplored operation in the context of binary trees: roll (or rolling), which modifies binary tree structures.

https://foojay.io/today/rolling-binary-trees-a-guide-to-common-design-patterns-in-java/

#foojaytip #computerscience #research #datastructures #algorithms #binarytrees #bigoh #designpatterns #solidprinciples #cleancode

Rolling Binary Trees: A Guide to Common Design Patterns in Java

We introduce a linear algorithm for rolling binary trees and implement it in Java, by demonstrating the use of common design patterns.

foojay

Let me write my first thread here about #binaryTrees and how #algorithms can differ from case to case.

So I wrote, in #python, 2 different implementations for an Integer Binary Tree:
- Recursive
- Iterative

You can check here the code: https://gist.github.com/ttiagojm/526b3f3634dbc751f693c81ae1e20996

And as you can see there is no gain, sometimes even recursion is faster than iterative.

Then I was intrigued by this result and I tried to run an identical test on a project.
1/2

A simple Integer Binary Tree implementation using both Iterative and Recursive implementation

A simple Integer Binary Tree implementation using both Iterative and Recursive implementation - bin_tree.py

Gist

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.

#mathart #mathsart #binaryTree