SAT solvers are underused in tech: an introduction and a fun example of sudoku solving: https://codingnest.com/modern-sat-solvers-fast-neat-underused-part-1-of-n/
miniblog.
Related Posts
TIL Drupal has a credit system to give preferential treatment to people and organisations who contribute regularly!
Solving Fizzbuzz using Euler's totient theorem rather than conditionals: https://philcrissman.net/posts/eulers-fizzbuzz/