Navigating This Site

This site is a gross amalgamation of a research notebook, reference manager, and personal website, among other things. It holds 108 notes, 815 references, 2,179 people, 4 talks and 3 recipes.

Click a heading to fold or unfold its section. Press Ctrl-K/⌘K to search. To follow new entries, subscribe to the Atom feed.

Definitions

shown value

typst · 1 line

#let shown = "shown ?X <- visibility ?X \"public\", not unlisted ?X\n"

mine value

typst · 11 lines

#let mine = (
  shown
    + "mine ?X <- shown ?X, kind ?X \"note\", not aside ?X\n"
    + "mine ?X <- shown ?X, kind ?X \"definition\", not aside ?X\n"
    + "mine ?X <- shown ?X, kind ?X \"theorem\", not aside ?X\n"
    + "mine ?X <- shown ?X, kind ?X \"proof\", not aside ?X\n"
    + "aside ?X <- path ?X ?P, prefix ?P \"entries/home/\"\n"
    + "aside ?X <- path ?X ?P, prefix ?P \"entries/macros/\"\n"
    + "aside ?X <- path ?X ?P, prefix ?P \"entries/art/\"\n"
    + "aside ?X <- path ?X ?P, not prefix ?P \"entries/\"\n"
)

notes-program value

typst · 1 line

#let notes-program = mine + "?X, ?D -: mine ?X, sort-date ?X ?D\norder by ?D desc, ?X"

references-program value

typst · 1 line

#let references-program = shown + "?X, ?D -: shown ?X, kind ?X \"reference\", sort-date ?X ?D\norder by ?D desc, ?X"

people-program value

typst · 1 line

#let people-program = shown + "?X -: shown ?X, kind ?X \"person\"\norder by ?X"

recipes-program value

typst · 1 line

#let recipes-program = shown + "?X, ?D -: shown ?X, kind ?X \"recipe\", sort-date ?X ?D\norder by ?D desc, ?X"

talks-program value

typst · 6 lines

#let talks-program = (
  shown
    + "given ?X <- shown ?X, kind ?X \"talk\", speaker ?X \"stevenschaefer\"\n"
    + "given ?X <- shown ?X, kind ?X \"video\", author ?X \"stevenschaefer\"\n"
    + "?X, ?D -: given ?X, sort-date ?X ?D\norder by ?D desc, ?X"
)

count function count(program)

typst · 7 lines

#let count(program) = {
  let s = str(helia.query(program).len())
  let groups = ()
  while s.len() > 3 { groups.insert(0, s.slice(s.len() - 3)); s = s.slice(0, s.len() - 3) }
  groups.insert(0, s)
  groups.join(",")
}