Colin Roberts @Autoparallel

Co-founder & CTO @multifactorCOM. Applying the rigor of mathematics to build provably secure systems. PhD mathematics, Rust engineer, and endurance athlete. github.com/Autoparallel Colorado Joined July 2022

Tweets

4K
Followers

1K
Following

465
Likes

5K

Merriam-Webster @MerriamWebster

2 days ago

enshittification | noun | when a digital platform is made worse for users, in order to increase profits

568 10K 79K 4.8M 4K

Colin Roberts @Autoparallel

2 days ago

When will they learn that Ph.D. mathematicians also can't do simple math questions or count reliably?

Daniel Litt @littmath

2 days ago

When will they learn that Ph.D. mathematicians also can't do simple math questions or count reliably?

33 17 413 101K 43

Download Image

0 0 4 210 0

Leah Gibson @c0mbinatorial

3 days ago

🍂Fall is coming in the Colorado Rockies 🍂 This photo was actually taken back on Aug 23, which is surprisingly soon for the aspen to start turning. The early change this year is driven by a drier than normal summer. (1/2)

1 1 8 309 0

Download Image

Leah Gibson @c0mbinatorial

2 days ago

One of the things that I love about running is it trains mental fortitude that carries over into all aspects of my life. If I can convince myself to keep running when my legs and brain are begging me to stop, I can power myself through anything.

0 1 5 119 0

David Roche @MountainRoche

3 days ago

Our most advanced plan is out now, for 100k to 100 mile ultras! Featuring: -classic running economy and speed development -vert guidelines, GI training, and advanced tapering -options for track workouts, uphill treadmill, and weight vest Check it out: patreon.com/posts/champion…

5 6 155 8K 47

Download Image

Eddy Lazzarin 🟠🔭 @eddylazzarin

7 days ago

If you want to understand a zkVM works, Jolt may be the best. We're working hard on the docs and would value your feedback!

moodle zoup @moodlezoup

a week ago

If you want to understand a zkVM works, Jolt may be the best. We're working hard on the docs and would value your feedback!

16 14 200 20K 98

Download Image

15 3 86 6K 20

guille @GuilleAngeris

7 days ago

anyways, enjoy the rambling lmao.bearblog.dev/acorn-ai-provi…

3 2 25 2K 7

Keenan Crane @keenanisalive

7 days ago

Here I try to convey key ideas, like: - The encoder tries to compress the data into a lower-dimensional space (left to right) - The decoder attempts to invert the encoder (right to left) - There's inevitabe error in reconstruction of a latent code (dashed line between x and x̂)

6 7 179 8K 38

Download Image

Keenan Crane @keenanisalive

7 days ago

I can't* fathom why the top picture, and not the bottom picture, is the standard diagram for an autoencoder. The whole idea of an autoencoder is that you complete a round trip and seek cycle consistency—why lay out the network linearly?