Mark Zuckerberg and Elon Musk Were Once Ready to Fight. Now Meta Is Openly Copying X's Community Notes Algorithm.

Mark Zuckerberg and Elon Musk were once poised to fight in a cage match in 2023, before Zuckerberg called it off, saying that ...
GitHub

Implementation of three SAT Solver algorithms: DPLL, WalkSAT, and GSAT. Included is a file of Conjutive Normal Form (CNF) formulas that are solved using the algorithms.

DPLL is a backtracking-based algorithm that combines unit propagation and pure literal elimination. It explores all possible variable assignments until it finds a solution or proves the formula is ...
GitHub

COMP 458: Quantum Computing Algorithms

Complete course notes from COMP 458: Quantum Computing Algorithms (Spring 25). The latest version of these notes is available at micahkepe.com/comp458-notes. This ...