https://huydo862003.github.io/ Personal knowledge base en https://huydo862003.github.io/programming-language-theory/concepts/judgment-form https://huydo862003.github.io/programming-language-theory/concepts/judgment-form Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/programming-language-theory/flashcards/whats-the-most-popular-semantic-style-today-why https://huydo862003.github.io/programming-language-theory/flashcards/whats-the-most-popular-semantic-style-today-why Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/programming-language-theory/concepts/strict-eager-evaluation-strategy https://huydo862003.github.io/programming-language-theory/concepts/strict-eager-evaluation-strategy Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/programming-language-theory/concepts/infinite-type https://huydo862003.github.io/programming-language-theory/concepts/infinite-type Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/software-engineering/concepts/pre-signed-urls https://huydo862003.github.io/software-engineering/concepts/pre-signed-urls Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/programming-language-theory/flashcards/an-evaluation-statement-is-derivable-iff-there-exists-which-derivation-tree https://huydo862003.github.io/programming-language-theory/flashcards/an-evaluation-statement-is-derivable-iff-there-exists-which-derivation-tree Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/programming-language-theory/concepts/decision-procedure https://huydo862003.github.io/programming-language-theory/concepts/decision-procedure Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/programming-language-theory/concepts/gallina https://huydo862003.github.io/programming-language-theory/concepts/gallina Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/programming-language-theory/flashcards/why-is-the-derivability-judgment-stable-under-extension-to-the-rules https://huydo862003.github.io/programming-language-theory/flashcards/why-is-the-derivability-judgment-stable-under-extension-to-the-rules Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/programming-language-theory/concepts/first-class-functional-programming-pure https://huydo862003.github.io/programming-language-theory/concepts/first-class-functional-programming-pure Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/parallel-and-distributed-programming/concepts/saga https://huydo862003.github.io/parallel-and-distributed-programming/concepts/saga Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/programming-language-theory/concepts/hypothetical-rule https://huydo862003.github.io/programming-language-theory/concepts/hypothetical-rule Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/design/flashcards/what-should-a-good-design-do-during-errors https://huydo862003.github.io/design/flashcards/what-should-a-good-design-do-during-errors Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/programming-language-theory/concepts/error-recovery https://huydo862003.github.io/programming-language-theory/concepts/error-recovery Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/programming-language-theory/flashcards/what-is-the-evaluation-relation https://huydo862003.github.io/programming-language-theory/flashcards/what-is-the-evaluation-relation Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/programming-language-theory/concepts/multiple-inheritance https://huydo862003.github.io/programming-language-theory/concepts/multiple-inheritance Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/programming-language-theory/flashcards/what-are-some-ways-to-define-the-syntax-of-a-language https://huydo862003.github.io/programming-language-theory/flashcards/what-are-some-ways-to-define-the-syntax-of-a-language Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/programming-language-theory/concepts/simultaneous-inductive-definition https://huydo862003.github.io/programming-language-theory/concepts/simultaneous-inductive-definition Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/programming-language-theory/concepts/iterated-inductive-definition https://huydo862003.github.io/programming-language-theory/concepts/iterated-inductive-definition Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/design/concepts/style-dictionary https://huydo862003.github.io/design/concepts/style-dictionary Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/programming-language-theory/concepts/recursive-descent https://huydo862003.github.io/programming-language-theory/concepts/recursive-descent Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/programming-language-theory/flashcards/what-is-a-countable-set https://huydo862003.github.io/programming-language-theory/flashcards/what-is-a-countable-set Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/software-engineering/concepts/postgresql-text https://huydo862003.github.io/software-engineering/concepts/postgresql-text Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/programming-language-theory/flashcards/why-is-subclass-subtype-a-controversial-choice https://huydo862003.github.io/programming-language-theory/flashcards/why-is-subclass-subtype-a-controversial-choice Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/programming-language-theory/concepts/structural-type https://huydo862003.github.io/programming-language-theory/concepts/structural-type Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/programming-language-theory/concepts/flow-sensitive-typing https://huydo862003.github.io/programming-language-theory/concepts/flow-sensitive-typing Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/programming-language-theory/concepts/type-compatibility https://huydo862003.github.io/programming-language-theory/concepts/type-compatibility Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/programming-language-theory/concepts/desugar https://huydo862003.github.io/programming-language-theory/concepts/desugar Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/design/flashcards/what-is-an-example-of-an-anti-affordance https://huydo862003.github.io/design/flashcards/what-is-an-example-of-an-anti-affordance Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/design/concepts/cross-platform https://huydo862003.github.io/design/concepts/cross-platform Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/programming-language-theory/concepts/induction-on-derivations https://huydo862003.github.io/programming-language-theory/concepts/induction-on-derivations Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/programming-language-theory/flashcards/what-is-admissibility-as-a-notion-of-entailment https://huydo862003.github.io/programming-language-theory/flashcards/what-is-admissibility-as-a-notion-of-entailment Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/programming-language-theory/concepts/lexicographic-order-principle-of-lexicographic-induction https://huydo862003.github.io/programming-language-theory/concepts/lexicographic-order-principle-of-lexicographic-induction Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/programming-language-theory/flashcards/what-are-the-pros-and-cons-of-backward-chaining-search https://huydo862003.github.io/programming-language-theory/flashcards/what-are-the-pros-and-cons-of-backward-chaining-search Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/programming-language-theory/concepts/model-checker https://huydo862003.github.io/programming-language-theory/concepts/model-checker Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/programming-language-theory/concepts/token https://huydo862003.github.io/programming-language-theory/concepts/token Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/programming-language-theory/flashcards/how-to-write-a-derivability-judgment-and-what-does-it-mean https://huydo862003.github.io/programming-language-theory/flashcards/how-to-write-a-derivability-judgment-and-what-does-it-mean Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/programming-language-theory/concepts/desired-property-determinacy-of-one-step-evaluation-relation https://huydo862003.github.io/programming-language-theory/concepts/desired-property-determinacy-of-one-step-evaluation-relation Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/programming-language-theory/concepts/rocq-church-numeral https://huydo862003.github.io/programming-language-theory/concepts/rocq-church-numeral Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/programming-language-theory/concepts/generic-general-judgment https://huydo862003.github.io/programming-language-theory/concepts/generic-general-judgment Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/design/flashcards/give-an-example-of-a-dilemma-where-affordance-and-anti-affordance-cannot-be-both-discoverable https://huydo862003.github.io/design/flashcards/give-an-example-of-a-dilemma-where-affordance-and-anti-affordance-cannot-be-both-discoverable Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/programming-language-theory/flashcards/how-to-write-an-admissibility-judgment-and-what-does-it-mean https://huydo862003.github.io/programming-language-theory/flashcards/how-to-write-an-admissibility-judgment-and-what-does-it-mean Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/programming-language-theory/concepts/principle-of-ordinary-induction https://huydo862003.github.io/programming-language-theory/concepts/principle-of-ordinary-induction Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/programming-language-theory/concepts/if-splitting https://huydo862003.github.io/programming-language-theory/concepts/if-splitting Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/programming-language-theory/flashcards/how-to-implement-self-reference-with-and-without-mutation https://huydo862003.github.io/programming-language-theory/flashcards/how-to-implement-self-reference-with-and-without-mutation Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/programming-language-theory/flashcards/what-are-the-key-considerations-in-designing-conditionals https://huydo862003.github.io/programming-language-theory/flashcards/what-are-the-key-considerations-in-designing-conditionals Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/programming-language-theory/concepts/global-hypothesis https://huydo862003.github.io/programming-language-theory/concepts/global-hypothesis Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/programming-language-theory/flashcards/how-to-place-declarations-inside-a-module-in-rocq https://huydo862003.github.io/programming-language-theory/flashcards/how-to-place-declarations-inside-a-module-in-rocq Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/programming-language-theory/flashcards/how-to-utilize-the-property-of-word-aligned-addresses-to-optimize-numbers-placements https://huydo862003.github.io/programming-language-theory/flashcards/how-to-utilize-the-property-of-word-aligned-addresses-to-optimize-numbers-placements Wed, 21 Jan 1970 17:42:55 GMT https://huydo862003.github.io/programming-language-theory/concepts/combinator https://huydo862003.github.io/programming-language-theory/concepts/combinator Wed, 21 Jan 1970 17:42:55 GMT