Deep Thoughts on Wiki

I'm exploring Federated Wiki c/o Ward Cunningham . With a special focus on capabilities-based programming. Tracking Mark S Miller's work in object-capabilities: Erights, Caja, SES, Secure EcmaScript and onto Agoric.

Follow Recent Changes here and pages in nearby federation

Tumblr Replaced

Miller Dr SESing

Wards Experiment

Extremely Modular Distributed JavaScript

Computer Security as the Future of Law

Blockchain Meets Object-Capabilities

Federated Wiki already met OCap?

Ocap at Splash 2017

What Are Capabilities?

Robust Composition - Miller PhD Thesis

Wiki Gravity Plug-In?

Object-Capability Example In YouTube

Dr. SES at Seattle Code Camp

Talk At Code Camp

Equifax Makes Case For Wiki?

Capability-based Security

Wiki Passwords and Smart Contracts

Wiki For SNAP Crypto-Commerce

Top Five Privacy Practices To Adopt Based On FTC’S Settlement With UBER

Blockchain Meets Capabilities: Doing Business with Strangers

POLA by Marc Stiegler

Computer Security and Crypto-Currencies Meme

How Wiki Can Rise Above ICO Mania

Smart Contracts Unchained Brooklyn Event

Scaling Bitcoin Conf At Stanford Cyber

Tracking ECMAScript

Smart Counter-Collusion Contacts

Best Place To Get Consensus Is Not Online

Documents with Superpowers

JavaScript - State of Browsers 11/14

Subdividing The Federation?

Capabilities-based DOM

Cryptographically Tokenized Assets

Blockchain Smart Contacts

Stanford Cyber Initiative

Ethereum in 25 Minutes

Wiki Embargoed For Release

Protocol for Securing Smart Contracts

Risk Mitigation Developing Smart Contracts

Variadic Functions Create Security Holes?

Capability-based Fuchsia

Declarative Smart Contracts

Imagine Wiki Contracts

Wiki App Level Cryptography

Presenting Robust Composition

Signature Plugin

Unforgeable Distributed Capabilities

Wiki FruitChains

Vitalik Buterin Reveals Ethereum

ocap2017 Norm Hardy keynote

Public Side Of Wiki

OCap Enabled Network

The Locker Problem

Computer Security as the Future of Law

Trusted Execution Environments

Cyber Risk Foresight

How Blockchains Work

Wiki HOA Notes 12/13

Codius Smart Contracts

Come To Consensus

Extremely Modular Distributed JavaScript

Open Source Orgs - Google Summer of Code

Wiki HOA Notes 12/20/17

Measuring Value

Blockchains: Master Key To Unlock The Future?

Wiki HOA Notes 12/28

Capabilities-based Computer Security

Agreeing with Strangers

Distributed Algorithms for Message-Passing

Wiki HOA Notes 1/3

Secure Cooperation Picture Book

Speculative Execution CPU Vulnerability

Future Proofing IPFS, Blockchains, and other Systems

The Energy Blockchain

Wiki HOA Notes 1/10

Let's Craft Some Real Attacks

Apollo Autonomous Car Software Security

Ethereum Proof-of-Stake Bad Idea

Wiki HOA Notes 1/17

Webflow templates

Why JavaScript?

Thunderella: Blockchains with Optimistic Instant Confirmation

Wiki HOA Notes 1/24

Metaparticle Language Idiomatic Cloud

Language Idiomatic Cloud

DNA Seen Through The Eyes Of A Coder

ATM Jackpotting Attack

Capabilities-based RTOS No Linux

JavaScript NES Emulator

Functional Specification

Wiki HOA Notes 1/31

The Square And The Tower - Nail Ferguson

Evolution of Smart Contract Development

Brendan Eich: Brave

Wiki HOA Notes 2/7

Deconstructing Bitcoin Whitepaper

Democratic Currency

Coincheck Heist

Cyber Stanford BPASE18

Wiki HOA Notes 2/14

Rholang Toward Capabilities Programming

Neon Orange Book

The Linux Control Groups API

RChain Rholang Smart Contacts

RChain Blockchain Scalability

Why Decentralization Matters

IPFS Toward Permanent Web

Intel Software Guard Extensions

Update On Frozen Realms

Metaparticle.io

Running-Split Screen

Vulnerability Notes Database

Wiki HOA Notes 3/7

Security Vulnerabilities in Smart Contracts

Michael Jackson Script

JavaScript In A Bottle at LFNW18

Federated Wiki at TC39 7/24

From Promises to Observables

Cryptic Economics

Capabilities at Microsoft

Wiki HOA Notes 3/21

Cybersecurity: A Legal and Technical Perspective

Wiki HOA Notes 3/28

Wiki HOA Notes 4/4

Radical Privacy

Menger Sponge Analogy

Javascript Modules

Evolvable Permissioning Layer

Javascript Tooling

Wiki HOA Notes 4/11

WALT for Metal JavaScript

Graphene Linux-compatible library OS

Networks from Freemasons to Facebook

Capability Theory

Wiki HOA Notes 4/18

Polyglot Virtual Machine

What Are Capabilities?

ECMAScript spec proposal for Realms API

Security as Extreme Modularity

Linux Apps via Crostini Containers

Dr. SES Smart Contracts

Wiki HOA Notes 5/2

Pre-Building Indexes

Javascript Persists

Mark S. Miller and Allison Duettman at Foresight Institute

Distributed Search

Orchid Incentivizing Anonymous Browsing Networks

Wiki HoA Notes 5/9

The Future of Computing: John Hennessy at IO18

Gravity project builds on Dr. SES

Wiki HoA Notes 5/16

Agoric To Advance Secure Smart Contracts

Kubernetes & Docker for Mac

Wiki HoA Notes 5/23

Stopping Exfiltration

Paxos From The Ground Up

Wiki HoA Notes 5/30

Wiki HoA Notes June 6

What is Bitcoin and how does it work?

The End (and Beginning) of Programming

Wiki HoA Notes June 13

Piecemeal Autopilot Fails

Wiki HoA Notes June 20

How to Explain Zero-Knowledge Protocols

Wiki HoA Notes June 27

K framework for smart contract execution

Node's Mistakes

WebAssembly and Node.js - Ben Smith

Wiki HoA Notes July 11

Cullinet Blockchain Musings

Vue.js Got It Right

Wiki HoA Notes 7/18

copyleft and data

Insurance Smart Contract

Membranes In JavaScript

Wiki HoA Notes 7/25

Welcome Visitors

Run Linux Apps on your Chromebook

Software Design Patterns and Principles (quick overview)

Supply Chain Attack within a Supply Chain

Wiki HoA Notes 8/1

Ewin Tang's Classical Recommender Algorithm

Van Jacobson talk Networking at Google

Wiki HoA Notes 8/8

Visa Research: Scaling Blockchain

Rap Genius Wiki Pattern Contributions?

Allowance Calculator

Ledger for Youngest Child

Ledger for Oldest Child

Foreshadow Flaw Undermines Intel SGX

Wiki HoA Notes August 15

Federated Learning

Ethereum Improvement Proposal (EIP)

Federated Wiki Improvement Proposal

Infura - Scalable Blockchain Infrastructure

Wiki HoA Notes August 22

RISCV Open Source CPU Architecture

Empirical Analysis of Anonymity in Zcash

Abstractions for EcmaScript Membranes

ES Membranes Quick Links

Connections between Memory Safety and Privacy Confidentiality

Pro's and Con's of Agile

Wiki HoA Notes Sept 5

Keys Under Doormats

Private Data Objects

Running Custom Containers Under Chrome OS

Software Disenchantment

Public GraphQL APIs

Wiki Dev/User Video Chat Sept 26

The Agoric "Playground" Vat

remoteStorage Protocol

Caja Project Revisited

History of Object Capabilities

Motherboards Hacked

Wiki Dev/User Video Chat Oct 10

Wiki Dev/User Video Chat Oct 17

The Battle for the Soul of the Internet

Why Blockchain Provides Cyber Resilience

What are zk-SNARKs

The Illustrated Children's Guide to Kubernetes

Gitcoin – Aligning Incentives in Open-Source

Agoric SES Demo

Why Slack Is Inappropriate for Open Source Communication

Twilight of the Experts

Wiki Dev/User Video Chat Oct 31

Testing Privacy-Preserving Browser

Isolation without Containers

Object-Capabilities, Tokens and Game Design

Gavin Wood Unplugged

Secure and Trusted Execution Critical Review

Off-Chain Trusted Compute Spec

Mattereum Solving Smart Contract Enforcement

Blockchain Security at Scale

Resilient Trusted Execution Environment

Flutter Embedding for Safe Widgets

capabilites-based-dom

Robotic AI Free Yourself

Capsicum Capabilities

Alan Kay - Lindberg-King Lecture

The Facebook Dilemma

Truffle Sawtooth Seth Provider

Crispr Gene-edited Embryos

Browse Docker by Layer

Wiki Dev/User Video Chat Nov 28

HTML Details Tag

The Journey to Web3

Observable Membrane

Riposte Anonymous Broadcast Messaging

Get The Balance Right

Determining eWASM Gas Costs

Declarative App Productivity Platforms

Flutter Beyond Mobile

The Principal Programming Paradigms

POLA Would Have Prevented the Event-Stream Incident

Securing EcmaScript presentation to Node Security

Wiki Dev/User Video Chat Dec 5

Gavin Wood - How DOA Hack Happened

Wiki Dev/User Video Chat Dec 12

Why Rust and WebAssembly?

Wiki Dev/Video Chat Dec 19

Secure Compilation

Eliminate Aggregates, Locks and DBAs

Containerize Candidate Code

The Original Sin of The Internet

Linux 5.0 retpoline return trampoline

Memory Amplifier

70's Programming Innovations

Programming Secure Smart Contracts

Mark Miller - How SES works

Wiki Dev/User Video Chat Jan 16

Combating Fake News

Is Security a Hopeless Quest?

Wiki Dev/User Video Chat Jan 23

Sword of Damocles Hangs Over APIs

Distributed SES

LinuxFest 19 Talk

Wiki Dev/User Video Chat Feb 6

Top Signs of an Inexperienced Programmer

APT10 Intrusion Exfiltration

Blabbering Blockchain

Wiki Dev/User Video Chat Fed 20

Wiki Dev/User Video Chat Fed 20 copy

Wiki Dev/User Video Chat Feb 27

SES Realms polyfill - Chrome WebExtensions V3

Testing Graphviz Plugin

Federated Learning

Sophia Drossopoulou - Holistic specifications for robust code

Boeing's March of Folly

Artificial Emotional Intelligence

Wiki Dev/User Video Chat Apr 10

XP and Normative Good

Spec-compliant shim for Realms TC39 Proposal

Wiki Dev/User Video Chat Apr 24

Object Views: Fine-Grained Sharing in Browsers

Why not use Object.freeze for immutable JS objects?

Continuous Security with Kubernetes

A DevOps State of Mind

Zero Knowledge Architecture

Past, Present & Future of Blockchain

Wiki Dev/User Video Chat May 1

Walking back Scoped Storage

Wiki DevUser Video Chat May 8

Linux for Chromebooks

Mark Miller: Agoric and the Decades-Long Quest for Secure Smart Contracts

Securing the Future of Artificial Intelligence and Machine Learning at Microsoft

Toward Blockchain Security with PDOs and Ocap

Solang - A new Solidity to Wasm compiler written in Rust

WASI: WebAssembly System Interface

POSIX - How To Ruin A Perfectly Good Container

Tom Friedman Explains China Technology Threat

Robust and Compositional Verification of Object Capability Patterns

Kate and Dean from Agoric

Idiomatic Programmer - Learning Keras

Wiki DevUser Video Chat June 26

Making NPM Install Safe

Robotic Psychosis Depiction

Not One Click for Security

Toward Resilient Secure Multiparty Web Apps

Twitter Disordesign

HarmonyOS Distributed Capabilities

Distributed Wikipedia

Wiki DevUser Video Chat Aug 14

Building Safe Artificial Intelligence

Steelmit Keys & Permissions

Trust By Consensus

More Agile than Agile

Wiki DevUser Video Chat Aug 21

Wiki DevUser Video Chat Aug 28

The Evolution of the Competitive Landscape of Enterprise Blockchain

Why we invested in Agoric

German Car Industry like SAP?

Another Brick in the Firewall

Capability APIs in Microservices

ML for Mere Mortals

Machine Learning for Mere Mortals

Spatial Density of Diagrams

Make Plugin Script

New Relic FANG like Growth

Engineering Security Lightning Tech Talks

Working with IPFS - Textile.io

Agoric SES-mtg videos

Berkeley Packet Filter

Wiki DevUser Video Chat Dec 11

What the heck is the event loop anyway?

DAML: The Contract Language of Distributed Ledger

Guido van Rossum at Oxford Union

Policy as Types in Object-capabilities

Learn Rholang By Example

PictureBook of Secure Cooperation

Manage Secrets in Git and CI

The λ-calculus in the π-calculus

Alan Kay On Messaging

Linus Torvalds Saying 'Don't Use ZFS'

Message-passing in Heterogeneous Architectures

Programing Languages for Climate Change

Wiki and Kubernetes

Capability-based Hardware

Distributed Programming

Deno is Node Corrected

Deno: Will It Replace Node.JS?

Networks and Power - Niall Ferguson

Billie Eilish Song Like Wiki?

Applied Category Theory Workshop

Applied Category Theory Compositionality

Peer-to-Peer Matrix

Student Interactions in Edmodo Versus Facebook

Material Demand Reduction

WebAssembly SIMD

ES Realms and JS Compartments

Big Data in Smart Grid

Carbon Dividends Plan

Bill Gates Swinging for the Fences

Characteristics Not Requirements

Three.js Fundamentals

Rethinking Distributed Programming

Install Synaptic Package Manager On Your Chromebook

Genomic Epidemiology Of Coronavirus

DDD To Grok Whitehead

Cyberspace Solarium Commission

Social Distancing For 18 Months

Secure Javascript Environment Using Membranes

My Corona Isolation Disks

Web Components Crash Course

DCAP Attestation

Cosmos Network Echos Fed Wiki

Capability Macaroons

Two-phase Commit vs Polymerase Function

Language Virtualizability

Using Capabilities for Development

Extended Berkeley Packet Filter (eBPF)

Decentralized Challenges by Moxie of Signal

Tracking Down Covid-19 Origin

Private Smart Contracts

Survey Service Workers

“Hallucinate” Knowledge

WebSocket Token-Based Authentication

How do you improve at DevOps?

Perkeep compared with Wiki

Dunbar and Wiki

Blockchain Timestamp

Wikipedia Is Badly Biased

Open Undersea Cable Systems

Federation Scraper

Free Energy Principle

Virtual Software Guard Extensions

Abusing Service Workers API

MacOS Slow by Design

LLVM Query Processing

Dance of provisioning

Contributor Tips

API Design: RPC and REST

Databases and Crypto/Security

Garbage Collection with LLVM

NewSQL Abadi Blames Spanner

LLVM Pointer Authentication

Richard Stallman Four Freedoms

Fuchsia is Object-Capabilities OS

Mitigating Spectre v1 Attacks in C++

Unsupervised Transpiler

Lottie SVG Animations

Attacking Fuchsia

Domain Specific Languages with LLVM

The Future of Programming

Raspberry Pi Clustering

Sustainability and Digital Twins

DRM Reaches Your Fridge

Raspberry Pi 4 Desktop?

Blockchain Deletion of Private Data

Markov Blankets

Developing Inside a Container

Security and Privacy During COVID-19

Top Signs of an Inexperienced Programmer

David transporter

Wiki Page Recycle Bin

Wiki Scratch Page

What is "Memory Safety", really?

Hyperlegder Fabric Whitepaper

Security/Binary Transparency

GitHub Dependabot security updates

Blockchain Primitives: Cryptography and Consensus

SES-mtg: Internal Slots vs Practical Transparency, near Membranes

Diagrams as Base Model

Git Pull Request

Merkle-Radix Tree

Why Full Self-Driving Feature Is Taking So Long

Smallest Federated Beginning

SARS-CoV-2 Outsmarted Science

Thoughtless Microservices Architecture

Smart Contracts Inside SGX Enclaves

Climate Accounting and Action

Merkle Trees and Patricia Tries for Blockchain Dev

Why are Governance Tokens Interesting and Important?

Cryptology Before Horse?

Switch from Semantic to Calendar Versioning?

Top Maintenance Priorities

Vent - SQL mapping layer

Javascript Without Pipelines

Lamport Time Clocks

Chubby Lock Service

Eavesdropping Encrypted LTE Calls

The Forgotten History of OOP

Hypercore Protocol

Agoric Community Call

Crypto Startup School

Eddie VanHalen at the Smithsonian

Building Membranes in JavaScript v2

Blue-green Deployment

Frames can postMessage

Ethereum Yellow Paper

Reframing Putman Problems

History of Object Capabilities

Local Search Outpost

AI Homelessness

Fair Priority Model

Architecture of Slack

The Unreasonable Effectiveness of Data

Callbacks versus Promises

Heroes of CRISPR

New Pedal Guit-Steel

Minium Viable Governance

Next Five Years of Enterprise Blockchain

Deno Loves WebAssembly

Event Storming Workshop

Where Cyberattacks Started: A Poisoned DLL

Code Generation Beyond 2020

Not A Big Data Company

Glasgow Haskell Compiler

Decentralized Censorship

Learn Rust in One Hour

SARS2 Missing Link

Halting Problem

Wiki Content Id

Hardened Decentralized Platforms

Democracy at Work: A Cure for Capitalism

San Francisco kill-switch

Unturning Award

Ministry of Truth

Monopoly Censorship

Actors and Objects

Miller's Taxonomy of Security Issues

Bell–LaPadula model

Contract Manufacturing Software for EVs

Securing Web3 with SES

Event Sourcing Inconsistency Window

Event Sourcing for Enterprise

Lavamoat: Securing your dependency graph

NoSQL - No Standards

Table-Top Augmented Reality

MicroStrategy CEO on Bitcoin Buying Spree

Writing in Rust

Sunday Pioneers

Start Trading Crypto

Hammurabi Project

A System that Never Stops