--- layout: archive title: Zulip Chat Archive permalink: /stream/113488-general/topic/leanpkg.20artifact.20storage.20location.html ---
Hi there! Does anyone know of a particular reason why leanpkg copies dependencies into a "_target" directory in the project folder, as opposed to keeping a directory of artifacts in your home directory (e.g. like maven does)? It'd certainly avoid unnecessarily compiling mathlib multiple times when playing around with little projects.
@Sebastian Ullrich ^ ?
one of leanpkg add
and leanpkg install
is a global install
leanpkg install
, but that's intended for use in non-project files
I currently have two projects which are using different versions of mathlib, but I'm not usually in this situation. I'm running something with UGs where we're all using mathlib 3.4.1 because trying to get 25 people to upgrade their mathlibs is a pain when some of them can't even open a terminal. I'm also doing a project which uses bleeding edge mathlib. But if I could have two flavours of mathlib installed globally I'd be happier than I am now, because I often find myself recompiling. I sometimes cheat and copy and paste instead of recompiling.
@Keeley Hoek I don't think there is a particular reason other than the current leanpkg
being the minimum viable product
Potentially there's a problem for people who work like me, with two repositories repoA
and repoB
, with repoB
depending on a particular commit from repoA
, and both repositories change rapidly. In this case in the central ~/.leanpkg
directory I suspect we will end up with lots of copies of repoA
checked out at different commits.
This is probably a small price to pay (people in this situation can just clean out that directory every so often?) in exchange for having multiple projects be able to use the same compile version of mathlib, which would be really really lovely.
I'd be very happy to see central storage in any case.
What Rust's cargo
(which is the direct inspiration for leanpkg
) does is it caches downloaded git repositories in a central cache (because these can be shared even if you're using different versions of them in different projects) and then stores build artifacts per project, probably to avoid flooding the central cache, as @Scott Morrison alluded to
I see, but that wouldn't save on rebuilding mathlib between different projects, which is the real payoff.
{% endraw %}Last updated: Apr 24 2020 at 19:02 UTC


--- title: "Exam 1" editor_options: chunk_output_type: console ---
Due by 11:59 PM EST Friday, May 21, 2021 by email
Chose any 5 (five) questions to answer, each question is worth 20 points. Questions draw from course lectures, discussions, and readings. Your answers, given the time and resources at your disposal, should be complete yet concise (and with no filler).
You may discuss the questions, but you must write your own responses and turn in your own work. Answers that are substantially identical will be interpreted as cheating and punished accordingly. I will not answer any questions about course content during while the exam is outstanding.
This assignment is due to me via email by 11:59 PM EST Friday, May 21.
Tort law creates incentives for potential injurers to act efficiently by internalizing the harms they might impose on others, and allows victims to sue injurers for compensation of any harms caused. Why then do (and/or should) we have criminal law, where the State punishes injurers?
Explain how belief in superstition can, under the right institutions, accurately determine a person’s innocence or guilt.
In tort law, what is the purpose of punitive damages? When, and how, should they be used efficiently?
Explain the benefits and costs of using the Workers Compensation system as an alternative to employees suing employers for workplace injuries.
Explain the difference in administrative costs of the tort liability system between a rule of strict liability and a negligence rule.
Read this brief news article. Explain what impact incentives like those described in the story have in the social efficiency of our criminal law system.
Which topic or concept this semester was your favorite, or you found most surprising, or interesting, and why? Which was the most confusing?


As far as user experience Google has a in my opinion has done a fantastic job with their user experience, they make it so easy to navigate within their website and make their search query very fast and simple to use. With the design that Google has applied to their website, it is very simplistic and that's not a bad thing! It makes it very user friendly, you never catch yourself getting distracted with clutter on the website and that makes for a very enjoyable experience.
YouTube is a great website if your looking for a quick distraction or even looking for a "how to video", their user experience is very nice there is never a shortage of things to watch and YouTube does a fantastic job with keeping everything for the most part very easy to use, although their website at times does come off very cluttered due to all the uploads. Which brings me to YouTube's design; they have done a fantastic job with giving you options right away to view. I think that's a very nice feature for someone who has never been to their site they instantly know what it is all about.
Last but not least we have iHeart radio, I know there are many online music streaming websites out there but for the most part iHeart Radio is very user friendly, and simplistic. iHeart radio is great for anyone who is just looking to hear some good music from a favorite artist or maybe a old song that they just remember last night, I especially like how they build a entire playlist based on your selection. The design of iHeart radio website is also fantastic, they have a large search bar which makes it very easy to find what your looking for, and the catchy red theme they have is very eye pleasing as well.


Class PDOStatement
- PDOStatement implements Traversable
public
|
|
public
|
|
public
|
|
public
|
|
public
|
|
public
|
|
public
|
|
public
|
|
public
|
|
public
|
|
public
|
|
public
|
|
public
|
|
public
|
|
public
|
|
public
|
|
public
|
|
public
|
|
public
|
|
final public
|
|
final public
|
public
|
$queryString |
|


|
||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
| SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |
java.lang.Object java.lang.Enum<GnListType> com.gracenote.gnsdk.GnListType
public enum GnListType
| Enum Constant Summary | |
|---|---|
kListTypeArtistTypes
This list contains role list elements supported Gracenote for album data, such as Vocalist and Bass Guitar. |
|
kListTypeCompostionForm
The list of supported instrumentation for classical music. |
|
kListTypeContributors
The list of supported feature types for video data. |
|
kListTypeEpgAudioTypes
The list of supported video types for EPG data, such as HDTV and PAL30. |
|
kListTypeEpgCaptionTypes
The list of supported categories for IPG data, such as movie and TV series. |
|
kListTypeEpgDeviceTypes
|
|
kListTypeEpgProductionTypes
The list of supported device types for EPG data. |
|
kListTypeEpgVideoTypes
The list of supported video types for EPG data, such as closed caption. |
|
kListTypeEpgViewingTypes
The list of supported audio types for EPG data, such as stereo and dolby. |
|
kListTypeEras
The list of supported artist type categories. |
|
kListTypeFeatureTypes
The list of supported video regions. |
|
kListTypeGenres
The list of supported geographic origins for artists. |
|
kListTypeGenreVideos
This list contains movie rating list elements supported by Gracenote. |
|
kListTypeInstrumentation
The list of supported overall story types for video data, such as Love Story. |
|
kListTypeInvalid
This list contains languages that are supported by Gracenote, and are typically used to indicate the original language of an item. |
|
kListTypeIpgCategoriesL1
The list of supported categories for IPG data, such as action and adventure. |
|
kListTypeIpgCategoriesL2
The list of supported production types for EPG data, such as news and documentary. |
|
kListTypeLanguages
This list contains scripts that are supported by Gracenote |
|
kListTypeMediaSpaces
The list of supported moods for music data. |
|
kListTypeMediaTypes
The list of supported video serial types, such as Series or Episode. |
|
kListTypeMoods
The list of supported tempos for music data, has three levels of granularity. |
|
kListTypeOrigins
The list of supported music era categories. |
|
kListTypeRatings
This list contains film content rating list elements supported by Gracenote. |
|
kListTypeRatingTypes
This list contains contributor role list elements available from Gracenote, such as Actor or Costume Design. |
|
kListTypeRoles
This list contains a hierarchy of genre list elements available from Gracenote, strictly for video data. |
|
kListTypeScripts
The list of supported music genres. |
|
kListTypeTempos
The list of supported composition forms for classical music. |
|
kListTypeVideoAudience
The list of supported moods for video data, such as Offbeat. |
|
kListTypeVideoMood
The list of supported film reputation types for video data, such as Classic. |
|
kListTypeVideoRegions
The list of supported video types, such as Documentary, Sporting Event, or Motion Picture. |
|
kListTypeVideoReputation
The list of supported scenarios for video data. |
|
kListTypeVideoScenario
The language of the list is determined by the language value given to |
|
kListTypeVideoSerialTypes
The list of supported work types for video data, such as Musical or Image. |
|
kListTypeVideoSettingEnv
The list of supported historical time settings for video data, such as Elizabethan Era, 1558-1603, or Jazz Age, 1919-1929. |
|
kListTypeVideoSettingPeriod
The list of supported story concept sources for video data, such as Fairy Tales & Nursery Rhymes. |
|
kListTypeVideoSource
The list of supported film style types for video data, such as Film Noir.It includes general style classifications such as Art House, Film Noir, and Silent. |
|
kListTypeVideoStoryType
The list of supported audience types for video data. |
|
kListTypeVideoStyle
The list of supported film topics for video data, such as Racing or Teen Angst. |
|
kListTypeVideoTopic
The list of supported viewing types for EPG data, such as live and rerun. |
|
kListTypeVideoTypes
The list of supported media types for music and video, such as Audio CD, Blu-ray, DVD, or HD DVD. |
|
kListTypeWorkTypes
The list of supported media spaces for video data, such as Music, Film, or Stage. |
| Method Summary | |
|---|---|
static GnListType |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. |
static GnListType[] |
values()
Returns an array containing the constants of this enum type, in the order they are declared. |
| Methods inherited from class java.lang.Enum |
|---|
compareTo, equals, getDeclaringClass, hashCode, name, ordinal, toString, valueOf |
| Methods inherited from class java.lang.Object |
|---|
getClass, notify, notifyAll, wait, wait, wait |
| Enum Constant Detail |
|---|
public static final GnListType kListTypeInvalid
public static final GnListType kListTypeLanguages
public static final GnListType kListTypeScripts
Remarks:
The genre list contains a hierarchy of genres available from Gracenote strictly for music data.
public static final GnListType kListTypeGenres
public static final GnListType kListTypeOrigins
public static final GnListType kListTypeEras
public static final GnListType kListTypeArtistTypes
public static final GnListType kListTypeRoles
public static final GnListType kListTypeGenreVideos
public static final GnListType kListTypeRatings
public static final GnListType kListTypeRatingTypes
public static final GnListType kListTypeContributors
public static final GnListType kListTypeFeatureTypes
public static final GnListType kListTypeVideoRegions
public static final GnListType kListTypeVideoTypes
public static final GnListType kListTypeMediaTypes
public static final GnListType kListTypeVideoSerialTypes
public static final GnListType kListTypeWorkTypes
public static final GnListType kListTypeMediaSpaces
public static final GnListType kListTypeMoods
public static final GnListType kListTypeTempos
public static final GnListType kListTypeCompostionForm
public static final GnListType kListTypeInstrumentation
public static final GnListType kListTypeVideoStoryType
public static final GnListType kListTypeVideoAudience
public static final GnListType kListTypeVideoMood
public static final GnListType kListTypeVideoReputation
public static final GnListType kListTypeVideoScenario
public static final GnListType kListTypeVideoSettingEnv
public static final GnListType kListTypeVideoSettingPeriod
public static final GnListType kListTypeVideoSource
public static final GnListType kListTypeVideoStyle
public static final GnListType kListTypeVideoTopic
public static final GnListType kListTypeEpgViewingTypes
public static final GnListType kListTypeEpgAudioTypes
public static final GnListType kListTypeEpgVideoTypes
public static final GnListType kListTypeEpgCaptionTypes
public static final GnListType kListTypeIpgCategoriesL1
public static final GnListType kListTypeIpgCategoriesL2
public static final GnListType kListTypeEpgProductionTypes
public static final GnListType kListTypeEpgDeviceTypes
| Method Detail |
|---|
public static GnListType[] values()
for (GnListType c : GnListType.values()) System.out.println(c);
public static GnListType valueOf(java.lang.String name)
name
- the name of the enum constant to be returned.
java.lang.IllegalArgumentException
- if this enum type has no constant
with the specified name
java.lang.NullPointerException
- if the argument is null
|
||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
| SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |


By clicking "Create glossary" you upload the glossary file and get, in the same directory, the file main.tex. This file contains the LaTeX code for the glossary.
The "Integrate" button, instead, reads two .tex files. The first represents the LaTeX code of the glossary; the second represents the target document. For each word in the glossary, replace all occurrences of that word with \glossaryItem{word}.