Contains 1,281,167 images and exactly 1k categories which is why this dataset is also known as ImageNet1k: datascience.stackexchange.com/questions/47458/what-is-the-difference-between-imagenet-and-imagenet1k-how-to-download-it
www.kaggle.com/competitions/imagenet-object-localization-challenge/overview clarifies a bit further how the categories are inter-related according to WordNet relationships:
The 1000 object categories contain both internal nodes and leaf nodes of ImageNet, but do not overlap with each other.
image-net.org/challenges/LSVRC/2012/browse-synsets.php lists all 1k labels with their WordNet IDs.
n02119789: kit fox, Vulpes macrotis
n02100735: English setter
n02096294: Australian terrier
There is a bug on that page however towards the middle:
n03255030: dumbbell
href="ht:
n02102040: English springer, English springer spaniel
and there is one missing label if we ignore that dummy href= line. A thinkg of beauty!
Also the lines are not sorted by synset, if we do then the first three lines are:
n01440764: tench, Tinca tinca
n01443537: goldfish, Carassius auratus
n01484850: great white shark, white shark, man-eater, man-eating shark, Carcharodon carcharias
gist.github.com/aaronpolhamus/964a4411c0906315deb9f4a3723aac57 has lines of type:
n02119789 1 kit_fox
n02100735 2 English_setter
n02110185 3 Siberian_husky
therefore numbered on the exact same order as image-net.org/challenges/LSVRC/2012/browse-synsets.php
gist.github.com/yrevar/942d3a0ac09ec9e5eb3a lists all 1k labels as a plaintext file with their benchmark IDs.
{0: 'tench, Tinca tinca',
 1: 'goldfish, Carassius auratus',
 2: 'great white shark, white shark, man-eater, man-eating shark, Carcharodon carcharias',
therefore numbered on sorted order of image-net.org/challenges/LSVRC/2012/browse-synsets.php
The official line numbering in-benchmark-data can be seen at LOC_synset_mapping.txt, e.g. www.kaggle.com/competitions/imagenet-object-localization-challenge/data?select=LOC_synset_mapping.txt
n01440764 tench, Tinca tinca
n01443537 goldfish, Carassius auratus
n01484850 great white shark, white shark, man-eater, man-eating shark, Carcharodon carcharias
huggingface.co/datasets/imagenet-1k also has some useful metrics on the split:
ImageNet subset Updated 2025-07-16
Subset generators:
Unfortunately, since ImageNet is a closed standard no one can upload such pre-made subsets, forcing everybody to download the full dataset, in ImageNet1k, which is huge!
IMDb Updated 2025-07-16
The organic Usenet origins are quite hardcore!
Video 1.
Discogs Founder Kevin Lewandowski interview by AnalogPlanet (2019)
Source.
IMEC Updated 2025-07-16
Video 1.
imec: The Semiconductor Watering Hole by Asianometry (2022)
Source. A key thing they do is have a small prototype fab that brings in-development equipment from different vendors together to make sure the are working well together. Cool.
AI People Updated 2025-07-16
Video 1.
AI Game - LLM-driven NPCs that can talk by Marek Rosa (2023)
. Source. Not the most amazing demo, but the idea is there. Seems to be a preview for AI People. The previous working title seems to have been AI Odyssey.
AI safety Updated 2025-07-16
Basically ensuring that good AI alignment allows us to survive the singularity.
Independence (mathematical logic) Updated 2025-07-16
A theorem is said to be independent from a set of axioms if it cannot be proven neither true nor false from those axioms.
It or its negation could therefore be arbitrarily added to the set of axioms.
Projective elliptic geometry Updated 2025-07-16
Each elliptic space can be modelled with a real projective space. The best thing is to just start thinking about the real projective plane.
Projective space Updated 2025-07-16
A unique projective space can be defined for any vector space.
The projective space associated with a given vector space is denoted .
The definition is to take the vector space, remove the zero element, and identify all elements that lie on the same line, i.e.
The most important initial example to study is the real projective plane.
Infinitesimal generator Updated 2025-07-16
Elements of a Lie algebra can (should!) be seen a continuous analogue to the generating set of a group in finite groups.
For continuous groups however, we can't have a finite generating set in the strict sense, as a finite set won't ever cover every possible point.
But the generator of a Lie algebra can be finite.
And just like in finite groups, where you can specify the full group by specifying only the relationships between generating elements, in the Lie algebra you can almost specify the full group by specifying the relationships between the elements of a generator of the Lie algebra.
This "specification of a relation" is done by defining the Lie bracket.
The reason why the algebra works out well for continuous stuff is that by definition an algebra over a field is a vector space with some extra structure, and we know very well how to make infinitesimal elements in a vector space: just multiply its vectors by a constant that cana be arbitrarily small.
Algebraic structure Updated 2025-07-16
A set plus any number of functions , such that each satisfies some properties of choice.
Key examples:
  • group: one function
  • field: two functions
  • ring: also two functions, but with less restrictive properties

There are unlisted articles, also show them or only show them.