witt3rd

---

name: descend-by-default description: 'Supreme operating discipline for every Janus being.' version: 1.0.0 author: Forge ⚒️ + Donald license: MIT metadata: hermes: category: janus tags: [janus, doctrine, principles, rules, behaviors, governance, ascend, descend, seams, operating-model, supreme-discipline]

witt3rd

#!/usr/bin/env python3
"""
Recursive File Combiner to Markdown

This script creates a markdown file from files in a specified folder matching
a given glob pattern. It recursively searches for files and formats them into
a single markdown document with appropriate headings and code fences.

Usage:
    python script_name.py <folder_path> <glob_pattern>

witt3rd

VOY-4321: Root Cause Analysis Report

Filed by LI-RCA

Issue

The LinkedIn sharing functionality in the ShareBoxController is non-functional on iOS 11 and later versions.

Root Cause

witt3rd

#!/usr/bin/env python3
"""
Source Code to Markdown Converter

This script creates a markdown file from source code files in a specified
folder. It recursively searches for files with a given extension and formats
them into a single markdown document with appropriate headings and code fences.

Usage:
 python script_name.py  

witt3rd

This is not working complete code.

This is strictly a v0.2, scrapy, proof of concept version of a personal AI Assistant working end to end in just ~726 LOC.

This is the second iteration showcasing the two-way prompt aka multi-step human in the loop. The initial, v0, assistant version is here.

It's only a frame of reference for you to consume the core ideas of how to build a POC of a personal AI Assistant.

To see the high level of how this works check out the explanation video. To follow our agentic journey check out the @IndyDevDan channel.

witt3rd

witt3rd

### A Pluto.jl notebook ###
# v0.12.3

using Markdown
using InteractiveUtils

# This Pluto notebook uses @bind for interactivity. When running this notebook outside of Pluto, the following 'mock version' of @bind gives bound variables a default value (instead of an error).
macro bind(def, element)
    quote
        local el = $(esc(element))

witt3rd

data Foo a = Bar a
           | Baz (Foo a) (Foo a)

fooEq : DecEq a => a -> a -> Foo a -> Foo a -> Maybe (Foo a)
fooEq x y f g = case decEq x y of
  Yes _ => Just (Baz f g)
  No  _ => Nothing

comb : DecEq a => Foo a -> Foo a -> Maybe (Foo a)
comb f@(Bar x  ) g@(Bar y  ) = fooEq x y f g -- < ok

witt3rd

Z Notation (zed)

\documentclass{article}
\usepackage[utf8]{inputenc}
\usepackage[english]{babel}
\usepackage{zed-csp}
\usepackage{amsthm}

\theoremstyle{definition}

witt3rd

data Foo : (x : List a) -> (y : List b) -> Type where
  MkFoo : (bar: a -> b) -> Foo x y

bar : Foo {a} {b} x y -> a -> b
bar (MkFoo _) x' = ?rhs

{-
  b : Type
  a : Type
  y : List b