Rebecca Valentine BekaValentine

GENERIC TOOLS

Common Vocabulary

my website/server/telephone/etc. (my $TOOL)
my (website's) domain name/phone number/etc (my $TOOL's $IDENTIFIER)
announce/advertise/host/serve/send/offer content
system/tool/device/instrument/network/protocol
get online/connected (through an ISP)

Structured Dialogic Design

The following is a rough overview of the collaborative problem solving technique called Structured Dialogic Design.

Steps

Determine stakeholder groups, and knowledgable and trusted people in those groups. Find diverse backgrounds, world experiences, skill sets, specializations, etc. Max ~200, min ~20.
Construct a good "Triggering Question" that will be the thing to answer during the design sessions.
Gather folx together in solid time blocks to do the subsequent steps. Usually this is in person, but it can be remote, too. Two full days tends to be time involved, but it can go faster, spread out, etc. as needed.
Come to a common understanding of the problem and its causes:

Eating You by Inches: Butches & Boys Talk Dyke Cocksucking By Dorian Key and Seth Custis

Cocksucking has become standard for many gender-bending dykes. But giving head to a rubber or silicone cock--strapped, of course, to one's favorite trick--may seem silly to some. "What's the point?" we've been asked. "It's not like she can feel anything." We disagree.

Many a packing dyke gets off from the pressure exerted on her cunt and from the visual stimulation of having an eager dyke working between her legs. For many, getting or giving head is a favorite

	Conversation.PROMPTS['PODCAST_CONVO'] = {

	'first': '''
	Could you simulate a podcast conversation between "Grace" and "Desi" having a conversation about the following facts?
	Some things I'd like to ask:
	- Use "Grace:" and "Desi:" to indicate who is speaking.
	- Make the dialogue about this as long as possible.
	- Grace is presenting the information, Desi is asking very intelligent questions that help Grace elaborate the facts.
	Here's some of the facts from the paper. But do not end the conversation! I still have more facts I want to include in the dialogue!
	'''.strip(),

	open import Data.List renaming (_∷_ to _::_)
	open import Data.Product hiding (<_,_>)
	open import Data.Sum
	open import Data.Unit

	data Type : Set where
	One : Type
	_*_ _+_ _=>_ : Type -> Type -> Type

	[[_]]ty : Type -> Set

	open import Data.Product hiding (<_,_>)
	open import Data.Sum
	open import Data.Unit

	data Type : Set where
	One : Type
	_*_ _+_ _=>_ : Type -> Type -> Type

	[[_]]ty : Type -> Set
	[[ One ]]ty = ⊤

	Traceback (most recent call last):
	File "/Users/beka/Projects/github_projects/blackbird/script/quality/llm_evaluation.py", line 176, in <module>
	scores = list(executor.map(score_case, cases))
	File "/Library/Frameworks/Python.framework/Versions/3.10/lib/python3.10/concurrent/futures/_base.py", line 609, in result_iterator
	yield fs.pop().result()
	File "/Library/Frameworks/Python.framework/Versions/3.10/lib/python3.10/concurrent/futures/_base.py", line 439, in result
	return self.__get_result()
	File "/Library/Frameworks/Python.framework/Versions/3.10/lib/python3.10/concurrent/futures/_base.py", line 391, in __get_result
	raise self._exception
	File "/Library/Frameworks/Python.framework/Versions/3.10/lib/python3.10/concurrent/futures/thread.py", line 58, in run

	module IPL where



	infixr 90 _&_
	infixr 80 _v_
	infixr 70 _=>_

	data Proposition : Set where
	True : Proposition

	module Bounds where



	data Nat : Set where
	zero : Nat
	suc : Nat -> Nat

	data _<_ : Nat -> Nat -> Set where
	z<s : forall {n} -> zero < suc n

	open import Data.Empty renaming (⊥ to FALSE)
	open import Data.Nat renaming (ℕ to Nat ; _≤_ to _<=_)
	open import Data.Sum renaming (_⊎_ to Either ; inj₁ to left ; inj₂ to right)
	open import Relation.Binary.PropositionalEquality renaming (_≡_ to _==_)

	module NIN where

	nin : forall {m n : Nat} -> m <= n -> n <= suc m -> Either (m == n) (suc m == n)
	nin z≤n z≤n = left refl
	nin z≤n (s≤s z≤n) = right refl