@velvetmonkey

velvetmonkey has been a member of Linktree for 2 months and joined in May 2026. The social media accounts linked to from velvetmonkey are: • LinkedIn • Email • X • GitHub • Website Besides social media accounts, velvetmonkey has populated their site with: • Hard Attention over Boolean Cubes: A Machine-Checked Expressivity • 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 • Ben Cassie: formal methods and systems • Lean 4 proof corpus • Witness Separation for Hard and Soft Attention over Boolean Cubes • Kuramoto-lean: Finite-N Synchronisation Dynamics • Observers are all you need • Publication record (ORCID) • Seal: an approval gate for one tool of one MCP server.