Colin Roberts
@autoparallel
86 Following
5 Followers
Casts
Casts + replies
Colin Roberts
@autoparallel
By the way, I know I will make errors and I would also love to take suggestions. This is why the site itself is open source! If you want to leave an issue for anything you find wrong or want to see, please do so here: https://github.com/Autoparallel/site
0 reply
0 recast
0 reaction
Colin Roberts
@autoparallel
If you want to go straight to the code as written, go here: https://github.com/Autoparallel/tensor hash c8bd132 at the time of posting I will continue building this repo up over time as we will carry forward with examples worth seeing!
0 reply
0 recast
0 reaction
Colin Roberts
@autoparallel
This piece should be interesting to you be you a math nerd or a developer. I took the time to make sure that all of the constructions we had came with substantial amounts of (Rust) code snippets. I'm not gonna lie, it took many iterations to get everything as clean as I wanted.
2 replies
0 recast
0 reaction
Colin Roberts
@autoparallel
If you prefer math over code, maybe this will convince you that you can take what you know and build something beautiful with it. Software is powerful and safe + provable software is even moreso.
1 reply
0 recast
0 reaction
Colin Roberts
@autoparallel
Using a type system allows you to write code that carries around proofs of correctness and prevents you, an engineer, from footguns. On the flipside, you've really been holding on to commutative diagrams and working with products and coproducts naturally this whole time!
1 reply
0 recast
0 reaction
Colin Roberts
@autoparallel
I spent the last week writing up a self-contained piece that begins the dive into exposing the relationship between software and categorical diagrams. If you want more explanation, just let me know. There will be more... Wanna read it? Go here: https://autoparallel.xyz/longform/holy_trinity/algebra-as-computation/
1 reply
0 recast
0 reaction
Colin Roberts
@autoparallel
I’ve landed in a cocartesian monoidal category
0 reply
0 recast
1 reaction
Colin Roberts
@autoparallel
Gm
0 reply
0 recast
1 reaction
