okram’s gists

okram / agent_summary.mtron

Created August 27, 2026 22:39

qwen3.8:27b review after using thalamus integration

	mtron> @dr.chat("""what do you think of the claims and looseends?""")

	┌agent response───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┐
	│Honestly? Really well done. And I mean that specifically. │
	│ │
	│The taxonomy is the smartest part. `decision`, `problem`, `observation`, `solution` — that's not just "here are some notes." It captures *wh

okram / ide.mtron

Created August 27, 2026 16:28

mtron encoding of a java project

	mtron> */usr/marko/scratch.==[name=>_,root=>_,command=>_]
	==>[
	name=>'scratch',
	root=>mfs:src/test/resources/scratch,
	command=>[
	mvn_build=>/m/ide/inst/command/runner?result<=#{?}(to=>#::T),
	mvn_clean=>/m/ide/inst/command/runner?result<=#{?}(to=>#::T),
	mvn_exec=>/m/ide/inst/command/runner?result<=#{?}(to=>#::T),
	code_tree=>inst?#{}<=#{?}(max=>isa(int::T).else(2)){max.split(tree_select::[root=>!*/usr/marko/scratch/root,max=>id(),flatten=>true]@scratch_tree)}]]
	mtron> */usr/marko/scratch/code/1.as(web:java::T)

okram / metatron-thalamus.mtron

Last active August 26, 2026 12:37

a metatron implementation of the thalamus project.

okram / graph-concepts-part1.txt

Created December 10, 2025 20:38

okram / mqtt.c

Created February 24, 2022 18:40

	static JsonObject toJson(const byte *payload, const uint32_t length) {
	char json = (char )malloc(length);
	memcpy(json, payload, length);
	if (json[0] == NULL) {
	json = json + 2;
	}
	json[length - 1] = NULL;
	StaticJsonDocument<256> doc;
	DeserializationError error = deserializeJson(doc, json);
	if (error) {

okram / stuff.java

Created November 7, 2020 12:20

	mmlang> 5 => int+2-<(nat;nat+10)=(vertex;vertex)=>edge
	==>edge:('outV'->vertex:('id'->nat:7),'inV'->vertex:('id'->nat:17))

	mmlang> int => int+2-<(nat;nat+10)=(vertex;vertex)=>edge
	==>edge<=int[plus,2]
	[split,(nat{?}<=int[is,bool<=int[gt,0]];nat{?}<=int[is,bool<=int[gt,0]][plus,10])]
	[combine,(vertex;vertex)]
	[as,edge<=(vertex;vertex)
	[split,('outV'->vertex<=(vertex;vertex)[get,0,_],
	'inV'->vertex<=(vertex;vertex)[get,1,_])]]

okram / mocoerce.java

Created November 5, 2020 18:29

	mmlang> int => vertex
	==>vertex<=int[is,bool<=int[gt,0]]
	[coerce,vertex{?}<=nat{?}[split,('id'->nat)]]

	mmlang> int => vertex => -<(_;_)
	==>(vertex:('id'->nat);vertex:('id'->nat))<=int[is,bool<=int[gt,0]]
	[coerce,vertex{?}<=nat{?}[split,('id'->nat)]]
	[split,(vertex:('id'->nat);vertex:('id'->nat))]

	mmlang> int => vertex => -<(_;_) => edge

okram / branches.java

Created October 30, 2020 11:06

	mmlang> [1,2,3] // a stream of 3 ints
	==>1
	==>2
	==>3
	mmlang> [1,2,3][id] // passing the stream through the [id] instruction (ring *)
	==>1
	==>2
	==>3
	mmlang> [1,2,3][[id],[id]] // passing the stream across two branches with [id] instructions (ring +)
	==>1{2}

okram / objgraph2.java

Last active October 30, 2020 08:59

	// all cascading coercion is completely determined within the obj graph and thus, realized as instructions.
	mmlang> :[model,digraph]
	==>_
	mmlang> int
	==>int
	mmlang> int => nat
	==>nat<=int[is,bool<=int[gt,0]]
	mmlang> int => nat => vertex
	==>vertex<=int[is,bool<=int[gt,0]][split,('id'->nat)]
	mmlang> int => nat => vertex -<(_;_)

okram / =>-compilation.java

Created October 30, 2020 05:16

	int => nat[plus,1] => vertex => -<(_;_) => edge

	nat <=int[is>0][plus,1]
	vertex <=int[is>0][plus,1][split,('id'->nat)]
	(vertex;vertex) <=int[is>0][plus,1][split,('id'->nat)][split,(vertex;vertex)]
	edge <=int[is>0][plus,1][split,('id'->nat)][split,(vertex;vertex)][combine,[split,('outV'->[get,0],'inV'->[get,1])]]

Marko A. Rodriguez okram