░██████╗██╗ ██╗ █████╗ ███╗ ██╗███████╗ ██╗ ██╗ █████╗ ██████╗ ████████╗██╗ ███████╗██╗ ██╗
██╔════╝██║ ██║██╔══██╗████╗ ██║██╔════╝ ██║ ██║██╔══██╗██╔══██╗╚══██╔══╝██║ ██╔════╝╚██╗ ██╔╝
╚█████╗ ███████║███████║██╔██╗ ██║█████╗ ███████║███████║██████╔╝ ██║ ██║ █████╗ ╚████╔╝
╚═══██╗██╔══██║██╔══██║██║╚██╗██║██╔══╝ ██╔══██║██╔══██║██╔══██╗ ██║ ██║ ██╔══╝ ╚██╔╝
██████╔╝██║ ██║██║ ██║██║ ╚████║███████╗ ██║ ██║██║ ██║██║ ██║ ██║ ███████╗███████╗ ██║
╚═════╝ ╚═╝ ╚═╝╚═╝ ╚═╝╚═╝ ╚═══╝╚══════╝ ╚═╝ ╚═╝╚═╝ ╚═╝╚═╝ ╚═╝ ╚═╝ ╚══════╝╚══════╝ ╚═╝
researcher = {
"name" : "Shane Hartley",
"location" : "England 🇬🇧",
"focus" : ["Theoretical Physics", "Mathematics", "Systems Software"],
"method" : "Multi-LLM hub-and-spoke synthesis",
"hardware" : "ThinkPad P15 Gen 2i · Linux",
"passion" : "Retro computing · Atari ST · Aperiodic tiling",
"currently" : "Coupling Krylov complexity to Einstein-Hilbert gravity (CODA)"
}I work across the boundary of theoretical physics, algebraic complexity, and low-level software — building things that probably shouldn't work and then proving that they do. My research spans modified gravity models, dark matter alternatives, Geometric Complexity Theory, and Yang-Mills mass gap mathematics. On the software side I ship production C++20 tools, Qt desktop applications, and the occasional retro-inspired game engine.
🌌 CODAComplexity-Originated Dynamics of Action A theoretical physics framework that couples a covariant Krylov complexity density to the Einstein-Hilbert action, deriving modified field equations from first principles. Currently developing the MOND phenomenology thread.
|
Mimetic-Conformal Scalar-Tensor Gravity A complete pipeline rebuild analysing 171 SPARC galaxy rotation curves as a MOND-compatible dark matter alternative. Corrected physics implementations across the full pipeline including a hybrid free function F(Q) fit.
|
|
C++/raylib reimagining of the 1988 Atari ST classic Virus 15-system architecture with fractal planet terrain, directional shields, proportional navigation missiles, auto-turrets, and a flat-shaded polygon aesthetic. Linux-first, 120Hz fixed-timestep physics.
|
100-Year Cold Storage Filesystem Production C++20 archival system targeting M-DISC/optical media with ISA-L SIMD erasure coding, BLAKE3 hashing, and cross-platform memory-mapped I/O. Qt 6 desktop front-end with four-tier monetisation model.
|
|
Forensic-Grade FAT12 Analysis Qt5/C++17 disk image toolkit with FAT visualiser, hex viewer, and brute-force directory recovery. Built for the retro computing and demoscene community.
|
AVX2 NTT for CRYSTALS-Kyber / ML-KEM Hand-optimised AVX2 Number-Theoretic Transform implementation for post-quantum lattice cryptography, targeting Intel Kaby Lake microarchitecture.
|
Languages
Frameworks & Libraries
Platform & Tools
Domains
"The universe is not only stranger than we suppose, but stranger than we can suppose." — J.B.S. Haldane