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
- A Lambda-Calculus Structure Isomorphic to Gentzen-Style Sequent Calculus Structure
- 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
- Elm
- 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
- Lambda-Mu-Calculus: An Algorithmic Interpretation of Classical Natural Deduction
- Lean
- Modular Denotational Semantics for Effects with Guarded Interaction Trees
- Nael
- Nix
- NixOS modules
- NixOS
- NixOS/nixpkgs #525631
- NixOS/nixpkgs #548631
- Nixpkgs
- Org Mode
- Org-roam
- PCF
- Pierce's law
- 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 Next 700 Relational Program Logics
- 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
- arithmetical hierarchy
- audio compression
- baco
- blogroll
- build a Rust package in Nix
- call-by-name
- call-by-value
- choice trees
- classical axiom
- classical logic
- code
- cognitive dysfunction in juvenile myoclonic epilepsy
- colophon
- comonad
- compression
- computational comonad
- critical pair
- cut elimination
- deep and shallow embeddings
- demand semantics
- denotational semantics
- disability
- disjunction and existence properties
- double negation elimination
- dual calculus
- dynamic logic
- emacs-overlay
- extension and intension
- frame rule
- freer monad
- functions in demand semantics
- generalized excluded middle
- higher-order abstract syntax
- hills
- index
- interaction trees
- interactive input-output monad
- intuitionistic logic
- isorecursive types
- join a Zulip
- lambda-bar-mu calculus
- lambda-bar-mu-mu-tilde calculus
- lambda-mu-calculus
- law of excluded middle
- lean4-mode
- linear logic
- logic of computable functions
- minimal classical logic
- minimal logic
- model-view-update
- most general unifier
- natural deduction vs sequent calculus
- natural deduction
- natural transformation
- nix-darwin
- nix-darwin/nix-darwin #1787
- paraconsistent logic
- parametric higher-order abstract syntax
- parametricity
- predicate transformer semantics
- prefix code
- prenex normal form
- principle of explosion
- program logic
- reading list
- recursion in demand semantics
- semantics monad
- sequent calculus
- sitemap
- slashes
- start
- subject reduction
- systemd
- tautology
- term assignment system
- term rewriting system
- til
- weak Pierce's law
- 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))))))
- closed
- concept
- LJ
- LK
- Pierce's law
- arithmetical hierarchy
- classical axiom
- critical pair
- double negation elimination
- dual calculus
- generalized excluded middle
- lambda-bar-mu calculus
- lambda-bar-mu-mu-tilde calculus
- law of excluded middle
- minimal classical logic
- most general unifier
- natural deduction
- prenex normal form
- sequent calculus
- subject reduction
- tautology
- term assignment system
- weak Pierce's law
- howto
- issue
- open
- slash
- stub
- Babel
- Codeberg Pages
- Dijkstra monad
- Docker
- Eglot
- Electron
- Elm
- Emacs
- Git
- Guix services
- Guix
- Haskell
- Herbrand structure
- Hoare logic
- LJ
- LK
- Lean
- Nael
- Nix
- NixOS modules
- NixOS
- Nixpkgs
- Org Mode
- Org-roam
- Pierce's law
- Rust
- Syncthing
- TA a class
- affine combination
- baco
- call-by-name
- call-by-value
- choice trees
- classical axiom
- classical logic
- code
- cognitive dysfunction in juvenile myoclonic epilepsy
- comonad
- compression
- critical pair
- cut elimination
- deep and shallow embeddings
- demand semantics
- denotational semantics
- double negation elimination
- dual calculus
- dynamic logic
- emacs-overlay
- extension and intension
- frame rule
- freer monad
- generalized excluded middle
- higher-order abstract syntax
- interaction trees
- interactive input-output monad
- intuitionistic logic
- isorecursive types
- join a Zulip
- lambda-bar-mu calculus
- lambda-bar-mu-mu-tilde calculus
- lambda-mu-calculus
- law of excluded middle
- lean4-mode
- linear logic
- logic of computable functions
- minimal classical logic
- minimal logic
- model-view-update
- most general unifier
- natural deduction vs sequent calculus
- natural deduction
- natural transformation
- nix-darwin
- paraconsistent logic
- parametric higher-order abstract syntax
- parametricity
- predicate transformer semantics
- prefix code
- prenex normal form
- principle of explosion
- program logic
- recursion in demand semantics
- semantics monad
- sequent calculus
- start
- subject reduction
- systemd
- tautology
- term assignment system
- term rewriting system
- weak Pierce's law
- weakest precondition
- til