keyboard events and plays Model M clicky sounds.83 MODEL M SIMULATOR: STRATEGY 1. Model a key click as a sender 2. Model keyboard input as a range of senders 3. Model interrupt (e.g., Ctrl-C) as into clicky noises until interrupt sender completes. 5. ??? 6. Profit!84 Step 1: Model key click as a sender85 MODEL KEYCLICK AS SENDER: STRATEGY 1. Assume system API for registering keyboard callback plays Model M clicky sounds.94 HACKING HOOKING WINDOWS95 HACKING HOOKING WINDOWS Raymond Chen, “Old New Thing”, https://devblogs.microsoft.com/oldnewthing/20060809-18/?p=3018396 Step 2: Model keyboard

in-process interoperability.Run down of some approaches Just be like C? – post-1972 Common Object Model (COM) – 1993 Foreign function interface (libffi) – 1996 Simplified Wrapper and Interface Generator MYLIB_CCONV. • Reference: llvm - CallingConv.h • Don’t throw exceptions across the boundary.Memory model https://gchandbook.org/ Garbage collection is really “automatic memory management”. - Reference counted - .NET - JVM - JavaScript Manual memory management is rarely advocated for anymore.Memory model – Manual Memory is allocated and deallocated directly. Allocation locations are static. ptr =

financial computation/storage model to general cases • Limites of On-chain VM computation • Limites of MPT • Limites of K-V db Problems of Web3: Technical Viewpoint Financial Model: Account=>Balance ➔ Relatively Relatively closed dataset, linear increasement against account set ➔ One dimension Internet Model: Any ➔ Open dataset, data will increase quickly on any dimension. ➔ Multiple dimensions Dataset Models platform, but open its data to everyone. ➔ Why we need open data? The business of the closed data model has been at the end. A New Proposal: Open Data Application The Road to Open Web ➔ From the user

tools • Lots of amazing libraries Rust 编译通过了 bug 比 cpp 少上 百倍 !!! 图模型—— Labeled Property Graph Model Arbitrary (key,value) pairs where key identifies a property and value is the corresponding value Optimization rules: MATCH -> pushdown Planning Strategies Graph Execution Code Gen JIT Cost model Storage backend （ Property Graph KV store ） Pushdown filter Cypher (a)-[:LIKES]->(b) 计算下推：面向图应用特征设计

outcomes • Take it to the team • Be a mirror • Master your words & face • Let there be silence • Model being outrageous • Let the team fail • Be their biggest fan Lyssa Adkins Self-Assess FirstSelf

type “τ”; ∗¿full ⟦? ⟧ (∃?.ℓ↦ ?∗⟦ ? ⟧ .???(?)) ℓ ↦∗ ⟦τ ⟧.own ℓ ↦∗ ⟦τ ⟧.own Rc (simplified model, without weak references) Examples It owns a location value “ℓ”; : partially owned (.i.e. can alias)

Background  HW  SW I. Background  https://www.raspberrypi.com/products/raspberry-pi-3-model-b-plus/  HW  SW RPi3 B+ (1G LPDDR2) 1) CantripOS(KataOS) 1.1 Getting started