Formal Theology on GitHub. Working from Goedel's theorem, these fellows derive proofs of other things, including monotheism, etc.
The Metaphysical Presupposutions of Formal Logic by Edward Feser
Origin of Quake3's Fast InvSqrt() - An exploration of the origins of a famous algorithm. Additionally, an article exploring the mathematical function.
Motte, Bailey, Desire, and Consent - an article discussing a logical error, giving as example a common argument for deviant sexuality
Discovered Miles Mathis, who is a heterodox critic of physics and math. Makes some interesting claims like how π should equal 4 in kinematic contexts, complete with evidence for it, surprisingly. Needs further digestion.