z3
3 feeds in the directory cover this.
Testing Branch
Explorations in machine learning, simulation, and data modeling — practical notebooks and experiments.
Python for Law
A blog about Python libraries for working with legal datasets including legislation, caselaw, regulations, and contracts
Hugo's Blog
GPU programming, functional programming, and efficient code.
Machine-readable: JSON · all topics