Skip to content

Instantly share code, notes, and snippets.

View krisajenkins's full-sized avatar
💭
:: Geek

Kris Jenkins krisajenkins

💭
:: Geek
View GitHub Profile
@krisajenkins
krisajenkins / elevenlabs-voice-integration.md
Created April 22, 2026 15:44
Cortex Code skills: SvelteKit+Snowflake and ElevenLabs voice integration
name elevenlabs-voice-integration
description Add voice input to a web app using ElevenLabs speech-to-text. Use when: adding microphone recording, speech-to-text transcription, voice chat, or ElevenLabs SDK integration to a web project. Triggers: elevenlabs, voice input, speech to text, microphone, voice recording, scribe, voice chat, STT.

ElevenLabs Voice Integration

Add voice input to a web app: record audio in the browser, transcribe via ElevenLabs Scribe, and feed the text into your app.

Key Architecture

There are words on this board.
Why are there words?
Who put them here?
Will they still be here tomorrow?
. o O ( I do not know )

vecgrep: Open Design Questions

These questions surfaced while extracting an Allium specification from the vecgrep codebase. They represent genuine domain-level ambiguities in the current behaviour rather than implementation details.

1. Partial-index search results are unlabelled

In default CLI mode, vecgrep searches immediately against a potentially stale index, then indexes remaining files in the background for next time. The user gets results that may be missing recently-added or modified files, with no indication that the index was incomplete. Should results carry a signal indicating the index was incomplete?

2. Zero-vector index holes are silent

@krisajenkins
krisajenkins / pg_lake_architecture.md
Created February 27, 2026 09:31
A Cortex-generated architecture diagram for pg_lake

pg_lake Architecture

System Overview

pg_lake turns PostgreSQL into a lakehouse by integrating Apache Iceberg and data lake file formats (Parquet, CSV, JSON) directly into PostgreSQL. Users connect only to PostgreSQL — the extensions transparently delegate data scanning and computation to pgduck_server (a standalone process backed by DuckDB) while PostgreSQL handles query planning, transaction boundaries, and Iceberg metadata management.

graph LR
    Client["Client (psql, app)"]
 PG["PostgreSQL+ pg_lake extensions"]
@krisajenkins
krisajenkins / extract_mp3_from_mp4
Last active April 16, 2024 10:10
A simple script to pull mp3s out of mp4s.
#!/bin/sh
usage() {
(
if [[ $# -ne 0 ]]
then
echo $*
echo
fi
echo "USAGE: `basename $0` <input.mp4>"
@krisajenkins
krisajenkins / Lib.hs
Created November 10, 2022 16:49
Huffman Encoding in Haskell (or the beginnings of it, at least)
{-# LANGUAGE ScopedTypeVariables #-}
module Lib
( toBasicTree,
toTree,
sortTreeList,
weight,
Tree (..),
)
where
@krisajenkins
krisajenkins / .emacs.el
Created June 27, 2022 13:55
My .emacs file
;; This buffer is for text that is not saved, and for Lisp evaluation.
;; To create a file, visit it with <open> and enter text in its buffer.
(add-to-list 'exec-path (expand-file-name "~/.nix-profile/bin"))
(setenv "PATH" (mapconcat 'identity exec-path ":"))
(setenv "NIX_PATH" "nixpkgs=/Users/kjenkins/.nix-defexpr/channels/nixpkgs")
(require 'server)
(unless (server-running-p)
(server-start))
@krisajenkins
krisajenkins / CurrentMarlowe.hs
Created October 2, 2020 15:23
Marlowe Smart Contract
When
[Case
(Deposit
(AccountId
0
(Role "alice")
)
(Role "alice")
(Token "" "")
(Constant 450)
@krisajenkins
krisajenkins / Playground.hs
Created December 12, 2019 12:03
Plutus Playground Smart Contract
-- A game with two players. Player 1 thinks of a secret word
-- and uses its hash, and the game validator script, to lock
-- some funds (the prize) in a pay-to-script transaction output.
-- Player 2 guesses the word by attempting to spend the transaction
-- output. If the guess is correct, the validator script releases the funds.
-- If it isn't, the funds stay locked.
import Control.Applicative ((<|>))
import Control.Monad (void)
import qualified Data.ByteString.Lazy.Char8 as C
@krisajenkins
krisajenkins / Playground.hs
Created December 6, 2019 12:01
Plutus Playground Smart Contract
-- A game with two players. Player 1 thinks of a secret word
-- and uses its hash, and the game validator script, to lock
-- some funds (the prize) in a pay-to-script transaction output.
-- Player 2 guesses the word by attempting to spend the transaction
-- output. If the guess is correct, the validator script releases the funds.
-- If it isn't, the funds stay locked.
import Control.Applicative ((<|>))
import Control.Monad (void)
import qualified Data.ByteString.Lazy.Char8 as C