@thevelvetmonke

thevelvetmonke has been a member of Linktree for 1 month and joined in May 2026. The social media accounts linked to from thevelvetmonke are: • LinkedIn • Email • X • GitHub • Website Besides social media accounts, thevelvetmonke has populated their site with: • Hard Attention over Boolean Cubes: A Machine-Checked Expressivity • Lean 4 proof corpus on GitHub • Epistemic Lensing: How Collective Judgment Standards Deflect Scientific Anomalies Before Paradigm Shifts • Barrier asymmetry in self modelling gradient flow: a witness corrected free energy • Budgeted Hebbian Kuramoto Dynamics for Max-Cut under Amplitude Heterogeneity: Robustness, Not Cut Quality, Is the Signal • Witness Separation for Hard and Soft Attention over Boolean Cubes • Kuramoto-lean: Finite-N Synchronisation Dynamics | Zenodo • Observers are all you need • Peer-reviewed record | ORCID