sitemap
1. all nodes
(->> [:select [nodes:id, nodes:title] :from nodes
:where :not :exists [:select :null :from tags
:where (and (= tags:node-id nodes:id)
(in tags:tag ["daily" "private"]))]
:order-by nodes:title]
(org-roam-db-query)
(-map (cl-function (lambda ((id title))
(org-link-make-string (concat "id:" id) title)))))
- A Call-by-Need Lambda Calculus
- A Correspondence Between ALGOL 60 and Church's Lambda-Notation
- A Correspondence Between ALGOL 60 and Church’s Lambda-Notation: Part I
- A Correspondence Between ALGOL 60 and Church’s Lambda-Notation: Part II
- An Adequate Operational Semantics of Sharing in Lazy Evaluation
- An Axiomatic Basis for Computer Programming
- Babel
- Choice trees: Representing and reasoning about nondeterministic, recursive, and impure programs in Rocq
- Codeberg Pages
- Cognitive functioning in new-onset juvenile myoclonic epilepsy
- Computational Comonads and Intensional Semantics
- Dijkstra Monads for All
- Dijkstra monad
- Docker
- Eglot
- Electron
- Emacs
- Evaluation strategies for monadic computations
- Git
- Guarded Commands, Nondeterminacy and Formal Derivation of Programs
- Guix services
- Guix
- Haskell
- Herbrand structure
- Hoare logic
- Krivine machine
- LCF Considered as a Programming Language
- LJ
- LK
- Lean
- Modular Denotational Semantics for Effects with Guarded Interaction Trees
- Nael
- Nix
- NixOS modules
- NixOS
- NixOS/nixpkgs #525631
- Nixpkgs
- Org Mode
- Org-roam
- PCF
- Program Logics à la Carte
- Relational Parametricity and Separation Logic
- Rust
- Semantics of Separation-Logic Typing and Higher-Order Frame Rules
- Separation and information hiding
- Social cognition dysfunctions in patients with epilepsy: Evidence from patients with temporal lobe and idiopathic generalized epilepsies
- Syncthing
- TA a class
- The category-theoretic solution of recursive metric-space equations
- Variation in prognosis and treatment outcome in juvenile myoclonic epilepsy: a Biology of Juvenile Myoclonic Epilepsy Consortium proposal for a practical definition and stratified medicine classifications
- about
- affine combination
- audio compression
- baco
- blogroll
- build a Rust package in Nix
- call-by-name
- classical logic
- code
- cognitive dysfunction in juvenile myoclonic epilepsy
- colophon
- comonad
- compression
- computational comonad
- deep and shallow embeddings
- demand semantics
- denotational semantics
- disability
- disjunction and existence properties
- dynamic logic
- emacs-overlay
- extension and intension
- frame rule
- freer monad
- functions in demand semantics
- higher-order abstract syntax
- hills
- index
- interaction tree
- interactive input-output monad
- intuitionistic logic
- isorecursive types
- join a Zulip
- lean4-mode
- linear logic
- logic of computable functions
- minimal logic
- natural transformation
- nix-darwin
- nix-darwin/nix-darwin #1787
- paraconsistent logic
- parametric higher-order abstract syntax
- parametricity
- predicate transformer semantics
- prefix code
- program logic
- reading list
- recursion in demand semantics
- semantics monad
- sequent calculus
- sitemap
- slashes
- start
- system configuration is logic programming
- systemd
- til
- weakest precondition
2. by tag
(->> [:select [tags:tag, nodes:id, nodes:title] :from tags
:join nodes :on (= tags:node-id nodes:id)
:where :not :exists [:select :null :from tags
:where (and (= tags:node-id nodes:id)
(in tags:tag ["daily" "private"]))]
:order-by [tags:tag nodes:title]]
(org-roam-db-query)
(-group-by #'car)
(-map (cl-function (lambda ((tag . nodes))
(->> nodes
(-map (cl-function (lambda ((tag id title))
(concat "- " (org-link-make-string (concat "id:" id) title) "\n"))))
(cons tag))))))
- howto
- issue
- slash
- stub
- Babel
- Codeberg Pages
- Dijkstra monad
- Docker
- Eglot
- Electron
- Emacs
- Git
- Guix services
- Guix
- Haskell
- Herbrand structure
- Hoare logic
- LJ
- LK
- Lean
- Nael
- Nix
- NixOS modules
- NixOS
- NixOS/nixpkgs #525631
- Nixpkgs
- Org Mode
- Org-roam
- Rust
- Syncthing
- TA a class
- affine combination
- baco
- call-by-name
- classical logic
- code
- cognitive dysfunction in juvenile myoclonic epilepsy
- comonad
- compression
- deep and shallow embeddings
- demand semantics
- denotational semantics
- dynamic logic
- emacs-overlay
- extension and intension
- frame rule
- freer monad
- higher-order abstract syntax
- interaction tree
- interactive input-output monad
- intuitionistic logic
- isorecursive types
- join a Zulip
- lean4-mode
- linear logic
- logic of computable functions
- minimal logic
- natural transformation
- nix-darwin
- paraconsistent logic
- parametric higher-order abstract syntax
- parametricity
- predicate transformer semantics
- prefix code
- program logic
- recursion in demand semantics
- semantics monad
- sequent calculus
- start
- system configuration is logic programming
- systemd
- weakest precondition
- talk
- til