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 cryptography. Here we want beautiful math and beautiful software. We want it to be provable, modular, extensible, and composable.
Here are some projects I have worked on or am currently working on:
- ronkathon: Cryptographic primitives, self contained, for learning, and for collaboration.
- arbiter: Agent-based simulation framework for Ethereum execution environments.
- tensor: Rust library for multilinear algebra interface.
- 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"?
- 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.