A Value Environment is a Γ mapping from symbols to Value Fields, Slices,or Mosaics.
Not following this. What are the "symbols" that are being mapped from?
16 Matching Annotations
- Mar 2025
-
Local file Local file
-
-
(94)
(can't highlight the associated expression) This goes beyond notation that I'm immediately familiar with/are intuitively readable
-
Definition 5.2 (Shape Extension of Morphisms)Given a Index Morphism φ : Zx → Zy ; and a shape s ∈ Zy , we can extend themorphism to yield Index Ranges:IndexMorphismx,y : Zx → Zy(71)s : Extenty(72)φ⊕s(p) := [φ(p), φ(p) + s
Not immediately following this. A bit more explanation of what you mean by "shape" maybe? Do you just mean that the IndexMorphism can map IndexRanges as well as index points?
-
a set of structural sub-collections
this needs more explanation. What do you mean by "structural sub-collections"? Sub-collections of what? Indices? Is this basically a union of Index Collections?
-
An Index Collection is a type class defining a “set-like” collections of IndexPoints.
It's not clear what the key distinction is between Index Collection vs Index Set
-
As a type, Zn represents the inhabited space where both points and vectorsexist.
I don't follow this. Is the difference between "Z-Space" and what is generally just called "n-dimensional space" the fact that Z-space is the set of discrete integer points vs n-d space being continuous?
-
An expression x is a member of a type T if it is an instance of that type; we denotethis with the membership operator :
If being a member and an instance of a type are synonymous, why not just stick to the more familiar (to CS people, at least) "instance" terminology? Are there some fields that where talking about type "membership" is more common?
-
(8)
is something missing here? I don't see anything after (8). Or maybe (8) is just superfluous?
-
We do this through the introduction of a polytope field expression calculus;over partially ordered integer lattice Zn, and Z-regular orthotopes defined asranges of the form [a, b) where a ≤ b
Unless your target is graduate-level compiler specialists (and maybe even still) I think this sentence is too dense
-
Boxes. We’re talking about boxes.The data-flow of complex tensor expressions can be thought of as a way to routethe contents of one set of boxes to another set of boxes; and optimization of tensorexpressions can be thought of as rearranging the boxes in a way that minimizesthe number of boxes needed to store the data, or the number of steps needed tocompute the data.This document aims to describe a self-contained formal calculus for rearrangingthe boxes; as the basis for optimizing compilers and distributed tensor expressionsystems.
I explanation is close, but needs a bit of grounding in what the different pieces of the analogy represent. Are the boxes kernels? Cores? Memory storage locations?
-
The motivation is to create a self-contained document that describes the nec-essary foundations for an aggressive tensor expression optimization system; and toprovide a formal calculus for the polyhedral / polytopal model of computation andproofs over rewrite equations for that system
I don't think the second half of this sentence (post semi-colon) is helpful if a goal is to attract non-specialists. A single-sentence motivating example, using language familiar to most working software developers (or at least ML engineers), would be helpful here instead.
-
- Mar 2023
-
softwareengineering.stackexchange.com softwareengineering.stackexchange.com
-
The easy cure for analysis paralysis is doing something stupid and making people explain to you why it's wrong. Iterate on that until you run out of wrong. this is gold... it works in any situation. Training your TDD & bottom-up design skills, doing in-site tech challenges or deciding between 2 movies you surely will hate but your gf doesn't care... just "do something", spin the wheel and let yourself be carried away by inertia
the most valuable bit of this page
-
- Oct 2022
-
www.lesswrong.com www.lesswrong.com
-
So there is a fairly reliable way to fix the planning fallacy, if you’re doing something broadly similar to a reference class of previous projects. Just ask how long similar projects have taken in the past, without considering any of the special properties of this project. Better yet, ask an experienced outsider how long similar projects have taken.
It seems an even better answer may be to ask how long similar projects have taken, take that as a baseline, and then consider only the special properties that make this project more complex, difficult, or uncertain than other projects to adjust the estimate further into the future
-
- Mar 2021
-
en.wikipedia.org en.wikipedia.org
-
"the problem is not swift access, but selective access"
Curious about what he means by this... I interpret this as referring to the information overload that we're all experiencing today, but not sure if that was actually his intension, or if I'm just projecting
-
-
example.com example.com
-
– First item – Second item – Third item Grocery list: - Coffee - Tea - Milk
Note that you can make nested bullet lists by adding 4 spaces at the beginning of a bulleted line
* point 1 * point 2 * point 3renders as:
- point 1
- point 2
- point 3
Also, although both work, the bullet list editor button seems to actually use
*to denote bullets, rather than-* point 1 * point 2 * point 3 - point 1
-
-
anno.fund anno.fund
-
On-Demand Web Archiving of Annotated Pages
The link in this modal to the blog post about completion of this project seems to be broken. It should be: https://web.hypothes.is/blog/fund-on-demand-web-archiving-completion/
-