Had a great time presenting our paper “Domain-specific tensor languages” today at #ICFP2025 in Singapore 🇸🇬
The images attached are screenshots from the paper as teasers — diagrams for derivative rules, the Riemann curvature 4-tensor in Einstein’s index notation, and the same in diagram form.
📄 Slides:
LG smart TV owners say a webOS update pinned Microsoft Copilot to TV home screens, with no apparent way to remove the app; LG unveiled an AI TV strategy at CES (Luke James/Tom's Hardware)
https://www.tomshardware.com/service-provi
Completely Positive Biquadratic Tensors
Liqun Qi, Chunfeng Cui, Haibin Chen, Yi Xu
https://arxiv.org/abs/2510.10972 https://arxiv.org/pdf/2510.10972…
Instagrams Teen-Konten bekommen ein filmreifes Update
Social Media für Jugendliche: Teenager bekommen bei Instagram künftig nur noch das zu sehen, was in etwa FSK 12 bei Filmen entspricht.
https://www.
A continued fraction approximation for the effective elasticity tensor of two-dimensional polycrystals as a function of the crystal elasticity tensor
Graeme W. Milton
https://arxiv.org/abs/2510.10297
Tensor Logic: The Language of AI
Pedro Domingos
https://arxiv.org/abs/2510.12269 https://arxiv.org/pdf/2510.12269…
LEGO: Spatial Accelerator Generation and Optimization for Tensor Applications
Yujun Lin, Zhekai Zhang, Song Han
https://arxiv.org/abs/2509.12053 https://ar…
Mira Murati's Thinking Machines Lab makes Tinker, its API for fine-tuning language models, generally available, adds support for Kimi K2 Thinking, and more (Thinking Machines Lab)
https://thinkingmachines.ai/blog/tinker-general-availability/
🇺🇦 #NowPlaying on BBCRadio3's #Unclassified
Tim Hecker:
🎵 Heaven Will Come
#TimHecker
https://open.spotify.com/track/4XL9nn0qDcLA25X88wxmrw