Publish site
Browse files- about.html +87 -0
- index.html +87 -0
- posts/hello.html +87 -0
- posts/hybrid-search-retrieval-bm25-modernbert.html +87 -0
- posts/index.html +87 -0
- posts/latex-equations.html +87 -0
about.html
CHANGED
|
@@ -175,6 +175,93 @@ ul.task-list li input[type="checkbox"] {
|
|
| 175 |
</section>
|
| 176 |
|
| 177 |
</main> <!-- /main -->
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 178 |
<script id="quarto-html-after-body" type="application/javascript">
|
| 179 |
window.document.addEventListener("DOMContentLoaded", function (event) {
|
| 180 |
const icon = "";
|
|
|
|
| 175 |
</section>
|
| 176 |
|
| 177 |
</main> <!-- /main -->
|
| 178 |
+
<script>
|
| 179 |
+
(function () {
|
| 180 |
+
try {
|
| 181 |
+
var inIframe = window.top !== window.self;
|
| 182 |
+
if (!inIframe) return;
|
| 183 |
+
|
| 184 |
+
function ensureNoopener(a) {
|
| 185 |
+
var rel = (a.getAttribute("rel") || "").trim();
|
| 186 |
+
if (!rel) {
|
| 187 |
+
a.setAttribute("rel", "noopener");
|
| 188 |
+
return;
|
| 189 |
+
}
|
| 190 |
+
if (!rel.split(/\s+/).includes("noopener")) {
|
| 191 |
+
a.setAttribute("rel", (rel + " noopener").trim());
|
| 192 |
+
}
|
| 193 |
+
}
|
| 194 |
+
|
| 195 |
+
function isInternalLink(href) {
|
| 196 |
+
if (!href) return false;
|
| 197 |
+
if (href.startsWith("#")) return false;
|
| 198 |
+
if (href.startsWith("mailto:")) return false;
|
| 199 |
+
if (href.startsWith("javascript:")) return false;
|
| 200 |
+
if (href.startsWith("/")) return true;
|
| 201 |
+
if (href.startsWith("http://") || href.startsWith("https://")) {
|
| 202 |
+
try {
|
| 203 |
+
var u = new URL(href, window.location.href);
|
| 204 |
+
return u.origin === window.location.origin;
|
| 205 |
+
} catch (e) {
|
| 206 |
+
return false;
|
| 207 |
+
}
|
| 208 |
+
}
|
| 209 |
+
// relative
|
| 210 |
+
return true;
|
| 211 |
+
}
|
| 212 |
+
|
| 213 |
+
function retargetInternalLinks() {
|
| 214 |
+
var links = document.querySelectorAll("a[href]");
|
| 215 |
+
for (var i = 0; i < links.length; i++) {
|
| 216 |
+
var a = links[i];
|
| 217 |
+
var href = a.getAttribute("href");
|
| 218 |
+
if (!isInternalLink(href)) continue;
|
| 219 |
+
a.setAttribute("target", "_top");
|
| 220 |
+
ensureNoopener(a);
|
| 221 |
+
}
|
| 222 |
+
}
|
| 223 |
+
|
| 224 |
+
function insertShareableLinkNotice() {
|
| 225 |
+
var main = document.querySelector("main.content");
|
| 226 |
+
if (!main) return;
|
| 227 |
+
if (document.getElementById("hf-embed-notice")) return;
|
| 228 |
+
|
| 229 |
+
var wrap = document.createElement("div");
|
| 230 |
+
wrap.id = "hf-embed-notice";
|
| 231 |
+
wrap.style.cssText =
|
| 232 |
+
"border:1px solid #e5e7eb;border-radius:10px;padding:10px 12px;" +
|
| 233 |
+
"background:#f9fafb;color:#111827;margin:0 0 16px 0;font-size:0.95rem;";
|
| 234 |
+
|
| 235 |
+
var a = document.createElement("a");
|
| 236 |
+
a.href = window.location.href;
|
| 237 |
+
a.target = "_top";
|
| 238 |
+
a.rel = "noopener";
|
| 239 |
+
a.textContent = "Open this page directly";
|
| 240 |
+
a.style.cssText = "font-weight:600;text-decoration:underline;";
|
| 241 |
+
|
| 242 |
+
wrap.appendChild(
|
| 243 |
+
document.createTextNode(
|
| 244 |
+
"You are viewing this site embedded in the Hugging Face Space page. " +
|
| 245 |
+
"The address bar won\u2019t change as you navigate. "
|
| 246 |
+
)
|
| 247 |
+
);
|
| 248 |
+
wrap.appendChild(a);
|
| 249 |
+
wrap.appendChild(document.createTextNode(" for a shareable URL."));
|
| 250 |
+
|
| 251 |
+
main.insertBefore(wrap, main.firstChild);
|
| 252 |
+
}
|
| 253 |
+
|
| 254 |
+
retargetInternalLinks();
|
| 255 |
+
insertShareableLinkNotice();
|
| 256 |
+
window.addEventListener("DOMContentLoaded", function () {
|
| 257 |
+
retargetInternalLinks();
|
| 258 |
+
insertShareableLinkNotice();
|
| 259 |
+
});
|
| 260 |
+
} catch (e) {
|
| 261 |
+
// no-op
|
| 262 |
+
}
|
| 263 |
+
})();
|
| 264 |
+
</script>
|
| 265 |
<script id="quarto-html-after-body" type="application/javascript">
|
| 266 |
window.document.addEventListener("DOMContentLoaded", function (event) {
|
| 267 |
const icon = "";
|
index.html
CHANGED
|
@@ -267,6 +267,93 @@ Redis AI Research
|
|
| 267 |
</div>
|
| 268 |
<div class="listing-no-matching d-none">No matching items</div>
|
| 269 |
</div></main> <!-- /main -->
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 270 |
<script id="quarto-html-after-body" type="application/javascript">
|
| 271 |
window.document.addEventListener("DOMContentLoaded", function (event) {
|
| 272 |
const icon = "";
|
|
|
|
| 267 |
</div>
|
| 268 |
<div class="listing-no-matching d-none">No matching items</div>
|
| 269 |
</div></main> <!-- /main -->
|
| 270 |
+
<script>
|
| 271 |
+
(function () {
|
| 272 |
+
try {
|
| 273 |
+
var inIframe = window.top !== window.self;
|
| 274 |
+
if (!inIframe) return;
|
| 275 |
+
|
| 276 |
+
function ensureNoopener(a) {
|
| 277 |
+
var rel = (a.getAttribute("rel") || "").trim();
|
| 278 |
+
if (!rel) {
|
| 279 |
+
a.setAttribute("rel", "noopener");
|
| 280 |
+
return;
|
| 281 |
+
}
|
| 282 |
+
if (!rel.split(/\s+/).includes("noopener")) {
|
| 283 |
+
a.setAttribute("rel", (rel + " noopener").trim());
|
| 284 |
+
}
|
| 285 |
+
}
|
| 286 |
+
|
| 287 |
+
function isInternalLink(href) {
|
| 288 |
+
if (!href) return false;
|
| 289 |
+
if (href.startsWith("#")) return false;
|
| 290 |
+
if (href.startsWith("mailto:")) return false;
|
| 291 |
+
if (href.startsWith("javascript:")) return false;
|
| 292 |
+
if (href.startsWith("/")) return true;
|
| 293 |
+
if (href.startsWith("http://") || href.startsWith("https://")) {
|
| 294 |
+
try {
|
| 295 |
+
var u = new URL(href, window.location.href);
|
| 296 |
+
return u.origin === window.location.origin;
|
| 297 |
+
} catch (e) {
|
| 298 |
+
return false;
|
| 299 |
+
}
|
| 300 |
+
}
|
| 301 |
+
// relative
|
| 302 |
+
return true;
|
| 303 |
+
}
|
| 304 |
+
|
| 305 |
+
function retargetInternalLinks() {
|
| 306 |
+
var links = document.querySelectorAll("a[href]");
|
| 307 |
+
for (var i = 0; i < links.length; i++) {
|
| 308 |
+
var a = links[i];
|
| 309 |
+
var href = a.getAttribute("href");
|
| 310 |
+
if (!isInternalLink(href)) continue;
|
| 311 |
+
a.setAttribute("target", "_top");
|
| 312 |
+
ensureNoopener(a);
|
| 313 |
+
}
|
| 314 |
+
}
|
| 315 |
+
|
| 316 |
+
function insertShareableLinkNotice() {
|
| 317 |
+
var main = document.querySelector("main.content");
|
| 318 |
+
if (!main) return;
|
| 319 |
+
if (document.getElementById("hf-embed-notice")) return;
|
| 320 |
+
|
| 321 |
+
var wrap = document.createElement("div");
|
| 322 |
+
wrap.id = "hf-embed-notice";
|
| 323 |
+
wrap.style.cssText =
|
| 324 |
+
"border:1px solid #e5e7eb;border-radius:10px;padding:10px 12px;" +
|
| 325 |
+
"background:#f9fafb;color:#111827;margin:0 0 16px 0;font-size:0.95rem;";
|
| 326 |
+
|
| 327 |
+
var a = document.createElement("a");
|
| 328 |
+
a.href = window.location.href;
|
| 329 |
+
a.target = "_top";
|
| 330 |
+
a.rel = "noopener";
|
| 331 |
+
a.textContent = "Open this page directly";
|
| 332 |
+
a.style.cssText = "font-weight:600;text-decoration:underline;";
|
| 333 |
+
|
| 334 |
+
wrap.appendChild(
|
| 335 |
+
document.createTextNode(
|
| 336 |
+
"You are viewing this site embedded in the Hugging Face Space page. " +
|
| 337 |
+
"The address bar won\u2019t change as you navigate. "
|
| 338 |
+
)
|
| 339 |
+
);
|
| 340 |
+
wrap.appendChild(a);
|
| 341 |
+
wrap.appendChild(document.createTextNode(" for a shareable URL."));
|
| 342 |
+
|
| 343 |
+
main.insertBefore(wrap, main.firstChild);
|
| 344 |
+
}
|
| 345 |
+
|
| 346 |
+
retargetInternalLinks();
|
| 347 |
+
insertShareableLinkNotice();
|
| 348 |
+
window.addEventListener("DOMContentLoaded", function () {
|
| 349 |
+
retargetInternalLinks();
|
| 350 |
+
insertShareableLinkNotice();
|
| 351 |
+
});
|
| 352 |
+
} catch (e) {
|
| 353 |
+
// no-op
|
| 354 |
+
}
|
| 355 |
+
})();
|
| 356 |
+
</script>
|
| 357 |
<script id="quarto-html-after-body" type="application/javascript">
|
| 358 |
window.document.addEventListener("DOMContentLoaded", function (event) {
|
| 359 |
const icon = "";
|
posts/hello.html
CHANGED
|
@@ -176,6 +176,93 @@ ul.task-list li input[type="checkbox"] {
|
|
| 176 |
</section>
|
| 177 |
|
| 178 |
</main> <!-- /main -->
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 179 |
<script id="quarto-html-after-body" type="application/javascript">
|
| 180 |
window.document.addEventListener("DOMContentLoaded", function (event) {
|
| 181 |
const icon = "";
|
|
|
|
| 176 |
</section>
|
| 177 |
|
| 178 |
</main> <!-- /main -->
|
| 179 |
+
<script>
|
| 180 |
+
(function () {
|
| 181 |
+
try {
|
| 182 |
+
var inIframe = window.top !== window.self;
|
| 183 |
+
if (!inIframe) return;
|
| 184 |
+
|
| 185 |
+
function ensureNoopener(a) {
|
| 186 |
+
var rel = (a.getAttribute("rel") || "").trim();
|
| 187 |
+
if (!rel) {
|
| 188 |
+
a.setAttribute("rel", "noopener");
|
| 189 |
+
return;
|
| 190 |
+
}
|
| 191 |
+
if (!rel.split(/\s+/).includes("noopener")) {
|
| 192 |
+
a.setAttribute("rel", (rel + " noopener").trim());
|
| 193 |
+
}
|
| 194 |
+
}
|
| 195 |
+
|
| 196 |
+
function isInternalLink(href) {
|
| 197 |
+
if (!href) return false;
|
| 198 |
+
if (href.startsWith("#")) return false;
|
| 199 |
+
if (href.startsWith("mailto:")) return false;
|
| 200 |
+
if (href.startsWith("javascript:")) return false;
|
| 201 |
+
if (href.startsWith("/")) return true;
|
| 202 |
+
if (href.startsWith("http://") || href.startsWith("https://")) {
|
| 203 |
+
try {
|
| 204 |
+
var u = new URL(href, window.location.href);
|
| 205 |
+
return u.origin === window.location.origin;
|
| 206 |
+
} catch (e) {
|
| 207 |
+
return false;
|
| 208 |
+
}
|
| 209 |
+
}
|
| 210 |
+
// relative
|
| 211 |
+
return true;
|
| 212 |
+
}
|
| 213 |
+
|
| 214 |
+
function retargetInternalLinks() {
|
| 215 |
+
var links = document.querySelectorAll("a[href]");
|
| 216 |
+
for (var i = 0; i < links.length; i++) {
|
| 217 |
+
var a = links[i];
|
| 218 |
+
var href = a.getAttribute("href");
|
| 219 |
+
if (!isInternalLink(href)) continue;
|
| 220 |
+
a.setAttribute("target", "_top");
|
| 221 |
+
ensureNoopener(a);
|
| 222 |
+
}
|
| 223 |
+
}
|
| 224 |
+
|
| 225 |
+
function insertShareableLinkNotice() {
|
| 226 |
+
var main = document.querySelector("main.content");
|
| 227 |
+
if (!main) return;
|
| 228 |
+
if (document.getElementById("hf-embed-notice")) return;
|
| 229 |
+
|
| 230 |
+
var wrap = document.createElement("div");
|
| 231 |
+
wrap.id = "hf-embed-notice";
|
| 232 |
+
wrap.style.cssText =
|
| 233 |
+
"border:1px solid #e5e7eb;border-radius:10px;padding:10px 12px;" +
|
| 234 |
+
"background:#f9fafb;color:#111827;margin:0 0 16px 0;font-size:0.95rem;";
|
| 235 |
+
|
| 236 |
+
var a = document.createElement("a");
|
| 237 |
+
a.href = window.location.href;
|
| 238 |
+
a.target = "_top";
|
| 239 |
+
a.rel = "noopener";
|
| 240 |
+
a.textContent = "Open this page directly";
|
| 241 |
+
a.style.cssText = "font-weight:600;text-decoration:underline;";
|
| 242 |
+
|
| 243 |
+
wrap.appendChild(
|
| 244 |
+
document.createTextNode(
|
| 245 |
+
"You are viewing this site embedded in the Hugging Face Space page. " +
|
| 246 |
+
"The address bar won\u2019t change as you navigate. "
|
| 247 |
+
)
|
| 248 |
+
);
|
| 249 |
+
wrap.appendChild(a);
|
| 250 |
+
wrap.appendChild(document.createTextNode(" for a shareable URL."));
|
| 251 |
+
|
| 252 |
+
main.insertBefore(wrap, main.firstChild);
|
| 253 |
+
}
|
| 254 |
+
|
| 255 |
+
retargetInternalLinks();
|
| 256 |
+
insertShareableLinkNotice();
|
| 257 |
+
window.addEventListener("DOMContentLoaded", function () {
|
| 258 |
+
retargetInternalLinks();
|
| 259 |
+
insertShareableLinkNotice();
|
| 260 |
+
});
|
| 261 |
+
} catch (e) {
|
| 262 |
+
// no-op
|
| 263 |
+
}
|
| 264 |
+
})();
|
| 265 |
+
</script>
|
| 266 |
<script id="quarto-html-after-body" type="application/javascript">
|
| 267 |
window.document.addEventListener("DOMContentLoaded", function (event) {
|
| 268 |
const icon = "";
|
posts/hybrid-search-retrieval-bm25-modernbert.html
CHANGED
|
@@ -263,6 +263,93 @@ ul.task-list li input[type="checkbox"] {
|
|
| 263 |
</section>
|
| 264 |
|
| 265 |
</main> <!-- /main -->
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 266 |
<script id="quarto-html-after-body" type="application/javascript">
|
| 267 |
window.document.addEventListener("DOMContentLoaded", function (event) {
|
| 268 |
const icon = "";
|
|
|
|
| 263 |
</section>
|
| 264 |
|
| 265 |
</main> <!-- /main -->
|
| 266 |
+
<script>
|
| 267 |
+
(function () {
|
| 268 |
+
try {
|
| 269 |
+
var inIframe = window.top !== window.self;
|
| 270 |
+
if (!inIframe) return;
|
| 271 |
+
|
| 272 |
+
function ensureNoopener(a) {
|
| 273 |
+
var rel = (a.getAttribute("rel") || "").trim();
|
| 274 |
+
if (!rel) {
|
| 275 |
+
a.setAttribute("rel", "noopener");
|
| 276 |
+
return;
|
| 277 |
+
}
|
| 278 |
+
if (!rel.split(/\s+/).includes("noopener")) {
|
| 279 |
+
a.setAttribute("rel", (rel + " noopener").trim());
|
| 280 |
+
}
|
| 281 |
+
}
|
| 282 |
+
|
| 283 |
+
function isInternalLink(href) {
|
| 284 |
+
if (!href) return false;
|
| 285 |
+
if (href.startsWith("#")) return false;
|
| 286 |
+
if (href.startsWith("mailto:")) return false;
|
| 287 |
+
if (href.startsWith("javascript:")) return false;
|
| 288 |
+
if (href.startsWith("/")) return true;
|
| 289 |
+
if (href.startsWith("http://") || href.startsWith("https://")) {
|
| 290 |
+
try {
|
| 291 |
+
var u = new URL(href, window.location.href);
|
| 292 |
+
return u.origin === window.location.origin;
|
| 293 |
+
} catch (e) {
|
| 294 |
+
return false;
|
| 295 |
+
}
|
| 296 |
+
}
|
| 297 |
+
// relative
|
| 298 |
+
return true;
|
| 299 |
+
}
|
| 300 |
+
|
| 301 |
+
function retargetInternalLinks() {
|
| 302 |
+
var links = document.querySelectorAll("a[href]");
|
| 303 |
+
for (var i = 0; i < links.length; i++) {
|
| 304 |
+
var a = links[i];
|
| 305 |
+
var href = a.getAttribute("href");
|
| 306 |
+
if (!isInternalLink(href)) continue;
|
| 307 |
+
a.setAttribute("target", "_top");
|
| 308 |
+
ensureNoopener(a);
|
| 309 |
+
}
|
| 310 |
+
}
|
| 311 |
+
|
| 312 |
+
function insertShareableLinkNotice() {
|
| 313 |
+
var main = document.querySelector("main.content");
|
| 314 |
+
if (!main) return;
|
| 315 |
+
if (document.getElementById("hf-embed-notice")) return;
|
| 316 |
+
|
| 317 |
+
var wrap = document.createElement("div");
|
| 318 |
+
wrap.id = "hf-embed-notice";
|
| 319 |
+
wrap.style.cssText =
|
| 320 |
+
"border:1px solid #e5e7eb;border-radius:10px;padding:10px 12px;" +
|
| 321 |
+
"background:#f9fafb;color:#111827;margin:0 0 16px 0;font-size:0.95rem;";
|
| 322 |
+
|
| 323 |
+
var a = document.createElement("a");
|
| 324 |
+
a.href = window.location.href;
|
| 325 |
+
a.target = "_top";
|
| 326 |
+
a.rel = "noopener";
|
| 327 |
+
a.textContent = "Open this page directly";
|
| 328 |
+
a.style.cssText = "font-weight:600;text-decoration:underline;";
|
| 329 |
+
|
| 330 |
+
wrap.appendChild(
|
| 331 |
+
document.createTextNode(
|
| 332 |
+
"You are viewing this site embedded in the Hugging Face Space page. " +
|
| 333 |
+
"The address bar won\u2019t change as you navigate. "
|
| 334 |
+
)
|
| 335 |
+
);
|
| 336 |
+
wrap.appendChild(a);
|
| 337 |
+
wrap.appendChild(document.createTextNode(" for a shareable URL."));
|
| 338 |
+
|
| 339 |
+
main.insertBefore(wrap, main.firstChild);
|
| 340 |
+
}
|
| 341 |
+
|
| 342 |
+
retargetInternalLinks();
|
| 343 |
+
insertShareableLinkNotice();
|
| 344 |
+
window.addEventListener("DOMContentLoaded", function () {
|
| 345 |
+
retargetInternalLinks();
|
| 346 |
+
insertShareableLinkNotice();
|
| 347 |
+
});
|
| 348 |
+
} catch (e) {
|
| 349 |
+
// no-op
|
| 350 |
+
}
|
| 351 |
+
})();
|
| 352 |
+
</script>
|
| 353 |
<script id="quarto-html-after-body" type="application/javascript">
|
| 354 |
window.document.addEventListener("DOMContentLoaded", function (event) {
|
| 355 |
const icon = "";
|
posts/index.html
CHANGED
|
@@ -266,6 +266,93 @@ Redis AI Research
|
|
| 266 |
</div>
|
| 267 |
<div class="listing-no-matching d-none">No matching items</div>
|
| 268 |
</div></main> <!-- /main -->
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 269 |
<script id="quarto-html-after-body" type="application/javascript">
|
| 270 |
window.document.addEventListener("DOMContentLoaded", function (event) {
|
| 271 |
const icon = "";
|
|
|
|
| 266 |
</div>
|
| 267 |
<div class="listing-no-matching d-none">No matching items</div>
|
| 268 |
</div></main> <!-- /main -->
|
| 269 |
+
<script>
|
| 270 |
+
(function () {
|
| 271 |
+
try {
|
| 272 |
+
var inIframe = window.top !== window.self;
|
| 273 |
+
if (!inIframe) return;
|
| 274 |
+
|
| 275 |
+
function ensureNoopener(a) {
|
| 276 |
+
var rel = (a.getAttribute("rel") || "").trim();
|
| 277 |
+
if (!rel) {
|
| 278 |
+
a.setAttribute("rel", "noopener");
|
| 279 |
+
return;
|
| 280 |
+
}
|
| 281 |
+
if (!rel.split(/\s+/).includes("noopener")) {
|
| 282 |
+
a.setAttribute("rel", (rel + " noopener").trim());
|
| 283 |
+
}
|
| 284 |
+
}
|
| 285 |
+
|
| 286 |
+
function isInternalLink(href) {
|
| 287 |
+
if (!href) return false;
|
| 288 |
+
if (href.startsWith("#")) return false;
|
| 289 |
+
if (href.startsWith("mailto:")) return false;
|
| 290 |
+
if (href.startsWith("javascript:")) return false;
|
| 291 |
+
if (href.startsWith("/")) return true;
|
| 292 |
+
if (href.startsWith("http://") || href.startsWith("https://")) {
|
| 293 |
+
try {
|
| 294 |
+
var u = new URL(href, window.location.href);
|
| 295 |
+
return u.origin === window.location.origin;
|
| 296 |
+
} catch (e) {
|
| 297 |
+
return false;
|
| 298 |
+
}
|
| 299 |
+
}
|
| 300 |
+
// relative
|
| 301 |
+
return true;
|
| 302 |
+
}
|
| 303 |
+
|
| 304 |
+
function retargetInternalLinks() {
|
| 305 |
+
var links = document.querySelectorAll("a[href]");
|
| 306 |
+
for (var i = 0; i < links.length; i++) {
|
| 307 |
+
var a = links[i];
|
| 308 |
+
var href = a.getAttribute("href");
|
| 309 |
+
if (!isInternalLink(href)) continue;
|
| 310 |
+
a.setAttribute("target", "_top");
|
| 311 |
+
ensureNoopener(a);
|
| 312 |
+
}
|
| 313 |
+
}
|
| 314 |
+
|
| 315 |
+
function insertShareableLinkNotice() {
|
| 316 |
+
var main = document.querySelector("main.content");
|
| 317 |
+
if (!main) return;
|
| 318 |
+
if (document.getElementById("hf-embed-notice")) return;
|
| 319 |
+
|
| 320 |
+
var wrap = document.createElement("div");
|
| 321 |
+
wrap.id = "hf-embed-notice";
|
| 322 |
+
wrap.style.cssText =
|
| 323 |
+
"border:1px solid #e5e7eb;border-radius:10px;padding:10px 12px;" +
|
| 324 |
+
"background:#f9fafb;color:#111827;margin:0 0 16px 0;font-size:0.95rem;";
|
| 325 |
+
|
| 326 |
+
var a = document.createElement("a");
|
| 327 |
+
a.href = window.location.href;
|
| 328 |
+
a.target = "_top";
|
| 329 |
+
a.rel = "noopener";
|
| 330 |
+
a.textContent = "Open this page directly";
|
| 331 |
+
a.style.cssText = "font-weight:600;text-decoration:underline;";
|
| 332 |
+
|
| 333 |
+
wrap.appendChild(
|
| 334 |
+
document.createTextNode(
|
| 335 |
+
"You are viewing this site embedded in the Hugging Face Space page. " +
|
| 336 |
+
"The address bar won\u2019t change as you navigate. "
|
| 337 |
+
)
|
| 338 |
+
);
|
| 339 |
+
wrap.appendChild(a);
|
| 340 |
+
wrap.appendChild(document.createTextNode(" for a shareable URL."));
|
| 341 |
+
|
| 342 |
+
main.insertBefore(wrap, main.firstChild);
|
| 343 |
+
}
|
| 344 |
+
|
| 345 |
+
retargetInternalLinks();
|
| 346 |
+
insertShareableLinkNotice();
|
| 347 |
+
window.addEventListener("DOMContentLoaded", function () {
|
| 348 |
+
retargetInternalLinks();
|
| 349 |
+
insertShareableLinkNotice();
|
| 350 |
+
});
|
| 351 |
+
} catch (e) {
|
| 352 |
+
// no-op
|
| 353 |
+
}
|
| 354 |
+
})();
|
| 355 |
+
</script>
|
| 356 |
<script id="quarto-html-after-body" type="application/javascript">
|
| 357 |
window.document.addEventListener("DOMContentLoaded", function (event) {
|
| 358 |
const icon = "";
|
posts/latex-equations.html
CHANGED
|
@@ -244,6 +244,93 @@ window.Quarto = {
|
|
| 244 |
</section>
|
| 245 |
|
| 246 |
</main> <!-- /main -->
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 247 |
<script id="quarto-html-after-body" type="application/javascript">
|
| 248 |
window.document.addEventListener("DOMContentLoaded", function (event) {
|
| 249 |
const icon = "";
|
|
|
|
| 244 |
</section>
|
| 245 |
|
| 246 |
</main> <!-- /main -->
|
| 247 |
+
<script>
|
| 248 |
+
(function () {
|
| 249 |
+
try {
|
| 250 |
+
var inIframe = window.top !== window.self;
|
| 251 |
+
if (!inIframe) return;
|
| 252 |
+
|
| 253 |
+
function ensureNoopener(a) {
|
| 254 |
+
var rel = (a.getAttribute("rel") || "").trim();
|
| 255 |
+
if (!rel) {
|
| 256 |
+
a.setAttribute("rel", "noopener");
|
| 257 |
+
return;
|
| 258 |
+
}
|
| 259 |
+
if (!rel.split(/\s+/).includes("noopener")) {
|
| 260 |
+
a.setAttribute("rel", (rel + " noopener").trim());
|
| 261 |
+
}
|
| 262 |
+
}
|
| 263 |
+
|
| 264 |
+
function isInternalLink(href) {
|
| 265 |
+
if (!href) return false;
|
| 266 |
+
if (href.startsWith("#")) return false;
|
| 267 |
+
if (href.startsWith("mailto:")) return false;
|
| 268 |
+
if (href.startsWith("javascript:")) return false;
|
| 269 |
+
if (href.startsWith("/")) return true;
|
| 270 |
+
if (href.startsWith("http://") || href.startsWith("https://")) {
|
| 271 |
+
try {
|
| 272 |
+
var u = new URL(href, window.location.href);
|
| 273 |
+
return u.origin === window.location.origin;
|
| 274 |
+
} catch (e) {
|
| 275 |
+
return false;
|
| 276 |
+
}
|
| 277 |
+
}
|
| 278 |
+
// relative
|
| 279 |
+
return true;
|
| 280 |
+
}
|
| 281 |
+
|
| 282 |
+
function retargetInternalLinks() {
|
| 283 |
+
var links = document.querySelectorAll("a[href]");
|
| 284 |
+
for (var i = 0; i < links.length; i++) {
|
| 285 |
+
var a = links[i];
|
| 286 |
+
var href = a.getAttribute("href");
|
| 287 |
+
if (!isInternalLink(href)) continue;
|
| 288 |
+
a.setAttribute("target", "_top");
|
| 289 |
+
ensureNoopener(a);
|
| 290 |
+
}
|
| 291 |
+
}
|
| 292 |
+
|
| 293 |
+
function insertShareableLinkNotice() {
|
| 294 |
+
var main = document.querySelector("main.content");
|
| 295 |
+
if (!main) return;
|
| 296 |
+
if (document.getElementById("hf-embed-notice")) return;
|
| 297 |
+
|
| 298 |
+
var wrap = document.createElement("div");
|
| 299 |
+
wrap.id = "hf-embed-notice";
|
| 300 |
+
wrap.style.cssText =
|
| 301 |
+
"border:1px solid #e5e7eb;border-radius:10px;padding:10px 12px;" +
|
| 302 |
+
"background:#f9fafb;color:#111827;margin:0 0 16px 0;font-size:0.95rem;";
|
| 303 |
+
|
| 304 |
+
var a = document.createElement("a");
|
| 305 |
+
a.href = window.location.href;
|
| 306 |
+
a.target = "_top";
|
| 307 |
+
a.rel = "noopener";
|
| 308 |
+
a.textContent = "Open this page directly";
|
| 309 |
+
a.style.cssText = "font-weight:600;text-decoration:underline;";
|
| 310 |
+
|
| 311 |
+
wrap.appendChild(
|
| 312 |
+
document.createTextNode(
|
| 313 |
+
"You are viewing this site embedded in the Hugging Face Space page. " +
|
| 314 |
+
"The address bar won\u2019t change as you navigate. "
|
| 315 |
+
)
|
| 316 |
+
);
|
| 317 |
+
wrap.appendChild(a);
|
| 318 |
+
wrap.appendChild(document.createTextNode(" for a shareable URL."));
|
| 319 |
+
|
| 320 |
+
main.insertBefore(wrap, main.firstChild);
|
| 321 |
+
}
|
| 322 |
+
|
| 323 |
+
retargetInternalLinks();
|
| 324 |
+
insertShareableLinkNotice();
|
| 325 |
+
window.addEventListener("DOMContentLoaded", function () {
|
| 326 |
+
retargetInternalLinks();
|
| 327 |
+
insertShareableLinkNotice();
|
| 328 |
+
});
|
| 329 |
+
} catch (e) {
|
| 330 |
+
// no-op
|
| 331 |
+
}
|
| 332 |
+
})();
|
| 333 |
+
</script>
|
| 334 |
<script id="quarto-html-after-body" type="application/javascript">
|
| 335 |
window.document.addEventListener("DOMContentLoaded", function (event) {
|
| 336 |
const icon = "";
|