Skip to content

Commit

Permalink
Deploying to netlify from @ 8c90266 🚀
Browse files Browse the repository at this point in the history
  • Loading branch information
@samuelsonric
samuelsonric committed Feb 3, 2024
1 parent 932cba8 commit 726cc93
Show file tree
Hide file tree
Showing 32 changed files with 3,362 additions and 3,353 deletions.
515 changes: 0 additions & 515 deletions about.html
View file

This file was deleted.

246 changes: 217 additions & 29 deletions index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
<html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en"><head>

<meta charset="utf-8">
<meta name="generator" content="quarto-1.3.450">
<meta name="generator" content="quarto-1.4.549">

<meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes">

Expand Down Expand Up @@ -48,7 +48,13 @@
"collapse-after": 3,
"panel-placement": "end",
"type": "overlay",
"limit": 20,
"limit": 50,
"keyboard-shortcut": [
"f",
"/",
"s"
],
"show-item-context": false,
"language": {
"search-no-results-text": "No results",
"search-matching-documents-text": "matching documents",
Expand All @@ -57,6 +63,7 @@
"search-more-match-text": "more match in this document",
"search-more-matches-text": "more matches in this document",
"search-clear-button-title": "Clear",
"search-text-placeholder": "",
"search-detached-cancel-button-title": "Cancel",
"search-submit-button-title": "Submit",
"search-label": "Search"
Expand All @@ -71,9 +78,9 @@

<div id="quarto-search-results"></div>
<header id="quarto-header" class="headroom fixed-top">
<nav class="navbar navbar-expand-sm navbar-dark ">
<nav class="navbar navbar-expand-sm " data-bs-theme="dark">
<div class="navbar-container container-fluid">
<div class="navbar-brand-container">
<div class="navbar-brand-container mx-auto">
<a href="./index.html" class="navbar-brand navbar-brand-logo">
<img src="./_assets/gatas_logo.png" alt="" class="navbar-logo">
</a>
Expand All @@ -88,40 +95,32 @@
<div class="collapse navbar-collapse" id="navbarCollapse">
<ul class="navbar-nav navbar-nav-scroll ms-auto">
<li class="nav-item">
<a class="nav-link" href="./about.html" rel="" target="">
<span class="menu-text">About</span></a>
<a class="nav-link" href="./members.html">
<span class="menu-text">Members</span></a>
</li>
<li class="nav-item">
<a class="nav-link" href="./members.html" rel="" target="">
<span class="menu-text">Members</span></a>
<a class="nav-link" href="./research.html">
<span class="menu-text">Research</span></a>
</li>
<li class="nav-item">
<a class="nav-link" href="./seminars.html" rel="" target="">
<span class="menu-text">Seminars</span></a>
</li>
<li class="nav-item">
<a class="nav-link" href="./research.html" rel="" target="">
<span class="menu-text">Current Work</span></a>
</li>
<li class="nav-item">
<a class="nav-link" href="https://blog.algebraicjulia.org/" rel="" target="">
<span class="menu-text">Blog</span></a>
<a class="nav-link" href="https://blog.algebraicjulia.org/">
<span class="menu-text">Blog</span></a>
</li>
<li class="nav-item compact">
<a class="nav-link" href="https://github.com/AlgebraicJulia" rel="" target=""><i class="bi bi-github" role="img">
<a class="nav-link" href="https://github.com/AlgebraicJulia"> <i class="bi bi-github" role="img">
</i>
<span class="menu-text"></span></a>
<span class="menu-text"></span></a>
</li>
<li class="nav-item compact">
<a class="nav-link" href="https://www.algebraicjulia.org/" rel="" target=""><i class="bi bi-favicon.ico" role="img">
<a class="nav-link" href="https://www.algebraicjulia.org/"> <i class="bi bi-favicon.ico" role="img">
</i>
<span class="menu-text"></span></a>
<span class="menu-text"></span></a>
</li>
</ul>
<div class="quarto-navbar-tools">
</div> <!-- /navcollapse -->
<div class="quarto-navbar-tools">
<a href="" class="quarto-color-scheme-toggle quarto-navigation-tool px-1" onclick="window.quartoToggleColorScheme(); return false;" title="Toggle dark mode"><i class="bi"></i></a>
</div>
</div> <!-- /navcollapse -->
</div> <!-- /container-fluid -->
</nav>
</header>
Expand All @@ -148,12 +147,17 @@ <h1 class="title">The GATAS Laboratory</h1>
</div>



</header>


<p>The GATAS laboratory uses applied category theory to develop novel approaches to scientific computing. We are domain-agnostic, solving problems in <a href="https://arxiv.org/abs/2105.12282">dynamics</a>, <a href="https://github.com/AlgebraicJulia/Decapodes.jl">physics</a>, <a href="https://royalsocietypublishing.org/doi/abs/10.1098/rsta.2021.0309">biology</a>, <a href="https://arxiv.org/abs/2301.01445">the life sciences</a>, and <a href="https://arxiv.org/abs/2305.03820">industrial engineering</a>. The laboratory works closely with Evan Patterson’s research group at the <a href="https://topos.institute">Topos Institute</a> to maintain and develop the <a href="https://www.algebraicjulia.org/">AlgebraicJulia</a> software ecosystem.</p>
<p>See the laboratory’s <a href="./about.html">About</a> page to learn more about our research goals and philosophy.</p>
<section id="philosophy" class="level2">
<h2 class="anchored" data-anchor-id="philosophy">Philosophy</h2>
<p>Scientists develop simulations by translating scientific concepts into mathematical models, and then embodying those models in software. We seek to automate this process using <a href="https://en.wikipedia.org/wiki/Category_theory">category theory</a>. Category theory is a mathematical language rich enough in abstraction to represent any scientific concept, yet pliable enough to manipulate efficiently with a computer. The software in <a href="https://www.algebraicjulia.org/">AlgebraicJulia</a> encodes a number of these abstractions; with it, scientists can build powerful, robust, and bespoke scientific models without starting from scratch in each domain.</p>


</section>

</main> <!-- /main -->
<script id="quarto-html-after-body" type="application/javascript">
Expand Down Expand Up @@ -199,6 +203,33 @@ <h1 class="title">The GATAS Laboratory</h1>
}
}
}
const toggleGiscusIfUsed = (isAlternate, darkModeDefault) => {
const baseTheme = document.querySelector('#giscus-base-theme')?.value ?? 'light';
const alternateTheme = document.querySelector('#giscus-alt-theme')?.value ?? 'dark';
let newTheme = '';
if(darkModeDefault) {
newTheme = isAlternate ? baseTheme : alternateTheme;
} else {
newTheme = isAlternate ? alternateTheme : baseTheme;
}
const changeGiscusTheme = () => {
// From: https://github.com/giscus/giscus/issues/336
const sendMessage = (message) => {
const iframe = document.querySelector('iframe.giscus-frame');
if (!iframe) return;
iframe.contentWindow.postMessage({ giscus: message }, 'https://giscus.app');
}
sendMessage({
setConfig: {
theme: newTheme
}
});
}
const isGiscussLoaded = window.document.querySelector('iframe.giscus-frame') !== null;
if (isGiscussLoaded) {
changeGiscusTheme();
}
}
const toggleColorMode = (alternate) => {
// Switch the stylesheets
const alternateStylesheets = window.document.querySelectorAll('link.quarto-color-scheme.quarto-color-alternate');
Expand Down Expand Up @@ -265,13 +296,15 @@ <h1 class="title">The GATAS Laboratory</h1>
return localAlternateSentinel;
}
}
let localAlternateSentinel = 'default';
const darkModeDefault = false;
let localAlternateSentinel = darkModeDefault ? 'alternate' : 'default';
// Dark / light mode switch
window.quartoToggleColorScheme = () => {
// Read the current dark / light value
let toAlternate = !hasAlternateSentinel();
toggleColorMode(toAlternate);
setStyleSentinel(toAlternate);
toggleGiscusIfUsed(toAlternate, darkModeDefault);
};
// Ensure there is a toggle, if there isn't float one in the top right
if (window.document.querySelector('.quarto-color-scheme-toggle') === null) {
Expand Down Expand Up @@ -350,10 +383,9 @@ <h1 class="title">The GATAS Laboratory</h1>
// clear code selection
e.clearSelection();
});
function tippyHover(el, contentFn) {
function tippyHover(el, contentFn, onTriggerFn, onUntriggerFn) {
const config = {
allowHTML: true,
content: contentFn,
maxWidth: 500,
delay: 100,
arrow: false,
Expand All @@ -363,8 +395,17 @@ <h1 class="title">The GATAS Laboratory</h1>
interactive: true,
interactiveBorder: 10,
theme: 'quarto',
placement: 'bottom-start'
placement: 'bottom-start',
};
if (contentFn) {
config.content = contentFn;
}
if (onTriggerFn) {
config.onTrigger = onTriggerFn;
}
if (onUntriggerFn) {
config.onUntrigger = onUntriggerFn;
}
window.tippy(el, config);
}
const noterefs = window.document.querySelectorAll('a[role="doc-noteref"]');
Expand All @@ -378,6 +419,125 @@ <h1 class="title">The GATAS Laboratory</h1>
const note = window.document.getElementById(id);
return note.innerHTML;
});
}
const xrefs = window.document.querySelectorAll('a.quarto-xref');
const processXRef = (id, note) => {
// Strip column container classes
const stripColumnClz = (el) => {
el.classList.remove("page-full", "page-columns");
if (el.children) {
for (const child of el.children) {
stripColumnClz(child);
}
}
}
stripColumnClz(note)
if (id === null || id.startsWith('sec-')) {
// Special case sections, only their first couple elements
const container = document.createElement("div");
if (note.children && note.children.length > 2) {
container.appendChild(note.children[0].cloneNode(true));
for (let i = 1; i < note.children.length; i++) {
const child = note.children[i];
if (child.tagName === "P" && child.innerText === "") {
continue;
} else {
container.appendChild(child.cloneNode(true));
break;
}
}
if (window.Quarto?.typesetMath) {
window.Quarto.typesetMath(container);
}
return container.innerHTML
} else {
if (window.Quarto?.typesetMath) {
window.Quarto.typesetMath(note);
}
return note.innerHTML;
}
} else {
// Remove any anchor links if they are present
const anchorLink = note.querySelector('a.anchorjs-link');
if (anchorLink) {
anchorLink.remove();
}
if (window.Quarto?.typesetMath) {
window.Quarto.typesetMath(note);
}
// TODO in 1.5, we should make sure this works without a callout special case
if (note.classList.contains("callout")) {
return note.outerHTML;
} else {
return note.innerHTML;
}
}
}
for (var i=0; i<xrefs.length; i++) {
const xref = xrefs[i];
tippyHover(xref, undefined, function(instance) {
instance.disable();
let url = xref.getAttribute('href');
let hash = undefined;
if (url.startsWith('#')) {
hash = url;
} else {
try { hash = new URL(url).hash; } catch {}
}
if (hash) {
const id = hash.replace(/^#\/?/, "");
const note = window.document.getElementById(id);
if (note !== null) {
try {
const html = processXRef(id, note.cloneNode(true));
instance.setContent(html);
} finally {
instance.enable();
instance.show();
}
} else {
// See if we can fetch this
fetch(url.split('#')[0])
.then(res => res.text())
.then(html => {
const parser = new DOMParser();
const htmlDoc = parser.parseFromString(html, "text/html");
const note = htmlDoc.getElementById(id);
if (note !== null) {
const html = processXRef(id, note);
instance.setContent(html);
}
}).finally(() => {
instance.enable();
instance.show();
});
}
} else {
// See if we can fetch a full url (with no hash to target)
// This is a special case and we should probably do some content thinning / targeting
fetch(url)
.then(res => res.text())
.then(html => {
const parser = new DOMParser();
const htmlDoc = parser.parseFromString(html, "text/html");
const note = htmlDoc.querySelector('main.content');
if (note !== null) {
// This should only happen for chapter cross references
// (since there is no id in the URL)
// remove the first header
if (note.children.length > 0 && note.children[0].tagName === "HEADER") {
note.children[0].remove();
}
const html = processXRef(null, note);
instance.setContent(html);
}
}).finally(() => {
instance.enable();
instance.show();
});
}
}, function(instance) {
});
}
let selectedAnnoteEl;
const selectorForAnnotation = ( cell, annotation) => {
Expand Down Expand Up @@ -420,6 +580,7 @@ <h1 class="title">The GATAS Laboratory</h1>
}
div.style.top = top - 2 + "px";
div.style.height = height + 4 + "px";
div.style.left = 0;
let gutterDiv = window.document.getElementById("code-annotation-line-highlight-gutter");
if (gutterDiv === null) {
gutterDiv = window.document.createElement("div");
Expand All @@ -445,6 +606,32 @@ <h1 class="title">The GATAS Laboratory</h1>
});
selectedAnnoteEl = undefined;
};
// Handle positioning of the toggle
window.addEventListener(
"resize",
throttle(() => {
elRect = undefined;
if (selectedAnnoteEl) {
selectCodeLines(selectedAnnoteEl);
}
}, 10)
);
function throttle(fn, ms) {
let throttle = false;
let timer;
return (...args) => {
if(!throttle) { // first call gets through
fn.apply(this, args);
throttle = true;
} else { // all the others get throttled
if(timer) clearTimeout(timer); // cancel #2
timer = setTimeout(() => {
fn.apply(this, args);
timer = throttle = false;
}, ms);
}
};
}
// Attach click handler to the DT
const annoteDls = window.document.querySelectorAll('dt[data-target-cell]');
for (const annoteDlNode of annoteDls) {
Expand Down Expand Up @@ -508,4 +695,5 @@ <h1 class="title">The GATAS Laboratory</h1>




</body></html>
8 changes: 0 additions & 8 deletions listings.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -13,13 +13,5 @@
"/members/richardsamuelson.html",
"/members/cuffaromatt.html"
]
},
{
"listing": "/research.html",
"items": [
"/recent_pubs/pub3.html",
"/recent_pubs/pub1.html",
"/recent_pubs/pub2.html"
]
}
]
Loading

0 comments on commit 726cc93

Please sign in to comment.