This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// 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: |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
% !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} |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# 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". |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# 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. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// 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 |