Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
mastodon.gamedev.place is one of the many independent Mastodon servers you can use to participate in the fediverse.
Mastodon server focused on game development and related topics.

Administered by:

Server stats:

5.2K
active users

mastodon.gamedev.place: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

#Tensor

1 post1 participant1 post today
Public *
Arthur Hau, PhD🐶🐱🌱🎵🦣

Can higher order tensors be represented by a matrix? People think you cannot, but I say you can. A 3x3x3 #tensor can be represented by a 3x9 matrix easily. Here is how.

In fact a 9x9 matrix is symmetric and has much better properties than a 3x3x9 tensor. And we can always represent any tensor of any order using a matrix. Tensor and matrix are nothing more than two different "accounting" systems of keeping a record of a data set containing many variables. #mathematics #physics #AI

Public
alpharee

Hey, I'm stuck with this PyTorch problem and no one has answered on Stack Overflow yet. Need help creating a new tensor by using values from a 3D tensor as indices for a 1D tensor, efficiently and preferably without loops. Any PyTorch experts around?

stackoverflow.com/q/79389115/2

Boosts appreciated - thanks! 🙏

Stack OverflowHow to map values from a 3D tensor to a 1D tensor in PyTorch?I'm stuck with a Pytorch problem and could use some help: I've got two tensors: A 3D tensor (shape: i, j, j) with integer values from 0 to n A 1D tensor (shape: n) I need to create a new tensor t...
#pytorch#StackOverflow#tensor
Public
Alex Nelson

I've been thinking about this for a while, sketching out the formalization of the tensor product in Mizar.

It's kind of long, not as step-by-step oriented as previous projects, because I wanted to give a better sense of "What it's like to formalize something". You don't have someone giving you step-by-step milestones, you have to figure it out on your own!

At the same time, even granting all of that, I gave a lot of suggested milestones (albeit informally and without fanfare).

#Mizar #ProofAssistant #TensorProduct #Tensor #Mathematics

thmprover.wordpress.com/2025/0

Ariadne's Thread · Tensor Products in MizarI have been giving some rather straightforward projects, so I thought I would expose the complexity of a more ambitious project: the formalization of tensor products in Mizar. I won’t tell yo…
Public
GoogleWatchBlog

#GWB - Pixel 10-Smartphones: Google verabschiedet sich von Samsung – neues MediaTek-Modem kommt (Leak) - googlewatchblog.de/2024/12/pix #pixel10 #Google #tensor

GoogleWatchBlog · Pixel 10-Smartphones: Google verabschiedet sich von Samsung - neues MediaTek-Modem kommt (Leak)Google wird erst in etwa acht Monaten die Pixel 10-Smartphones vorstellen, die unter der Haube nochmal ganz neue Wege gehen sollen. Jetzt ist ein erstes technisches Detail bekannt geworden, das so manche interessierte Nutzer sicherlich aufhorchen lässt: Das Pixel-Team hat sich laut eines aktuellen Leaks für ein Modem aus dem Hause MediaTek entschieden, das den beiden großen bisher verwendeten Konkurrenten vorgezogen wird.
ExploreLive feeds
About