Hendrik Boom @hendrikboom3@qoto.org
I'm a 72 year old constructive mathematician who has spent most of his professional life with computers. I have worked on the design of Algol 68, and have attempted formal verification using constructive type theory. I would love to understand how category theory is involved with quantum mechanics.
With Category Theory, Mathematics Escapes From Equality | Quanta Magazine https://www.quantamagazine.org/with-category-theory-mathematics-escapes-from-equality-20191010/
An interesting but quite vague and breezy presentation about infinity category tgeory:
With Category Theory, Mathematics Escapes From Equality | Quanta Magazine https://www.quantamagazine.org/with-category-theory-mathematics-escapes-from-equality-20191010/
🇳🇱
Testing if animated gifs work... Please confirm if you can see this image and if it is animated on your account, thanks.
Thread:
Just watched THE HIGHWAYMEN on NETFLIX & found it quite entertaining.
I'm a great admirer of Frank Hamer, who is in my opinion THE Greatest American Lawman who ever lived & always felt his Career had been overlooked by history & slighted by Hollywood.
This production shows him & his pursuit of Bonnie & Clyde in a very real & compelling manner.
It's a Docu-Drama so it does take dramatic license to tell the story but gets the most important details right.
Going to be late getting to Cambridge because somebody thought it would be prudent to stop here. LOL (@ Thompson Square in Boston, MA) https://www.swarmapp.com/c/bVygZCVcMe7
I'm pretty new here too.
Hello. New on Mastodon here.
The Bendix used a magnetic drum Each memory line had a read head and a write head. Normally whatever was read would be written immediately, and would then travel around with drum rotation until it got bach to the read head and repeat the cycle.
Maybe a better way to describe the Bendix was to say it emulated delay lines using a magnetic drum?
I'm a 72 year old constructive mathematician who has spent most of his professional life with computers. I have worked on the design of Algol 68, and have attempted formal verification using constructive type theory. I would love to understand how category theory is involved with quantum mechanics.
