leonardpauli

// web_caret_track_overlay
// created by Leonard Pauli, 2025-03-24, at WeWork chatting with Charles etc.

// usage:
// Paste in the browser console, then click in an input field or a content editable field, and type some, and then wait for two seconds.
// you should see a tiny dot under your caret that moves along with the caret and when pausing it should pulsate and then expand into a suggestion panel.
// also try both in end of input box (to see inline) and middle of contentEditable (for under box)
// also try on dark page (like chatgpt) and light (like gmail); it somewhat adapts and uses font and color

// performance:

leonardpauli

% !TEX options = -shell-escape -interaction=batchmode "%DOC%"
% brew install gnuplot; gnuplot *.gnuplot # after each plot formula change
\documentclass[a4paper,10pt]{article}
\usepackage{amsmath}
\usepackage[margin=2cm]{geometry}
\usepackage[shortlabels]{enumitem}
\usepackage{bbm}
\usepackage{pgfplots}
\pgfplotsset{compat=1.16}
\usepackage{wrapfig}

leonardpauli

# rim.extreme-data-domain-separation
' created by Leoanard Pauli, 15 oct 2019

# rim extreme data separation model
' A data domain separation model, for risk free use of untrusted code

Background:
- Software systems can be modeled as a stateless black box, with state stored in a companion "memory box", and with input and output data streams. (TODO: digital design mealy/measly machine?)
- Large systems/boxes may be refactored into smaller boxes/systems connected to each other.
- Initially, all data streams may be seen as arbitrary, and thus, without validation, might lead to "unwanted behaviour".

leonardpauli

# plan.milestones
' rimstart
	created by Leonard Pauli, 14 oct 2019

' as-message-to-markus.14oct2019
	Hi Markus!
	
	I'm been spending most of my time on the course + studying math. Started listening the the futureofcoding podcast, thanks for the recommendation! (I suppose you've seen their slack as well? :) A bunch of people there!)
	
	This last weekend, I decided to go full in with the project again; restarted from a new angle, with the declarative graph data structure to website exporter first, then later joining up with the language part.

leonardpauli

// own.rim.db.gundb-graphdb-api-notes.js
// JavaScript based graph-DB module developer user guide wishes
// created by Leonard Pauli, 28 aug 2019
// 
/* includes: 
	install/access module
	(add, remove, change, traverse) values
	get current value
	simple data structures (set)
	(subscribe, unsubscribe) to changes