jwiegley

Host athena
  User bgamari
  Port 2202
  HostName newartisans.hopto.org

jwiegley

(lldb) target create --core "/cores/core.25283"
Core file '/cores/core.25283' (arm64) was loaded.
(lldb) thread backtrace
* thread #53, stop reason = ESR_EC_DABORT_EL0 (fault address: 0x60a8)
  * frame #0: 0x0000000108fee5f4 chainweb-node`stg_ap_0_fast + 12
(lldb) quit

jwiegley

(* A C-valued presheaf on some category U.
  C is often taken to be Sets. *)
Definition Presheaf (U C : Category) := U^op ⟶ C.

(* A coverage on a category C consists of a function assigning to each object
   U ∈ C a collection of families of morphisms { fᵢ : Uᵢ → U } (i∈I), called
   covering families, such that

   if { fᵢ : Uᵢ → U } (i∈I) is a covering family
   and g : V → U is a morphism,

jwiegley

Inductive natural : Type :=
  | zero
  | succ (n : natural).

Fixpoint add (x y : natural) : natural :=
  match x with
  | zero => y
  | succ n => succ (add n y)
  end.

jwiegley

  string hash = xact->hash(previous_xact ? previous_xact->get_tag("Hash") : "");
  if (xact.has_tag("Hash")) {
    assert(hash == xact->get_tag("Hash"));
  } else {
    xact->set_tag("Hash", hash);
  }

jwiegley

6338757-1.pact:460:            ; se è fase 1 o 2, fase 0 = free mint
6338757-1.pact:469:            ;l'update su quanti ne hai mintati lo facciamo solo nella fase 1 ovvero WL, perché nella prima fase free, minti tutti quelli che hai
6338757-1.pact:1070:            ; per fare il reveal vediamo quale id ha la richeista, se è più di 1023 allora è un cleric
6352179-1.pact:471:            ; se è fase 1 o 2, fase 0 = free mint
6352179-1.pact:480:            ;l'update su quanti ne hai mintati lo facciamo solo nella fase 1 ovvero WL, perché nella prima fase free, minti tutti quelli che hai
6352179-1.pact:1129:            ; per fare il reveal vediamo quale id ha la richeista, se è più di 1023 allora è un cleric
6365949-1.pact:471:            ; se è fase 1 o 2, fase 0 = free mint
6365949-1.pact:480:            ;l'update su quanti ne hai mintati lo facciamo solo nella fase 1 ovvero WL, perché nella prima fase free, minti tutti quelli che hai
6365949-1.pact:1135:            ; per fare il reveal vediamo quale id ha la ric

jwiegley

TRUNCATION OF A MESSAGE DIGEST

Some application may require a hash function with a message digest length different than those provided by the hash functions in this Standard. In such cases, a truncated message digest may be used, whereby a hash function with a larger message digest length is applied to the data to be hashed, and the resulting message digest is truncated by selecting an appropriate number of the leftmost bits. For guidelines on choosing the length of the truncated message digest and information about its security implications for the cryptographic application that uses it, see SP 800-107 [SP 800-107].

jwiegley

Study

Agenda

An agenda is a tool for facilitators to help them get the most out of a particular meeting. It involves:

• defining the meeting’s objectives,
• determining relevant topics, allocating time, and
• setting expectations for participants.

jwiegley

Effective takeaways from attending a Diversity, Equity, and Inclusion (DEI) course often encompass personal growth, increased awareness, and actionable knowledge. They can include, but are not limited to:

1. Enhanced Understanding of DEI Concepts: Attendees should gain a deeper understanding of key concepts such as unconscious bias, microaggressions, power dynamics, allyship, and systemic inequality.

2. Personal Reflection: Individuals often experience self-reflection regarding their own identities and biases and how these may affect their behavior and decision-making processes.

3. Practical Skills: Acquiring practical tools and strategies for fostering inclusive environments, such as active listening, inclusive language, and conflict resolution techniques related to diversity issues.

4. Awareness of Diverse Experiences: Gaining insights into the experiences and challenges faced by individuals from marginalized groups can foster empathy and a greater willingness to support and advocate for

jwiegley

(use-package selected :demand t :diminish selected-minor-mode :bind (:map selected-keymap (“[” . align-code) (“f” . fill-region) (“U” . unfill-region) (“d” . downcase-region) (“r” . reverse-region) (“S” . sort-lines))