maxdemarzi

#!/usr/bin/env python3
"""Add NEEDED (subsection 2) and RUNTIME_PATH (subsection 5) entries to a
wasm side module's dylink.0 custom section, without touching anything else.

Tests whether Emscripten's DT_NEEDED-equivalent path resolves a Pyodide
package's already-loaded .so and populates the dlopening module's localScope,
which would make RTLD_GLOBAL promotion unnecessary.
"""
import sys

maxdemarzi

[Project Name]: [Domain] World Model

Technical Specification for RAI Implementation

1. Problem Statement

The Gap Today

[Stakeholder group] answers "what" but struggles to answer "why."

Current state:

maxdemarzi

#include <queue>
#include <vector>
#include <iostream>
#include <algorithm>
using namespace std;

void addEdge(vector<int> *adj, int u, int v) {
  adj[u].push_back(v);
  adj[v].push_back(u);
}

maxdemarzi

ffi = require("ffi")
julia = ffi.load("/Users/inorton/git/julia/usr/lib/libjulia.dylib", true)
ffi.cdef[[
  void jl_eval_string(const char*);
  void jl_init(const char*);
]]
julia.jl_init("/Users/inorton/git/julia/usr/lib/")
julia.jl_eval_string(" println(\"hello, world\") ")
-- should print "hello, world"

maxdemarzi

#include <fstream>
#include <scripting/ModException.hpp>
#include <sanity.hpp>
#include "LuaSecurity.hpp"

using namespace scripting;

namespace {

void copyAll(sol::environment &env, const sol::global_table &globals,

maxdemarzi

{
  "options": {
    "generate_report": true,
    "verbose": true,
	  "report_file_location": "purged_css_report_data.json"
	}
}
	

maxdemarzi

WITH ["Jennifer","Michelle","Tanya","Julie","Christie",
"Sophie","Amanda","Khloe","Sarah","Kaylee"] AS names 
FOREACH (r IN range(1,1000000) | 
CREATE (:User {username:names[r % size(names)] + "-" + r}) );


FOREACH (r IN range(1,1000000) | CREATE (:Account {number: r, balance: round(rand() * 1000000) / 100.0,  type:"Savings"}))

UNWIND range(1,1000000) AS number
MATCH (user), (account)

maxdemarzi

Schema
------


	CREATE CONSTRAINT ON (n:Location) ASSERT n.id IS UNIQUE;
	CREATE CONSTRAINT ON (n:Owner) ASSERT n.name IS UNIQUE;
	CREATE INDEX ON :Address(addr, zip);


Data Exploration

maxdemarzi

MATCH (n:User)
RETURN n.partition, COUNT(*) AS members, COLLECT(n.name) AS names
ORDER BY members DESC
LIMIT 10

maxdemarzi

CREATE (john:User {name:"John"})
CREATE (sheila:User {name:"Sheila"})
CREATE (robert:User {name:"Robert"})
CREATE (karen:User {name:"Karen"})
CREATE (m1:Merchant {name:"Computer Store"})
CREATE (m2:Merchant {name:"Gas Station"})
CREATE (m3:Merchant {name:"Jewelry Store"})
CREATE (m4:Merchant {name:"Furniture Store"})
CREATE (m5:Merchant {name:"Optometrist"})
CREATE (m6:Merchant {name:"Coffee Shop"})