the universe follows flows of autoparallels
MMMMMMMMMMMMMMWN0dc;... ..,cd0NWMMMMMMMMMMMMMM MMMMMMMMMMMMWKo,. ...... .,o0WMMMMMMMMMMMM MMMMMMMMMMMKl. .,lxO0KKXK0Oxl,. .lKWMMMMMMMMMM MMMMMMMMMWk' .l0NMMMMMMMMMMMWN0o. 'kWMMMMMMMMM MMMMMMMMWd. cKMMMMMMMMMMMMMMMMMWK: .dWMMMMMMMM MMMMMMMMk. .oNMMMMMMMMMMMMMMMMMMWWNl .kWMMMMMMM MMMMMMMN:..,oXNNNNWWMMMMMMMMMMWWNNNNX: :NMMMMMMM MMMMMMMNdcl:;,'.''';:oOWWNKxoc;''..'xd '0MMMMMMM MMMMMXx:. .col,.. ld. 'OKKWMMMM MMWXo' .:cdxkkxddo:. .'codxkkk0c :x,.oXMMM MNk' .:ll:;kWMMWXo. ':clc;oXMMMWx. .do 'kWM Wd. .:0No .xNMK: .oXW0, :KMNx. cX0:. .dN x. .oNMWXl. .:Ok;. 'OWMMWO' cKo .lXMMNo. .x , cNMMMMNk, .,cllOWWMMMWk. .dl ,xNMMMMNc , . .OMMMMMMMXx, .',:::;cO: ckcdXMMMMMMMO. . '0MMMMMMMMMNOo:'. .xl :XWWWMMMMMMM0' . .kMMMMMMMMMMWk:cclooooooxO; lWMMMMMMMMMMk. . ; :XMMMMMMMMMMk. .xWMMMWWd. .kMMMMMMMMMMX: ; O. cXMMMMMMMMMNl .xWMWNx. lNMMMMMMMMWXc .k Wk. ,kNMMMMMMMMXl. .c0N0; lXMMMMMMMWNk, .kW MW0; ,oOXWMMMWWNx' .':lllkNMMMMMWXOo,. ;0WM MMMNx;. .';clooolcol' .,:looolc;. .;xNMMM MMMMWN0o;. ;ddc;'. .;o0NMMMMM MMMMWMMMN0o;.. ..,lkNWNXOl;.. ..:o0NWMMMMMMM
$whoami
My name is Colin Roberts. I have a passion for mathematics, physics, and computer science. Some specific interests were previously mathematical physics via Riemannian geometry, PDEs, Clifford analysis, Hodge theory, and inverse problems. I also dabbled in sensor fusion, data assimilation, and plasma physics.
Now I find myself in an open arc of developing software on and related to blockchains. Succinctly, I fit into something like this trait bound:
Fn(Math) -> Software + Invertible
Here we want beautiful math and beautiful software. We want it to be provable, modular, extensible, and composable.
I am building or aim to build:
- arbiter: Agent-based simulation framework for Ethereum execution environments.
- type_sheaf: Sheaves of types in Rust. WIP.
- Sheaves of modules in Lean4. TODO.
contact
- GitHub: autoparallel
- Twitter: @autoparallel
- Email: colin@autoparallel.xyz
>> why "autoparallel" and why does "the universe follow flows of autoparallels"?
- Go see this blurb.
- The Borromean rings are a set of three interlocking rings with the special property that if any one ring is removed, the remaining two are not linked. Mathematically, we say the Borromean links have linking number zero. However, higher order linking can be detected using Massey products which shows that the Borromean rings are “triply linked” in a sense. Linking, braiding, and knotting are all important concepts in topology and are used in the study of magnetic fields, fluid dynamics, and DNA.