Skip to content

Instantly share code, notes, and snippets.

@leonardpauli
leonardpauli / sf1671-sem1-hw-template.tex
Created September 2, 2020 13:35
kth.cs.math.base-course{sf1671}.seminar.1.homework.template.tex
% !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}
# 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
leonardpauli / own.rimstart.plan.milestones.as-message-to-markus.14oct2019.rim
Created October 14, 2019 11:20
own.rimstart.plan.milestones.as-message-to-markus.14oct2019.rim
# 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.
// 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