Playing with Genetic Algorithms in Python(joseprupi.github.io)25 points by melenaboija 3 years ago | 3 comments
Learning Regular Languages with L* Algorithm(rahul.gopinath.org)117 points by todsacerdoti 2 years ago | 2 comments
Proving Bounds for the Randomized MaxCut Approximation Algorithm in Lean4(abhamra.com)55 points by todsacerdoti 10 months ago | 3 comments
Scheming a mise-en-abîme in BQN(panadestein.github.io)38 points by todsacerdoti 1 year ago | 0 comments