Comments for Hey There Buddo!
http://www.philipzucker.com
Hot Leaves in a Cold WorldsMon, 14 Oct 2019 20:11:52 +0000hourly1https://wordpress.org/?v=5.0.3Comment on A Touch of Topological Quantum Computation 3: Categorical Interlude by Functors and Vectors - Hey There Buddo!
http://www.philipzucker.com/a-touch-of-topological-computation-3-categorical-interlude/#comment-43038
Mon, 14 Oct 2019 20:11:52 +0000http://www.philipzucker.com/?p=1781#comment-43038[…] are monoidal categories. I talked a quite a bit about monoidal categories in a previous post http://www.philipzucker.com/a-touch-of-topological-computation-3-categorical-interlude/ […]
]]>Comment on Linear Algebra of Types by Functors and Vectors - Hey There Buddo!
http://www.philipzucker.com/linear-algebra-of-types/#comment-43037
Mon, 14 Oct 2019 20:10:45 +0000http://www.philipzucker.com/?p=2313#comment-43037[…] Linear Algebra of Types […]
]]>Comment on About Me by philzook58
http://www.philipzucker.com/about-me/#comment-42674
Sat, 12 Oct 2019 14:26:13 +0000http://philzucker.nfshost.com/wordpress/?page_id=66#comment-42674Hi!
]]>Comment on About Me by ba
http://www.philipzucker.com/about-me/#comment-42642
Sat, 12 Oct 2019 10:10:33 +0000http://philzucker.nfshost.com/wordpress/?page_id=66#comment-42642Hello there
]]>Comment on Reverse Mode Differentiation is Kind of Like a Lens II by Concolic Weakest Precondition is Kind of Like a Lens - Hey There Buddo!
http://www.philipzucker.com/reverse-mode-differentiation-is-kind-of-like-a-lens-ii/#comment-42289
Thu, 10 Oct 2019 03:54:26 +0000http://www.philipzucker.com/?p=1059#comment-42289[…] described before how to encode reverse mode automatic differentiation in this style. I have suspicions that you can make iterative LQR and guass-seidel iteration have […]
]]>Comment on Linear Algebra of Types by philzook58
http://www.philipzucker.com/linear-algebra-of-types/#comment-41236
Tue, 01 Oct 2019 13:44:02 +0000http://www.philipzucker.com/?p=2313#comment-41236Hi,
I’m not sure I entirely understand the question.
The blog post was on a number of things, but a big piece was that you can take your familiar intuition and operations on matrices, and get interesting new ones by overloading what you mean by addition and multiplication inside of those definitions. Semirings are mathematical structures with some notion of addition and multiplication which may be pretty different from plus-times on ordinary numbers.
-Phil
]]>Comment on Linear Algebra of Types by cris
http://www.philipzucker.com/linear-algebra-of-types/#comment-41223
Tue, 01 Oct 2019 12:01:49 +0000http://www.philipzucker.com/?p=2313#comment-41223i’m confused. being a lay person on the matter i’m used to distinguish numbers from add/multiply ops on arithmetic. how does matrices and adding/multiplication combine in the notion of a semi-ring on algebra?
]]>Comment on A Touch of Topological Quantum Computation in Haskell Pt. I by Linear Algebra of Types - Hey There Buddo!
http://www.philipzucker.com/a-touch-of-topological-quantum-computation-in-haskell-pt-i/#comment-40119
Mon, 23 Sep 2019 02:42:12 +0000http://www.philipzucker.com/?p=1366#comment-40119[…] A Touch of Topological Quantum Computation in Haskell Pt. I […]
]]>Comment on A Short Skinny on Relations & the Algebra of Programming by Linear Algebra of Types - Hey There Buddo!
http://www.philipzucker.com/a-short-skinny-on-relations-towards-the-algebra-of-programming/#comment-40118
Mon, 23 Sep 2019 02:35:32 +0000http://www.philipzucker.com/?p=2030#comment-40118[…] A Short Skinny on Relations & the Algebra of Programming – Hey There Buddo! on Relational Algebra with Fancy Types […]
]]>Comment on Lens as a Divisibility Relation: Goofin’ Off With the Algebra of Types by Linear Algebra of Types - Hey There Buddo!
http://www.philipzucker.com/lens-as-a-divisibility-relation-goofin-off-with-the-algebra-of-types/#comment-40117
Mon, 23 Sep 2019 02:35:15 +0000http://www.philipzucker.com/?p=1960#comment-40117[…] I have written before about how types also form a semiring, using Either for plus and (,) for times. These constructions don’t obey distributivity or associativity “on the nose”, but instead are isomorphic to the rearranged type, which when you squint is pretty similar to equality. […]
]]>