Skip to content

Commit 2a8f66f

Browse files
committed
Refactor benchmark output filenames, discard Bloom filter query, and restore Diff link in footer
1 parent f723079 commit 2a8f66f

33 files changed

Lines changed: 132 additions & 7184 deletions

.gitignore

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,6 @@ backend/snippets.db
1313
backend/raw_functions.json
1414
backend/raw_snippets.json
1515
backend/test_repo/
16-
backend/CoCo-trie/
1716
backend/*.npy
1817
backend/*.db
1918

backend/build_index.py

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -51,8 +51,8 @@ def build_index():
5151
# A rule of thumb is 4 * sqrt(N), but for 2,484+ repos we can use a higher fixed value
5252
nlist = min(100, num_vectors)
5353
quantizer = faiss.IndexFlatL2(EMBEDDING_DIM)
54-
# 32: Number of sub-quantizers, 8: Number of bits per sub-vector
55-
index = faiss.IndexIVFPQ(quantizer, EMBEDDING_DIM, nlist, 32, 8)
54+
# 128: Number of sub-quantizers (was 32), 8: Number of bits per sub-vector
55+
index = faiss.IndexIVFPQ(quantizer, EMBEDDING_DIM, nlist, 128, 8)
5656

5757
print("Training quantizer...")
5858
index.train(embeddings.astype('float32'))
@@ -61,7 +61,7 @@ def build_index():
6161

6262
faiss.write_index(index, FAISS_INDEX_PATH)
6363
print(f"Index saved to {FAISS_INDEX_PATH}")
64-
print(" Index building complete.")
64+
print("[OK] Index building complete.")
6565

6666
if __name__ == "__main__":
6767
build_index()

frontend/i18n/as.json

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -52,5 +52,6 @@
5252
"footer_section_status": "অনুজ্ঞাপত্ৰ আৰু স্থিতি",
5353
"footer_release_date": "প্ৰকাশৰ তাৰিখ:",
5454
"example_queries_label": "মূল্যায়ন কোয়েরি উদাহরণ চেষ্টা করুন (Try an evaluation query example)",
55-
"example_queries_placeholder": "-- এটা মূল্যায়ন কোয়েরি বাছক --"
55+
"example_queries_placeholder": "-- এটা মূল্যায়ন কোয়েরি বাছক --",
56+
"diff_post": "ৱিকিমিডিয়া ডিফ পোষ্ট (Wikimedia Diff post)"
5657
}

frontend/i18n/bn.json

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -52,5 +52,6 @@
5252
"footer_section_status": "লাইসেন্স এবং স্থিতি",
5353
"footer_release_date": "প্রকাশের তারিখ:",
5454
"example_queries_label": "মূল্যায়ন কোয়েরি উদাহরণ চেষ্টা করুন",
55-
"example_queries_placeholder": "-- একটি মূল্যায়ন কোয়েরি নির্বাচন করুন --"
55+
"example_queries_placeholder": "-- একটি মূল্যায়ন কোয়েরি নির্বাচন করুন --",
56+
"diff_post": "উইকিমিডিয়া ডিফ পোস্ট"
5657
}

frontend/i18n/en.json

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -45,6 +45,7 @@
4545
"source": "Source",
4646
"wikidata": "Wikidata Q-item",
4747
"toolhub": "Toolhub",
48+
"diff_post": "Wikimedia Diff post",
4849
"docs": "API",
4950
"presentation": "Presentation",
5051
"group_label": "Repository groups",

frontend/i18n/fr.json

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -54,5 +54,6 @@
5454
"footer_section_status": "Licence et Statut",
5555
"footer_release_date": "Date de sortie :",
5656
"example_queries_label": "Essayer un exemple de requête d'évaluation",
57-
"example_queries_placeholder": "-- Sélectionner une requête d'évaluation --"
57+
"example_queries_placeholder": "-- Sélectionner une requête d'évaluation --",
58+
"diff_post": "Article sur Wikimedia Diff"
5859
}

frontend/i18n/gu.json

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -52,5 +52,6 @@
5252
"footer_section_status": "લાયસન્સ અને સ્થિતિ",
5353
"footer_release_date": "પ્રકાશન તારીખ:",
5454
"example_queries_label": "મૂલ્યાંકন ક્વેરી ઉદાહરણ અજમાવો",
55-
"example_queries_placeholder": "-- મૂલ્યાંકન ક્વેરી પસંદ કરો --"
55+
"example_queries_placeholder": "-- મૂલ્યાંકન ક્વેરી પસંદ કરો --",
56+
"diff_post": "વિકિમીડિયા ડિફ પોસ્ટ"
5657
}

frontend/i18n/hi.json

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -52,5 +52,6 @@
5252
"footer_section_status": "लाइसेंस और स्थिति",
5353
"footer_release_date": "रिलीज़ की तारीख:",
5454
"example_queries_label": "मूल्यांकन क्वेरी उदाहरण आज़माएं",
55-
"example_queries_placeholder": "-- मूल्यांकन क्वेरी चुनें --"
55+
"example_queries_placeholder": "-- मूल्यांकन क्वेरी चुनें --",
56+
"diff_post": "विकिमीडिया डिफ़ पोस्ट"
5657
}

frontend/i18n/it.json

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -35,6 +35,7 @@
3535
"source": "Sorgente",
3636
"wikidata": "Elemento Q di Wikidata",
3737
"toolhub": "Toolhub",
38+
"diff_post": "Post su Wikimedia Diff",
3839
"docs": "API",
3940
"presentation": "Presentazione",
4041
"group_label": "Gruppi di repository",

frontend/i18n/kn.json

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -52,5 +52,6 @@
5252
"footer_section_status": "ಪರವಾನಗಿ ಮತ್ತು ಸ್ಥಿತಿ",
5353
"footer_release_date": "ಬಿಡುగಡೆ ದಿನಾಂಕ:",
5454
"example_queries_label": "ಮೌಲ್ಯಮಾಪನ ಪ್ರಶ್ನೆಯ ಉದಾಹರಣೆಯನ್ನು ప్రయత్ಿಸಿ",
55-
"example_queries_placeholder": "-- ಮೌಲ್ಯಮಾపನ ಪ್ರಶ್ನೆಯನ್ನು ఆರಿಸಿ --"
55+
"example_queries_placeholder": "-- ಮೌಲ್ಯಮಾపನ ಪ್ರಶ್ನೆಯನ್ನು ఆರಿಸಿ --",
56+
"diff_post": "ವಿಕಿಮೀಡಿಯา ಡಿಫ್ ಪೋಸ್ಟ್"
5657
}

0 commit comments

Comments
 (0)