12 Matching Annotations
  1. Nov 2022
    1. okay so remind you what is a sheath so a sheep is something that allows me to 00:05:37 translate between physical sources or physical realms of data and physical regions so these are various 00:05:49 open sets or translation between them by taking a look at restrictions overlaps 00:06:02 and then inferring

      Fixed typos in transcript:

      Just generally speaking, what can I do with this sheaf-theoretic data structure that I've got? Okay, [I'll] remind you what is a sheaf. A sheaf is something that allows me to translate between physical sources or physical realms of data [in the left diagram] and the data that are associated with those physical regions [in the right diagram]

      So these [on the left] are various open sets [an example being] simplices in a [simplicial complex which is an example of a] topological space.

      And these [on the right] are the data spaces and I'm able to make some translation between [the left and the right diagrams] by taking a look at restrictions of overlaps [a on the left] and inferring back to the union.

      So that's what a sheaf is [regarding data structures]. It's something that allows me to make an inference, an inferential machine.

  2. Mar 2021
  3. Feb 2021
    1. Purely functional data structures are persistent. Persistency is required for functional programming; without it, the same computation could return different results.
  4. Jan 2021
    1. We could change the definition of Cons to hold references instead, but then we would have to specify lifetime parameters. By specifying lifetime parameters, we would be specifying that every element in the list will live at least as long as the entire list. The borrow checker wouldn’t let us compile let a = Cons(10, &Nil); for example, because the temporary Nil value would be dropped before a could take a reference to it.
  5. Aug 2020
  6. Jul 2020
  7. Apr 2020
  8. Jun 2017
    1. Yet, for all the seeming convenience of Microsoft Excel (and its ilk), we pay a hefty price — our time and sanity. “Hyperbole!” I hear you shout. “Nonsense!” I hear you cry. And, when these initial protestations fade, we are left with the ever popular: “I have a system.”

      If I had a dollar